逻辑的研究去向（英文）

正On October 14–16,2013,a large group of Chinese and foreign logicians gatheredatTsinghuaUniversitytopresentabroadandlivelypictureofthefieldoflogicin its various ramifications today.As can be seen in the scientific program at the webpage www.tsinghualogic.net,topics at the international conference"Logic across     

一个关系信念逻辑（英文）

本文提出了信念逻辑RB,其特点是将关系信念,将信念看作是引用的公式和信念背景。其主要谓词是三元组:B≤xyb,读作:"在背景下,最多与同样可信。"背景在语义及认知语用目的上起作用。RB的表达力足以表达对角线引理。因此,RB也许被认为是不一致的,如共同认知逻辑。但是,从RB的公理中并不能推出矛盾。事实上,可以找到RB合理有趣的模型。     

愤怒博弈者的更新逻辑（英文）

愤怒的博弈者是具有攻击性的,为了减少对手的效用,他们甚至愿意牺牲自己的利益。本文为刻画该行为模式构建了一个包含更新算子的模态逻辑。与传统的针对偏好的更新不同,我们的逻辑中因应愤怒更新的是博弈者的可选行为,即在更新之后的模型中,愤怒的博弈者只能选择使对手获益最少的策略。我们为这套逻辑构建了一个公理系统,证明了其可靠性以及弱完全性,并将其应用在最后通牒博弈中。     

非现实可能世界的逻辑（英文）

在陈佳(2020)中,强可能性与弱必然性的逻辑被提出,并在许多框架类上被公理化。本文将称该逻辑为“非现实可能世界的逻辑”。然而,那里的完全性证明非常复杂,其中涉及到在典范模型的构造中极大一致集副本的使用,以及其他的考虑。在本文中,我们证明陈佳(2020)中某些系统的完全性可以通过翻译归约为文献中一些熟悉系统的完全性,从而在这些系统之间架起一座桥梁。我们也将探讨该逻辑的框架可定义性问题。     

关于函数依赖关系的认知逻辑（英文）

对非经典知识,尤其是知道是什么的研究几乎是与对经典的认知逻辑的研究同时开始的,并且近来此类研究又吸引了诸多学者的注意。此种知道是什么算子能用来表达认知主体对个别变量的值的知识,但仅靠其自身却无法表达主体对变量之间的关系的知识。本文尝试提出一种算子来表达主体对变量间的函数关系的知识。不同于相关研究中类似的用于表达函数依赖关系的其它算子,这种算子的语义引入了一个先验函数域,用以表达认知主体对函数依赖关系的先验可能性的限制。我们将讨论该种语义下由不同的先验函数域引出的三种单主体逻辑,然后将其统一到一个逻辑当中并扩充为多主体逻辑。     

在有序结构上刻画βP的逻辑（英文）

我们在膨胀不动点逻辑IFP的基础上,加入一种带有(多重)对数上界的新二阶量词,并且证明了,在有序结构上我们的新逻辑?~(logω)IFP刻画受限非确定性复杂类βP。为了研究该逻辑的表达力,我们也设计了一种新的Ehrenfeucht-Fra?ssé博弈,并说明在最一般的情况下,也就是在全体有穷模型之上,该逻辑对βP的刻画并不成立。     

一个真值函项偶然逻辑的希尔伯特演算系统（英文）

如果一个命题在经典命题逻辑中既不是一个重言式也不是一个矛盾式,则称它是真值函项偶然的。真值函项偶然逻辑即是为了刻画所有真值函项偶然的命题。本文将给出一个关于真值函项偶然逻辑的可靠且完全的希尔伯特演算。在此演算中,通过演绎所得到的公式要么是偶然公理,要么是由偶然规则推出的。     

含例邻域逻辑的萨奎斯特对应理论（英文）

本文给出含例邻域逻辑的萨奎斯特对应理论。这种逻辑可以讨论一个可能世界的邻域的存在性信息,是关系语义和邻域语义的一种混合。增加的表达力和描述邻域函数的关系特征使我们可以在框架层面讨论这种语言可以定义什么性质,是否可以超越邻域语义的KW片段。我们给出对应定理的两个证明。第一个证明直接使用标准翻译和极小赋值的技术,第二个证明通过双模态翻译将含例邻域逻辑的对应问题转化为经典克里普克语义的双模态逻辑。     

