MODAL ECTHESIS

被引：2

作者：

JOHNSON, F

机构：

[1] Philosophy Department, Colorado State University, Ford Collins, CO

来源：

HISTORY AND PHILOSOPHY OF LOGIC | 1993年 / 14卷 / 02期

关键词：

D O I：

10.1080/01445349308837216

中图分类号：

B82 [伦理学（道德学）];

学科分类号：

摘要：

My semantics for McCall's syntactic presentation of Aristotle's assertoric and apodeictic syllogistic is altered to free it from Thom's objections that it is unAristotelian. The altered semantics rejects Baroco-XLL and Bocardo-LXL, which Thom says Aristotle should have accepted. Aristotle's proofs that use ecthesis are formalized by using singular sentences. With one exception the (acceptance) axioms for McCall's system L-X-M are derivable. Formal proofs are shown to be sound.

引用

页码：171 / 182

页数：12