三种逻辑理论的哲学背景分析
三段论、一阶逻辑和现代模态逻辑的技术背后都有相应的哲学理论背景.前两种逻辑形态与各自的哲学是契合的,其哲学基础也是一脉相承的.虽然模态逻辑是一阶逻辑的扩张,前者的形式语义学是后者的膨胀,但是,克里普克的语言哲学突出了亚里士多德的第二实体地位,从而与弗雷格的语言哲学有着根本分歧,与其逻辑技术亦有冲突.这是模态逻辑技术无力澄清诸如本质、实体、意义等重要哲学概念的根源.
逻辑哲学、可能世界语义学、名称理论
B81-05(逻辑学(论理学))
国家社会科学基金;到中国人民大学中央高校建设世界一流大学学科;特色发展引导专项
2018-11-09（万方平台首次上网日期，不代表论文的发表时间）
共7页
88-94
