从方法论的角度看动态认知逻辑的研究

本文主要探讨动态认知逻辑技术结果背后的思想,着重强调其在方法论方面的一般想法。文章在公开宣告逻辑的基础上展开讨论,重点考察了归约公理的意义,揭示了其本质是在基本语言中提前解析动态信息对认知产生的影响。文章以公共知识为例,说明了并非所有的逻辑算子都能找到归约公理,有时候我们需要丰富基本语言的表达力。而且,我们从如何给出一个逻辑的角度提出,动态认知逻辑实际上是在“动态化”认知逻辑,这种动态化的方法可以应用在其他静态的逻辑系统中。我们以动态偏好逻辑为例,说明了这一过程是如何实现的。     

祈使句和逻辑(英文)

本文基于更新框架定义了一种动态的祈使句语义,并在此基础之上讨论了关于祈使句的逻辑。这个语义对于祈使句的一致性问题和Ross悖论提供了一种直接的解决方案。我们的工作在祈使句和祈使力结构之间的对应之上展开。首先,根据处理祈使句相容性的不同方式,我们给出了几种不同的祈使句一致性定义。然后,祈使句的意义被处理为祈使力机构上的依赖相容性的更新函项。最后,祈使句之间的蕴涵关系被归约为祈使力结构之间的某种关系。基于不同的相容性定义,我们给出了几种不同的蕴涵关系。     

三值量子逻辑进路探析

量子测量实验显示部分经典逻辑规则在量子世界中失效。标准量子逻辑进路通过特有的希尔伯特空间的格运算揭示出一种内在于微观物理学理论的概念框架结构,也即量子力学测量命题的正交补模或弱模格,解释了经典分配律的失效,它在形式化方面十分完美,但在解释方面产生了一些概念混乱。在标准量子逻辑进路之外,赖欣巴赫通过引入"不确定"的第三真值独立地提出一种不同的量子逻辑模型来解释量子实在的特征,不是分配律而是排中律失效,但是他的三值量子逻辑由于缺乏标准量子逻辑的上述优点而被认为与量子力学的概率空间所要求的潜在逻辑有很少联系。本文尝试引入一种新的三值逻辑模型来说明量子实在,它有以下优点:(1)满足卢卡西维茨创立三值逻辑的最初语义学假定;(2)克服赖欣巴赫三值量子逻辑的缺陷;(3)澄清标准量子逻辑遭遇的概念混乱;(4)充分地保留经典逻辑规则,特别是标准量子逻辑主张放弃的分配律。     

Numeral Classifiers and the White Horse Paradox

This paper presents an interpretation of Gongsun Long＇s white horse paradox. The Chinese sentence he uses to state his main thesis （Bai ma fei ma） has two potential readings： （a） The white horses are not horses. （b） The white horses are not the horses Although （a） gives the usual and correct reading of the sentence, according to the interpretation, Gongsun Long takes it to state （b）. He gives good arguments for （b） while taking them to establish （a） as well, for he fails to distinguish between the two different theses. In presenting this interpretation, the paper gives an account of the function of numeral classifiers and discusses the semantics of count nouns in languages with no grammatical number system, including classical Chinese and classifier languages （e.g., contemporary Chinese）.     

哲学逻辑与逻辑哲学的新进展——2014年国内逻辑学研究综述

近年来,国内的逻辑学研究主要集中在哲学逻辑、逻辑哲学以及模态逻辑等方向,2014年的逻辑学研究依然体现了这种研究方向的分布情况。在哲学逻辑领域,与动态逻辑相关的研究占据了很大的比重;在逻辑哲学领域,对经典著作或者经典理论的重新整理或理解成为了一个重要的研究热点;在模态逻辑领域,经典模态逻辑以及超模态逻辑中的很多问题也都...     

责任意识与责任心理研究：时代呼唤的主题

责任,是一个多学科进入的复杂社会文化主题。伴随对人类自身存在价值的反思,责任问题逐渐进入人们的视野,哲学、社会学、伦理学、心理学等诸多学科依照各自的认知逻辑,从不同角度、层面对这一主题做出了系统阐释。从而有关责任性质内涵的理解广泛浸润于那些探寻人生境界的哲理建构之中。每位哲人在面对“责任的本质及其与自由的矛盾转化关系”命题时,都会给出自己严肃认真的形而上解答。责任也总是体现为一种社会行动。     

从"物"、"实"之别看公孙龙名学的价值——以荀况为参照

先秦诸子论名,旨在匡正名实相怨的时弊,公孙龙也不例外.但是其以实正名的学说宗旨,却并不为同时代诸子赞同,以致荀况斥之为"惑于用名以乱实者也".究其原因,乃公孙龙所论之名,与此时代之一般理解旨趣殊异.概言之,公孙龙看到了"名"的两种用法,即名既可命物(个体物),是为"物名",亦可命实(个体物的性质),是为"实名".公孙龙特别强调的是为当时人所忽略的后者的意义,其价值与其说是逻辑的,还不如说是形而上学的.不管是与公孙龙的同时代诸子相比,还是从其后的中国哲学发展的思维取向来看,这一发现和阐述都是独特且别具价值的.     

科学哲学

本文首先讨论科学哲学的起源与重要性。其次,本文考察如下基本问题：理论客体的实在论性、理论与经验的区分、科学解释、归纳、科学检验等等。本文所涉及的观点包括实在论与反实在论、科学解释的不同模型、证实主义与证伪主义、亚决定论、整体论、被理论渗透的经验、不可公度性等等。本文所涉及的学派包括逻辑经验（实证）主义、实在论及关于科学的实用主义、历史（科学史）转向与相对主义。最后,笔者会谈一谈科学哲学的新近发展方向及笔者对其在中国与西方将来发展的前瞻。     

《逻辑哲学论》中的真理概念

维特根斯坦在其《逻辑哲学论》中集中讨论了真理概念,他处理这个概念的方式表明了如何理解语言与实在的关系,以及在何种意义上没有否定记号所代表的实在之物。本文从维特根斯坦关于真理符合论的表述是否会遭到弗雷格的批评这个问题入手,对照戴尔蒙德关于维特根斯坦真理概念的解释,给出了自己的解读,按照这种解读,真内在于使用命题的活动。     

为什么终究有一个宇宙,而不是什么都没有?

为什么终究有一个宇宙,而不是什么都没有？这个表述提出的是一个有名无实的问题,它是莱布尼兹于1697与1714年提出的两个相续提问的融合。他这样做是为了给他的有神论解释奠定基础。本文是2004年的长篇（54页）论文《有神论宇宙学的贫困》的续篇,那篇论文发表在《英国科学哲学杂志》第55卷的561至614页上。本文所做的工作是：（1）莱布尼兹要求对那个问题做出解释,而本文所做的批判性考察则得出了一个对之非常不利的结论;（2）本文的论证表明：莱布尼兹将那个疑问句的本体论难题作为他以及R．斯温本（Richard Swinburne）的创世有神论回答的跳板,这种做法是完全失败的。在（1）中的论证是,莱布尼兹的解释要求是一个构思拙劣的启动器,它提出了一个伪问题（pseudoissue）。因此,他以及斯温本支持神圣创世的论据完全是失败的。本文附带的结论是：哲学事业根本不必为莱布尼兹的本体论疑问所累,因为它只是一个幻影。