Live briefing
Everything about Strict conditional
Formal statement in logic
In logic, a strict conditional 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. Wikipedia →
🧭 Start here: a 6-step reading path
- Read the overview: Strict conditionalA 5-minute orientation
- Skim a recent paper: Credences for strict conditionalsInfluential work since 2022
- Pick up a classic book: Argonauts of the western PacificThe most-reprinted book on the subject
- Read the landmark paper: Violation of Bell's Inequality under Strict Einstein Locality ConditionsCited 1,185 times
- Go sideways: Material conditionalA closely related topic
- Go sideways: Paradoxes of material implicationA closely related topic
📖 Definitions
Noun Synonym of strict implication.
🗂️ The subject at a glance
🏆 Landmark papers (most cited)
Violation of Bell's Inequality under Strict Einstein Locality Conditions
Strict Stationarity Testing and Estimation of Explosive and Stationary Generalized Autoregressive Conditional Heteroscedasticity Models
Strict coherence of conditional rewriting modulo axioms
On Relations Between Strict-Sense and Wide-Sense Conditional Expectations
HMM conditional-likelihood based change detection with strict delay tolerance
Strict conditional accounts of counterfactuals
Pólya-type criteria for conditional strict positive definiteness of functions on spheres
Counterfactual Donkey Sentences: A Strict Conditional Analysis
🆕 Influential since 2022
📚 Books worth reading
Argonauts of the western PacificBronisław Malinowski · 1922
Eloquent JavascriptMarijn Haverbeke · 2009
Card, Cross & Jones Criminal lawRichard Card · 1995
Dziennik w ścisłym znaczeniu tego wyrazuBronisław Malinowski · 1967
Complete criminal lawJanet Loveless · 2008
Mental realityGalen Strawson · 1994
Textbook on criminal lawAllen, M. J. · 1991
Simester and Sullivan's Criminal LawA. P. Simester, J. R. Spencer · 2014
Ranked by number of editions on Open Library, a rough measure of how lasting a book is.
🔗 Related topics
- Material conditional The material conditional (also known as material implication) is a binary operation commonly used in logic. When the conditional symbol → {\displaystyle…
- Paradoxes of material implication The paradoxes of material implication are a group of classically true formulae involving material conditionals whose translations into natural language…
- Philosophical logic Understood in a narrow sense, philosophical logic is the area of logic that studies the application of logical methods to philosophical problems, often…
- Counterfactual conditional Counterfactual conditionals (also contrafactual/subjunctive/X-marked conditionals) are conditional sentences that describe what would have been true if…
- Conditional logic Conditional logic (also: the logic of conditionals) refers to a family of formal systems for reasoning with statements of the form "if A, (then) B". Conditional…
- Logical consequence Logical consequence (also entailment or logical implication) is a fundamental concept in logic which describes the relationship between statements that…
- Import–export (logic) In propositional logic, import-export is a name given to the propositional form of Exportation: (P→(Q→R))↔((P∧Q)→R). This already holds in minimal logic…
- Indicative conditional An indicative conditional is a natural-language conditional sentence (an "if" sentence) used to talk about what may actually be the case, as in: "If Leona…