自信性认知逻辑

认知T-原则是一种过强的认知原则,一般的认知不具有此性质。"逻辑全能性质"不只是"理想认知主体"才具有的认知性质,一般的"理性认知主体"也具有某些"逻辑全能"的性质。在一种修正的可能世界语义学下,削弱了"逻辑全能问题",并且保留了那些合理的认知性质。认知T-原则在这种语义学下,不会有效。自信性以及弱自信性认知逻辑系统刻画了认知主体的自信性和弱自信性。这两个系统相对于这种语义学有可靠性和完全性。     

认知封闭原则与逻辑全能问题

关于认知封闭原则的研究是当代认识论中的一个重要话题,而现代逻辑工具是讨论这一话题的基本工具。逻辑全能问题是在认知逻辑系统把认知封闭原则作为初始公理的一种结果,其与认知封闭问题虽然侧重点不一样,但是两者是可以相互阐释的。考察认知封闭原则的不断修正以逼近理性认知主体一般直觉的研究历程,对于理解与解决逻辑全能问题,具有重要的启发价值。     

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

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

论意义组合原则中的若干问题

组合原则是逻辑语义学和自然语言形式语义学中的一条指导性原则,它在逻辑语义学和自然语言句法和语义接口研究中有广泛的应用,但同时这条原则所体现出的方法论性质又备受争议。该原则对逻辑和自然语言成立吗?这一问题不可能给出直接的回答,因为对这条原则的阐述其本身就十分的含糊。逻辑学家和语言学家可以根据自己的理解和表达来表述这条原则。事实表明,组合原则不是一种经验上可证实的限制性原则,而是一种描述系统中的句法和语义应当如何加以设计的方法论原则。     

邻域语义学和模型完全性

作者从将所有命题算子都看作内涵到内涵的算子的观点出发，提出了一般命题逻辑的概念，建立了统一的语义──邻域语义学。讨论了邻域语义学的模型完全性，给出了逻辑系统具有模型完全性的充分必要条件。模型完全性的哲学背景是逻辑系统必须遵守组合原则和唯一性原则。模型完全性仅是逻辑系统的必要条件，要刻画逻辑系统需要更强的完全性─框架完全性。邻域语义学开辟了逻辑研究的新领域，对各种不同的逻辑系统间的比较提供了有效的方法。     

模态认识论与反事实条件句逻辑

在德雷茨克和诺齐克传统中,模态认识论关注由反事实条件句表达的模态联系,如敏感性和反事实安全性。认知封闭失效是作为知识必要条件的反事实条件句封闭失效的结果,该结果依赖斯塔尔内克-刘易斯语义学。这种语义学因忽略模态算子“would”的独立意义而应被摒弃。作为其替代的反事实条件句的组合语义学认为,反事实条件句是语境受限的严格条件句。在替代语义学中,加强前件律和逆否规则等逻辑原则有效,因而原本失效的反事实条件句在替代语义中均有效,认知封闭原则成立。     

三分的认知世界与怀疑逻辑的独立性

主体的认知世界可以划分为“信念世界（WB）”、“怀疑世界（WD）”和“无知世界（WU）”，这三个世界中的元素是认知命题。这三个世界之间是不重叠的，并且它们构成一个认知世界全集。一个认知命题是真的，当且仅当它属于相应的认知世界之中。有了这样的划分，研究怀疑世界中的认知命题之间的逻辑关系的怀疑逻辑是独立的，它不能通过信念逻辑的变形而得到。怀疑逻辑、无知逻辑与信念逻辑构成三个相互独立的逻辑系统。     

解决逻辑全能基本制约性标准及哲学反思

逻辑全能问题是认知逻辑发展的一个瓶颈,抑制了认知逻辑在其他学科中的应用。许多学者对逻辑全能问题提出了诸多的解决方案,但并未在"解决标准"上展开深入研讨,难以在各种解决方案的优劣上达成共识。在达克提出的"逻辑全能"与"逻辑无能"概念的基础上,文章试图给出解决逻辑全能问题的一种基本制约性标准,并给予哲学说明。     

