-
题名关于O命题换位的再思考
被引量：1
- 1
-
-
作者
何小前
-
机构
黄山学院文学院
-
出处
《安徽农学通报》
2008年第20期144-145,共2页
-
文摘
对于直言命题的变形推理,传统上认为O命题不能换位。本文通过欧拉图我们可以证明以全称命题为前提的换质位法推理中O命题是能够换位的。它完全符合传统的直言命题变形推理规则。
-
关键词
全称命题
0命题
换位法
换质位法
-
Keywords
universal proposition
O-proposition
conversion
contraposition
-
分类号
B812.22
[哲学宗教—逻辑学]
-
-
题名传统逻辑关于直言命题的预设
被引量：1
- 2
-
-
作者
陈晓平
-
出处
《武汉大学学报（人文科学版）》
1991年第2期44-48,共5页
-
文摘
【正】 1 引言传统直言命题有四种形式,即: A:所有S是P;E:所有S不是P;I:有S是P;O:有S不是P。传统直言命题推理主要有三种,即:三段论推理,换质位推理和对当关系推理。与传统直言命题相对应,现代直言命题也有四种形式,即: A′:(x)(Sx→Px) E′:(x)(Sx→Px) I′:((?)x)(Sx∧Px) O′:((?)x)(Sx∧～Px) 将传统直言命题推理中的A、E、I和O分别替换为A′、E′、I′或O′所得到的推理,我们称之为现代直言命题推理,现代直言命题推理属于谓词推理。现在我们要问,传统直言命题推理和现代直言命题推理在有效性上是完全吻合的吗?回答是否定的。在此只需指出一个事实就够了,即,在传统的对当关系推理中,由A推出I和由E推出O都是有效的,但在现代谓词推理中,由A′推出I′和由E′推出O′都是无效的。
-
关键词
传统直言命题
传统三段论
传统逻辑
对当关系推理
命题推理
换质位法
三段论推理
全称命题
谓词逻辑
主项
-
分类号
C55
[社会学]
-
-
题名对形式逻辑推理中规则的探讨
- 3
-
-
作者
王继权
-
出处
《社会科学辑刊》
CSSCI
北大核心
1990年第1期26-28,共3页
-
文摘
形式逻辑推理规则中存在一些问题,本文就此作下述探讨。直接推理中的“○”判断果真不能换位吗?几乎所有的逻辑学在谈到直接推理的换位法和换质位法的规则时,都阐述为“○”判断不能换位。即SOP 不能换位为POS。理由是违反了“在原判断不周延的项换位后仍不得周延”的规则。硬要换位则必然会引出荒诞可笑的结论。
-
关键词
直接推理
逻辑推理
形式逻辑
选言肢
换质位法
选言推理规则
换位法
逻辑学
不相容选言推理
属种关系
-
分类号
C55
[社会学]
-