关于博弈中理性主体的三种道义逻辑（英文）

在《从道义的角度来看最优行为的逻辑》和《义务、自由选择和最弱允许的逻辑》两篇文章中,作者主张道,在博弈里,义务(obligation)和允许(permission)分别应被看作为关于理性的必要和充分条件。根据这个主张他们得到了一个具体的道义逻辑,使得在这个逻辑里的义务算子和允许算子不再是一对对偶概念,并且算子是一个关于"自由选择"的允许算子。类似的道义逻辑在文献里已被提出,例如,有早期的由范丙申(1979)提出的方案,和最近的在《基于布尔代数的道义行为逻辑》里的方案。在这篇文章里,我们将从在博弈论中的理性主体的角度,来研究这三种道义逻辑之间的关系。我们将对比它们的演绎能力,给出它们的翻译,并且着重说明它们关于参与人(players)所应当做的或可以做的的不同看法。     

逻辑性和弗雷格算数与简单类型论的逻辑主义（英文）

弗雷格和罗素的逻辑主义由两个部分构成:可证明性论题和可定义性论题。可以很确信地说,可证明性论题并不能得到完全的辩护。但是,为了向两者,特别是可定义性论题,提供辩护或者拒斥之,我们需要逻辑性的标准来决定,除了其它常元的逻辑性之外,表示数的常元和表示属于关系的常元的逻辑性。我将采用的逻辑性标准是塔尔斯基和谢尔提出的同构不变量标准和费弗曼提出的同态不变量标准。塔尔斯基和谢尔在不同的地方已经指出罗素的表示属于关系的常元是同构不变量。在本文中,我将证明如下结论:第一,表示属于关系的常元是同态不变量;第二,弗雷格的表示数的常元既不是同构不变量也不是同态不变量;第三,如果逻辑性是同构不变量或者同态不变量,弗雷格的逻辑主义(弗雷格算数)的可定义性论题不成立;第四,如果逻辑性是同构不变量,罗素的逻辑主义(简单类型论)的可定义论题成立,但若逻辑性是同态不变量,这个论题则不成立。     

科学逻辑——新的逻辑分支之一

随着现代科学的不断发展,人们对逻辑学的研究不断深入,在国外,许多学者已对“科学逻辑”开展了研究,并不断地取得了显著的成果。在国内,近几年来也有一些哲学工作者、逻辑工作者、自然科学方法论的学者开始探索这一科学领域,并取得了初步的研究成果。由全国十一所高等院校集体编写并由张巨青主编的《科学逻辑》,已由吉林人民出版社出版了,这必将推动我国逻辑学界对科学逻辑的研究。     

烧旺理性的火焰:对逻辑的个人体会（英文）

现代逻辑拥有一套方法,使得它能够成为关于推理和其他信息导向之行为的一门广泛的科学,不但在大学里起着联接人文学、精密科学和社会科学的重要作用,并且也是我们信息社会基础的一部分。这篇文章,是我2014年9月26号在阿姆斯特丹大学大礼堂里所做的"纯粹与应用逻辑的顶级讲座教授"(University Professor of Pure and Applied Logic)讲席之离职演说的修改版本。此文回顾了现代逻辑的历史,阐述了逻辑与智能主体领域里新出现的动向,并讨论了它在未来所面临的的最重要的挑战。范丙申目前是阿姆斯特丹大学逻辑学荣誉教授,斯坦福大学亨利沃尔格瑞夫斯图尔特哲学教授,同时也是清华大学长江学者奖励计划讲座教授。     

绿色助推（英文）

我们人类当前的生活方式不是可持续的。提升可持续性的途径之一是发展更绿色的科学技术,另一种补充性途径是改变人们的态度、习惯和行为。在本文中,我们讨论了6种心理技术,其宗旨是推动或助推(nudge)人们做出更环保的选择和行为。这些心理技术涵盖范围非常广泛,有些可以远程使用,如在通知公告中建构沟通信息,有些则涉及对人们的决策情境做出的改变。因此,本综述关乎到各行业从业人员,如市场营销人员、政策制定者、消费者代表等。对于每项心理技术,我们讨论了其认知和(或)情绪的理论性基础。此外,我们探讨了目前文献中存在的空白,并提出了可填补这些空白的未来研究方向。     

