斯多葛学派的命题逻辑系统及其不完全性

被引：3

作者：

陈志美

胡泽洪

不详

机构：

[1] 华南师范大学政法学院!广东广州

来源：

华南师范大学学报(社会科学版) | 2001年 / 01期

关键词：

命题逻辑; 自然推理; 不完全性;

D O I：

暂无

中图分类号：

B81 [逻辑学（论理学）];

学科分类号：

010104 ; 010105 ;

摘要：

斯多葛学派是古希腊在逻辑上可以跟亚里士多德逻辑相媲美的学派。他们所建立的命题逻辑系统是运用自然推理的方法 ,把命题逻辑加以形式化 ,是最早的一个自然推理系统。该派认为 ,运用他们的命题逻辑系统中的 5个不可证式作为基本推理规则 ,借助 4个元逻辑规则 ,可以推论出命题逻辑系统的全部正确的推理形式。但从现代逻辑的角度来考察斯多葛学派命题逻辑系统 ,却发现它是一个不完全的系统。

引用

页码：13 / 19

页数：7

共 9 条

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

程仲棠 .

广东社会科学, 1990, (01) :36-40+8

[2]

欧美逻辑学说史[M]. 中山大学出版社 , 郑文辉著, 1994

[3]

逻辑演算[M]. 中国社会科学出版社 , 刘壮虎著, 1993

[4]

数理逻辑发展史[M]. 社会科学文献出版社 , 张家龙著, 1993

[5]

新逻辑教程[M]. 北京大学出版社 , 宋文坚主编, 1992

[6]

西方形式逻辑史[M]. 中国社会科学出版社 , 宋文坚著, 1991

[7]

现代逻辑与传统逻辑[M]. 暨南大学出版社 , 程仲棠著, 1990

[8]

西方逻辑史[M]. 四川人民出版社 , 杨百顺编著, 1984

[9]

西方逻辑史研究[M]. 人民出版社 , 江天骥主编, 1984

← 1 →