## 抄録

Although logic diagrams are widely used as methods for introducing students to elementary logical reasoning, it is still open to debate in cognitive psychology whether diagrams can aid untrained people to successfully conduct deductive reasoning. In our previous work, some empirical evidence was provided for the effectiveness of a certain type of logic diagrams in the process of solving categorical syllogisms. However, the question of why certain diagrams but not others have such inferential efficacy in performing syllogism reasoning has not been fully answered. Based on a proof-theoretical analysis of categorical syllogisms and diagrammatic reasoning, we supplement our previous study of cognitive efficacy of diagrams and argue that the relational information underlying quantified sentences plays a crucial role in understanding the efficacy of diagrams in syllogistic reasoning. The distinctive features of our conception of diagrammatic reasoning are made clear by comparing it with the model-theoretic conception of ordinary reasoning developed in the mental model theory.

本文言語 | English |
---|---|

ページ（範囲） | 17-31 |

ページ数 | 15 |

ジャーナル | CEUR Workshop Proceedings |

巻 | 854 |

出版ステータス | Published - 2012 1 1 |

イベント | 3rd International Workshop on Euler Diagrams 2012, Euler Diagrams 2012 - Held in Conjunction with the 7th International Conference on the Theory and Application of Diagrams, Diagrams 2012 - Canterbury, United Kingdom 継続期間: 2012 7 2 → 2012 7 2 |

## ASJC Scopus subject areas

- コンピュータ サイエンス（全般）