自然语言充分条件句的逻辑分析

自然语言中的充分条件句从逻辑上分析,包括了两种不同的情况。一种充分条件句两个分句之间具有"有前件就有后件"的蕴涵关系,因而表达逻辑上的充分条件假言命题;另一种充分条件句两个分句之间具有共存关系,不具有蕴涵关系,因而不表达逻辑上的充分条件假言命题。这两种充分条件句在交际和论证中有着各自不同的功能。弄清其区别和不同功能,就能够更好地为我们的思维实践服务,从而提高我们的思维能力和语言表达的效率。     

英语虚拟条件句的功能语言学研究

以系统功能语言学为理论框架,从经验功能、人际功能、语篇功能、逻辑功能4个角度分析虚拟条件句的功能、意义和用法。从经验功能的角度来看,虚拟条件句可以表达说话人的内心世界,能够用来描述人们许许多多的内心世界活动 从人际功能来看,虚拟条件句给予或需求的信息或劳务不是显露于字面,可用来表达许许多多委婉和含蓄的意义 从语篇功能来讲,虚拟条件句中的依赖句既可以用作主位,也可用作述位的一部分,可用来提出预设、附带补充说明、表达事后想法等 从逻辑功能来看,虚拟条件句中依赖句与控制句之间具有严密的逻辑性,可用来表达令人心悦诚服的观点。     

关于Lukasiewicz系统中强蕴涵算子构造的若干结果

首先证明了Lukasiewicz系统中的公式┐x^m＋y^n，┐mx＋ny，┐x^m＋ny，┐mx＋y^n是强蕴涵算子，接着指出任意两个Lukasiewicz强蕴涵算子的合取和析取都是强蕴涵算子，最后对构造Lukasiewicz强蕴涵算子的问题提出了几点看法。     

均匀逻辑公式的基本性质及其真度的分布

基于密码学中布尔函数的等重性在二值命题逻辑中引入了均匀公式的概念。证明了每个均匀公式的真度都小于或等于1／2, 全体均匀逻辑公式的真度之集在逻辑度量空间中有惟一的聚点0。 研究了均匀逻辑公式的基本性质, 给出了含有同样原子公式的二均匀逻辑公式的析取式真度以及二者之间的相似度的简单计算方法。     

表达量化的方式及其形式刻画问题探讨

许多自然语言句子具有QAB的形式,这里Q是量化短语;A是普通名词短语;B是动词短语。自然语言语句表达量化的方式是多种多样的,这样在形式逻辑中对量化式的刻画也是方法各异。许多英语限定词在经典一阶逻辑里能够得到刻画,尽管要使用有点复杂的累赘的说法。但是也有许多限定词不能在经典一阶逻辑中表达出来。我们可以增加新的量词符号,比如说most来丰富经典一阶逻辑的表达能力。     

相干逻辑的产生及评价

在概述"蕴涵怪论"与相干逻辑的产生的基础上,阐述相干逻辑对经典逻辑与模态逻辑的修改。认为相干逻辑不仅建立了自己庞大的形式系统家族,而且拥有完整的语义学,具有良好的发展前景。然而,相干逻辑比经典逻辑、模态逻辑更加抽象,更加复杂,也导致了一系列的质疑。     

计算机与自然语言的理解

自然语言是相对于机器语言提出来的。在计算机看来,自然语言是一种不好"理解"的语言,可以从逻辑、语法、语义三方面来理解使计算机感到困惑的问题。这些困惑不解决,"人工智能"只能是一句空话。     

情景语义学对条件句的语义刻画

情景语义学用情景类之间的制约关系来表示自然语言语句的意义,为合理解释条件句的意义提供一个新思路。情景语义学认为条件句的意义就是其前件和后件所涉及的情景类之间的制约关系。情景语义学对条件句的语义刻画适用于不同种类的条件句,对自然语言语义学和逻辑学领域产生重要影响。     

IF条件句的多义性探究

语言的主观性是IF夸件句区分为客观的逻辑条件句和主观的逻辑条件句的动因，即其多义的动因。在主观的逻辑条件句中，IF分句p在命题层次上不是造成主句事件q发生或发展的直接原因，而是为主句的言语行为提供充分的理由和动机。     

蕴涵和预设的理论基础和实际运用

蕴涵是用来描述句子命题之间的真值概念。预设是推理过程中必须认定的前提。预设有语义预设和语用预设。预设的性质或归结为衍推或归结为含义。蕴涵和预设理论有赖于语义学、逻辑学、句法学、语用学共同发展;加深对蕴涵和预设理论的认识,有助于这些学科进一步发展。蕴涵和预设理论既丰富又深化我们对自然语言语料的认识,自然语言语料又能推动蕴涵和预设理论进一步发展。     

近似推理中模糊蕴涵算子的构造与选择

