Aristotle's Deductive Logic: a Proof-Theoretical Study

被引：0
|
作者：
von Plato, Jan [1 ]
机构：
[1] Univ Helsinki, Dept Philosophy, FIN-00014 Helsinki, Finland
来源：
CONCEPTS OF PROOF IN MATHEMATICS, PHILOSOPHY, AND COMPUTER SCIENCE | 2016年 / 6卷
关键词：
Aristotle's logic; Syllogism; Tree derivation;
D O I：
暂无
中图分类号：
N09 [自然科学史]; B [哲学、宗教];
学科分类号：
01 ; 0101 ; 010108 ; 060207 ; 060305 ; 0712 ;
摘要：
Aristotle's deductive logic, as presented in his book Prior Analytics, is a system of rules of proof. The structure of derivations by these rules is analyzed. It is shown that derivations can be so transformed that steps of indirect proof are applied at most once as a last rule, the only way in which Aristotle used indirect proof.
引用
收藏
页码：323 / 346
页数：24
相关论文
共 50 条
12345