Analytic and synthetic in logic

作者：Abrusci V Michele^*

来源：Logic Journal of the IGPL, 2016, 24(4): 481-493.

DOI：10.1093/jigpal/jzw015

• Analytic
• synthetic
• logic
• philosophy of logic

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.

• 出版日期2016-8