-
题名传统逻辑关于直言命题的预设
被引量：1
- 1
-
-
作者
陈晓平
-
出处
《武汉大学学报（人文科学版）》
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
[社会学]
-
-
题名文恩图解与预设存在含意的三段论
被引量：1
- 2
-
-
作者
郭泽深
-
机构
华南师范大学政治系
-
出处
《学术研究》
1987年第5期71-74,共4页
-
文摘
希尔伯恃曾以类演算与命题演算相结合的独特方法,重新构造了三段论系统,并且揭示了亚里士多德三段论中“暗中所做的假设”。在这一思路的启迪下,本文旨在检讨传统直言命题逻辑理论方法以及一些改革方法的基础上,探讨用文恩图解检验所有(而不是一部分)传统三段论形式有效性的可行方案。
-
关键词
传统三段论
图解
命题形式
亚里士多德三段论
欧拉图
传统直言命题
含意
全称命题
传统逻辑
理论方法
-
分类号
C55
[社会学]
-
