The material conditional operator used in logic (i.e. "p ? q") is sometimes read aloud in the form of a conditional sentence (i.e. "if p, then q"), but the definition of this operator does not correspond to the intuitive interpretation of conditional statements in natural language. 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.
No comments:
Post a Comment