A Diagrammatic Calculus of Syllogisms
A diagrammatic calculus of syllogisms is introduced and discussed, so that a syllogism is valid if and only if its conclusion follows from its premises by calculation. The calculus at issue allows the easy retrieving of the traditional rules of the syllogism and of the laws of the square of opposition. Moreover, it extends to n-term syllogisms and to syllogisms with complemented terms. In this respect, a comparison with De Morgan’s spicular notation is treated.
KeywordsSyllogism Syllogistic diagram Syllogistic inference
Mathematics Subject Classification03B65
- 2.De Morgan, A.: On the symbols of logic, the theory of the syllogism, and in particular of the copula, and the application of the theory of probabilities, to some questions of evidence. Trans. Camb. Philos. Soc. 9, 79–127 (1851) Google Scholar
- 9.Meredith, C.A.: The figures and moods of the n-term Aristotelian syllogism. Domin. Studies 6, 42–47 (1953) Google Scholar
- 10.Shin, S.-J.: Situation-theoretic account of valid reasoning with Venn diagrams. In: Logical Reasoning with Diagrams. Stud. Logic Comput., vol. 6, pp. 81–108. Oxford University Press, New York (1996) Google Scholar