A Computational Logic Approach to Syllogisms in Human Reasoning

Psychological experiments on syllogistic reasoning have shown that participants did not always deduce the classical logically valid conclusions. In particular, the results show that they had di culties to reason with syllogistic statements that contradicted their own beliefs. This paper discusses syllogisms in human reasoning and proposes a formalization under the weak completion semantics.

• Type: Journal
• Year: 2015
• Where: CADE
• Authors: Emanuelle-Anna Dietz
• Keywords: CADE 2015, Logical Reasoning