从三段论扩充到命题逻辑

摘要：

以罗伯特·范·罗伊的工作为基础,展示如何通过形式化的方法把三段论逻辑扩充到全部命题逻辑.文中将依次给出按现代逻辑标准形式化的三个逻辑:亚里士多德的三段论逻辑SYL,引入否定词项等之后的扩充系统SYL+,最终得到从三段论逻辑扩充而来的命题逻辑SYL-PL.

关键词：三段论、否定词项、命题逻辑、0元谓词

所属期刊栏目：39

分类号：B812.2(逻辑学(论理学))

资助基金：教育部人文社科研究青年基金项目"自然逻辑研究"09YJC72040004;项目负责人:张立英;国家社科基金重大招标项目"基于多学科视域的认知研究"12&ZD119;项目负责人:周北海

在线出版日期：2013-04-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：27-31