矛盾

✍ dations ◷ 2025-06-07 10:18:29 #矛盾
粗略的说,矛盾(英语:Contradiction)是在两个或更多陈述、想法或行动之间的不一致,存在差别。汉语辞源出自《韩非子》中《难一》所述故事:白话文大意为:有一位卖盾牌和卖矛的楚国人,他夸赞自己卖的盾牌说:“我的盾牌坚固无比,什么东西都无法刺穿它。”又夸赞自己卖的矛说:“我的矛锋利无比,什么东西都可以刺穿。”有人问他说:“用你的矛来试着刺你的盾,将会如何?”那人一句话都无法回答。不能被刺穿的盾牌和能刺穿一切的矛,是不可以同时存在的。注意在口语和辩证法中,矛盾有着同形式逻辑中完全不同的意义,口语中的矛盾强调矛盾双方的斗争性。逻辑学上,矛盾、自相矛盾或抵触(contradiction)被更加特殊化的定义为同时断言一个命题和它的否定。这个想法基于亚里士多德的无矛盾律,它声称“你不能同时声称某事物在同一方面既是又不是”。当我们说命题S与P矛盾时,意思是二者相当于A和非A的关系,也就是S与P不能同时为真、亦不能同时为假。举例来说:“所有学生都用功”和“有些学生不用功”就是逻辑上矛盾的;另一个例子是“死刑已被废除,对包括谋杀在内的任何罪行使用死刑,是严格禁止的;但为了受害者着想及平衡各方意见,若谋杀受害者家属强烈主张凶手必须以死谢罪,政府有义务协助受害者家属以最快的速度让罪犯接受死亡”,在其中“死刑已被废除”代表的就是“这个国家没有死刑”,而“若谋杀受害者家属强烈主张凶手必须以死谢罪,政府有义务协助受害者家属以最快的速度让罪犯接受死亡”则指向“这个国家有死刑”这点,显然一个国家或地区不可能同时有死刑又没有死刑,这种法律是自相矛盾的。习惯上说的矛盾其实是指逻辑学上的不一致,矛盾必然不一致,然而不一致不必然矛盾。在演绎逻辑和数学中,矛盾通常作为有什么东西错误了的迹象,你需要折回你的推理的步骤并"检查你的前提"。这在数学中的反证法中发挥了巨大的作用:因为矛盾永远不能为真,所以它永远不能是有着全部为真的前提的有效论证的结论。要构造一个利用矛盾的证明,你需要从一组前提构造一个有效的论证,得出是逻辑矛盾的一个结论。因为结论为假,并且论证是有效的,唯一的可能性是一个或多个前提为假。在很多关键的数学证明中使用了这种方法,比如欧几里得对没有最大素数的证明,和康托尔对在0和1之间有不可数个实数的对角线证明。矛盾同许多有名的悖论有关。其中之一是在一阶谓词演算中从矛盾中可以推导出任何命题(也叫陈述)。换句话说,依据谓词演算,不管P和Q意味着什么,如果P和¬P都为真的,则Q为真。在这个事实的表达中,矛盾被称为在一阶逻辑中的"逻辑爆炸"。例如,下列论证是严格有效的,就是说前提在逻辑上蕴涵结论:下面的论证也是有效的:注意这两个论证共有的前提是错误的;5是奇数而不是偶数。所以这些论证都不是可靠的,这意味着它们都没有为信赖它的结论给出一个逻辑基础。可能大多数人认为这是怪异的,如果5既是偶数又是奇数,就能够在逻辑上得出明显的不相关的任何事情比如 神的存在性的结论。更加怪异的是,这个悖论还蕴涵了,如果一个人有是矛盾的任何两个信仰,则这个人在逻辑上证实任何可想像到的信仰。即使谓词演算的基本规则对于好的推理方式都是可靠的,它们在一起就会蕴涵这个悖论。有两个方法证明它。第一个方法来自合取和蕴涵的真值表定义:第二个方法基于真值表的在美学上的缺陷:

相关

  • 音位音位(英语:Phoneme),又译音素,是人类语言中能够区别意义的最小声音单位,是音位学分析的基础概念。一个字或词可由一至数个音节组成,一个音节可由一至数个“音段”(元音、辅音等)组成
  • 肌酸酐肌酸酐(英语:Creatinine)又称肌酐,是肌酸和磷酸肌酸代谢的终产物,它主要由肌肉中磷酸肌酸的非酶促反应生成。对正常成人来说,每日产生肌酸酐的量是恒定的,而且肌酸酐的产生量与肌肉
  • 威尼托语威尼托语并非威尼斯语:威尼托语是威尼托人所讲的一种语言,从公元前六世纪到公元前二世纪罗马时代之初的碑文中人们发现了这种语言,直到公元二世纪,宗教崇拜中还发现有使用这一语
  • 反时针方向以逆时针方向运行指依从时针移动的相反方向(如图),即可视为由左上方向下,然后转向右,再回到上。也就是说逆时针方向就是顺时针方向的相反,也是镜射变换后的结果,故逆时针方向的反方
  • 艾蒂安-路易·马吕斯艾蒂安-路易·马吕斯(法语:Étienne Louis Malus,1775年7月23日-1812年2月24日),法国官员、工程师、物理学家和数学家。马吕斯出生于法国巴黎。他参加了拿破仑的远征远征到埃及(179
  • ρ因子ρ因子(ρ factor)是指在细胞遗传学当中,是一种参与转录终止的原核蛋白。ρ因子与转录终止子暂停位点结合,后者是缺乏明显二级结构的富含C/贫含G的序列的开放阅读框后的单链RNA(
  • 葡语系奥林匹克委员会总会葡语系奥林匹克委员会总会(葡萄牙语:Associação dos Comités Olímpicos de Língua Oficial Portuguesa,简称葡语奥委会总会及ACOLOP) 于2004年6月8日成立于里斯本,目的为加
  • 煨是一种烹调手法,有汤煨和炭煨之分。
  • 圆觉经《大方广圆觉修多罗了义经》,简称圆觉经,大乘佛教经典,相传在初唐时,由佛陀多罗在洛阳白马寺译出。此经历来受到天台宗、华严宗及禅宗的高度推崇,在汉传佛教中有重要地位,根据其内
  • 姨父姨父,是中文中亲属关系的称谓,指母亲姊妹的丈夫。正式用语中通常称为姨丈,也称姨夫或姨爹。英文中,姨父与叔叔、伯伯、舅舅等统称为Uncle。