History of Contraposition in Ancient Logic

Document Type : Original Research

Author
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

Subjects


Aristotle, (1984), Prior Analytics, translated by Arthur J. J. Jenkinson, in Barnes, Jonathan (ed.), The Complete Works of Aristotle, (The Revised Oxford Translation), Princeton University Press.
Aristotle, (1984b), Topics, Translated by W. A. Pickard-Cambridge, in Barnes, Jonathan (ed.), The Complete Works of Aristotle, (The Revised Oxford Translation), Princeton University Press.
Aristotle, (1989), Prior Analytics, translated by Robin Smith, Cambridge, Hackett Publishing Company.
Barnes, J. et al., (1991), Alexander of Aphrodisias: On Aristotle Prior Analytics 1.1-7, (London & Ithaca, NY).
Lang, H.S. and Macro, A.D. (2001), Proclus On the Eternity of the World (De Aeternitate Mundi), translated by Lang, H.S. and A.D. Macro, (Berkeley, LA & London).
Mueller, Ian, (2011), Simplicius on Aristotle on the heavens 1.2-3, translated by Ian Mueller, London, Duckworth.
Share, Michael, (2005), Philoponus: Against Proclus On the Eternity of the World 6-8, translated by Michael Share, (London & Ithaca, NY).
Sodano, A.R. (1964), (ed.), Porphyrii in Platonis Timaeum Commentariorum fragmenta, Naples,.
Wildberg, Christian, (1987), Philoponus: Against Aristotle on the Eternity of the World, translated by Christian Wildberg, (Gerald Duckworth & Co. Ltd.). (Reprinted 2014).