Reasoning about Durations

Area of Science:

• Cognitive psychology
• Logic
• Human reasoning

Background:

• Consistency of assertions can be assessed using formal logic or intuitive mental models.
• Formal logic requires proving negations, while mental models involve constructing representations.
• These two approaches make different predictions about reasoning accuracy.

Purpose of the Study:

• To test the predictions of formal logic versus mental model theory in assessing assertion consistency.
• To investigate the role of intuitive (System 1) and deliberative (System 2) reasoning in consistency judgments.
• To determine how the presence or absence of intuitive models affects accuracy.

Main Methods:

• Participants evaluated the consistency of temporal descriptions.
• Statements used temporal connectives like "during" and "before."
• Accuracy was compared for problems with and without intuitive models.

Main Results:

• Participants were more accurate on consistent problems that had intuitive models.
• Accuracy did not significantly differ between consistent and inconsistent problems.
• Performance was better when intuitive models could be readily constructed.

Conclusions:

• The findings support mental model theory over formal logic in explaining human consistency judgments.
• Intuitive reasoning (System 1) is more effective when mental models are available.
• Deliberative reasoning (System 2) may be necessary for complex or non-intuitive problems.