Logic
While the material conditional operator used in logic (i.e.) is sometimes read aloud in the form of a conditional sentence (i.e. "if p, then q"), the intuitive interpretation of conditional statements in natural language does not always correspond to the definition of this mathematical relation. Modelling the meaning of real conditional statements requires the definition of an indicative conditional, and contrary-to-fact statements require a counterfactual conditional operator, formalized in modal logic.
Read more about this topic: Conditional Sentence
Famous quotes containing the word logic:
“Logic is not a body of doctrine, but a mirror-image of the world. Logic is transcendental.”
—Ludwig Wittgenstein (1889–1951)
“Neither Aristotelian nor Russellian rules give the exact logic of any expression of ordinary language; for ordinary language has no exact logic.”
—Sir Peter Frederick Strawson (b. 1919)
“It is the logic of our times,
No subject for immortal verse—
That we who lived by honest dreams
Defend the bad against the worse.”
—Cecil Day Lewis (1904–1972)