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.
|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.|
|Appare nelle tipologie:||1.1 Articolo in rivista|