实质蕴涵相关论文
为了促进海峡两岸逻辑教学和学术交流,共同构建中华逻辑自主学术平台,2015年11月14~15日,第七届海峡两岸逻辑教学与学术会议在中国......
柏拉图和赫尔曼·魏尔或许能达成某种无法言明的契合。譬如,前者认为即便没有人类,数学也会存在,而后者则主张关心数学不是人类的......
实质蕴涵把命题间的关系看作真值关系,由此带来了“实质蕴涵怪论”。我们必须通过实质蕴涵加上量化的形式,即x(P(x)→ψ(x)),才能......
一、问题的提出(一) 在命题演算中讨论的联结词有下列五种: 1、非,由它可以从A作出“非A”,“非A”叫做A的否定式,记为(?)。
Fir......
学界通常把具有“如果…,那么…”这种结构的句子称为条件句,把以条件句为研究对象的逻辑称为条件句逻辑。条件句逻辑是重要的,因为在......
条件句语境理论是美国语言哲学家高克(Christopher Gauker)提出的关于条件句的语义学理论,也是一种较为系统的形式化的理论,对经典逻辑......
随着科学技术的快速发展,集成电路的规模越来越大,同时集成器件的体积越来越小。目前传统的CMOS技术即将达到其物理极限,新型器件的开......
人文学科创新的一个重要手段是通过跨学科研究以实现研究视域的变换,在含义研究中用因果蕴涵理论取代原来的蕴涵理论是研究视域的......
忆阻器作为一种新型的非易失性信息器件,被认为是第四种基本电路元件。因其非易失性的电阻转变特性,且具有高速、低功耗、擦写次数......
逻辑学中的蕴涵式与自然语言中的条件句在语义解释上存在着较大的差别。辛提卡将自然语言中的条件句刻画为逻辑学中的实质蕴涵,同时......
本文重点研究一阶逻辑与模态逻辑之间的历史关系以及模态逻辑的产生发展。文章首先回顾了《概念文字》出现的历史背景和理论背景,......
文[1]从谓词逻辑公理系统(Q—PM系统)的角度解析了p(x)→q(x)的否定,其理论根据无须考证,几乎有关数理逻辑学的著作都采用联结词完......
实质蕴涵自提出以来,就因怪论定理而引发争议.本文首先通过介绍蕴涵怪论所催生的主要几种蕴涵理论,了解目前主要的研究现状.其次,......
对归纳推理的分类,传统方法是根据前提是否考察了一类事物的全部对象,把它分为完全归纳推理和不完全归纳推理两大类;又根据前提是......
推论的能力,尤其是抽象推论的能力,无疑是人类智能最本质的特征之一,因而应该是任何以实现人工人类智能为目标的计算智能系统都应......
蕴涵怪论一直是困扰逻辑学的幽灵,它大致可以分为两类:意义型和形式型。为解决蕴涵怪论(主要是形式蕴涵),逻辑学者相继创制了形式蕴涵......
这篇文章尝试辩解布尔(亚里士多德式)逻辑中关于实质蕴涵的反直观定义。主要问题是:自然语言和逻辑定义的“蕴涵”的隐喻之间的联系是......
从主导思想上说,传统逻辑和数理逻辑殊异.实质蕴涵因其刻划真值函数关系故此并非传统逻辑表示充分条件关系的“若,则”的逻辑抽象.......
用实质蕴涵刻画推理,尽管它不具有内容相关性和独立性,造成了反直观的"怪论",但它概括了"如果,那么"这类联结词各种用法中的共性,......
弗雷格用实质蕴涵来刻画条件句导致了“实质蕴涵怪论”,因此实质蕴涵不断受到批判。然而,根据弗雷格关于逻辑普遍性的思想,我们可......
什么是演绎推理?逻辑界的认识不一,就给出的定义看,可归结为以下四种意见: 一,演绎推理就是从一般到特殊的推理; 二,演绎推理就是......
对于任何蕴涵命题都有建立它的过程和建立之后运用它来推理的过程。经典逻辑的拥护者们认为实质蕴涵的定义使其也能建立实质蕴涵命......
实质蕴涵并不违反直观。当P假时,无论P真或假,P~P都为真,这只不过是P假的强调说法;当q真时,无论p真或假,p→q都为真,这只不过是q真的强调说......
蕴涵是贯穿整个现代逻辑发展的一个基本概念。实质蕴涵的提出引起学术界极大争议,“蕴涵怪论”一直是争论焦点之一。由于对推理前提......
近十余年来,在我国出现一个新的逻辑分支,叫做“语言逻辑”,精确一点说,应该叫做“自然语言的逻辑”(在国外也有称之为“自然逻辑......
<正>蕴涵,这个逻辑概念,以及它所表达的逻辑关系,在逻辑学中占有极为重要的地位,它同命题、推理和逻辑规律都有不可分割的联系。在......
<正> 本文利用布尔矩阵表示有限集合上的二元关系,并进一步用矩阵刻划关系的性质及关系的关系,这种考虑是受的启发。做为所得结果......
<正> 美国夏威夷大学柯丕(Irving M.Copi)编写的《逻辑学导论》(Introduction To Logic),从1953年初版到1978年第五版,经过几次增......
<正>一、断言逻辑的基本思想 “断言逻辑”的目的是要把关于断言者和他(们)所断言的命题之间的逻辑关系的理论系统化。这里所谓的......
严格蕴涵和实质蕴涵本质上都是基于命题真假函项的蕴涵概念的定义方法,并不能从根本上解决实质蕴涵会导致蕴涵怪论的问题。实质蕴涵......
【正】 林邦瑾的《制约逻辑——传统逻辑与现代逻辑的结合》一书已由贵州人民出版社正式出版,通过《人民日报》和中央电视台的报道......
假言易位4种表现形式在句法结构上有着相似之处,但是在作为推理规则或公理时所表现出来的推理能力确实迥异。在经典命题逻辑中,它们......
真值函项理论对复合命题的解释和刻画与复合命题的直观含义存在着不一致,这种不一致导致的“怪论”既存在于实质蕴涵,也存在于合取和......
形式逻辑教科书中关于充分条件假言命题的定义及其列举的某些例句,值得质疑。对形如“如果p,那么q”的命题,应以其前、后件本身是不是......
充分条件关系的定义历来是逻辑学关注的焦点,传统形式逻辑的界说是“朦胧的正确”,而正统数理逻辑的规定实为“清晰的荒谬”。“事件......
本文区分和探讨了两种不同的蕴涵即虚拟蕴涵和实质蕴涵。虚拟蕴涵是附加了某些条件的实质蕴涵,这些条件是预设了一个使其前件为真的......
形式逻辑关于假言判断的理论中有三个问题长期得不到解决 ,其重要原因在于对假言判断的断定对象——事物之间的条件联系没有能够进......
今天,数理逻辑可以说已经是一门成熟的科学,它的内容十分丰富,它弥补了传统逻辑的不足。爱尔兰数学家布尔(G.Boole)仿照数学的方式......
经典逻辑由于出现了“实质蕴涵怪论”而遭到非议,其原因无非是把经典逻辑当成了“普遍适用”的逻辑规律。本文从实质蕴涵概念入手,概......
<正> (一) 通过长期的刻苦钻研,在深入地分析人类普通的逻辑思维实际的基础上,作者运用数理逻辑的演算技巧,在本书的第五、六两章......