A diagrammatic calculus of syllogisms

2010/01/11 by Ruggero Pagnan, Pagnan, Ruggero
Mathematics · #03B99 #Category Theory (math.CT) #FOS: Mathematics #Logic (math.LO) #math.CT #math.LO #msc:03B99

paper · pdf · doi:10.48550/arxiv.1001.1707

arxiv created 2013/02/28 · arxiv updated 2013/03/01

Abstract

A diagrammatic logical calculus for the syllogistic reasoning is introduced and discussed. We prove that a syllogism is valid if and only if it is provable in the calculus.

Related

• Syllogisms in Rudimentary Linear Logic, Diagrammatically
• A diagrammatic calculus of n-term syllogisms
• The Syllogism Revised
• Ologisms
• Using Inclusion Diagrams as an Alternative to Venn Diagrams to Determine the Validity of Categorical Syllogisms