针对在基于合成推理规则(CRI)的近似推理研究中,模糊蕴涵算子的选择这一核心问题,对采用t-范数与t-余范数以及否定算子所构造的模糊蕴涵算子进行归纳,分为五类(t,S,R,QL和D蕴涵),为构造新的算子提供了强有力的依据;采用绝大多数模糊规则芯片中使用的CRI方法,依据广义取式推理与广义拒式推理中的12条模糊推理准则对分类后的模糊蕴涵算子进行实际的逻辑推演,通过对逻辑推演中实例数据和推演结果的分析,给出选择模糊蕴涵算子的参考依据.     

基于析取统一模的S蕴涵的研究

讨论了基于析取统一模的S蕴涵的若干性质,并在此基础上给出了它的2种等价刻画.最后研究了基于2种特殊析取统一模(幂等统一模、表现统一模)的S蕴涵.     

用化质变换求逻辑式的全体质项

<正> 从逻辑式的析取标准形式出发化简逻辑式,一般采用逻辑等值公式对给定的逻辑式进行恒等变形,或者把给定的逻辑式先化为析取范式,再从范式出发进行化简.采用前一种方法,可用的公式较多,而且演算的过程缺乏明显的规律性.采用后一种方法,手续比较繁琐,先化简为繁,后化繁为简.鉴于逻辑式的最简式的所有加项必须是该逻辑式的质项,若能求出一个逻辑式的全体质项,则从中选出最简的组合,就能求出它的最简式.求一个给定的逻辑式的全体质项只需要采用两个简单易记的公式,而且其演算的手续遵从固定的程式.因此,其演算过程显得较为简单.但是,这一结论需要证明,而已有的证明方法(注)艰涩难懂.本文试图对这一证明作适当地改进.     

关于直陈条件句等价论题的哲学思考

传统的观点是把直陈条件句看作是真值函项性的,也就是把直陈条件句等价于实质条件句,这就是所谓等价论题。按照等价论题的观点来处理直陈条件句,会出现一些违反人们直觉的怪论。格赖斯与杰克逊分别运用会话隐涵和约定隐涵对等价论题进行了辩护。尽管等价论题在现实生活的逻辑应用中暴露出自己的许多问题,但是等价论题在历史上的出现有着重要的、积极的意义,它在客观上有助于现代逻辑的发展。     

走出形式化的困境

逻辑的形式化是对自然语言推理的程式化、模式化、符号化，其实质是精确化、抽象化。抽象化到一定界限，它会脱离自然语言实际。实质蕴涵怪论、道义逻辑中的罗斯悖论以及认知逻辑中的厄勒克特拉悖论，都是抽象化、形式化的结果。要消除这些悖论，摆脱形式化的困境，就要由抽象回到具体，回归自然语言，研究自然语言概念、命题及推理的具体用法。     

相信逻辑的某些性质和定理

本文研究了相信逻辑在相信蕴涵下的某些性质．在相信蕴涵的定义下，相信逻辑是非单调的．本文给出了几个相信逻辑的单调性的充分且必要条件．还证明了一个默认理论的延伸恰好就是对应的相信理论的相信公式的所有相信蕴涵式的全体．从而给默认理论的延伸以一个较为直观、简洁的表述．     

论逻辑蕴涵真值表规定的合理性

本针对逻辑蕴涵真值表的难以理解问题，给出了一种基于选择的合理性的解释。指出逻辑蕴涵真值表既是对人们的逻辑习惯的形式化，也充分体现了人们的逻辑习惯。该合理性解释简单、直观。最后，结合生活中的一个实例进一步进行了阐述。     

源于非经典逻辑的代数结构研究综述

作为智能科学的数学基础之一,非经典逻辑(主要指非经典数理逻辑)及相关代数结构扮演着十分重要的角色.对源于非经典逻辑的代数结构进行全面系统总结,从蕴涵片段的视角梳理其中的内在联系,这些代数结构包括各种可换剩余格、非可换剩余格、非结合剩余格、剩余有序广群、BCK/BCI-代数、BCC/BZ-代数、伪BCK/BCI-代数等.同时介绍近年来非经典逻辑代数方向的最新研究进展,包括量子B-代数(quantum B-agebra)、EO-代数(extended-order algebra)及新近提出的基本蕴涵代数(basic implication algebra)等.     

不同形式假言易位之差异

假言易位4种表现形式在句法结构上有着相似之处，但是在作为推理规则或公理时所表现出来的推理能力确实迥异。在经典命题逻辑中，它们之间的推理能力差异在形式上表现为双重否定，而深层的原因是否定词在条件句中前后件的位置不同，即否定与实质蕴涵的条件句之间的复杂关系造成的。     

一个适于更新语义的涉景条件句逻辑

传统条件句逻辑研究的条件句没有明显提述条件句的背景.本文提出了一种明显提述背景的条件句逻辑BCS,并证明了该系统相对于Veltman提出的更新语义的模型可靠性和模型完全性.