真假值相关论文
一消除蕴涵怪论的主要方案及其困境
为了消除隆论,逻辑学家相继创制了形式蕴涵、严格蕴涵、相干蕴涵和衍推等。通观这些方案,可以发......
传统逻辑主要的研究对象是陈述句,对问句的研究并不多见.归其原因主要是因为传统逻辑认为只有陈述句才能够成一个判断,进而才有真假之......
也谈粤语“哂”的量化表现特征欧阳伟豪讨论粤语“哂”的量化表现的文献不多,约有四份:李行德(1994,1996),Tang(1996)和莫华(1993)。本文试图提供多些语料来描述“......
据《法制日报》牙痛灵、狮子油、“珮夫人”露咳止……这些进口药品正悄悄通过网络流入我国。近日,浙江省温州乐清市公安局治安大......
现代汉语的“句类”一般是指按照句子的语气划分出来的句子类别,主要包括陈述句、祈使句、疑问句和感叹句。“我明天早点儿来。”......
预设有语义预设和语用预设两大类。语义预设源于句子内部,和语境不相关联。语用预设和语境密切相关,具有合适性、共知性、主观性、......
一、语义学简述给定一个形式语言系统L,关于L的语义解释的理论就是L的语义学。这些由抽象符号构成的系统自身没有意义,而在给定形......
公共感观知识的描述是人工智能中的一个重要问题.本文讨论的公共感观知识描述的方法是基于这样一个观点:公共感观知识的命题特性是......
一、导言rn无论哈贝马斯还是戴维森,他们都认为价值判断不单具有客观性,而且亦可以是一种科学知识,而知识便可以有真假值.然而,戴......
<正> 本文讨论一些多值的狭义谓词演算中良构式(即合式的公式)的前束标准形和Skolem标准形。讨论的目的是为考虑判定问题和多值模......
<正> 两个命题的真假值恰巧相反,那么,称这两个命题互为否定。例如,命题 P:21/2是无理数, Q:21/2是有理数,就是两个互为否定的命题......
<正> 讲授判断论部分遇到的难点是“性质判断的逻辑特性”。在教学实践中,教者感到难于讲清,学生感到不易理解。为了解决这个难题,......
由法兰奇与克鲁兹所提出的准集合理论是目前对非个体的形式化理论中最有前途的一个。它的目标在于对非个体的汇聚这个直觉性概念提......
<正> 负判断在整个逻辑体系里面占着非常重要的地位。在分别了解直言判断、联言判断、选言判断及假言判断的逻辑特征以后,要进而阐......
推理的目的在于使前提的真传递到结论,因而必须舍去前提中的假值.结论是以扩大断定范围的方式必然地保有前提的真.在验证推理是否......
通过对现有逻辑论著关于语句、命题、判断三个概念的主要阐释分别进行考察,揭示出目前学界在这三个概念阐释上存在的混乱或不一致现......
找一个判断的等值判断,是在学习和运用形式逻辑中经常遇到的一个问题,由于判断,特别是复合判断种类较多,表示符号变化各异,常常使......
<正> 一、模糊逻辑模糊逻辑(fuzzy logic,logic,of vagueness),也译作“弗晰逻辑”,最初是一位美国电机工程师蔡迪(L.A.Zadeh)提......
<正> 在罗素与怀特赫的《数学原理》一书出版后,逻辑家开始把命题逻辑看做是数理逻辑的起始和基本部份,他们先研究、论述这个部份......
推理的目的在于使前提的真传递到结论,因而必须舍去前提中的假值.结论是以扩大断定范围的方式必然地保有前提的真的.在验证推理是......
二、科学(一)自然科学与社会科学科学和艺术最根本的不同在于.艺术是表达个体对世界与自我的主观想象和感受,科学则力求客观如实地了解......
<正> Ⅰ数理逻辑并不完全合理实践是检验真理的唯一标准,这毫无疑义。但实践范围太广,作为一整体,难于提供有效的检验标准。应分为......
<正> 纯真值联结关系是一种客观存在的关系。本文重点讨论客观存在的纯真值联结关系对真值函数关系的完全性问题。真值即真假值,在......
有不少逻辑学教材和参考书引用了“在愚人节里”的故事来说明联言判断的真假值原理,但这些书的推理和说明既违背了充分条件的假言推......