“逻辑、现代性与现代主义”会议综述（英文）

<正>1 When and where The workshop‘Logic,Modernity,Modernism:Chinese and Western Perspectives’took place on October 11–12,2014 at the Department of Philosophy at Tsinghua University in Beijing.It was organised by Wang Lu and Martin Stokhof,and received financial support from the School of Humanities of Tsinghua University,from     

量子逻辑中一个形式化的状态-性质对偶关系（英文）

本文展示了量子物理中一个状态一性质对偶关系的形式化。在性质方面,Piron证明了Piron格(最初被称为不可分解的命题系统)刻画了量子系统的可测试性质所组成的结构。在状态方面,我们定义量子Kripke框架来刻画量子系统的状态在非正交关系之下所组成的结构。而且,我们定义了Piron格之间的线性态射,并把Piron格所组成的类组织成一个范畴。我们也定义了量子Kripke框架之间的连续同态,并把量子Kripke框架所组成的类组织成一个范畴。最后,我们证明了在范畴论的意义上Piron格所组成的范畴和量子Kripke框架所组成的范畴是对偶的,这样我们就用数学的语言描述了量子物理里面一个直观上的状态—性质对偶关系。这个形式化的对偶关系在代数结构和关系结构之间建立了联系,这将会有助于研究关于量子物理的逻辑。     

停下即完成:“知道如何”的弱逻辑（英文）

本论文针对王彦晶提出的知道如何的模态算子提出了一种新的语义。与原来的语义相比,我们的语义比较弱但是却更容易实现。根据该语义,主体知道如何从状态到达状态?当且仅当主体有一个有穷的线性动作系列使得执行该动作系列停止后的状态即是目的状态。这种弱化的新语义导致了一种弱化的逻辑。原来逻辑系统里面的组合公理在我们的新语义下不再有效。我们也给出了该逻辑的一个公理系统并证明了其可靠性和完全性。同时,我们也证明了该逻辑具有可判定性。     

图式逻辑:哲学逻辑的一个新分支

逻辑研究有效推理,判定其有效的依据是结论所传达的信息与前提所传达的信息之间的必然关系,而传达这些信息的媒介不一定就是语言。日常推理是运用语句、图形甚至声音、气味等多种信息进行的多模态推理,对这些多模态表示系统和推理的研究已经成为心灵哲学、认知科学、心理学、教育学、数学、逻辑学和计算机科学等领域的交叉地带。自从     

论何物存在（英文）

本文首先澄清了蒯因的本体论承诺不能回答逻辑理论的本体论承诺的问题。然后分析了Kit Fine(2009)对量化理论的批评。尽管本文同意"本体论承诺"本身并没有解释日常承诺与理论承诺的距离,但是不同意本体论承诺的哲学分析是平常的或者是非哲学的。本文还讨论了Fine(2009)与叶峰(2010)所阐述的两种实在论,并且认为他们的结论下得草率。通过比较弗雷格和蒯因的本体论理论,本文分析了蒯因的本体论承诺的起源以及弗雷格对本体论的量化解释的评论。     

布尔模态的公理化（英文）

布尔模态(即模态生成算子补、交、并)涉及到了完全性问题。并模态是模态可定义的,但是补和交都不是。这意味着证明包含这三个模态的逻辑的完全性不是一件简单直接的事情。Gargov和Passy使用复制方法从整体上处理这三个模态,但是,这个方法不适用于强完全性,也不能单独处理这三个模态。本文改进了这个方法,使得改进后的方法更具一般性,并且没有这两个不足之处。     

句子之间的距离（英文）

"语境"是知识论、语言哲学和逻辑学领域的经典话题。当我们谈论语境的时候,存在两层意思:首先,语境指在进行解释时的物理或沟通环境,这种环境会为时间、空间、名字、记号、符号所决定;第二,语境指进行讨论所基于的基本理论框架。在本文中,我们通过预设一种理想语言,来避免对语境在第一层含义之下所导致的问题进行讨论。然后,我们将从特定的文本语料库构造第二层含义之下的语境。在构造的过程中,我们借鉴数据挖掘领域"聚类分析"的思想,将语境视为基于语句之间互信息的语句聚类。