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

摘要：

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

关键词：命题逻辑、自然推理、不完全性

分类号：B81(逻辑学(论理学))

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

页数：共7页

页码：13-19