Logical reasoning with diagrams
Accepted version
Peer-reviewed
Repository URI
Repository DOI
Change log
Authors
Jamnik, Mateja https://orcid.org/0000-0003-2772-2532
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
Title
Logical reasoning with diagrams
Keywords
Is Part Of
Handbook of Rationality
Book type
Publisher
MIT Press
Publisher DOI
ISBN
9780262045070
Rights
Sponsorship
EPSRC (GR/R76783/01)
EPSRC (EP/T019603/1)
EPSRC (EP/T019603/1)