麦加拉－斯多阿逻辑

古希腊罗马时期以研究命题逻辑为特征的一种逻辑学说。麦加拉学派的创立者是苏格拉底的学生，麦加拉的欧几里得。欧几里得的学生、米利都的欧布里得使这个学派出名。他发现了好几个悖论，其中包括著名的说谎者悖论：一个说谎的人说“我正在说谎”，他是在说谎，还是在说真话?麦加拉学派热衷于这类辩论。欧布里得的学生阿波罗尼的克诺鲁斯不怎么出名，但是克诺鲁斯的学生狄奥多鲁及其弟子斐洛却很出名，他们也是该派的重要人物。他们主要是研究了“可能”、“必然”这样的模态概念和“如果，那么”这样的条件命题。斯多阿学派的创立者是基底恩的芝诺。使斯多阿逻辑真正成为一派学说的是索里的克吕西波，他被称为该学派的“第二创立者”。他研究了命题推理模式，建立了与亚里士多德逻辑不同的二值命题逻辑系统，为逻辑科学的发展做出重要贡献。克吕西波以后，斯多阿学派在逻辑方面没有什么成就。在历史上，麦加拉学派和斯多阿学派是两个学派。由于斯多阿学派的创立者芝诺从麦加拉学派的狄奥多鲁等人学习过逻辑，因此这两派有师承关系，合称为麦加拉－斯多阿学派。古代命题逻辑的成就主要归功于斯多阿学派。这两派主要代表人物的著作大都佚失。