克里普克语言哲学研究

克里普克提出了一种新的名称理论,认为名称是指示词,只有所指,没有涵义,这一理论是对罗素等人的传统指称理论的巨大挑战。此外,他提出关于可能世界和必然性的学说,严格区别了必然与偶然、先验与后验这两对范畴,这是对分析哲学传统的一次重大的突破,为模态逻辑语义学奠定了理论基础。克里普克的语言哲学不仅为逻辑哲学提供了一种新的研究领域,还促进了科学实在论的发展。     

试析辛提卡的语言博弈论

辛提卡提出语言博弈理论旨在建立一种能用于系统分析或摹拟人的认识活动的过程及其结果的理论。这一理论以可能世界理论为基础 ,它把形式逻辑的模型集合建构看做一种特殊的博弈活动 ,用“寻找且找到博弈”描述以现实为对象的语言活动 ,并刻画了两种博弈之间的联系。“寻找且找到博弈”不同于运算 ,它的结局不是预先可断定的 ;而这一博弈规则是制约着语句F的整个证实过程的规则。     

模糊逻辑理论及方法论意义初探

自札德60年代中期提出模糊集合论,奠定其理论基础至今,模糊逻辑已成为现代逻辑研究的一个热门课题.模糊辑逻一方面在现代科学技木和理论领域内发挥了重要作用,另一方面在理论上亦产生了对经典传统逻辑的反传统性.这些特殊性开拓了逻辑学的适用范围,使模糊逻辑具有重要的方法论意义.     

从语言图像论到语言游戏说———维特根斯坦哲学思想的转变

维特根斯坦一生创立了两种迥然不同的哲学理论——语言图像论和语言游戏说,分别影响了分析哲学中两大流派:逻辑实证主义和日常语言学派。在语言游戏说中,维特根斯坦批判清理了语言图像论的理论缺陷,放弃构造理想语言的主张,转为对日常语言的哲学分析,用语言的正确用法诠释其意义,最终导致其对哲学性质与任务观点的彻底转变,体现了一种深刻的哲学批判精神和严谨科学的哲学分析方法。     

试析逻辑原子主义的图像论

逻辑原子主义认为,命题是实在或事态的图像:原子命题是原子事实的、分子命题是复杂事实的、语言则是世界的总图像.自然语言具有歧异性和模糊性,因此必须构造一种理想语言才能建立对世界的图像关系.但是图像论遇到难以克服的理论困难,这些困难是由图像论本身的理论缺陷导致的.     

不明确指称词的逻辑语义初探

形式逻辑同一性原理的基本定律之一是可替换定律,这个定律指出:如果a和b都是指称同一个对象的词项,即a=b,则可以在关于a的陈述Φ(a)中用b替换a。得到Φ(b),若Φ(a)真则Φ(b)真。这个定律的可靠性是显而易见的。既然a和b都是指称的同一个对象,关于a的陈述也就是关于b的陈述,即都是关于这同一个对象的陈述。只要这个陈述是关于对象的真陈述,用a或用b,它都真。然而,在某些情况下却有例外,看如下几个推理:     

认知命题的逻辑语义特征分析

建立模型是对认知表达式进行逻辑语义分析的前提,可能世界语义学为此提供了有效工具。但是逻辑全能悖论说明认知世界不同于逻辑可能世界,为描述其逻辑特征我们需要“瓮”模型。此外对认知命题来说,名称—对象关系总是相对于认知主体而定,因此在对其逻辑分析中涉及到量词的信息独立等问题。这些都说明,我们对认知逻辑进行语义学和语形学方面的研究时,不能完全运用形式化和公理化的方法     

试析蒙塔古的语用内涵逻辑

逻辑语用学不同于一般语义学,它不仅相关某个解释或模型,而且还相关语言的语境来讨论真、满足、有效及逻辑后承等概念.讨论语境是语用学的一个典型特征.内涵是语用学的一个重要概念,因为许多索引表达的外延确定依赖的是各组成部分的内涵.一个复杂表达的内涵是其组成部分内涵的一个函项.蒙塔古构建的语用内涵逻辑对我们分析处理这类间接语境中内涵与外延间的关系有极大的启示.     

克里普克语言哲学研究

克里普克提出了一种新的名称理论,认为名称是指示词,只有所指,没有涵义,这一理论是对罗素等人的传统指称理论的巨大挑战.此外,他提出关于可能世界和必然性的学说,严格区别了必然与偶然、先验与后验这两对范畴,这是对分析哲学传统的一次重大的突破,为模态逻辑语义学奠定了理论基础.克里普克的语言哲学不仅为逻辑哲学提供了一种新的研究领域,还促进了科学实在论的发展.