直陈条件 编辑
直陈条件是对普通英语中形如“如果A那么B”的陈述给出的逻辑运算。不像实质条件，直陈条件没有规定的定义。关于这种运算的哲学文献是广泛的，但没有达成明确的一致意见。
1
相关
在逻辑中，严格条件是遵照来自模态逻辑的必然性算子行事的实质条件。对于任何两个命题



p


{\displaystyle p}

和



q


{\displaystyle q}

，公式



p
→
q


{\displaystyle p\rightarrow q}

说



p


{\displaystyle p}

实质上蕴涵



q


{\displaystyle q}

，而



◻



{\displaystyle \Box }

说



p


{\displaystyle p}

严格蕴涵



q


{\displaystyle q}

。严格条件是 Clarence Irving Lewis 尝试为充分的表达直陈条件而找出的条件。比如这种条件一般的要避免实质蕴涵悖论。比如下列陈述，没有被实质蕴涵正确的形式化。
在逻辑中，严格条件是遵照来自模态逻辑的必然性算子行事的实质条件。对于任何两个命题



p


{\displaystyle p}

和



q


{\displaystyle q}

，公式



p
→
q


{\displaystyle p\rightarrow q}

说



p


{\displaystyle p}

实质上蕴涵



q


{\displaystyle q}

，而



◻



{\displaystyle \Box }

说



p


{\displaystyle p}

严格蕴涵



q


{\displaystyle q}

。严格条件是 Clarence Irving Lewis 尝试为充分的表达直陈条件而找出的条件。比如这种条件一般的要避免实质蕴涵悖论。比如下列陈述，没有被实质蕴涵正确的形式化。
在逻辑中，严格条件是遵照来自模态逻辑的必然性算子行事的实质条件。对于任何两个命题



p


{\displaystyle p}

和



q


{\displaystyle q}

，公式



p
→
q


{\displaystyle p\rightarrow q}

说



p


{\displaystyle p}

实质上蕴涵



q


{\displaystyle q}

，而



◻



{\displaystyle \Box }

说



p


{\displaystyle p}

严格蕴涵



q


{\displaystyle q}

。严格条件是 Clarence Irving Lewis 尝试为充分的表达直陈条件而找出的条件。比如这种条件一般的要避免实质蕴涵悖论。比如下列陈述，没有被实质蕴涵正确的形式化。