Loading...
2 results
Search Results
Now showing 1 - 2 of 2
- An explanation of or-deletions and other paradoxical disjunctive inferencesPublication . Rasga, Célia; Quelhas, Ana Cristina; Johnson-Laird, P. N.Some inferences of the sort: A or B; therefore A, which are invalid in standard logics, are sensible in life: You can enter now or later; therefore, you can enter now. That these "or-deletions" follow necessarily or only possibly is a by-product of a theory of mental models. Its semantics for "or" refers to conjunctions of possibilities holding in default of knowledge to the contrary. It predicts new sorts of or-deletion, such as: He likes to drink red wine or white wine. So, he likes to drink red wine. and: You are permitted to do only one of the following: You can enter now. You can enter later. Therefore, you are permitted to enter now. They are invalid in standard logics, and neither previous pragmatic nor semantic theories predicted them. Four experiments corroborated their occurrence.
- The mental model theory of free choice permissions and paradoxical disjunctive inferencesPublication . Laird, Jennifer Ann; Quelhas, Ana Cristina; Rasga, CéliaInferences of the sort: A or B; therefore A, are invalid. Yet, the paradoxes of free choice are acceptable: You can have sole or lobster; so, you can have sole. Pragmatic theories attempt to save logic. A semantic theory of human reasoning is founded on mental models of possibilities. “Or” refers to a conjunction of possibilities that each hold in default of knowledge to the contrary. A disjunction: it is permissible to do A or to do B, yields a deontic interpretation of the possibilities, and elicits mental models of a conjunction of default permissions. They yield or-deletions, such as: therefore, it’s permissible to do A. The theory predicts the paradoxes and new phenomena, which four experiments corroborated. For example, exclusive disjunctions such as: Few of the artists are brutalists or else cubists, have an intuitive model that yields or-deletions, but deliberation can construct models that refute them.