Open AccessProofs by Reductio ad Impossibile in Aristotle’s Prior Analytics
Author(s) -
Antônio Mesquita Neto
Publication year - 2021
Publication title -
revista de filosofia antiga
Language(s) - English
Resource type - Journals
ISSN - 1981-9471
DOI - 10.11606/issn.1981-9471.v15i2p53-76
Subject(s) - reductio ad absurdum , mathematical proof , impossibility , interpretation (philosophy) , contradiction , epistemology , philosophy , analytics , computer science , data science , mathematics , linguistics , political science , law , geometry
This paper aims at clarifying the procedure of proofs by reductio ad impossibile in Aristotle’s Prior Analytics, especially elucidating what can be taken as impossibility in such proofs. Traditional interpretation has it that the impossibility in Aristotle’s reductio proofs must be a contradiction. I argue for an alternative interpretation according to which both contrarieties and contradictions are suitable as the impossibility required by the proofs in question. I also present a definition of proof by reductio ad impossibile in accordance with the alternative interpretation.