Completeness of an ancient logic

Journal of Symbolic Logic 37 (4):696-702 (1972)
Download Edit this record How to cite View on PhilPapers
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.
PhilPapers/Archive ID
CORCOA
Revision history
Archival date: 2014-12-03
View upload history
References found in this work BETA
A History of Formal Logic.Bocheński, I. M. & Thomas, Ivo

Add more references

Citations of this work BETA
Logics for the Relational Syllogistic.Pratt-Hartmann, Ian & Moss, Lawrence S.

View all 51 citations / Add more citations

Added to PP index
2009-01-28

Total views
508 ( #7,941 of 50,012 )

Recent downloads (6 months)
75 ( #7,161 of 50,012 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.