Abstract
In previous articles ([4], [5]) it has been shown that the deductive system developed by Aristotle in his “second logic” (cf. Bochenski [2, p. 43]) is a natural deduction system and not an axiomatic system as previously had been thought [6]. It was also pointed out 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 formable in the language of the system is demonstrable 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 Aristotélian system.
Publisher
Cambridge University Press (CUP)
Reference8 articles.
1. Aristotle, Prior analytics .
Cited by
88 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Judgments vs Propositions in Alexander of Aphrodisias' Conception of Logic;History and Philosophy of Logic;2024-08-14
2. The
Place
of Reduction in Aristotle's
Prior Analytic
s;History and Philosophy of Logic;2024-01-04
3. Corcoran the Mathematician;Studies in Universal Logic;2024
4. Aristotle’s Syllogistic as a Form of Geometry;History of Philosophy & Logical Analysis;2023-08-16
5. Epistemic Syllogistic: First Steps;Electronic Proceedings in Theoretical Computer Science;2023-07-11