Completion, reduction and analysis: three proof-theoretic processes in aristotle'sprior analytics

History and Philosophy of Logic 19 (4):187-226 (1998)
Abstract
Three distinctly different interpretations of Aristotle?s notion of a sullogismos in Prior Analytics can be traced: (1) a valid or invalid premise-conclusion argument (2) a single, logically true conditional proposition and (3) a cogent argumentation or deduction. Remarkably the three interpretations hold similar notions about the logical relationships among the sullogismoi. This is most apparent in their conflating three processes that Aristotle especially distinguishes: completion (A4-6)reduction(A7) and analysis (A45). Interpretive problems result from not sufficiently recognizing Aristotle?s remarkable degree of metalogical sophistication to distinguish logical syntax from semantics and, thus, also from not grasping him to refine the deduction system of his underlying logic. While it is obvious that Aristotle most often uses ?sullogimos? to denote a valid argument of a certain kind, we show that at Prior Analytics A4-6, 7, 45 Aristotle specifically treats a sullogismos as an elemental argument pattern having only valid instances and that such a pattern then serves as a rule of deduction in his syllogistic logic. By extracting Aristotle?s understanding of three proof-theoretic processes, this paper provides new insight into what Aristotle thinks reasoning syllogistically is and, moreover, it resolves three problems in the most recent interpretation that takes a sullogismos to be a deduction
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1080/01445349808837311
Options
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 30,370
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA
Philosophy of Logic.W. V. Quine - 1970 - Harvard University Press.
The Development of Logic.W. C. Kneale - 1962 - Oxford University Press.
Methods of Logic.W. V. Quine - 1950 - Harvard University Press.
Introduction to Mathematical Logic.Alonzo Church - 1944 - London: Oxford University PRess.
Introduction to Logic.Irving M. Copi - 1953 - Pearson/Prentice Hall.

View all 37 references / Add more references

Citations of this work BETA
An Intensional Leibniz Semantics for Aristotelian Logic.Klaus Glashoff - 2010 - Review of Symbolic Logic 3 (2):262-272.
Fallacies and Formal Logic in Aristotle.David Hitchcock - 2000 - History and Philosophy of Logic 21 (3):207-221.

Add more citations

Similar books and articles
Added to PP index
2010-08-10

Total downloads
20 ( #254,247 of 2,193,784 )

Recent downloads (6 months)
3 ( #96,064 of 2,193,784 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature