从三段论扩充到命题逻辑

摘要：

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

关键词： 三段论 命题逻辑 公理系统 扩充系统

作者: 刘新文 张立英

作者单位: 中国社会科学研究院哲学所，北京，100732 中央财经大学现代逻辑研究所，北京，100081

会议类型: 国内会议

会议名称: 第五届两岸逻辑教学与研究学术会议

会议地点: 重庆

会议语种:中文

页码: 183-197

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