History and Philosophy of Logic 4 (1&2):1-8 (1983)

Jonathan Lear has suggested that Aristotle attempts to demonstrate a proof-theoretic analogue of a compactness theorem in Posterior analyticsI, chs. 19?22. Aristotle argues in these chapters that there cannot be in finite series of predications of terms. Lear's analysis of Aristotle's arguments are shown to be based on confusions about the nature of infinite orderings. Three distinct confusions are identified. In final remarks, it is suggested that a compactness claim is irrelevant to the issues which motivate Aristotle's arguments
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1080/01445348308837041
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 69,078
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

What is a Syllogism?Timothy J. Smiley - 1973 - Journal of Philosophical Logic 2 (1):136 - 154.
Completeness of an Ancient Logic.John Corcoran - 1972 - Journal of Symbolic Logic 37 (4):696-702.
Aristotle and Logical Theory.Jonathan Lear - 1980 - Cambridge, England: Cambridge University Press.
Aristotle's Compactness Proof.Jonathan Lear - 1979 - Journal of Philosophy 76 (4):198-215.

Add more references

Citations of this work BETA

Comprehension, Demonstration, and Accuracy in Aristotle.Breno Zuppolini - 2020 - Journal of the History of Philosophy 58 (1):29-48.
Aristotle's Prior Analytics and Boole's Laws of Thought.John Corcoran - 2003 - History and Philosophy of Logic. 24 (4):261-288.

View all 12 citations / Add more citations

Similar books and articles

Aristotle.J. M. E. Moravcsik - 1967 - Garden City, N.Y., Anchor Books.
Generalizations of Kochen and Specker's Theorem and the Effectiveness of Gleason's Theorem.Itamar Pitowsky - 2003 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 35 (2):177-194.
A Proofless Proof of the Barwise Compactness Theorem.Mark Howard - 1988 - Journal of Symbolic Logic 53 (2):597-602.
Proofs of the Compactness Theorem.Alexander Paseau - 2010 - History and Philosophy of Logic 31 (1):73-98.
Aristotle's Compactness Proof.Jonathan Lear - 1979 - Journal of Philosophy 76 (4):198-215.


Added to PP index

Total views
25 ( #453,155 of 2,498,946 )

Recent downloads (6 months)
1 ( #421,180 of 2,498,946 )

How can I increase my downloads?


My notes