Reasoning by model: The case of multiple quantification.

A theory of deductive reasoning is presented for a major class of inferences that has not been investigated by psychologists: inferences that depend on multiply-quantified premises (e.g., "None of the Princeton letters is in the same place as any of the Dublin letters"). It is argued that reasoners construct mental models based on their knowledge of the meanings of quantifiers (and other terms, including relational expressions). Three experiments corroborate the model theory's prediction that inferences that require the construction of only 1 model will be easier than those that require more than 1 model. The model theory assumes that the logical properties of quantifiers emerge from their meanings and are not mentally represented in rules of inference. How such a semantic process can occur compositionally (i.e., guided by the syntactic analysis of sentences) is described. (PsycINFO Database Record (c) 2010 APA, all rights reserved)