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:
“The right honourable gentleman caught the Whigs bathing, and walked away with their clothes. He has left them in the full enjoyment of their liberal positions, and he is himself a strict conservative of their garments.”
—Benjamin Disraeli (1804–1881)
“The population of the world is a conditional population; these are not the best, but the best that could live in the existing state of soils, gases, animals, and morals: the best that could yet live; there shall be a better, please God.”
—Ralph Waldo Emerson (1803–1882)