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:
“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)
“Our argument ... will result, not upon logic by itself—though without logic we should never have got to this point—but upon the fortunate contingent fact that people who would take this logically possible view, after they had really imagined themselves in the other man’s position, are extremely rare.”
—Richard M. Hare (b. 1919)
“Histories make men wise; poets witty; the mathematics subtle; natural philosophy deep; moral grave; logic and rhetoric able to contend.”
—Francis Bacon (1561–1626)