麥加拉一斯多亞邏輯

麥加拉一斯多亞邏輯亦稱“斯多亞一麥加拉邏輯”。古希臘羅馬時期的一種邏輯學說。麥加拉學派及其在邏輯思想方面的後繼斯多亞學派在命題邏輯、模態、蘊涵等邏輯問題上的觀點基本一致，兩派共同研究和創立了命題邏輯，因而邏輯史上合稱之為麥加拉一斯多亞邏輯。蘇格拉底的弟子麥加拉的歐幾里德創立了麥加拉學派。其後繼者米利都的歐布里德以提出“說謊者”和其他幾個悖論而聞名。雅索斯的第奧多魯及其弟子麥加拉的斐洛也是麥加拉學派邏輯的代表人物。第奧多魯套用“時間”、“時間量詞”和“真實”來說明（定義）必然與可能。

他認為：必然就是（現在）真實的並將永不虛假；可能就是（現在）真實的或將是真實的。這被認為是時態邏輯的發端。他還將時態概念用於說明蘊涵，提出一條件語句為真，若且唯若在任何時間都不出現一個真前件和一個假後件。現稱之為“第奧多魯蘊涵”。斐洛用“事物的本性”、“會是”和“真實”來說明必然與可能。他認為：必然就是（現在）真實並根據事物的本性不全虛假；可能就是根據事物的本性會是真實的。他提出，一條件語句為真，若且唯若前件假或後件真。“斐洛蘊涵”相當於現代的實質蘊涵。斯多亞學派的創立者季蒂昂的芝諾曾師從第奧多魯、斐洛學習邏輯。斯多亞學派的第二創立者克里西普斯被認為是古希臘最偉大的邏輯學家之一，甚至有“如果諸神有邏輯的話，那一定是克里西普斯的邏輯”之說。斯多亞學派認為語言的三要素——記號、事物和意義是有區別的。記號、事物是物體。