第欧多鲁

【生卒】：约前4世纪

【介绍】：

古希腊逻辑学家，麦加拉学派的主要代表人物之一。他研究了“可能”，“必然”这样的模态概念，并且在逻辑史上第一次探讨了“如果，那么”这种形式的命题的意义。他把“可能”定义为现在是真的或者将来是真的，把“不可能”定义为现在是假的并且将来永远不是真的，他把“必然”定义为现在是真的并且将来永远不是假的，把“不必然”定义为现在是假的或者将来是假的。这些定义的论证根据是：凡过去的和真的事情都是必然的；从可能得不出不可能。因此第欧多鲁的模态思想涉及过去、现在、将来等时间概念。他把这种时间概念还用到对“如果，那么”这种条件命题的真假定义上：一个条件命题是真的，当且仅当它过去不可能并且现在也不可能是前件真而后件假。这是历史上最早的关于条件命题真假问题的探讨。