严格条件

✍ dations ◷ 2025-06-07 02:44:20 #严格条件
在逻辑中,严格条件是遵照来自模态逻辑的必然性算子行事的实质条件。对于任何两个命题 p {displaystyle p} 和 q {displaystyle q} ,公式 p → q {displaystyle prightarrow q} 说 p {displaystyle p} 实质上蕴涵 q {displaystyle q} ,而 ◻ ( p → q ) {displaystyle Box (prightarrow q)} 说 p {displaystyle p} 严格蕴涵 q {displaystyle q} 。严格条件是 Clarence Irving Lewis 尝试为充分的表达直陈条件而找出的条件。比如这种条件一般的要避免实质蕴涵悖论。比如下列陈述,没有被实质蕴涵正确的形式化。这个条件明显是假的:Bill Gates 的受教育程度和 Elvis 是否健在没有任何关系。但是,在经典逻辑中使用实质蕴涵的这个公式的直接的编码为:这个公式是真的,因为公式 A → B {displaystyle Arightarrow B} 只要前件 A {displaystyle A} 为假就是真的。所以,这个公式不是原始句子的完全的翻译。严格条件是在模态逻辑中尝试不同编码的蕴涵编码:在模态逻辑中,这个公式(粗略的)意味着,“在 Bill Gates 是医科毕业生的所有可能的世界中,Elvis 都不会死”。因为你可以轻易的设想 Bill Gates 是医科毕业生而 Elvis 死了的一个世界,在其中这个公式是假的。所以,这个公式好像是原始句子的正确翻译。尽管严格条件比实质条件更加接近于能够表达自然语言的条件,它也有自己的问题。下列句子不能正确的使用严格条件形式化:使用严格条件,这个句子被表达为:为了避免严格蕴涵的悖论,一些逻辑学家建立了反事实条件。有人比如 Paul Grice,使用会话蕴涵来做争辩说,尽管看起来困难,实质蕴涵正好适合用做自然语言的 '如果...则...' 的翻译。其他人转变到相干逻辑上来提供在可证明条件的在前件和后件之间的连接。尝试找到条件的更好翻译的非经典逻辑的介绍请参见:本文涉及到一些问题所延伸的哲学讨论请参见下列二者:

相关

  • 志留纪志留纪(Silurian,符号S)是地质时代表古生代的第三个纪,约开始于4.44亿年前,结束于4.19亿年前。志留系一名源于威尔士地区一个古老部族志留人(英语:Silures)。1835年,英国R.I.莫企逊,在
  • 陆军美国陆军(英语:United States Army),是美军的分支,美国联邦八个制服部队之一。美国陆军的前身是大陆军,组建于1775年6月14日,参与独立战争。战争结束后,大陆会议在1784年6月3日成立
  • 混合经济混合经济体系是指混合了传统经济体系、计划经济体系以及市场经济体系的经济体系,以解决三个基本的经济问题:生产什么、怎样生产、为谁生产。建立于混合经济上的国家称之为混合
  • 联合国艾滋病联合规划署行政总监联合国艾滋病规划署(英语:Joint United Nations Programme on HIV and AIDS,缩写UNAIDS)是全球范围内组织、推广及协调世界艾滋病运动的机构。规划署旨在唤起全球对艾滋
  • GeneCardsGeneCards(中文大意:基因卡片)是一个收录人基因组、转录组、蛋白质组的数据库。该数据库亦提供所有已知以及推测的人类基因的功能信息。该数据库由魏茨曼科学研究学院创立,该数
  • 核技术核子技术是关于原子核的核反应技术,其中比较重要和已经投入实用的有核动力、核医学和核武器。核技术的应用十分广泛,也应用于烟雾探测器(英语:Smoke detector),到瞄准具。1896年,亨
  • 西酞普兰西酞普兰(Citalopram)是一种很强的选择性5-羟色胺再吸收抑制剂(SSRI)型的抗抑郁药,其药物形态为氢溴酸西酞普兰(Citalopram Hydrobromide),商品名为“喜普妙”(Celexa)。在临床上常用
  • ChemSpiderChemspider是一个网络化学数据库。它试运行于2007年3月,并于一年后的2008年3月正式发布。 ChemSpider数据库记录了超过两千万的分子,与其他传统化学数据库不同的地方在于,它通
  • 斯宾诺莎斯宾诺莎(拉迪诺语:Baruch de Spinoza,拉丁语:Benedictus de Spinoza,1632年11月24日-1677年2月21日),西方近代哲学史重要的理性主义者,与笛卡尔和莱布尼茨齐名。斯宾诺莎的祖先是居
  • 持续性正压呼吸器持续性正压呼吸器、持续性阳压呼吸器(英语:Continuous positive airway pressure,简称:CPAP)是一种在呼吸道施加压力(英语:positive airway pressure)的人工呼吸器(英语:Mechanical ve