从形式蕴涵看“实质蕴涵怪论”--怪论定理之“反例”化解路径新探 被引量：9

1

作者 张建军 《学术研究》 CSSCI 北大核心 2012年第4期14-21,159,共8页

由蕴涵怪论引发的实质蕴涵合理性辩护问题,既是当代逻辑哲学的重要课题,也是逻辑基础教学中难以回避的问题。化解怪论定理之"反例",是实质蕴涵合理性辩护的重要途径。以往的化解路径可以较好地应对"第一类怪论定理"... 由蕴涵怪论引发的实质蕴涵合理性辩护问题,既是当代逻辑哲学的重要课题,也是逻辑基础教学中难以回避的问题。化解怪论定理之"反例",是实质蕴涵合理性辩护的重要途径。以往的化解路径可以较好地应对"第一类怪论定理"问题,但难以化解关于"第二类怪论定理"的"严峻反例"。运用"形式蕴涵"理论重新审视实质蕴涵问题,可以为怪论定理之"反例"提供一条新的化解路径,使"严峻反例"问题得到彻底解决,从而使经典逻辑真理的普适性得以维护。 展开更多

关键词 形式蕴涵 实质蕴涵 蕴涵怪论 怪论定理 严峻反例

下载PDF 职称材料

“蕴涵怪论反例”的拨乱反正--兼评张建军先生的“‘反例’化解路径” 被引量：7

2

作者 程仲棠 《学术研究》 CSSCI 北大核心 2014年第9期11-18,共8页

前半篇为"蕴涵怪论"的"反例"平反:从莫绍揆、林邦瑾、冯棉举报的所谓"反例"都可推出矛盾,症结在于举报者陷入"析取错觉",运用反证法可以证明"反例"不反,其真实身份都是永真命题或有... 前半篇为"蕴涵怪论"的"反例"平反:从莫绍揆、林邦瑾、冯棉举报的所谓"反例"都可推出矛盾,症结在于举报者陷入"析取错觉",运用反证法可以证明"反例"不反,其真实身份都是永真命题或有效推理。后半篇评析了张建军求助于形式蕴涵的"‘反例’化解路径":他否认"反例"是命题逻辑公式代换例的观点违反逻辑常识,他的"山寨形式蕴涵"化解不了"蕴涵怪论反例",其症结在于迷信直觉。 展开更多

关键词 蕴涵怪论 反例 直觉 析取错觉 形式蕴涵

下载PDF 职称材料

关于“蕴涵怪论”及其反例 被引量：5

3

作者 程仲棠 《学术研究》 CSSCI 北大核心 2011年第8期13-19,共7页

所谓"蕴涵怪论"本是永真式即逻辑真理,何以近百年来被不少人当作"怪论"?人们举出的"蕴涵怪论"的反例是否成立?这是两个值得讨论的问题。本文的回答是:第一,逻辑真理之所以被当作"怪论",原因在... 所谓"蕴涵怪论"本是永真式即逻辑真理,何以近百年来被不少人当作"怪论"?人们举出的"蕴涵怪论"的反例是否成立?这是两个值得讨论的问题。本文的回答是:第一,逻辑真理之所以被当作"怪论",原因在于误读,对逻辑公式的意义不是按照逻辑语义学的观点解读,而是按照语言语义学或逻辑语形学的观点解读;按照逻辑语义学的观点解读,任何"蕴涵怪论"都不足为怪;第二,"蕴涵怪论"的反例不能成立,凡是"蕴涵怪论"的反例都蕴涵逻辑矛盾,凡是试图"举出反例"以证伪"蕴涵怪论"者都注定陷于逻辑矛盾。 展开更多

关键词 “蕴涵怪论” “蕴涵怪论”的反例 逻辑语形学 逻辑语义学 语言语义学

下载PDF 职称材料

论回溯推理的逻辑形式 被引量：7

4

