Diagrammatic Reasoning System with Euler Circles: Theory and Experiment Design

  • Koji Mineshima
  • Mitsuhiro Okada
  • Yuri Sato
  • Ryo Takemura
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5223)

Abstract

In this paper we are concerned with logical and cognitive aspects of reasoning with Euler circles. We give a proof-theoretical analysis of diagrammatic reasoning with Euler circles involving unification and deletion rules. Diagrammatic syllogistic reasoning is characterized as a particular class of the general diagrammatic proofs. Given this proof-theoretical analysis, we present some conjectures on cognitive aspects of reasoning with Euler diagrams. Then we propose a design of experiment for a cognitive psychological study.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Koji Mineshima
    • 1
  • Mitsuhiro Okada
    • 1
  • Yuri Sato
    • 1
  • Ryo Takemura
    • 1
  1. 1.Department of PhilosophyKeio UniversityTokyoJapan

Personalised recommendations