Completeness of an ancient logic

Journal of Symbolic Logic 37 (4):696-702 (1972)
  Copy   BIBTEX

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.

Similar books and articles

The Modal Logic of Gödel Sentences.Hirohiko Kushida - 2010 - Journal of Philosophical Logic 39 (5):577 - 590.
Truth, etc.: six lectures on ancient logic.Jonathan Barnes - 2007 - Oxford [England]: Oxford University Press.
Undecidability and intuitionistic incompleteness.D. C. McCarty - 1996 - Journal of Philosophical Logic 25 (5):559 - 565.
Presuppositional completeness.Wojciech Buszkowski - 1989 - Studia Logica 48 (1):23 - 34.
Taming logic.Maarten Marx, Szabolcs Mikul & István Németi - 1995 - Journal of Logic, Language and Information 4 (3):207-226.
Completeness and incompleteness for plausibility logic.Karl Schlechta - 1996 - Journal of Logic, Language and Information 5 (2):177-192.

Analytics

Added to PP
2009-01-28

Downloads
936 (#13,590)

6 months
125 (#24,026)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

John Corcoran
PhD: Johns Hopkins University; Last affiliation: University at Buffalo

References found in this work

A History of Formal Logic.I. M. Bocheński & Ivo Thomas - 1961 - Science and Society 27 (4):492-494.
Introduction to Mathematical Logic.Max Black - 1956 - Journal of Symbolic Logic 22 (3):286-289.
Archiv für Geschichte der Philosophie.[author unknown] - 1887 - Revue Philosophique de la France Et de l'Etranger 23:551-551.

Add more references