Ragni’s course at the South-East Asian Summer School on Computational Logic in Ulaanbaatar
Marco Ragni gave a series of lectures at the 9th South-East Asian Summer School on Computational Logic in Ulaanbaatar, Mongolia, on the topic of “Cognitive Computational Models of Human Thinking and Reasoning.” The abstract for his course is here:
Since the times of Aristotle, humans have discussed what can be regarded as an acceptable inference striving the border of formal logical inferences and a form of ’natural deduction’ humans are applying. The ability to gain new insights from given knowledge by reasoning is one of the most fundamental cognitive abilities of humans. Psychological findings show a difference between inferences drawn by humans and those drawn by formal reasoning systems implementing classical logic. These differences can be found in all domains: in reasoning about relations, in reasoning about conditional statements, and in reasoning about syllogisms. In this course, I will first introduce several examples for each domain demonstrating specific effects in reasoning, including content effects and illusions. In a second step, different theories of reasoning will be presented and applied to the different effects. In a third step, the theory will be evaluated and differences to other theories and alternative approaches will be discussed.