首页 >
严格条件
✍ dations ◷ 2025-04-03 17:21:34 #严格条件
在逻辑中,严格条件是遵照来自模态逻辑的必然性算子行事的实质条件。对于任何两个命题
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,使用会话蕴涵来做争辩说,尽管看起来困难,实质蕴涵正好适合用做自然语言的 '如果...则...' 的翻译。其他人转变到相干逻辑上来提供在可证明条件的在前件和后件之间的连接。尝试找到条件的更好翻译的非经典逻辑的介绍请参见:本文涉及到一些问题所延伸的哲学讨论请参见下列二者:
相关
- 恩斯特·鲁斯卡恩斯特·奥古斯特·弗里德里希·鲁斯卡(德语:Ernst August Friedrich Ruska,1906年12月25日-1988年5月27日),德国物理学家,电子显微镜的发明者,1986年获诺贝尔物理学奖。恩斯特·鲁
- 甲状腺功能亢进甲状腺功能亢进症(Hyperthyroidism),又称甲状腺机能亢进症,简称甲状腺亢进、甲亢,是一种由于体内过量的三碘甲腺原氨酸(T3)和 四碘甲腺原氨酸(T4,也即甲状腺素)造成的临床症状。而甲状
- 多株抗体多克隆抗体,亦作“多株抗体”(Polyclonal Antibody)是一种含有多种类型抗体的抗体混合物。其名称中的“多”指抗体混合物由不同类型的浆细胞生产而来:430。要生产多克隆抗体,首
- 医疗系统医疗系统(health system)也称为医疗照护系统(health care system),是由人、机构及资源所组成的组织,目的在于提供医疗卫生服务,符合目标人群的健康需求。世界上有许多的不同的医疗
- 黑棘皮症黑色棘皮症(拉丁语: Acanthosis nigricans),又名棘皮症、黑棘皮症、棘皮病等,常伴有肥胖的一种皮肤病变。属副肿瘤性疾病、先天性/发育性病症,病发部位多于皮肤、皮下、外分泌、
- 细菌学细菌学(英语:bacteriology),一个以研究细菌为主的学科,是微生物学的分支。主要的工作是辨认细菌、培养细菌、分类细菌种属、找出细菌种属的特征。它跟微生物学,有时候会被人当成同
- 电子邮箱电子邮件(英语:electronic mail),简称电邮(email、e-mail),是指一种由一寄件人将数字信息发送给一个人或多个人的信息交换方式,一般会通过互联网或其他电脑网络进行书写、发送和接收
- 耶尔辛氏菌属耶尔辛氏菌属(学名:Yersinia)是肠杆菌目肠杆菌科的一个属。耶尔辛氏菌属内的细菌均为革兰氏阴性菌。这些细菌属于杆状菌,按异化类型分则属于兼性厌氧菌。该属内的细菌长达几微米
- 颌颚(英语:Jaw),在解剖学中,指在嘴部入口处相对的铰接式结构,最常见的用途是用来进食与咀嚼食物。在大多数的动物身上,都拥有这个解剖结构。在人体解剖学中,又称颌,指嘴部的上下骨骼与
- 升结肠升结肠是结肠的一部分,位于腹腔右侧,是盲肠向上的延续,自右下腹部向斜后方上升,直到肝脏下缘以直角向左侧水平的横结肠移行。长约25厘米。