作者 陈江 《内蒙古大学学报（哲学社会科学版）》 CSSCI 1996年第5期46-51,共6页

回溯推理是由已知事实去推断产生这一事实原由的逻辑方法，对此学术界认识还不统一。文章认为，回溯推理有两个基本的逻辑特征：一、由已知事实作为推理的逻辑起点；二、推理结论是或然性的。回溯推理的逻辑形式应为。这一形式与过去人... 回溯推理是由已知事实去推断产生这一事实原由的逻辑方法，对此学术界认识还不统一。文章认为，回溯推理有两个基本的逻辑特征：一、由已知事实作为推理的逻辑起点；二、推理结论是或然性的。回溯推理的逻辑形式应为。这一形式与过去人们公认的形式不同，但是这一形式完全符合回溯推理的特征。在回溯推理的逻辑形式中，其前提形式的构成虽然是实质蕴涵怪论之一型，但它是有效的。回溯推理的前提在逻辑形式上保真，提高了回潮推理的置信度。 展开更多

关键词 逻辑起点 推断原由 或然性 有效性 蕴涵怪论

下载PDF 职称材料

对演绎推理两个定义的质疑 被引量：3

5

作者 谢先仁 《南昌大学学报（人文社会科学版）》 CSSCI 1989年第1期89-94,共6页

关于演绎推理的定义,在我圈现今的形式逻辑(指传统逻辑,下同)论著中,有两个定义广为流行。其一,“演绎推理就是前提与结论之间有蕴涵关系的推理”,其二,“演绎推理就是前提与结论之间有必然联系的推理”。本文拟对这两个定义发表不同意... 关于演绎推理的定义,在我圈现今的形式逻辑(指传统逻辑,下同)论著中,有两个定义广为流行。其一,“演绎推理就是前提与结论之间有蕴涵关系的推理”,其二,“演绎推理就是前提与结论之间有必然联系的推理”。本文拟对这两个定义发表不同意见,并最后论证笔者的观点:演绎推理就是前提与结论具有充分条件或充分必要条件必然联系的推理。 展开更多

关键词 形式逻辑演绎推理 蕴涵关系 命题形式 实质蕴涵 具体内容 蕴涵怪论 传统逻辑 严格蕴涵 种差 蕴涵式

下载PDF 职称材料

“蕴涵怪论”有科学的标准吗? 被引量：5

6

作者 程仲棠 《广东社会科学》 CSSCI 1999年第3期77-81,共5页

关键词 蕴涵怪论 逻辑语义学 蕴涵式 日常语言 语形学 假言命题 充分条件 认识论 理性认识 永真式

下载PDF 职称材料

论相干逻辑的研究方法 被引量：2

7

作者 冯棉 《华东师范大学学报（哲学社会科学版）》 CSSCI 北大核心 2008年第6期58-62,91,共6页

相干逻辑的形式系统组成一个逻辑家族,这些逻辑系统的共同点是:坚持演绎推理的相干性,拒斥"结论的推导未实际使用前提"的推理方式。相干系统的分类建构与可拆分,为相干推理和判定问题的深入研究提供了平台。相干逻辑采用多种... 相干逻辑的形式系统组成一个逻辑家族,这些逻辑系统的共同点是:坚持演绎推理的相干性,拒斥"结论的推导未实际使用前提"的推理方式。相干系统的分类建构与可拆分,为相干推理和判定问题的深入研究提供了平台。相干逻辑采用多种技术手段,证明了"相干原理"等一系列元定理,用以揭示相干蕴涵的逻辑特性和排除形形色色的"蕴涵怪论"。相干语义理论内涵丰富,而直观的信息论解释,不仅细致地描述了三元关系语义的理论背景,也为相干逻辑在信息论和人工智能领域的应用展示了广阔的前景。 展开更多

关键词 相干逻辑 研究方法 形式系统 蕴涵怪论 相干原理 语义理论

