History of Contraposition in Ancient Logic

	History of Contraposition in Ancient Logic
The International Journal of Humanities
Article 7, Volume 28, Issue 1, 2021, Pages 69-80 PDF (470.1 K)
Document Type: Original Research
Author
Asadollah Fallahi^*
Associate Professor, Logic Department, Iranian Institute of Philosophy,Tehran, Iran.
Abstract
The rule of contraposition was used by Aristotle and later popularized during the medieval period in both Arabic and Latin logics. In this paper, we investigate the role of Aristotle and ancient commentators on developing the subject. We show that although Aristotle had used contraposition (on conditionals and indefinite affirmative categorical propositions), Proclus was the first to apply it to universal affirmatives and Philoponus was the first to name the rule. The latter used the rule on possible propositions too, which yielded to Simplicius’ thorough objections. We have found no ancient logician who could apply the rule to quantified categorical propositions except universal affirmatives, nor have we encountered any ancient logician who thoroughly investigated the rule with regard to all kinds of modal propositions. It seems that these developments occurred in later stages of the history of logic.
Keywords
Contraposition; Aristotle; Proclus; Philoponus; Simplicius
References

Statistics Article View: 105 PDF Download: 122