非标准逻辑基础上的知识逻辑SI

实质蕴涵与逻辑蕴涵在经典命题逻辑中是一致的，但是二者并不是在任何逻辑中都一致。建立在非经典逻辑基础上的知识逻辑SI允许存在不一致的信息，但是却不会得出“任意结论”。SI仍有完全逻辑全能，但是在一定程度上实现了对逻辑全能的控制。     

论新时代坚定政党自信的生成和发展逻辑

中国特色社会主义进入新时代,坚定中国共产党政党自信意义深远。政党自信并非与生俱来、自然天成,其有独特的生成和发展逻辑。新时代坚定政党自信需要系统回答“何为政党自信”“政党何以自信”“为何要坚定政党自信”“如何坚定政党自信”等一系列重大理论和实践问题。坚定政党自信需要遵循政党认知、政党认同、自觉遵从和坚定维护这一循序渐进的生成和发展逻辑。以正确的政党认知为前提和基础、以建构普遍的政党认同为关键、以自觉内化的政党遵从为核心,以坚定的维护行动为目标构成了政党自信的生成与发展逻辑。新时代构建中国共产党政党自信是以中国式现代化全面推进中华民族伟大复兴的必然要求,需要在政党认知、政党认同、自觉遵从和坚定维护的有机统一中得以实现。     

三分的认知世界与怀疑逻辑的独立性

主体的认知世界可以划分为“信念世界(WB)”、“怀疑世界(WD)”和“无知世界(WU)”,这三个世界中的元素是认知命题。这三个世界之间是不重叠的,并且它们构成一个认知世界全集。一个认知命题是真的,当且仅当它属于相应的认知世界之中。有了这样的划分,研究怀疑世界中的认知命题之间的逻辑关系的怀疑逻辑是独立的,它不能通过信念逻辑的变形而得到。怀疑逻辑、无知逻辑与信念逻辑构成三个相互独立的逻辑系统。     

逻辑句法计划与意义问题

维特根斯坦和处于前期思想阶段的卡尔纳普认为只有逻辑句法才能够确定意义关系,即逻辑数学语句的真假问题。他们认为考虑句法问题时必须脱离意义而进行,语义学是不可能的,逻辑问题就是句法问题。塔斯基语义学的建立证明他们的这一主张是错误的。但是,卡尔纳普关于逻辑句法的工作仍具有重大意义:开拓完善了形式语言的研究,区分了逻辑真与可证性概念,在哲学上完成了语言学的转向。     

“推理”的双重语义与逻辑学层级

随着“逻辑的认知转向”兴起,实际推理过程研究被越来越多的学者视为逻辑学的一部分。这似乎违背了弗雷格的“反心理主义”,因而引起学界的争议。哈曼从“推理”的双重语义出发,否定逻辑与实际推理过程之间存在无例外的关联原则,论证实际推理过程研究应排除在逻辑学之外;菲尔德则肯定这种原则的存在,论证逻辑是规范性学科。引入层级分明的“大逻辑观”视角可知,这种关联原则存在与否,应属于“应用逻辑”层面的问题,因而无法决定逻辑本身的学科范围。在一定意义上,实际推理过程可作为逻辑研究对象。     

约根森难题与真值语义学

约根森难题意味着,一方面规范语句不能作为逻辑推理的前提或结论;而另外一方面,很多包含规范语句的道义推理在直觉上是正确的.真值语义学试图通过假定规范语句可以有真假来评价道义推理的有效性.这种方案的问题在于它没有解决这个难题,而是绕过了它.约根森难题的解决需要一种比真值语义学更为一般的逻辑后承概念,它否认逻辑必须依赖于真概念.     

巴坎公式和自由逻辑

