论杰克逊的描述主义（英文）

克里普克提出对描述主义的著名反驳已经40多年,直接指称理论已成为语言哲学的一个新正统。杰克逊(F rank Jackson)在论文"关于指称和描述的修正"和其他一些著述中,提出一种声称能反驳直接指称论者所有严厉批评的新版本的描述主义。本文旨在评价杰克逊的观点,并就其对模态论证和语义论证的反驳提出质疑。     

论正规命题逻辑的析取性质（英文）

析取性质是一个逻辑的构造性特征的重要体现。严格蕴涵命题逻辑(正规命题逻辑)是正规模态逻辑的严格蕴涵片段。本文研究了正规命题逻辑的析取性质,运用K leene slash给出了析取性质的纯句法刻画条件。对于带有持续性公理的正规命题逻辑,本文给出了其析取性质的一个充分的语义条件。     

绿色助推（英文）

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

吕澂论因明与佛学论证（英文）

西方逻辑学传播和从日本输入因明后的直接影响是在民国时期出现佛教逻辑研究,最明显的表现是大多研究者形成因明的三支论式与亚里士多德三段论的一致性的观念,即新因明结构宗、因、喻分别对应三段论结论、小前提、大前提。吕澂则从历时性角度,站在法称量论理论框架下,研究因明的内容,认为因明等同于量论,包含论证结构及其规则、论证的认识论基础和论证在佛学中运用三部分内容,这就是佛家逻辑。吕澂的研究是因明创新研究的一个范例,是对窥基因明研究的一种逻辑转向,助益于当今佛教逻辑学科建设,但是,基于包含佛教逻辑在内的逻辑边界,吕澂并没有清晰的回答,使得在佛学论证中各持己说,这是吕澂给我们留下来研究的课题。     

论主观概率视角下博弈论的决策论解释（英文）

我们从决策理论的角度出发探讨了主观概率这一概念在博弈论中所扮演的角色。本文的主要目的在于进一步深入理解基于主观概率思想的博弈论的决策理论解释。我们通过具体实例展示了在分析策略互动的传统方法中存在着一些问题,而它们恰恰与主观概率在博弈中所起到的作用密切相关。在此基础上,我们论证到,利用主观概率的概念,并以决策理论为基础来构建博弈理论框架,可以有效避免传统博弈理论框架所面临的这些问题。特别地,我们将运用理性合理化的概念来为这一观点做出辩护。     

可想象性与可能性（英文）

本文的讨论围绕着"想象障碍迷思"这一议题,即为什么人们对某些反事实情境存在想象障碍,而展开。本文首先对BrianWeatherson的"In-Virtue-Of Hypothesis"给出了批评,并提出人们对某些反事实情境存在想象障碍是因为那些反事实情境在概念上是不可能的——概念上不可能的情境,也仅有概念上不可能的情境才是不能被想象的。针对这种对可想象性与可能性关系的理解,本文也讨论了一些可能的反驳并指出这些反驳的不成功之处。     

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

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

句子之间的距离（英文）

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

逻辑的研究去向（英文）

正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合理有趣的模型。     

模型论视角下对正规多元模态逻辑的阐述（英文）

本文对正规多元模态逻辑做了模型论视角的整体阐述。正规多元模态逻辑(PML)是对一元模态逻辑系统K,在n元算子上的推广。而多元模态逻辑的研究相对于一元逻辑较为匮乏。文献中的一系列有关PML的结果也被看作是有关K的结论的直接推广,而缺少部分完整证明,且已有证明多为代数证明。PML对于K的推广在某些方面是非平凡的,忽略这一点导致了一些教材及文章中甚至存在各种错误。从证明的角度上讲,对于PML的证明有时也需要不同的方法。基于以上几点考虑,我们认为有必要从模型论视角对PML做一个细致的考察,并给出一些模型论版本的证明,来简化以往的代数证明,从而给研究者提供一个统一的参考。本文从两个模态逻辑常用的模型构造方法(滤子和超滤扩张)出发,以经典教材中的定义为准,补全一些重要定理在多元语言下的模型论方法的详细证明。然后我们对van-Benthem刻画定理的多元版本证明做了一个澄清,考察了多元语言和一元语言下证明的具体区别。最后我们用模型论方法证明了PML具有插值性,而该定理在文献中往往是被当作一些代数事实的推论。     

奎因对模态逻辑的批评（英文）

