认知逻辑中逻辑全知问题及其解决方法

分析认知逻辑中的逻辑全知问题及其解决方法， 提出一种可以避免逻辑全知的认知逻辑 Ｅ Ｌ，

认识逻辑(3):基于语义tableau的证明理论

本文定义了带有索引的认识逻辑ELI，讨论了ELI的语义tableau的证明过程，证明了模态tableau的相容性和完备性．由于ELI与认识逻辑EL是等价的，因而，本文讨论的tableau证明过程也可以作为EL的证明理论．

试论认知逻辑研究中的若干问题

认知逻辑研究的目的是为人工智能研究提供有力的工具。然而,目前认知逻辑的研究成果却难于应用于人工智能的实践之中。这种情况在很大程度上是由于认知逻辑自身存在的问题造成的。第一,认知逻辑理论缺少可操作性,人们不能用能行的方法构造认知逻辑系统定理的证明和根据系统所进行的推演。第二,认知逻辑理论所采用的可能世界语义学方法不能对认知语句做出合乎情理的解释。第三,认知逻辑的公理系统并不是人工智能研究所必需的。由于这些问题的存在,逻辑学家需要对原有的方法进行认真的反思。

“常常”和“往往”的主观性差异及其句法表现

“常常”“往往”是汉语中常见的频率副词。文章从句法形式、语义特征、历时演变等角度论证了二者的语义差异:“常常”表次数多,具有客观性特征;“往往”表大概率,具有主观性特征。“往往”的主观性特征导致了“高于预期”义与“反预期”义的凸显。文章分析了“高于预期”与“反预期”等语义特征的认知基础与句法表现,并认为上述语义特征是“往往”未能发展为典型的认识情态的重要原因。

认知情态动词与根情态动词的语义歧异研究

情态词表现为句子的模态算子,其界定与描述长期以来都是语言学中探索的问题之一。笔者根据JenniferCoats的情态助动词意义的理论(叠义、模糊集模式),将情态助动词进行适当归并,划分出认知情态和根情态两类,以情态助动词can、may、must和have to以及它们的否定和过去时态形式为载体进行讨论,旨在对英语情态助动词的语义歧异研究提出新的思路和方法。

情态动词的语义分析及翻译研究

正确运用情态动词有利于恰当地表达情感,传递信息和促成交际的成功。文章依据Palmer和易仲良教授对情态动词相别和级第的划分,研究情态动词的语义特征、语用含义和翻译特点;理解和运用情态动词,必须考虑语境因素,才能准确无误地传递原语的思想内容和感情色彩。

意外考试悖论及其解决——兼论求婚者悖论和双信封悖论

悖论被分为四种,即一阶客观描述悖论、二阶客观描述悖论、一阶主体操作悖论和二阶主体操作悖论。意外考试悖论、求婚者悖论、双信封悖论等属于二阶主体操作悖论,对它们可以统一地给以二阶操作性解决。这些悖论通常被归入认知悖论,而"认知悖论"是一个比较含糊的概念,它本身并无独立的地位,因而它要么被归入语义悖论,要么被归入操作悖论。对于语义悖论,通过对其语义规则加以限制可以给以弱的解决。对于操作悖论,不仅可以给出弱的解决,还可给出强的解决。

社会历史的因果描述论--一种语言观和由它派生的一种新名称理论

关于名称的描述论和直接指称论之间的"战争"已经持续了30多年。一种新的名称理论——社会历史的因果描述论(SHCD)基于下述语言观:语言是社会性的,约定俗成的和有生命的。SHCD由下面6个论题组成:(1)名称与对象的关系始于广义的初始命名仪式。(2)在关于名称的因果历史链条上,所传递的首先是并且主要是关于名称所指对象的描述性信息。(3)被一个语言共同体所认可的那些描述性信息的集合构成了名称的意义。(4)相对于认知者的实践需要,在作为名称意义的描述集合中可以排出某种优先序:某些描述比其他描述更占有中心地位。(5)名称都有所指,但名称的所指不一定都是物理个体,也包括抽象对象、虚构对象和内涵对象。(6)若考虑到说话者的意向、特定话语的背景条件以及相关的知识网络等因素,由名称的意义甚至是其一部分意义也可以确定名称的所指。SHCD简单回应了克里普克对描述论的那些批评以及其他一些逻辑疑难。SHCD与克里普克的名称理论的分歧和对立,实际上源自两者在语言观上更为根本的分歧和对立。

现代汉语能性补语的语法化

根据情态意义类型语法化的顺序,从语用推理、句子内部因素和能性补语的构成三个方面证明,现代汉语能性补语可以表达认识情态意义,并且,这一表现在能性补语的肯定形式和否定形式上具有不对称性,否定形式的语法化程度高于肯定形式,在句法上有一系列的表现。

查莫斯型二维语义学研究述评