在模态谓词逻辑语义学构建的过程中,巴坎公式扮演着重要的角色。以自由逻辑为基础的模态谓词逻辑是对经典模态谓词逻辑的改造。具有较好的柔韧性和宽容度,它可以容纳经典谓词逻辑。用自由逻辑系统解读巴坎公式,增加扩展公理和收缩公理,可以获得常域选择下的模态谓词逻辑。但这种逻辑仍有谜团需要我们去化解。     

语言构造机制的逻辑语义学研究

自然语言的计算机信息处理要求电脑对人脑构造或理解语言的机制进行模拟,这种模拟首先需要逻辑语义学对语言构造机制的先期研究。简言之,语言构造机制显示出两个特征：1.有穷多的词条作为出发点;2.依据有穷多规则去构造和理解无穷多的语句。多年来,逻辑语义学各分支不同程度地描述了语言构造机制的两个特征,但对其中特征1的刻画却不充分,而语言学对此却有不俗的表现。于是逻辑语义学和语言学形成互补局面,“互补”产生了组合范畴语法CCG。本文揭示了CCG对语言构造机制两个特征的兼容并举,从而展示逻辑语义学在理论上对电脑模拟人脑构造语言机制工作的指导作用。     

塔斯基的真定义、语义学与逻辑后承

塔斯基关于真理和逻辑后承的里程碑式的著作是对现代语义学研究的最重要的贡献。塔斯基用满足和归纳的方式给出的真理的递归定义,建立在语义模型、逻辑真和逻辑后承基础上的循序渐进的逻辑句法定义构成了当代语义学理论的核心部分。诸如模型论语义学、可能世界语义学、戴维森的意义理论、蒙太格的内涵语义学,甚至作为生成语法的分支的逻辑形式(LF)等无一不体现或者渗透着塔斯基原理。     

认知悖论及其逻辑问题

认知悖论总是相对于一定的认知主体或某一认知系统而言的。认知悖论的产生既离不开具体的认知主体的背景知识和某些假定的前提条件,也离不开具体的认知主体的逻辑推论。因而不能简单地把认知悖论归结为一种特殊的命题。与逻辑悖论和语义悖论相比,认知悖论涉及到具体的认知主体及其心理状态,因而其推论过程更具有复杂性。认知悖论的推论不仅涉及到自指性问题的纠缠,而且建构认知悖论的严格形式,还需要发现一种真正的悖论性难题的严格公式化描述,而这样做将会导致重要的技术性进步。认知悖论是挑战人类理性思维和科学发展的难题,研究认知悖论具有十分重要的理论意义和现实意义。     

类型—逻辑语法——一种自然语言语义分析的重要工具

类型—逻辑语法是一种建立在类型—逻辑语义学基础上的规范语法,它自上个世纪80年代诞生以来,就以其表述的简洁性、理论的逻辑化和词汇化倾向以及更好地符合意义组合原则等鲜明特色,受到了形式语义学、语言学和自然语言理解和处理等领域的广泛关注,并继续保持迅猛的发展势头。该文第一部分简短回顾了范畴语法的发展情况,第二部分主要论述了类型—逻辑语法的核心内容——其句法学和语义学。其语义学的主要内容为简单类型的λ—演算和高阶逻辑:其句法学的主要内容是兰贝克演算。在第二部分的最后,笔者探讨了类型—逻辑语法与逻辑形式系统的深刻联系。总之,类型—逻辑语法对自然语言的语义分析具有比较广阔的发展空间。     

康德的先验逻辑：逻辑的还是认知的？

康德在对传统逻辑进行清理时提出只有普通纯粹逻辑(形式逻辑)才是逻辑，但问题在于他又建构了一种声称为逻辑的先验逻辑。其实，康德建构的先验逻辑并不是逻辑的，而是认知的，他的先验逻辑实质上为我们提供了一种人把握逻辑，并运用于经验的认知图景，这种认知图景表明人先天就具有一种认知能力(知性、判断力和理性)。这种认知能力本身就内嵌着逻辑的所有要素与东西，一旦被激发，就能把握逻辑，并将逻辑运用于经验。