逻辑的幽灵:心理主义 |
|
|
反心理主义得到了之后不少逻辑学家的支持,比如罗素、卡尔拉普等。另一方面,正是由于弗雷格的反心理主义,之后逻辑学取得了长足的进步,建立起一阶逻辑的大厦,结束了康德的逻辑从亚里士多德以来从来就没有过进步的断言。 三、复活的心理主义 在弗雷格反心理主义之后,心理主义在逻辑中全面溃退,“心理学家们正在离开,而逻辑学家们正在他们身后砰然地关上大门”[10]。但20世纪中后期随着各种扩展逻辑与变异逻辑的兴起,为了取得其在逻辑中的合法地位,不少人对弗雷格的反心理主义提出了诘难,以期解除弗雷格对逻辑所下的“禁锢”。另一方面,随着认知科学与心灵哲学的发展,人们随之提出了一个疑问:人的心灵可及弗雷格的逻辑吗?人的心灵如何通达逻辑?于是兴起了称之为“复活的心理主义”的浪潮。 1.逻辑真理相对论。弗雷格认为逻辑是研究实真的规律,因此逻辑真理是必然与普遍的,这一点正受到挑战,而且这种挑战已经从开始的“温和”质疑向“强烈”的否定转化,“当一些弗雷格与胡塞尔的批判者还在希望把逻辑命题看作必然真理的体系(paradigms of necessary truth)时,另一些批判者却走得更远,否定逻辑规律必然真理的地位”[11]。 弗雷格建立起来的一阶逻辑曾被作为逻辑真理必然性的“典范”,但就是这样的一阶逻辑本身也面临着危机。“逻辑一旦在其内承认丘奇论题(Church’s thesis),那么它就失去了必然真理科学的光辉头衔”[12]。根据丘奇论题,没有一种算法比图灵机更强大,或者说每一种完全可计算的函数在图灵机上都是可计算的。如果承认了丘奇论题,那么我们就必须要承认:不存在一种对谓词逻辑能行可判定的程序。而现在这样的共识在一阶逻辑中也已基本形成:一阶逻辑中的命题逻辑是可以通过真值表的方法能行可判定的,但是谓词逻辑却不是能行可判断的。 对逻辑真理必然性更为强烈的否定源起于逻辑学家奎因,奎因对分析、必然和先天这三个概念进行了论证,并指出在分析真理与综合真理之间的区分是相对的,而非绝对的。&上一页 [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] ... 下一页 >> |
|
|
|
上一个论文: 导游心理健康问题产生根源的逻辑分析 下一个论文: 逻辑、心理与认知 |
|