Analytic and synthetic in logic

Abrusci, Vito Michele - 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.