三种逻辑理论的哲学背景分析

The Philosophical Backgrounds of Three Logical Theories

三段论、一阶逻辑和现代模态逻辑的技术背后都有相应的哲学理论背景。前两种逻辑形态与各自的哲学是契合的,其哲学基础也是一脉相承的。虽然模态逻辑是一阶逻辑的扩张,前者的形式语义学是后者的膨胀,但是,克里普克的语言哲学突出了亚里士多德的第二实体地位,从而与弗雷格的语言哲学有着根本分歧,与其逻辑技术亦有冲突。这是模态逻辑技术无力澄清诸如本质、实体、意义等重要哲学概念的根源。