A diagrammatic calculus of syllogisms
Ruggero Pagnan
TL;DR
This paper introduces a diagrammatic logical calculus for syllogistic reasoning, providing a visual method to determine the validity of syllogisms and proving its correctness.
Contribution
It presents a novel diagrammatic calculus for syllogisms and establishes its soundness and completeness for logical validity.
Findings
Syllogisms are valid iff provable in the calculus
The calculus offers a visual approach to syllogistic reasoning
Proofs in the calculus are sound and complete
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.