基于逻辑和语义视角的预设与蕴涵的鉴别

预设和蕴涵是两个密切相关的概念,对二者进行区别有助于准确地理解和使用自然语言.从逻辑和语义的角度出发,首先界定预设和蕴涵的概念,然后分析预设和蕴涵的关系;再提出预设和蕴涵的主要区别及鉴别方法.最后得出结论:对两个相关的概念进行鉴别的关键是概念清楚,关系明晰及结合多种普遍有效的鉴别方法.     

知识蕴涵时态逻辑系统

在知识蕴涵命题逻辑的基础上,可以构建一个知识蕴涵时态命题逻辑系统,它可以描述包含时态信息的不协调知识系统的推理机制。根据给出的形式语义,可以证明该系统的可靠性和完全性。     

蕴涵和蕴涵怪论述评

作为逻辑学的重要概念，蕴涵常因其理论复杂和界定含混使初学者难于理解，蕴涵怪论更为其平添障碍，本文通过陈述各种不同的蕴涵定义，探明其差异性，寻求蕴涵的统逻辑语义，并在此基础上对蕴涵怪论加以说明，由于涉及理论较多，本文采取先达后评的方法，先介绍各种蕴涵理论，再定义真值蕴涵，并逐一说明相关问题，     

论实质蕴涵、形式蕴涵与逻辑蕴涵

该文将蕴涵分为三类:实质蕴涵、形式蕴涵与逻辑蕴涵。从多值逻辑角度解决了实质蕴涵、条件句与推论关系之间的关系,详细考察了三类蕴涵概念之间的区别和联系,从三种蕴涵角度区分了科学真理、数学真理与逻辑真理。     

现代汉语概率副词及其语义层级分析

试探提出概率副词这一说法，分析了概率副词与推测数量和属性副词的区别，界定了概率副词范围；结合概率论原理对概率副词进行了极高、较高、中度、较低、极低5个语义层级划分，并从肯定、句外否定探讨了各层级概率副词，从句内否定探讨了各层级概率副词间的对应关系：极高值概率副词句内否定义值等于极低值概率副词；较高值概率副词句内否定义值等于较低值概率副词；中度值概率副词句内否定义值仍是中度值概率副词本身；较低值概率副词句内否定义值相当于较高值概率副词；极低值概率副词句内否定义值相当于极高值概率副词。     

浅论语义预设

预设可分为语义预设和语用预设.从语义学的角度分析预设,首先界定语义预设的定义,类型,然后分析语义预设与语义蕴涵的关系.     

词汇语义系统的研究方法

词汇语义系统主要体现的是规则系统特征,但也有非线性复杂系统的特点,对于前者主要采用基于语义场理论的成分分析和关系分析相结合的研究思路,对于后者主要采用语义网、联想网的理论进行研究,两种研究思路统一于词汇语义系统的研究之中,本文对两种思路及其结合进行述评。     

"形式蕴涵"方案能解决蕴涵怪论问题吗

近年来,有学者以罗素的"形式蕴涵"为工具,对化解蕴涵怪论反例的进路又作了积极而有益的探索.但仔细分析其化解过程及方法,实难说取得了预期的成功.因为形式蕴涵在根子上就无法解决蕴涵怪论问题.蕴涵怪论的根源不在于逻辑的形式化语言,而在于实质蕴涵与日常"若,则"句差异过大的矛盾.     

以目的与背景知识为双条件的逻辑AKC

首先,我们构造以目的和背景知识为双条件的条件句系统AKC,给出它的一些证明论结果。其次,我们引入有序邻域语义,给出描述AKC的特征公理和推理规则的框架条件,证明AKC相对这些框架条件是框架可靠的。最后,我们证明AKC相对这些框架条件也是框架完全的。     

说“蕴涵”

英国语义学家杰费里·Ｎ·利奇在《语义学》一书中讨论了蕴涵的一般规则。实际上，这一蕴涵的一般规则，并不能概括语言中的各种蕴涵现象。本文试图通过分析Ｘ、Ｙ两个陈述语句的内部结构及其要素间的相互关系，重新归纳Ｘ蕴涵Ｙ的一般规则，并具体分析若干实例，考察这一蕴涵规则的实际操作过程。     

现代汉语语义系统刍议

语义单位、语义单位之间的结构关系、结构层次是现代汉语语言意义系统的三要素 ,不同性质的语义单位彼此之间复杂纠联 ,使构成语义系统的两子系统 (词汇意义、语法意义子系统 )、两次子系统 (词法意义、句法意义次子系统 )紧密地联结在—起 ,构成一个统一的内部饶有联系的结构整体     

试论中世纪的蕴涵理论

中世纪逻辑历来被人们误解以至抹杀。本文通过中世纪逻辑学家有关蕴涵的性质、分类及规则的论述,分析了中世纪蕴涵理论的思想来源和在逻辑史上的重大价值,阐明了中世纪的逻辑是联结古代逻辑和现代逻辑的桥梁,从而恢复它在了中纪世逻辑史中的地位,     

习语·文化蕴涵·语义关系

习语是一个民族历史、风俗和社会生活的一面镜子 ,具有丰富的文化蕴涵。英汉两个民族习语的文化重合、文化差异和文化陷阱使相关英汉习语之间相应地呈现出基本对应、半对应和根本不对应三种语义关系     

关于条件句的蕴涵理论

为了刻画条件句,逻辑学家提出了许多蕴涵理论,如真值函项理论、条件概率理论、信念修正理论、可能世界语义学等。作为现代逻辑的一个分支,条件句逻辑充分利用各种蕴涵思想建立许多逻辑系统,但由于条件句的复杂性,各种蕴涵都难以刻画出所有的条件关系,因此都不能等同于自然语言中的"如果,那么"。     

论蕴涵怪论的合理性

本文详细讨论了实质蕴涵的真实涵义，它与条件句、推论关系之间的联系与区别，分析了实质蕴涵与逻辑蕴涵之间的关系和误解，探讨了逻辑的性质及与科学推理的关系，从丽为实质蕴涵及其由其产生的所谓怪论并不怪作出了合理的辨护。     

一个刻画句子顺序的逻辑

更新语义认为句子的意义在于改变了主体的信息状态。Veltman用更新语义刻画了一个关于认知的可能性的模态词might,S5系统相对于Veltman提出的更新语义是可靠的和完全的。在更新语义的基础上可以用形如φ;ψ公式刻画句子先φ后ψ的次序,对应的公理系统S5S也是可靠的和完全的。     

概率解释与概率逻辑

对概率的解释及据此而发展起来的概率逻辑是经典逻辑的最重要的扩展之一.它在哲学、数学、认知科学、人工智能等领域有着重要的应用,一方面是这些研究领域的工具,而同时又是这些研究领域的对象.本文通过对概率的解释进行大致的分类,对由各解释发展起来的概率逻辑分别做了介绍,希望据此对概率逻辑的发展做一个梳理.     

概率算子“可能”的核心情态语义及其概率赋值手段

"可能"是一个概率模态算子,其核心情态语义特征为[+概率可能]。按照概率模态"概率值的连续标度法","可能"的赋值范围为"0相似文献