摘要
三段论、一阶逻辑和现代模态逻辑的技术背后都有相应的哲学理论背景。前两种逻辑形态与各自的哲学是契合的,其哲学基础也是一脉相承的。虽然模态逻辑是一阶逻辑的扩张,前者的形式语义学是后者的膨胀,但是,克里普克的语言哲学突出了亚里士多德的第二实体地位,从而与弗雷格的语言哲学有着根本分歧,与其逻辑技术亦有冲突。这是模态逻辑技术无力澄清诸如本质、实体、意义等重要哲学概念的根源。
出处
《哲学动态》
CSSCI
北大核心
2018年第9期88-94,共7页
Philosophical Trends
基金
国家社会科学基金重大项目"当代逻辑哲学重大前沿问题研究"(17ZDA024)资助
中国人民大学2018年度"中央高校建设世界一流大学(学科)和特色发展引导专项资金"支持