Completion, reduction and analysis: three proof-theoretic processes in aristotle’s prior analytics

History and Philosophy of Logic 19 (4):187-226 (1998)
  Copy   BIBTEX

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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,401

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

The Modernity of Aristotle’s Logical Investigations.George Boger - 1998 - The Paideia Archive: Twentieth World Congress of Philosophy 8:19-29.
Aristotle on Circular Proof.Marko Malink - 2013 - Phronesis 58 (3):215-248.
A Mathematical Model of Aristotle’s Syllogistic.John Corcoran - 1973 - Archiv für Geschichte der Philosophie 55 (2):191-219.
Fallacies and formal logic in Aristotle.David Hitchcock - 2000 - History and Philosophy of Logic 21 (3):207-221.
Aristotle's demonstrative logic.John Corcoran - 2009 - History and Philosophy of Logic 30 (1):1-20.
The Place of Reduction in Aristotle's Prior Analytics.George Boger - 2024 - History and Philosophy of Logic 46 (1):1-34.
Aristotle's Logic and Theory of Science.Wolfgang Detel - 2018 - In Sean D. Kirkland & Eric Sanday, A Companion to Ancient Philosophy. Evanston, Illinois: Northwestern University Press. pp. 245–269.

Analytics

Added to PP
2010-08-10

Downloads
67 (#327,291)

6 months
10 (#281,857)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

George Boger
Canisius College

References found in this work

Philosophy of logic.Willard Van Orman Quine - 1986 - Cambridge: Harvard University Press. Edited by Simon Blackburn & Keith Simmons.
The Development of Logic.William Calvert Kneale & Martha Kneale - 1962 - Oxford, England: Clarendon Press. Edited by Martha Kneale.
Introduction to mathematical logic..Alonzo Church - 1944 - Princeton,: Princeton university press: London, H. Milford, Oxford university press. Edited by C. Truesdell.
Methods of logic.Willard Van Orman Quine - 1962 - Cambridge: Harvard University Press.

View all 67 references / Add more references