Journal of Philosophical Logic 25 (5):463 - 482 (1996)
|Abstract||A logical system is studied whose well-formed representations consist of diagrams rather than formulas. The system, due to Shin [2, 3], is shown to be complete by an argument concerning maximally consistent sets of diagrams. The argument is complicated by the lack of a straight forward counterpart of atomic formulas for diagrams, and by the lack of a counterpart of negation for most diagrams|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Letitia Meynell (2008). Why Feynman Diagrams Represent. International Studies in the Philosophy of Science 22 (1):39 – 59.
Nathaniel Miller (2006). A Brief Proof of the Full Completeness of Shin's Venn Diagram Proof System. Journal of Philosophical Logic 35 (3):289 - 291.
Brice Halimi (2012). Diagrams as Sketches. Synthese 186 (1):387-409.
W. M. Goodwin (2008). Structural Formulas and Explanation in Organic Chemistry. Foundations of Chemistry 10 (2):117-127.
Dominique Tournès (2012). Diagrams in the Theory of Differential Equations (Eighteenth to Nineteenth Centuries). Synthese 186 (1):257-288.
Nicholaos Jones & Olaf Wolkenhauer (2012). Diagrams as Locality Aids for Explanation and Model Construction in Cell Biology. Biology and Philosophy 27 (5):705-721.
Michael Lynch (1991). Science in the Age of Mechanical Reproduction: Moral and Epistemic Relations Between Diagrams and Photographs. [REVIEW] Biology and Philosophy 6 (2):205-226.
Laura Perini (2005). Explanation in Two Dimensions: Diagrams and Biological Explanation. [REVIEW] Biology and Philosophy 20 (2-3):257-269.
Eric Hammer & Sun-Joo Shin (1998). Euler's Visual Logic. History and Philosophy of Logic 19 (1):1-29.
Sun-Joo Shin (1994). Peirce and the Logical Status of Diagrams. History and Philosophy of Logic 15 (1):45-68.
Added to index2009-01-28
Total downloads20 ( #68,206 of 722,774 )
Recent downloads (6 months)1 ( #60,541 of 722,774 )
How can I increase my downloads?