奎因对模态逻辑的批评包括:(i)因为模态语境是指称不透明的,所以对其量化纳入没有意义;(ii)一些关于必然真理的经验知识与关于必然性的语言学理论不相容;(iii)模态语境中的量化纳入承诺了"亚里士多德式的本质主义"。丘奇,克里普克和福雷斯达尔对奎因提出了批评。他们提出,模态构造应该是外延上不透明但指称上透明的。奎因式诉诸于模态环境指称不透明的批评,在不采用单称词项的模态逻辑中不成立。他对本质主义的批评引入了一种必然性,但这种必然性没有办法用语言陈述词项进行解释。通过对语言中名称使用的讨论,我们可以看出,有关包含名称的同一性陈述的真值的经验知识,和卡苏洛称之为"一般模态地位"的先验知识是相容的。既然奎因论证了真同一性陈述的必然真是逻辑真,而且所有逻辑真都遵循戴维森式的意义理论(另文讨论),那么我们可以给出一个关于包含名称的同一性的真陈述的模态地位的先验知识的语言学理论。     

全称陈述句的使真者（英文）

Fine(2016)给出了几种使真者语义学来解释我们如何理解我们的语言,但是它们是有争议的,特别在我们如何理解全称句子方面存在争议。在Hale未发表的论文中,Hale修正了严格使真者的语义学,来解释我们如何理解规律性的全称陈述句。在这篇文章中,我认为如果Hale坚持规律性的全称句子和偶然性的全称句子在严格使真者语义上的区分,那么最好区分这两种全称句子的逻辑形式,尽管前一种全称句子蕴涵后一种全称句子。我还给出了另一种规律性全称句子的语义条件来区于Hale所给出的语义条件。在文章的最后一部分,我在非严格的使真者语义学中比较了这两种规律性的全称句子的不同语义条件。     

群体中的知识和行为（英文）

本文讨论关于世界的信念和关于他人信念的信念如何指导主体(成人、儿童和动物)行动。如果我们知道一个人的偏好和他的信念,那么我们可以某种程度上预测他的行为。而如果我们知道他们的偏好,那么我们就可以通过他们的行为来推测他们信念。文学作品和现实生活中都有一些相关的例子。我们还给出了一个形式框架,这个框架是不依赖纳什均衡,而是接受非确定论,并且采用信息观点下的被占优策略概念。     

Presburger算数中的f-generic型（英文）

设有序加法群(G,+,, 0)是一个Presburger算数理论的模型。本文研究了G~n上的f-generic型,并且对其给出了一个分类定理。利用这个分类定理,我们证明了所有的f-generic型都是■-可定义的。此外,文章的最后一部分研究了p-adic域Q_p的乘法群H。我们证明了H~n的f-generic型也都是■-可定义的。     

算法随机性与逼近元（英文）

本论文将会提出逼近元微分定理的能行化版本。我们证明了在实数集上,点x对所有L1可计算函数满足逼近元微分定理描绘的收敛,当且仅当x是Schnorr随机的。     

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

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

能力模态与析取分配原则（英文）

在标准的模态逻辑中,诸如可能可以等存在性模态通常遵循析取分配原则。然而,如肯尼的经典案例所示,用于表述主体能够如何行动的能力模态似乎违反析取分配原则。通常,学者们认为这一点意味着能力模态并不是存在性模态。本文将论证,在能力陈述中,通常隐含地诉诸某种成功率的概念,而对成功率的隐含化处理导致了某种辖域含混。通过在能力陈述中澄清此辖域含混淆,我们将表明肯尼式的案例并未证明能力模态违反析取分配原则。就如可能可以也许等典型的模态表达,能力模态依然可以被视为存在量词。至少就肯尼的案例而言,并无必要就能力概念发展独立的逻辑系统。     

辩证逻辑形式化中的哲学问题（英文）

长期以来,中国逻辑学界围绕"辩证逻辑"的主要争议是这一逻辑是否可能存在。这种仅仅围绕基本概念的讨论因缺乏共识而难以为继,在现代逻辑的研究范式冲击下逐渐消亡。本文试图为读者展现一种近年来为学界逐渐接受的更加务实的方法。这种方法旨在考虑形式逻辑表达哲学上的"辩证"概念,并将其视为逻辑系统正当性的来源。这一进路促使国内不同领域的学者们先后提出了多种相互竞争的辩证逻辑。进一步,尽管对辩证这一概念的理想翻译可能是不存在的,但我们没有理由将这样一种尚在探索的逻辑排除在逻辑家族之外。     

认知过滤式指示条件句（英文）

Deng和Lee(2021)使用“外推式”因果模型语义学对指示条件句进行了刻画。这种刻画方式要求我们对变量先进行优先级排序并用它计算出外推子模型的排序,然后在此基础上定义出最小外推子模型集从而解释指示条件句的语义。在本文中,我们首先论证这一刻画指示条件句的方式会产生不必要的复杂性,并且可能会产生错误的结果。随后,我们提出了一种对指示性条件句的“认知过滤式”刻画,并证明这种刻画可以成功地避免上述问题。