Logical reasoning with diagrams
View / Open Files
Authors
Jamnik, M
Editors
Knauff, M
Spohn, W
Publication Date
2021-12ISBN
9780262045070
Publisher
MIT Press
Number
13
Type
Book chapter
Metadata
Show full item recordCitation
Jamnik, M. (2021). Logical reasoning with diagrams. In Knauff, M. MIT Press, Handbook of Rationality. [Book chapter]. https://doi.org/10.17863/CAM.81063
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.
Sponsorship
EPSRC (GR/R76783/01)
EPSRC (EP/T019603/1)
Identifiers
External DOI: https://doi.org/10.17863/CAM.81063
This record's DOI: https://doi.org/10.17863/CAM.81063
Statistics
Total file downloads (since January 2020). For more information on metrics see the
IRUS guide.