斯多亚派

出处：按学科分类—自然科学总论 山东人民出版社《方法大辞典》第795页（1061字）

古希腊晚期与逍遥学派相对峙的一个逻辑学派。

公元前300年左右由希腊西蒂姆的芝诺(Zono of Citium，约公元前336－265年)所创立。它对形式逻辑的发展作出两大贡献，即推进了语言逻辑的分析和命题逻辑的研究。

斯多亚派区分了三件东西：(1)记号，(2)Lecton(意义)，(3)事物，并认为三者是既相互联系又相互区别的。

这一区别与弗雷格的符号、涵义和指称，卡尔纳普的符号、内涵和外延的区别是相符的。斯多亚派自称其逻辑是关于Lecton的学说。

斯多亚派提出了与亚里士多德不同的命题分类体系，把命题分为原子命题、分子命题两大类，并主要讨论了分子命题。

他们根据联结词的不同，又把分子命题分为条件命题、析取命题、合取命题、推论命题、因果命题、选择命题等，并对前三者给予了真值函项的定义，在讨论条件命题的解释时，提出了四种不同的蕴涵：费罗蕴涵(实质蕴涵)、第奥多鲁蕴涵(严格蕴涵)、联结蕴涵和包含蕴涵。他们还发现的真值联结词的可互定义性，例如，条件命题与合取命题的否定是等值的，即；析取命题与一条件命题可互定义：。

斯多亚派大量讨论了推论，并使用了两种表述方式：(1)“如果第一，那么第二；第一，所以，第二。”(2)“如果柏拉图活着，则柏拉图呼吸。第一，所以，第二。”从其推理的陈述方式可以看出斯多亚派与亚里士多德的重大区别；在亚里士多德那里，其变元是词项变元，必须用个体词或谓词代入，所以亚氏逻辑是词项逻辑；而在斯多亚派那里，其变元是命题变元，必须用完整的命题代入，所以，斯多亚逻辑是更为基本的命题逻辑。

斯多亚派实际上用公理化方法构造了他们的推论系统。他们把推论基本上分为两大类：非证明的推论与证明的推论，前者实际上相当于公理，其数目是五个，然后利用三个或者四个推论规则，把其他证明的推论还原为非证明的推论，实际上是用后者去证明前者的有效性。他们还讨论了其他的推论形式，例如单前提的推论、涉及语义的推论、纯粹假言的推论、未分析和非多变的推论、有多余部分的推论、非程序的推论等。此外，他们还讨论了概念范畴问题、命题的真假标准问题、模态问题、悖论问题。

斯多亚派在逻辑史上最主要的贡献在于创立了比亚里士多德逻辑更为基本的命题逻辑。