谢谢robert兄的鼓励。既然这样,我就把目标提高到750吧。赫赫
关于逻辑,我可能是这样练出来的(没专门练过),本来数学好是一方面,然后这一年来读了很多哲学的书。逻辑跟哲学有什么关系呢?实际上大部分的逻辑是放在哲学系开的,至少在美国。我读的书对逻辑思维帮助比较大的有柏拉图的,St. Anselm的本体论论证,笛卡尔,和逻辑推理上算是famous and infamous的康德的。这些书我都是写了论文的,所以练得很苦,收获也不少。(不过我不是哲学系的啦)
给大家一个逻辑题吧:St. Anselm的上帝存在的本体论论证
为了让大家看得清楚些,我把它用逻辑的方法说一下。(原文都是混在一起的诗体……)
premise 1: 如果有上帝,上帝是"nothing greater than which can be conceived"
premise 2: 如果有个东西,than which nothing greater can be conceived,那么它肯定存在
conclusion: God exists.
proof for premise 2:
如果有个东西A,than which nothing greater can be conceived,它不存在,那么我们可以想象这个东西是存在的,设为B。那么,我们可以想象一个东西B,than which nothing greater can be conceived,而且是存在的。那么B is greater than A,因为它有A的所有特征,而且是存在的。所以有矛盾,因为我们能想象一个B greater than A, but A is than which nothing greater can be conceived. Therefore, A exists.