自信性认知逻辑

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

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

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

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

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

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

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

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

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

邻域语义学和模型完全性

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

关于逻辑语义学的句法系统

逻辑语义学的核心任务是探索自然语言语义的组合原则。逻辑语义学认为,语义不是孤立的,语义与句法之间具有同构关系,采取什么样的句法理论往往决定了语义系统的本质和刻画精度。在过去近半个世纪时间里,逻辑语义学家越来越关注如何吸纳和借鉴当代句法学的理论成就为己所用。Heim和Kratzer等人在生成树上构造的语义系统、Steedman在CCG框架下进行的词汇主义转换以及我们对助动词"有"的讨论都是这方面有益的尝试。     

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

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

逻辑句法计划与意义问题

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

约根森难题与真值语义学

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

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

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

《波尔·罗亚尔逻辑》的历史地位--阿尔诺、尼古拉逝世310周年纪念

《波尔·罗亚尔逻辑》是十七世纪欧洲最有名的逻辑教材,为纪念二位作者逝世310周年,本文回顾了该书产生的历史背景,分析了其中的哲学主题,进一步揭示了它在语义学、语言哲学及逻辑学等领域的历史地位。     

对动作的认知

在通常的动态认知逻辑的基础上,引进对动作的认知。给出对动作认知的语义和特征公理,建立这种新类型逻辑的极小系统,并证明其框架可靠性和框架完全性。     

C_n(1≤n<ω)及C_ω中的否定

在对当关系逻辑中,命题A与命题△A之间是一种下反对关系。在弗协调逻辑系统中,我们通过定义一个一元连接词●,可以证明,在对当关系逻辑中算子△所具有的性质,在弗协调逻辑中其否定﹁也都具有这些性质,从而得出,弗协调逻辑中的否定﹁是一种特殊的下反对关系算子。     

模态逻辑与哲学

模态逻辑是关于必然性与可能性的逻辑,因此也就涉及到必然与可能相关的一些哲学问题。除语义学方面的问题外,模态逻辑自身也存在与哲学相关的问题,如本质主义问题、抽象实体的存在性问题等。模态逻辑也引发一些哲学问题,如可能世界的本体论问题,可能个体的跨界同一和识别问题等。模态逻辑的研究成果对当代哲学的发展也具有重要的意义。当代马克思主义哲学的研究也应该结合与考察现代逻辑的研究成果。     

哲学与逻辑: 百年回眸

自弗雷格的《概念文字》发表以来，现代逻辑已历经百余年的发展，其中逻辑和哲学的交叠和互动关系构成了现代逻辑发展的一个重要侧面和不可或缺的组成部分。一方面逻辑和哲学彼此独立，另一方面两者又相互补充，相互取予。哲学哺育逻辑，逻辑反哺哲学。20世纪许多哲学分支的进步和发展与现代逻辑所提供的严格的分析技术是密不可分的。逻辑几乎影响了整个语言哲学的风格，也为形而上学、元伦理学和心智哲学提供了丰富的资源。逻辑提供了各种形而上学理论发展的基本框架，有时甚至在哲学中扮演着中立仲裁者角色。逻辑的百年事实上是逻辑与哲学互动性发展和交叠式共生的百年，而这种深刻和复杂的关系只有在一个广阔的逻辑哲学和哲学逻辑的背景下，透过语言的层面才能被充分理解和揭示。     

“如实述说”：逻辑中的信息流动

本文把逻辑表述为关于信息流动的一般理论，它涉及推理、观察和社会交往等人类能力。由此导致的多主体动力学可以用关于信息更新的动态认知逻辑系统来加以研究，后者也能够处理信念更新和学习问题；可以把这种语义动态学与作为信息阐明的推理的语法过程相结合：本文最后讨论了如何（将已有结果）扩展到主体之间的长期互动，并描述了（主体的）偏好和目标，以及由此导致的逻辑、博弈论和社会选择理论之间的相互作用。     

建立在"笛卡尔公理"上的一个怀疑逻辑系统

怀疑逻辑是关于人们合理怀疑的逻辑。如果说知道逻辑、信念逻辑都是"正"的逻辑的话,那么怀疑逻辑则是"负"的逻辑。将怀疑算子D加于命题之上就构成怀疑命题。笛卡尔的"我思,故我在"可以作为怀疑逻辑的特征公理:某人怀疑p,蕴涵着他对怀疑p是不可怀疑的———我们可以将之命名为"笛卡尔公理"。从该公理可以推论得到定理:某人不怀疑p,蕴涵着他对不怀疑p是不可怀疑的。该定理与笛卡尔公理一起作为当下思维存在的自明性公理。我们可以建立一个以"笛卡尔公理"作为一个特征公理的怀疑逻辑系统(PD)。笛卡尔公理与知道逻辑中的智慧公理(苏格拉底公理)在逻辑上是同构的,它们均对应于模态逻辑中的E公理。怀疑逻辑作为一种认知逻辑,有广泛的用途,它可以运用到政策反驳、科学批判、法律推理等领域。     

中国非英语专业大学生的外语听力焦虑研究及其对听力教学的启示

焦虑是影响语言学习的重要情感因素之一,本研究考查了中国非英语专业大学生的外语听力焦虑情况,以及听力焦虑对听力水平的影响作用。结果显示由英语听力焦虑、自我信念和英语听力技能三因子组成的听力焦虑在大学生中普遍存在,其中总体焦虑水平、自我信念及听力技能达到高焦虑水平;高、低焦虑水平的受试组在听力成绩上均呈现出显著差异,焦虑三因子及总体听力焦虑都与听力水平呈现不同程度的显著负相关;受试对听力水平及整体语言能力的自我评价都对听力焦虑产生了显著负面效应。文章最后对听力教学提出了相关建议。     

量子逻辑与量子计算逻辑——语境视角下的“量子逻辑”辨析

量子计算和量子逻辑分别是量子理论发展的两个方向,但是量子计算语境下的“量子计算逻辑”与量子逻辑语境下的“量子逻辑”这两个概念却极易让人混淆.文章首先探讨了量子逻辑与量子计算这两个量子理论发展的不同进路,进而对量子逻辑和量子计算逻辑这两个不同的概念进行了区分,最后指出了“量子逻辑”哲学研究未来应关注的方向.