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.
- Comment
- enIn 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
- enIn 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.
- Is primary topic of
- Strict conditional
- Label
- enStrict conditional
- Link from a Wikipage to another Wikipage
- Arrow (computer science)
- Category:Conditionals
- Category:Formal semantics (natural language)
- Category:Linguistic modality
- Category:Logical connectives
- Category:Modal logic
- Category:Necessity
- Clarence Irving Lewis
- Classical logic
- Consequent
- Constructive logic
- Conversational implicature
- Corresponding conditional
- Counterfactual conditional
- Dynamic semantics
- Graham Priest
- Heyting arithmetic
- Import-Export (logic)
- Indicative conditional
- Interpretability
- Jonathan Bennett (philosopher)
- Logic
- Logical connective
- Logical consequence
- Logical equivalence
- Logical truth
- Mark Sainsbury (philosopher)
- Material conditional
- Modal logic
- Modal operator
- Molinism
- Paradoxes of material implication
- Paul Grice
- Proposition
- Recursion (computer science)
- Relevance logic
- Transitive relation
- Well-formed formula
- SameAs
- 3Tpaj
- Condicional estricto
- Condicional estrito
- Implication stricte
- m.030wxt
- Q375520
- Strict conditional
- Строга импликация
- شرطی اکید
- 严格条件
- Subject
- Category:Conditionals
- Category:Formal semantics (natural language)
- Category:Linguistic modality
- Category:Logical connectives
- Category:Modal logic
- Category:Necessity
- WasDerivedFrom
- Strict conditional?oldid=1123124120&ns=0
- WikiPageLength
- 7320
- Wikipage page ID
- 663772
- Wikipage revision ID
- 1123124120
- WikiPageUsesTemplate
- Template:Formal semantics
- Template:Logic
- Template:Reflist