| 麦加拉-斯多亚逻辑 Megaro-Stoic logic 亦称“斯多亚-麦加拉逻辑”。古希腊罗马时期的一种逻辑学说。麦加拉学派及其在逻辑思想方面的后继斯多亚学派在命题逻辑、模态、蕴涵等逻辑问题上的观点基本一致，两派共同研究和创立了命题逻辑，因而逻辑史上合称之为麦加拉-斯多亚逻辑。苏格拉底的弟子麦加拉的欧几里德创立了麦加拉学派。其后继者米利都的欧布里德以提出“说谎者”和其他几个悖论而闻名。雅索斯的第奥多鲁及其弟子麦加拉的斐洛也是麦加拉学派逻辑的代表人物。第奥多鲁应用“时间”、“时间量词”和“真实”来说明(定义)必然与可能。他认为：必然就是(现在)真实的并将永不虚假;可能就是(现在)真实的或将是真实的。这被认为是时态逻辑的发端。他还将时态概念用于说明蕴涵，提出一条件语句为真，当且仅当在任何时间都不出现一个真前件和一个假后件。现称之为“第奥多鲁蕴涵”。斐洛用“事物的本性”、“会是”和“真实”来说明必然与可能。他认为：必然就是(现在)真实并根据事物的本性不会虚假;可能就是根据事物的本性会是真实的。他提出，一条件语句为真，当且仅当前件假或后件真。“斐洛蕴涵”相当于现代的实质蕴涵。斯多亚学派的创立者季蒂昂的芝诺曾师从第奥多鲁、斐洛学习逻辑。斯多亚学派的第二创立者克里西普斯被认为是古希腊最伟大的逻辑学家之一，甚至有“如果诸神有逻辑的话，那一定是克里西普斯的逻辑”之说。斯多亚学派认为语言的三要素——记号、事物和意义是有区别的。记号、事物是物体。意义(又称lecton)是非物体。意义不同于思想，因为早期斯多亚学派认为思想是物体。虽然学派内部对作为非物体的意义是否存在有争论，但现在一般认为，意义构成了斯多亚逻辑的主题。斯多亚学派对蕴涵、合取、不相容析取等真值联结词的含义作了在当时条件下较深入的讨论，例如克里西普斯认为，一条件语句为真，当且仅当后件的否定与前件不相容。斯多亚学派发展了命题逻辑，克里西普斯陈述了五个不需证明的基本论式，认为依据这些基本论式，并遵照一定规则，则可推出其他许多论式。但这些规则没有都传下来，而推出的论式传下来的也很少。近年来，逻辑史家对斯多亚学派的意义理论及其在命题逻辑中表现出来的严格性予以充分的重视。 |