一个古典的自然推理系统——论斯多葛命题逻辑

被引：3

作者：

程仲棠

机构：

来源：

广东社会科学 | 1990年 / 01期

关键词：

自然推理系统; 逻辑系统; 推理形式; 命题联结词; 真值函项; 斯多葛派; 真值函数; 斯多葛逻辑; 数理逻辑; 命题逻辑;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

<正> 在逻辑史上,斯多葛派的重大贡献就是继亚里士多德建立了第一个名词逻辑系统(即三段论系统)之后,建立了第一个命题逻辑系统.亚里士多德的三段论系统是一个古典的公理系统,而斯多葛命题逻辑系统则是一个古典的自然推理系统.在斯多葛派之前,麦加拉学派和逍遥学派已经研究过假言命题的逻辑形式,但他们并没有建立一个命题逻辑系统,在逻辑史上首先把命题逻辑加以系统化,并建立了第一个自然推理系统的是斯多葛派.

引用

页码：36 / 40+8 +8

页数：6