|
|||||
|
|
| 从三段论扩充到命题逻辑 | |
| 作者姓名： | 张立英[] 、刘新文[] |
| 作者单位： | 中央财经大学现代逻辑研究所,北京市,100081 中国社会科学院哲学研究所,北京市,100732 |
| 摘 要： | 以罗伯特·范·罗伊的工作为基础,展示如何通过形式化的方法把三段论逻辑扩充到全部命题逻辑.文中将依次给出按现代逻辑标准形式化的三个逻辑:亚里士多德的三段论逻辑SYL,引入否定词项等之后的扩充系统SYL+,最终得到从三段论逻辑扩充而来的命题逻辑SYL-PL. |
| 关 键 词： | 三段论 、否定词项 、命题逻辑 、0元谓词 |
| 点击此处可从《西南大学学报(社会科学版)》浏览原始摘要信息 | |
| 点击此处可从《西南大学学报(社会科学版)》下载全文 | |