Diagrams, Logic and Representation

Dissertation, Indiana University (1995)

Abstract
The main thesis of this dissertation is that there are principled logical explanations behind valid and invalid uses of diagrams in reasoning. In particular, the logic involved in reasoning with diagrams can be studied in the same way that the logic of linguistic inference has been analyzed by Frege, Tarski, and others. Four logics are studied whose well-formed representations consist of diagrams rather then sentences. Syntax and semantics are provided for each diagrammatic system. Rules of inference for reasoning with the diagrams are provided in each case, and basic logical results such as completeness are established. Preliminary conceptual and philosophical questions are also treated
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 58,467
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Reasoning with Sentences and Diagrams.Eric Hammer - 1994 - Notre Dame Journal of Formal Logic 35 (1):73-87.
Diagrams as Sketches.Brice Halimi - 2012 - Synthese 186 (1):387-409.
Logical Reasoning with Diagrams.Gerard Allwein & Jon Barwise (eds.) - 1996 - Oxford University Press.
Peirce and the Logical Status of Diagrams.Sun-Joo Shin - 1994 - History and Philosophy of Logic 15 (1):45-68.
On Frege's Logical Diagrams.Iulian D. Toader - 2004 - In Diagrammatic Representation and Inference. Springer: Lecture Notes in Computer Science, vol. 2980,. pp. 22-25.
Diagrams in Geometry.Isabel Palomino Luengo - 1995 - Dissertation, Indiana University
Euler’s Visual Logic.Eric Hammer & Sun-Joo Shin - 1998 - History and Philosophy of Logic 19 (1):1-29.
Valid Reasoning and Visual Representation.Sun-joo Shin - 1991 - Dissertation, Stanford University
Diagrams and the Concept of Logical System.Jon Barwise & Eric Hammer - 1996 - In Gerard Allwein & Jon Barwise (eds.), Logical Reasoning with Diagrams. Oxford University Press.
Visualizations of the Square of Opposition.Peter Bernhard - 2008 - Logica Universalis 2 (1):31-41.
A Diagrammatic Inference System with Euler Circles.Koji Mineshima, Mitsuhiro Okada & Ryo Takemura - 2012 - Journal of Logic, Language and Information 21 (3):365-391.

Analytics

Added to PP index
2015-02-04

Total views
0

Recent downloads (6 months)
0

How can I increase my downloads?

Downloads

Sorry, there are not enough data points to plot this chart.

My notes