摘要

关于联结词“如果……那么……”的研究可以追溯到麦加拉学派。第奥多鲁对于模态算子的定义中就涉及了时间的观念，而菲罗的模态理论只提及了主体的适应性，他们对模态概念的分歧也体现在了蕴涵理论之中。第奥多鲁蕴涵关注内容的真实性，菲罗蕴涵关注形式的有效性。麦加拉学派蕴涵理论的提出对于斯多葛学派系统提出蕴涵理论有着直接影响。菲罗蕴涵与现代实质蕴涵完全一致，由此引发了实质蕴涵怪论。

关键词