| 传统直言命题的制的逻辑剖析(英文) |
| |
| 引用本文： | 龚启荣.传统直言命题的制的逻辑剖析(英文)[J].贵州大学学报(自然科学版),1998(3). |
| |
| 作者姓名： | 龚启荣 |
| |
| 作者单位： | 贵州大学哲学系!贵阳，550025 |
| |
| 摘 要： | 传统直言命题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）．已经验证了，四种外延命题和主调可空而不自相矛盾的四种内涵命题全都满足传统的推理格式．
|
| 关 键 词： | 传统直言命题 外延命题 内涵命题 制约逻辑 |
An Analysis to the Classical Categorical Proposition by Lin's Entailment Logic |
| |
| Gong Qirong.An Analysis to the Classical Categorical Proposition by Lin''''s Entailment Logic[J].Journal of Guizhou University(Natural Science),1998(3). |
| |
| Authors: | Gong Qirong |
| |
| Abstract: | |
| |
| Keywords: | classical categorical proposition extensional proposition intensional proposition Lin's entailment logic |
| 本文献已被 CNKI 等数据库收录！ |
