Logical reasoning with diagrams


No Thumbnail Available
Type
Book chapter
Change log
Authors
Abstract

This chapter examines the role of diagrams in reasoning. It exposes the tension between formal and informal use of diagrams. Diagrams are a complementary representation to symbolic formulae. Since choosing the right representation may be essential to solving a problem, we study diagrams as one of such suitable choices. We analyse algorithmic and computational approaches to formalising the logic of diagrams, and present some of modern implementations of diagrammatic reasoning systems.

Description
Keywords
Is Part Of
Handbook of Rationality
Sponsorship
EPSRC (GR/R76783/01)
EPSRC (EP/T019603/1)