Aristotle’s Syllogistic Underlying Logic: His Model with His Proofs of Soundness and Completeness

IF 0.5 3区哲学 Q3 HISTORY & PHILOSOPHY OF SCIENCE

History and Philosophy of Logic Pub Date : 2023-09-15 DOI:10.1080/01445340.2023.2240671

C. G. King

引用次数: 0

Abstract

Click to increase image sizeClick to decrease image size Notes1 Ebbinghaus Citation1964, Smiley Citation1973, Corcoran Citation1974. Ebbinghaus was the first to formulate an interpretation of Aristotle’s syllogistic in terms of deduction rules, but his work is studiously ignored in the publications of Corcoran and, unfortunately, in the book under review. Ebbinghaus’ work is surely known to any informed person working in the history of ancient logic: Patzig Citation1963, ii n. 2 cites it in connection with his second thoughts about reconstructing the syllogistic (with Łukasiewicz Citation1957) as an axiomatic system of propositional logic.

查看原文本刊更多论文

亚里士多德的三段论基础逻辑:他的模型及其完备性的证明

点击增大图片尺寸点击减小图片尺寸注1 Ebbinghaus Citation1964, Smiley Citation1973, Corcoran Citation1974。艾宾浩斯是第一个用演绎规则来解释亚里士多德三段论的人，但他的工作在科科伦的出版物中被刻意忽视，不幸的是，在这本书中也被忽视了。艾宾浩斯的工作对于任何研究古代逻辑历史的有知识的人来说肯定是知道的:Patzig Citation1963, ii . 2引用了艾宾浩斯的工作，并将其与他关于重建三段论(Łukasiewicz Citation1957)作为命题逻辑的公理系统的第二个想法联系起来。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

History and Philosophy of Logic 综合性期刊-科学史与科学哲学

CiteScore

0.80

自引率

0.00%

发文量

审稿时长

>12 weeks

期刊介绍： History and Philosophy of Logic contains articles, notes and book reviews dealing with the history and philosophy of logic. ’Logic’ is understood to be any volume of knowledge which was regarded as logic at the time in question. ’History’ refers back to ancient times and also to work in this century; however, the Editor will not accept articles, including review articles, on very recent work on a topic. ’Philosophy’ refers to broad and general questions: specialist articles which are now classed as ’philosophical logic’ will not be published. The Editor will consider articles on the relationship between logic and other branches of knowledge, but the component of logic must be substantial. Topics with no temporal specification are to be interpreted both historically and philosophically. Each topic includes its own metalogic where appropriate.