In logic, a strict conditional is 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 and, the formula says that materially implies while says that strictly implies . 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.
Read more about Strict Conditional: Avoiding Paradoxes, Problems
Famous quotes containing the words strict and/or conditional:
“Should you be unfortunate enough to have vices, you may, to a certain degree, even dignify them by a strict observance of decorum; at least they will lose something of their natural turpitude.”
—Philip Dormer Stanhope, 4th Earl Chesterfield (1694–1773)
“Computer mediation seems to bathe action in a more conditional light: perhaps it happened; perhaps it didn’t. Without the layered richness of direct sensory engagement, the symbolic medium seems thin, flat, and fragile.”
—Shoshana Zuboff (b. 1951)