Logical reasoning with diagrams
MetadataShow full item record
Jamnik, M. (2021). Logical reasoning with diagrams. In Knauff, M. MIT Press, Handbook of Rationality. [Book chapter]. https://doi.org/10.17863/CAM.81063
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.
External DOI: https://doi.org/10.17863/CAM.81063
This record's DOI: https://doi.org/10.17863/CAM.81063
All Rights Reserved
Licence URL: https://www.rioxx.net/licenses/all-rights-reserved/