下载PDF 职称材料

传统逻辑与数理逻辑 被引量：2

8

作者 莫绍揆 《哲学研究》 1979年第3期25-34,共10页

一、传统逻辑的不足 数理逻辑的兴起与发展是沿着两条路的。其一是感到传统逻辑有不足的地方,加以改进,从而引起数理逻辑。另一个则是由数学基础的研究而引起的。现在我们先就第一方面立论,关于数学基础的研究方面,待我们有机会时再另... 一、传统逻辑的不足 数理逻辑的兴起与发展是沿着两条路的。其一是感到传统逻辑有不足的地方,加以改进,从而引起数理逻辑。另一个则是由数学基础的研究而引起的。现在我们先就第一方面立论,关于数学基础的研究方面,待我们有机会时再另文讨论。 展开更多

关键词 传统逻辑 数学基础 数理 兴起与发展 三段论 实质蕴涵 蕴涵怪论 布尔代数 命题演算 模态逻辑

原文传递

蕴涵怪论辨析

9

作者 陈江 《内蒙古师范大学学报（哲学社会科学版）》 1996年第1期6-10,共5页

蕴涵怪论是指在二值逻辑的蕴涵理论中，对蕴涵关系真的所有可能情况作某种解释而产生的怪异现象。蕴涵怪论的产生并非来自蕴涵关系本身。当人们把实质蕴涵的真用某一语句进行解释，或者由重言蕴涵式的必然性得到某种可能性，或者将某种... 蕴涵怪论是指在二值逻辑的蕴涵理论中，对蕴涵关系真的所有可能情况作某种解释而产生的怪异现象。蕴涵怪论的产生并非来自蕴涵关系本身。当人们把实质蕴涵的真用某一语句进行解释，或者由重言蕴涵式的必然性得到某种可能性，或者将某种实际的推论看作蕴涵关系时，怪论就可能会产生。蕴涵怪论的存在是实实在在的，试图消除蕴涵怪论的努力促进了蕴涵理论的发展。 展开更多

关键词 实质蕴涵 重言蕴涵式 蕴涵怪论 必然性 可能性

下载PDF 职称材料

蕴涵和蕴涵怪论述评 被引量：1

10

作者 张建蓉 《湛江师范学院学报》 1997年第4期1-7,共7页

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

关键词 蕴涵 蕴涵怪论 真值蕴涵 充分条件句 语义相关

下载PDF 职称材料

推理形式问题辨正──兼与龚启荣先生商榷 被引量：1

11

作者 倪荫林 《渤海大学学报（哲学社会科学版）》 1999年第1期59-65,共7页

龚启荣先生在《贵州大学学报》１９９７年第２期发表文章，认为重言蕴涵式不是判定命题推理的有效方法，并认为不能用数理逻辑来“改造”或“取代”传统形式逻辑。这涉及传统逻辑中的一些重要问题，如推理的形式定义与判定问题、命题推... 龚启荣先生在《贵州大学学报》１９９７年第２期发表文章，认为重言蕴涵式不是判定命题推理的有效方法，并认为不能用数理逻辑来“改造”或“取代”传统形式逻辑。这涉及传统逻辑中的一些重要问题，如推理的形式定义与判定问题、命题推理的有效性如何判定问题、蕴涵怪论的本质问题、传统逻辑与数理逻辑的关系问题等。这些问题不解决，将直接影响传统逻辑的地位、发展与教学。也有学者不同意龚先生的观点。本刊编发的倪荫林先生的文章即是一例，以期引起更多同志对这些问题的关注和研究，热忱欢迎大家参与讨论。 展开更多

关键词 命题形式断定的确定性 推理形式 真值容量 蕴涵怪论 蕴涵式 命题推理 推理式 演绎推理 传统逻辑 等值关系

下载PDF 职称材料

蕴涵“怪论”—逻辑的必然 被引量：1

12

