First, I will introduce the distinction between analytic and synthetic as a partition of propositions, proofs, programs and definitions, as an extension of the distinction between analytic categorical propositions and synthetic categorical propositions in ancient Logic. Secondly, I will discuss some logical questions concerning the distinction between analytic and synthetic, and I will present main results obtained in mathematical logic as answers to the logical questions concerning the relationships between analytic and synthetic.
Abrusci, V.M. (2016). Analytic and synthetic in logic. LOGIC JOURNAL OF THE IGPL, 24(4), 481-493 [10.1093/jigpal/jzw015].
|Titolo:||Analytic and synthetic in logic|
|Data di pubblicazione:||2016|
|Citazione:||Abrusci, V.M. (2016). Analytic and synthetic in logic. LOGIC JOURNAL OF THE IGPL, 24(4), 481-493 [10.1093/jigpal/jzw015].|
|Appare nelle tipologie:||1.1 Articolo in rivista|