首页 >
严格条件
✍ dations ◷ 2025-04-03 10:50:57 #严格条件
在逻辑中,严格条件是遵照来自模态逻辑的必然性算子行事的实质条件。对于任何两个命题
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,使用会话蕴涵来做争辩说,尽管看起来困难,实质蕴涵正好适合用做自然语言的 '如果...则...' 的翻译。其他人转变到相干逻辑上来提供在可证明条件的在前件和后件之间的连接。尝试找到条件的更好翻译的非经典逻辑的介绍请参见:本文涉及到一些问题所延伸的哲学讨论请参见下列二者:
相关
- 聚合酶聚合酶 (英语:polymeraseis)是一类将小分子核苷酸聚合成大分子核酸聚合物的酶(EC编号2.7.7.6/7/19/48/49),通过与模板连进行碱基配对来实现复制,根据产物分子是DNA还是RNA可分为DNA
- 大流行瘟疫,指大型且具有传染力又会造成死亡的流行病,在广大区域或全球多处传染人或其他物种。现代医学卫生发达,许多会造成大量死亡的瘟疫都有效控制为流行病等级。根据世界卫生组织
- 食品添加剂食品添加剂是为了保持味道或增强口感、改善外观添加到食物中的物质。 一些添加剂已经使用了几个世纪;例如,(用醋)腌制、盐腌来保存食物(如腌肉),糖果的保存以及用二氧化硫来保存葡
- 舍曲林舍曲林(英语:Sertraline)(商品名:左洛复、彼迈乐等)是一种选择性5-羟色胺再吸收抑制剂(SSRI)类抗抑郁药,1991年由辉瑞制药公司发明。舍曲林主要用于治疗成人重度抑郁症(MDD),也用来治疗
- 龋齿龋齿(英语:dental caries, tooth decay, cavities, caries,其中caries起源于拉丁文的“腐烂”),俗称蛀牙,指牙齿因细菌活动而造成分解的现象。常见的龋齿菌种是乳酸链球菌(lactococ
- 妮娜大陆妮娜大陆(Nena)是一个远古的较小规模超大陆,由北极大陆、波罗地大陆和东南极克拉通的多个克拉通组成。妮娜大陆大约在18亿年前组成,后来成为全球性超大陆哥伦比亚大陆的一部分。
- Netscape公众授权条款Netscape公众许可证(英语:Netscape Public License,简称NPL)是一个自由软件许可证,Netscape通信公司最初发布Mozilla的许可证。其最显著的特点是它给予了Mozilla的原始开发者(Nets
- 奥托·兰克奥托·兰克(1884年4月22日-1939年10月31日)是一个奥地利精神分析学家、作家和老师。1884年出生于奥地利维也纳。他是西格蒙德·弗洛伊德最亲近的同事之一。美国存在主义心理治
- ICD-9 740–759:生天异常Template:Congenital malformations and deformations of nervous system Template:Congenital malformations and deformations of eye Template:Congenital malformations
- 格格(拉丁语:casus,英语:case),格位,狭义上称为语法格,在格语法中称为表层格,是名词、代词、分词、数词或形容词等词类当中,反映其在短语、从句或句子中所起语法功能(英语:grammatical fun