作者 周海娟 肖伟华 《和田师范专科学校学报》 2007年第4期211-212,共2页

自从弗雷格提出“实质蕴涵”以后,逻辑学界就从未停止过对它的争论。特别是对由它引发的蕴涵“怪论”问题更是意见不一。虽然逻辑学界对蕴涵“怪论”争论了多年,但是却没能提出一种恰当的方法来消除它,其原因何在?本文试从什么是蕴涵“... 自从弗雷格提出“实质蕴涵”以后,逻辑学界就从未停止过对它的争论。特别是对由它引发的蕴涵“怪论”问题更是意见不一。虽然逻辑学界对蕴涵“怪论”争论了多年,但是却没能提出一种恰当的方法来消除它,其原因何在?本文试从什么是蕴涵“怪论”入手,谈到古今中外逻辑学人士尝试解决“怪论”而最终未能成功,继而分析了怪论出现的原因,最后得出结论—实质蕴涵“怪论”是逻辑的必然。 展开更多

关键词 实质蕴涵 蕴涵怪论 逻辑抽象

下载PDF 职称材料

论“若,则”句的逻辑刻画及蕴涵怪论的消解 被引量：1

13

作者 张绍友 何向东 《哲学动态》 CSSCI 北大核心 2011年第7期79-83,共5页

一消除蕴涵怪论的主要方案及其困境 为了消除隆论，逻辑学家相继创制了形式蕴涵、严格蕴涵、相干蕴涵和衍推等。通观这些方案，可以发现它们向同一方向划出了比较连续的轨迹：（1）前后件真假值对“→”真值的影响渐弱，直至消失殆尽。... 一消除蕴涵怪论的主要方案及其困境 为了消除隆论，逻辑学家相继创制了形式蕴涵、严格蕴涵、相干蕴涵和衍推等。通观这些方案，可以发现它们向同一方向划出了比较连续的轨迹：（1）前后件真假值对“→”真值的影响渐弱，直至消失殆尽。（2）前后件内容及其相关性对“→”真假的影响逐渐强化，直至决定。 展开更多

关键词 蕴涵怪论 逻辑学家 消解 形式蕴涵 真假值 相关性

原文传递

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

14

作者 张绍友 《重庆理工大学学报（社会科学）》 CAS 2017年第5期10-15,共6页

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

关键词 形式蕴涵 实质蕴涵 蕴涵怪论

下载PDF 职称材料

对蕴涵及其“怪论”的思考

15

作者 周君 《绵阳师范学院学报》 2012年第1期111-113,共3页

经典逻辑由于出现了"实质蕴涵怪论"而遭到非议,其原因无非是把经典逻辑当成了"普遍适用"的逻辑规律。本文从实质蕴涵概念入手,概述了多种蕴涵理论,从而为实质蕴涵及其"怪论"辩护。

关键词 蕴涵 实质蕴涵 蕴涵怪论 逻辑与认识

下载PDF 职称材料

逻辑的方法与逻辑的困惑──谈谈由条件句引申出的逻辑问题

16

作者 江正云 《武陵学刊》 1995年第4期6-9,共4页

关键词 反事实条件句 实质蕴涵 蕴涵怪论 逻辑的方法 蕴涵系统 经典命题演算 自然语言 析取三段论 与逻辑 逻辑学家

下载PDF 职称材料

含意理论与蕴涵怪论(下)——规约含意能消解“蕴涵怪论”吗? 被引量：1

17

作者 胡怀亮 《云南师范大学学报（哲学社会科学版）》 CSSCI 2010年第1期63-68,共6页

