狄奥多鲁

diodorus，？～约前306

古希腊哲学家、逻辑学家。麦加拉学派后期的代表人物。他深入研究了“可能”、“必然”这些模态概念。他把“可能”定义为现在是真实的或将来是真实的，把“必然”定义为现在是真实的并且将来永远不是虚假的。可见，其模态思想涉及过去、现在、将来等时间概念，而非现代模态逻辑语义学中对“必然”与“可能”的普遍性理解。其次，他把这种时间概念用到关于条件命题的真假定义上：一个条件命题真，当且仅当在任何时刻不可能出现前件真后件假的情况。他的这些思想对古代与现代的逻辑学家都有一定影响。