摘要： 斯多葛学派的命题逻辑理论是古希腊人对逻辑学的第二次伟大贡献。从现代逻辑的角度来看，应该把它理解为一个有且仅有 ５条推演规则的自然演绎系统而不是公理系统。陈志美和胡泽洪在承认它是自然演绎系统的基础上，运用算术解释方法证明了它的不完全性。然而，他们所证明的是添加了两条“元逻辑规则”之后的系统，而且证明过程还存着一些不严谨之处。为此，本文采用现代逻辑中更为常用的语义比较方法直观且严谨地证明了斯多葛命题逻辑系统的不完全性，并给出了寻找该系统所缺失的规则从而使其具有完全性的方法，进一步深化了我们对斯多葛命题逻辑的认识。

关键词: 斯多葛学派；命题逻辑；自然演绎系统；不完全性；算术解释方法；辅助语义

中图分类号: 

• Ｂ８１