“逻辑行动主义”视角下的量词解释理论

对象解释和代入解释是关于经典逻辑量词的两种不同解释理论,二者的取舍曾引起学界长期的争论,迄今仍莫衷一是而陷入困境。"逻辑行动主义方法论"严格界划了语言域、思想域与对象域,并以行动论的视角阐释了它们的关联机理。以这一方法论为分析工具,可以清楚地显示以往困境的症结所在,并可通过对两种解释理论的一种共同预设的修订,提出一种新型的"外延-指称解释"。这种新的解释克服了对象解释与代入解释的缺陷,又保留了它们的优点。

博弈论语义学量词逻辑语义解释理论的方法论

博弈论语义学方法的提出解决了传统形式语义学理论所不能解决的很多问题。关于这种方法对处理某些逻辑理论的语义问题是否适用,已有的研究对此未能展开充分的讨论。为了更好地应用博弈论语义学理论,需要澄清博弈论语义学方法的有效性和适用范围。文章从亨迪卡的原著中理清博弈论语义学的创建思路,全面分析并准确把握其理论模型和方法论特征,以便进一步思考其理论价值。博弈论语义学建构的系统有两个分支,其一是建立在量词逻辑基础上,关于真值解释的形式语义系统;其二是自然语言逻辑理论体系。文章的研究对象集中于第一个分支。

论可能世界理论新近发展

可能世界是一种重要的哲学研究手段,它的形而上学本性是当代哲学的一个重要议题。量词的替换解释、虚构论、替代论和极端实在论是几种主要的应对方案,它们各有所长,也有自身缺陷。讨论这些理论形态,有助于理解当代模态哲学的发展脉络,对理解一些基本模态概念也有很多启发。