Reduction between Aristotelian Modal Syllogisms Based on the Syllogism ◇I□A◇I-3

Open Journal of Philosophy 13 (2):145-154 (2023)
  Copy   BIBTEX

Abstract

In order to provide a consistent explanation for Aristotelian modal syllogistic, this paper reveals the reductions between the Aristotelian modal syllogism ◇I□A◇I-3 and the other valid modal syllogisms. Specifically, on the basis of formalizing Aristotelian modal syllogisms, this paper proves the validity of ◇I□A◇I-3 by means of the truth value definition of (modal) categorical propositions. Then in line with classical propositional logic and modal logic, generalized quantifier theory and set theory, this paper deduces the other 47 valid Aristotelian modal syllogisms from the modal syllogism ◇I□A◇I-3. This study shows that the reasons why these syllogisms are reducible are: 1) any of Aristotelian quantifier can be defined by the other three Aristotelian quantifiers; 2) the Aristotelian quantifiers some and no have symmetry; 3) the possible modality ◇ and necessary modality □ can be mutually defined. This formal study of Aristotelian modal syllogistic not only conforms to the needs of formalization transformation of various information in the era of artificial intelligence, but also provides a unified mathematical research paradigm for other kinds of syllogistic.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,486

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2023-04-06

Downloads
18 (#1,172,870)

6 months
3 (#1,096,948)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Aristotle's Modal Syllogistic.Marko Malink - 2013 - Cambridge, MA and London: Harvard University Press.
Models for modal syllogisms.Fred Johnson - 1989 - Notre Dame Journal of Formal Logic 30 (2):271-284.
A Logic for Aristotle's Modal Syllogistic.Clarence Lewis Protin - 2022 - History and Philosophy of Logic (3).
A reconstruction of Aristotle's modal syllogistic.Marko Malink - 2006 - History and Philosophy of Logic 27 (2):95-141.
Semantic analysis of the modal syllogistic.S. K. Thomason - 1993 - Journal of Philosophical Logic 22 (2):111 - 128.

View all 7 references / Add more references