-
题名传统直言命题推理的当代形式逻辑剖析
- 1
-
-
作者
龚啟荣
-
出处
《思维与智慧（上半月）》
1993年第1期3-6,共4页
-
文摘
§1.引言由于传统的直言命题实际上是外延命题和内涵命题的浑沌的混合体,因此,建立在直言命题上的传统的名词逻辑实际上是外延名词逻辑和内涵名词逻辑的浑沌的混合体,其所提供的只能说是有时未必出新知的推导格式,而不能说全都是能出新知的推理格式:当其中出现的是外延命题时为本质上是同语反复的不能出新知的导出式;只有当在其中出现的是内涵命题时才是能得出新知的推理式。
-
关键词
形式逻辑
传统直言命题
推理式
导出式
外延命题
推理格式
内涵命题
当代
有限集
命题逻辑
-
分类号
B80
[哲学宗教—思维科学]
-
-
题名传统直言命题的制的逻辑剖析(英文)
- 2
-
-
作者
龚启荣
-
机构
贵州大学哲学系
-
出处
《贵州大学学报（自然科学版）》
1998年第3期188-192,共5页
-
基金
贵州省科委基金
-
文摘
传统直言命题A、E、I、O作为“命题形式”其逻辑语义没有规定清楚，逻辑结构尚未完全定型，因而至今还存在种种逻辑理论上的问题．我们根据主词S外延的不同将传统直言命题二分为外延命题和内涵命题两大类．当直言命题的主词S的外延是可进一列举的有限集时为外延命题．与A、E、I、O相对应的外延命题依次为：P(e1)ΛP(e2)Λ…ΛP(ei)Λ…ΛP(em),P(e1)ΛP(e2)Λ…ΛP(ei)Λ…ΛP(em),P(e1)∨P(e2)∨…∨P(ei)∨…∨P(em)，P(e,)∨P(e2)∨…∨P(ei)∨…∨P(em)．当主词S的外延是无限集、不可进一列举的有限集或空集时为内涵命题．与A、E、I、O相对应的内涵命题依次为：S（x）P（x）、S（x）P（x）、S（x）！P（x）、S（x）！P（x）．已经验证了，四种外延命题和主调可空而不自相矛盾的四种内涵命题全都满足传统的推理格式．
-
关键词
传统直言命题
外延命题
内涵命题
制约逻辑
-
Keywords
classical categorical proposition, extensional proposition, intensional proposition, Lin's entailment logic
-
分类号
O141
[理学—数学]
-
-
题名内涵命题和外延命题理论对解决直言命题问题的贡献
- 3
-
-
作者
吴春红
张延伍
-
机构
贵州大学人民武装学院
-
出处
《贵州大学学报（社会科学版）》
2015年第1期61-65,共5页
-
基金
教育部人文社会科学"当代形式逻辑及其在人工智能中的应用理论研究"(07JA720006)
-
文摘
传统形式逻辑直言命题理论存在着许多的弊端。一些现行的形式逻辑读本尽管做了些改进,但是仍然没有从根本上解决问题,而且还增加了新的麻烦。内涵命题与外延命题理论是当代形式逻辑的重要特色理论之一,它在解决直言命题理论中存在的问题作出了重要贡献。深刻剖析直言命题中存在的弊病对传统形式逻辑的发展与完善有着重要的意义。
-
关键词
直言命题
内涵命题
外延命题
逻辑量词
-
Keywords
categorical proposition
connotation proposition
extension proposition
logic quantifiers
-
分类号
B81
[哲学宗教—逻辑学]
-
