Notre Dame Journal of Formal Logic

Equivalence of Syllogisms

Fred Richman

Abstract

We consider two categorical syllogisms, valid or invalid, to be equivalent if they can be transformed into each other by certain transformations, going back to Aristotle, that preserve validity. It is shown that two syllogisms are equivalent if and only if they have the same models. Counts are obtained for the number of syllogisms in each equivalence class. For a more natural development, using group-theoretic methods, the space of syllogisms is enlarged to include nonstandard syllogisms, and various groups of transformations on that space are studied.

Article information

Source
Notre Dame J. Formal Logic, Volume 45, Number 4 (2004), 215-233.

Dates
First available in Project Euclid: 29 October 2004

Permanent link to this document
https://projecteuclid.org/euclid.ndjfl/1099238446

Digital Object Identifier
doi:10.1305/ndjfl/1099238446

Mathematical Reviews number (MathSciNet)
MR2130479

Zentralblatt MATH identifier
1123.03018

Subjects
Primary: 03B99: None of the above, but in this section

Keywords
categorical syllogism

Citation

Richman, Fred. Equivalence of Syllogisms. Notre Dame J. Formal Logic 45 (2004), no. 4, 215--233. doi:10.1305/ndjfl/1099238446. https://projecteuclid.org/euclid.ndjfl/1099238446


Export citation

References

  • [1] Aristotle, Prior Analytics, Hackett Publishing Co., Indianapolis, 1989.
  • [2] Boole, G., An Investigation of the Laws of Thought, on Which Are Founded the Mathematical Theories of Logic and Probabilities, Dover Publications Inc., New York, 1957.
  • [3] De Morgan, A., "On the structure of the syllogism, Transactions of the Cambridge Philosophical Society. viii (1846)", pp. 379--408 in ``On the syllogism'' and Other Logical Writings, edited by P. Heath, Yale University Press, New Haven, 1966.
  • [4] Lear, J., Aristotle and Logical Theory, Cambridge University Press, Cambridge, 1980.
  • [5] Łukasiewicz, J., Aristotle's Syllogistic from the Standpoint of Modern Formal Logic, Oxford, 1951.
  • [6] Patzig, G., "Syllogistic", pp. 890--98 in Encyclopaedia Britannica, Encyclopaedia Britannica, Chicago, 15th edition, 1979.
  • [7] Richards, D., "Categorical Syllogisms", Master's thesis, Florida Atlantic University, Boca Raton, 2000.