查莫斯型二维语义学的原初目的是用来反对物理主义,而随着该理论的不断成熟,查莫斯将他的二维语义理论广泛地用于解决心灵哲学与语言哲学中的一些难题,从而引起了学界的热烈讨论。近年来,国内学者也开始关注查莫斯型二维语义学,从不同的视角去解读这一理论,并取得了富有独特见解的系列成果,同时也使问题的症结逐步得以呈现。这预示着二维语义学研究将成为学界持续关注的一个重要领域。

自信性认知逻辑

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

认识逻辑(4):关于认识逻辑的可判定性

判定问题是逻辑研究中的重要问题．本文讨论了关于带有索引的认识逻辑ELI的基于语义tableau方法的判定过程，阐明了ELI的Mwff的可判定性．由于认识逻辑EL的公式与ELI的Mwff是对应的，因而，认识逻辑EL也是可判定的．

现代汉语揣测情态副词的使用差异

现代汉语揣测副词在语义、语体上均有差别,基于语料库的统计显示了语体差别,而语义差别则可通过一定的手段得以揭示,并可从汉语史的角度得到验证。

他连A都知道——认知逻辑EK1-EK3

首先,我们构造认知系统EK1-EK3,给出它们的一些证明论结果。其次,我们引入邻域语义,给出EK1-EK3的特征公理和规则的框架条件,证明EK1-EK3相对这些框架条件分别是框架可靠的。最后,我们证明EK1-EK3相对这些框架条件分别是框架完全的。

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

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

查尔默斯的二维语义学理论评析

基于认知的可能性和形而上学可能性的区别,查尔默斯提出新的二维语义内涵:认知内涵和反事实内涵。目的是期望通过考虑不同的可能性空间重新阐释克里普克的后验必然命题和先验偶然命题,修复被克里普克理论割断的"金三角"联系,从而与传统的语义学理论兼容。在扼要介绍二维语义学的基础上揭示了它的两个严重缺陷:其一,继承了克里普克关于"严格指称"之必然性的错误;其二,把形而上学必然性与逻辑必然性进而与认识必然性混为一谈,导致"二维语义学"向一维语义学的蜕化。

英语“情态副词+DP”的合法性解析——兼谈其汉语对应表达

认识类情态副词作用于命题,表达对命题的主观确定程度。但英语中,这类副词却常与DP组合,作用于DP,而非命题。本研究探讨英语"情态副词+DP"结构的合法性条件。研究认为,在"情态副词+DP"的语义解释中,表层的DP实际关联一个命题,这是支撑"情态副词+DP"结构合法的深层语义条件;英语关系从句是"情态副词+DP"成立的句法前提,它在语言使用经济性原则和转喻机制的推动下在表层实现为DP;此外,从语义匹配角度而言,情态副词表达认知不确定性,与之组合的命题内容(表层为DP)也需要具有与之匹配的"不确定性",这是"情态副词+DP"合法的另一语义条件。在上述分析的基础上,研究还对比分析了相同的概念语义在汉语中的编码问题,审视了英汉语在句法—语义界面上不同的工作机制。研究发现,汉语不存在英语关系从句的这样的固定句法结构,故无法借助转喻机制使用DP代替命题表达的概念语义。

“(NP)+V+起来+AP”结构评估认识情态意义及其来源

"(NP)+V+起来+AP"结构主要用于表达说话人凭借一定经验和知识,通过"V起来"的评估方式,主观推断句子主语"NP"具有"AP"的性质,或者主观地认为做某事("V+NP")具有"AP"的特点,具有表达说话人评估认识情态意义的功能,是一种言者取向的情态表达成分,其评估认识情态表达功能源于"起来"的语义演变和虚化。

密码通信下的动态认知逻辑

动态认知逻辑能够完成多主体信息交互活动中认知状态的刻画,但是它缺乏对密码通信的支持,同时密文处理规则的描述和主体密码全能问题也是迫切需要解决的问题.CDEL(Cryptography Dynamic Epistemic Logic)是支持密码规则的一阶认知逻辑,它为开放环境下主体传送信息提供了一个良好的描述方法.文章讨论了该逻辑中的密码公理的引入和密码全知问题的处理,简要介绍了其动态扩展方法和进一步研究的方向.

“我看”的话语关联与认识立场表达

“我看”是汉语口语中使用频率较高的认识立场标记。其高确信度的语义特征源自“看”的感官实据性,言者理据由亲眼所见的事实泛化到切身所感的具象身体经验,再逐步拓展到内隐的抽象价值观念。“我看”的基本话语功能是表达认识立场,标示主观认识、评价和建言是其立场表达功能的具体体现。“我看”认识立场表达功能的浮现过程与视觉行为动词“看”的语义变化过程相辅相成,高频复现以及视觉形成与认知心理的密切关系是其形成机制。