Back to Search
Start Over
Formalizzazione del Quadrato Aristotelico.
Formalizzazione del Quadrato Aristotelico.
- Source :
-
Nuova Secondaria . sep2024, Vol. 42 Issue 1, p183-191. 9p. - Publication Year :
- 2024
-
Abstract
- The Aristotelian square of opposition is a formal structure representing precise logic relations between four types of propositions: universal affirmative, particular affirmative, universal negative, particular negative. In this article we present a formal translation in modern terms of the Aristotelian square, representing each type of proposition in the language of set theory and the first-order predicate logic. Starting from this formalization, we can derive one of the less intuitive theses affirmed by Aristotle: the sub-contrary propositions of the square can be both true, but they cannot be both false. Finally, we note that the logical-formal basis of Hume’s problem of empirical induction and that of Popper’s theory of falsification can be both derived from the logical relations defined in the Aristotelian square. [ABSTRACT FROM AUTHOR]
Details
- Language :
- Italian
- ISSN :
- 18284582
- Volume :
- 42
- Issue :
- 1
- Database :
- Academic Search Index
- Journal :
- Nuova Secondaria
- Publication Type :
- Periodical
- Accession number :
- 180097485