| 狄俄多鲁斯(克罗诺斯的) Diodorus Kronos?—约前307 亦译“第奥多鲁”。古希腊哲学家、逻辑学家，麦加拉学派后期的代表人物。深入讨论了模态概念，认为“可能的”就是现在真实的或将来是真实的;“不可能的”就是现在假的且将来永不真实的;“必然的”就是现在真实的并且将来也不会是虚假的;“非必然的”或是虚假的或将来是虚假的。由于他借助时间谓词说明必然与可能，因而他所定义的并不是普遍的必然与可能，而是在一定时间中的必然与可能。对条件命题的认识被称为“第奥多鲁蕴涵”，大体相当于形式蕴涵。认为条件命题是真的，当且仅当在任何时刻都没有出现前件真而后件假的情况。否定能从逻辑上表达出当前的运动，而只承认可从逻辑上表达构成的运动即过去的运动。其模态逻辑思想对古代和现代的逻辑学家都有影响。 |