Completeness of an ancient logic

Journal of Symbolic Logic 37 (4):696-702 (1972)
Abstract
In previous articles, it has been shown that the deductive system developed by Aristotle in his "second logic" is a natural deduction system and not an axiomatic system as previously had been thought. It was also stated that Aristotle's logic is self-sufficient in two senses: First, that it presupposed no other logical concepts, not even those of propositional logic; second, that it is (strongly) complete in the sense that every valid argument expressible in the language of the system is deducible by means of a formal deduction in the system. Review of the system makes the first point obvious. The purpose of the present article is to prove the second. Strong completeness is demonstrated for the Aristotelian system.
Keywords Aristotle  syllogistic  completeness  natural deduction  indirect deduction  axiom-free  underlying logic  semantics  syntax  multi-premise syllogisms
Categories (categorize this paper)
DOI 10.2307/2272415
Options
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive
Through your library
References found in this work BETA

No references found.

Add more references

Citations of this work BETA
Aristotle's Syllogistic and Core Logic.Neil Tennant - 2014 - History and Philosophy of Logic 35 (2):120-147.
Logics for the Relational Syllogistic.Ian Pratt-hartmann & Lawrence S. Moss - 2009 - Review of Symbolic Logic 2 (4):647-683.
Aristotle's Demonstrative Logic.John Corcoran - 2009 - History and Philosophy of Logic 30 (1):1-20.

View all 21 citations / Add more citations

Similar books and articles
The Modal Logic of Gödel Sentences.Hirohiko Kushida - 2010 - Journal of Philosophical Logic 39 (5):577 - 590.
Completeness and Incompleteness for Plausibility Logic.Karl Schlechta - 1996 - Journal of Logic, Language and Information 5 (2):177-192.
Taming Logic.Maarten Marx, Szabolcs Mikul & István Németi - 1995 - Journal of Logic, Language and Information 4 (3):207-226.
Presuppositional Completeness.Wojciech Buszkowski - 1989 - Studia Logica 48 (1):23 - 34.
Undecidability and Intuitionistic Incompleteness.D. C. McCarty - 1996 - Journal of Philosophical Logic 25 (5):559 - 565.
Added to PP index
2009-01-28

Total downloads
221 ( #17,665 of 2,180,556 )

Recent downloads (6 months)
29 ( #7,182 of 2,180,556 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature


Discussion
Order:
There  are no threads in this forum
Nothing in this forum yet.

Other forums