与格赖斯一样,杰克逊也认为把条件句作实质蕴涵的解释是不令人满意的,但却是真的;与格赖斯不同的是,他提出了一个不同的辩护方式,即利用规约含意理论对蕴涵怪论(paradox)进行消解。他认为蕴涵怪论的出现是因为我们自始至终搞混了真和可... 与格赖斯一样,杰克逊也认为把条件句作实质蕴涵的解释是不令人满意的,但却是真的;与格赖斯不同的是,他提出了一个不同的辩护方式,即利用规约含意理论对蕴涵怪论(paradox)进行消解。他认为蕴涵怪论的出现是因为我们自始至终搞混了真和可断定性,即自始至终坚持确定的条件句不是真的,因为它们不是可断定的。这种辩护与格赖斯的辩护一样,也存在一定的局限性。 展开更多

关键词 蕴涵怪论 规约含意 消解 局限性

下载PDF 职称材料

实质蕴涵“严峻反例”的两大化解路径探析 被引量：1

18

作者 杨洋 《贵州工程应用技术学院学报》 2015年第4期70-74,共5页

实质蕴涵理论是逻辑学的一种基础理论,但它长期面临着蕴涵怪论的质疑,尤其是一些反例成为实质蕴涵理论的严峻考验。针对它所面临的"严峻反例",国内目前主要有两种不同的化解路径:以程仲棠为代表的命题逻辑方案和以张建军为代... 实质蕴涵理论是逻辑学的一种基础理论,但它长期面临着蕴涵怪论的质疑,尤其是一些反例成为实质蕴涵理论的严峻考验。针对它所面临的"严峻反例",国内目前主要有两种不同的化解路径:以程仲棠为代表的命题逻辑方案和以张建军为代表的形式蕴涵方案。这两种方案有着本质差别,究竟哪一种更合理,这需要立足于具体的分析来进行抉择。 展开更多

关键词 蕴涵怪论 严峻反例 直觉

下载PDF 职称材料

从相干逻辑看逻辑的可修正性 被引量：1

19

作者 颜中军 《毕节学院学报（综合版）》 2011年第3期44-48,共5页

相干逻辑是现代逻辑的重要分支,它是异于经典逻辑的"非经典逻辑"。相干逻辑在批评经典蕴涵的基础上,从多个方面对经典逻辑进行了修改。总体来说,相干逻辑的修改方案是可行的和成功的。但是,相干逻辑仍然面临诸多问题,有待进... 相干逻辑是现代逻辑的重要分支,它是异于经典逻辑的"非经典逻辑"。相干逻辑在批评经典蕴涵的基础上,从多个方面对经典逻辑进行了修改。总体来说,相干逻辑的修改方案是可行的和成功的。但是,相干逻辑仍然面临诸多问题,有待进一步解决和完善。 展开更多

关键词 相干逻辑 逻辑的可修正性 相干性 蕴涵怪论

下载PDF 职称材料

论条件命题的实质——兼谈蕴涵怪论

20

作者 张建军 《安庆师范大学学报（社会科学版）》 1987年第2期11-16,5,共7页

“假命题蕴涵任何命题,真命题为任何命题所蕴涵”(命题A),是所谓“实质蕴涵”的必然结论。由是观之,下列三个命题皆是真实的: [例1](1)如果2+2=5,则雪是白的;(2)如果2+2=4,则雪是白的;(3)如果2+2=5,则雪是黑的。有人称命题A为“蕴涵怪论... “假命题蕴涵任何命题,真命题为任何命题所蕴涵”(命题A),是所谓“实质蕴涵”的必然结论。由是观之,下列三个命题皆是真实的: [例1](1)如果2+2=5,则雪是白的;(2)如果2+2=4,则雪是白的;(3)如果2+2=5,则雪是黑的。有人称命题A为“蕴涵怪论”,有人称之为“蕴涵悖论”。何因而“怪”?何因而“悖”?因为与常理相违,为人们的“理性直觉”所不容。但是: “到罗素与怀特海的《数学原理》出版,其中以实质蕴涵为主要工具. 展开更多

关键词 条件命题 前件 后件 逻辑推导 结论部分 蕴涵怪论 实质蕴涵

下载PDF 职称材料