Propositional reasoning: the differential contribution of "rules" to the difficulty of complex reasoning problems

Area of Science:

• Cognitive Psychology
• Logic
• Human Reasoning

Background:

• Propositional reasoning involves combining multiple logical inferences.
• Rule theories explain inference combination, but not differential problem difficulty.
• Mental model theory offers an alternative explanation focusing on representational cost.

Purpose of the Study:

• To investigate the psychological costs associated with different basic logical inference rules.
• To determine if problem difficulty in propositional reasoning is explained by intrinsic rule difficulty or other factors.
• To evaluate the explanatory power of mental model theory's representational cost.

Main Methods:

• Experiment 1: Constructed complex propositional reasoning problems using various logical inferences (modus ponens, modus tollens, etc.).
• Experiment 2: Tested alternative explanations for observed difficulty differences, excluding those not related to intrinsic rule difficulty.
• Analysis: Assessed the role of psychological cost and representational cost in explaining reasoning performance.

Main Results:

• Problem difficulty in propositional reasoning is best explained by a differential psychological cost for basic inference rules.
• Alternative explanations not referencing intrinsic rule difficulty were ruled out.
• Representational cost, as defined by the number of mental models, partially explained results but was too coarse.

Conclusions:

• The intrinsic difficulty of basic logical rules significantly impacts complex reasoning performance.
• Mental model theory's current measure of representational cost is insufficient to fully explain observed effects.
• Future research should refine measures of representational cost or further explore rule-based explanations for reasoning difficulty.