Strict conditional
In logic, a strict conditional (symbol: , or ⥽) is a conditional governed by a modal operator, that is, a logical connective of modal logic. It is logically equivalent to the material conditional of classical logic, combined with the necessity operator from modal logic. For any two propositions p and q, the formula p → q says that p materially implies q while says that p strictly implies q. Strict conditionals are the result of Clarence Irving Lewis's attempt to find a conditional for logic that can adequately express indicative conditionals in natural language. They have also been used in studying Molinist theology.
notableIdea
Wikipage disambiguates
Wikipage redirect
C. I. LewisChrysippusConditionalConditional statementCounterfactual conditionalFishhook (disambiguation)ImplicationIndex of logic articlesIndex of philosophy articles (R–Z)Indicative conditionalIntensional logicJonathan Bennett (philosopher)Larisa MaksimovaLogicLogical connectiveLogical consequenceMaterial conditionalModal logicObject of the mindOutline of logicRelevance logicSchur-convex functionSimplification of disjunctive antecedentsStrict conditionalsStrict implicationVacuous truth
Link from a Wikipage to another Wikipage
notable ideas
primaryTopic
Strict conditional
In logic, a strict conditional (symbol: , or ⥽) is a conditional governed by a modal operator, that is, a logical connective of modal logic. It is logically equivalent to the material conditional of classical logic, combined with the necessity operator from modal logic. For any two propositions p and q, the formula p → q says that p materially implies q while says that p strictly implies q. Strict conditionals are the result of Clarence Irving Lewis's attempt to find a conditional for logic that can adequately express indicative conditionals in natural language. They have also been used in studying Molinist theology.
has abstract
Em lógica, um condicional estr ...... estudo da teologia molinista.
@pt
En logique mathématique, l'imp ...... dictoire implique tout énoncé.
@fr
En lógica, el condicional estr ...... e para resolver las paradojas.
@es
In logic, a strict conditional ...... in studying Molinist theology.
@en
在逻辑中,严格条件是遵照来自模态逻辑的必然性算子行事的实质条 ...... 转变到相干逻辑上来提供在可证明条件的在前件和后件之间的连接。
@zh
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,020,540,090
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
comment
Em lógica, um condicional estr ...... estudo da teologia molinista.
@pt
En logique mathématique, l'imp ...... dictoire implique tout énoncé.
@fr
En lógica, el condicional estr ...... que A implica estrictamente B.
@es
In logic, a strict conditional ...... in studying Molinist theology.
@en
在逻辑中,严格条件是遵照来自模态逻辑的必然性算子行事的实质条 ...... 正确的使用严格条件形式化: 使用严格条件,这个句子被表达为:
@zh
label
Condicional estricto
@es
Condicional estrito
@pt
Implication stricte
@fr
Strict conditional
@en
严格条件
@zh