Rectifying the Mischaracterization of Logic by Mental Model Theorists.

Area of Science:

• Cognitive Science
• Formal Logic
• Philosophy of Mind

Background:

• Mental Model Theory (MMT) attempts to explain human reasoning and inference.
• Khemlani et al. (2018) proposed MMT could accommodate a specific inference pattern observed in subjects.
• This study challenges the characterization of logic and MMT's capacity for this inference.

Discussion:

• Demonstrates the mischaracterization of logic in Khemlani et al.'s (2018) MMT framework.
• Introduces a novel propositional modal logic where the inference $$ is provably valid.
• Contrasts the descriptive scope of MMT with the formal rigor of established logical systems.

Key Insights:

• Human reasoning, specifically the inference $$, can be formally captured by a modal logic.
• MMT's claims regarding the accommodation of certain inferences are challenged by formal logical analysis.
• Established logical systems offer robust frameworks for modeling cognitive phenomena.

Outlook:

• Provides a foundation for future cognitive science models investigating the relationship between human reasoning and formal logic.
• Suggests that formal logics are well-suited to capture empirical phenomena in human cognition.
• Encourages further exploration into the implementation and application of formal logics in cognitive modeling.