Aristotle, Logic, and QUARC

History and Philosophy of Logic 39 (4):305-340 (2018)
Download Edit this record How to cite View on PhilPapers
The goal of this paper is to present a new reconstruction of Aristotle's assertoric logic as he develops it in Prior Analytics, A1-7. This reconstruction will be much closer to Aristotle's original text than other such reconstructions brought forward up to now. To accomplish this, we will not use classical logic, but a novel system developed by Ben-Yami [2014. ‘The quantified argument calculus’, The Review of Symbolic Logic, 7, 120–46] called ‘QUARC’. This system is apt for a more adequate reconstruction since it does not need first-order variables on which the usual quantifiers act—a feature also not to be found in Aristotle. Further, in the classical reconstruction, there is also need for binary connectives that don't have a counterpart in Aristotle. QUARC, again, does not need them either to represent the Aristotelian sentence types. However, the full QUARC is also not called for so that I develop a subsystem thereof which closely resembles Aristotle's way of developi...
PhilPapers/Archive ID
Upload history
First archival date: 2020-12-04
Latest version: 3 (2021-03-18)
View other versions
Added to PP index

Total views
166 ( #35,303 of 2,456,035 )

Recent downloads (6 months)
42 ( #18,576 of 2,456,035 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.