Towards a model theory of diagrams

&
Journal of Philosophical Logic 25 (5):463 - 482 (1996)
  Copy   BIBTEX

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

Categories

Keywords

Reprint years

DOI

10.1007/bf00257381

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,423

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Diagrams as sketches.Brice Halimi - 2012 - Synthese 186 (1):387-409.
A Brief Proof of the Full Completeness of Shin’s Venn Diagram Proof System.Nathaniel Miller - 2006 - Journal of Philosophical Logic 35 (3):289 - 291.
Reasoning with Sentences and Diagrams.Eric Hammer - 1994 - Notre Dame Journal of Formal Logic 35 (1):73-87.
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.
An Introduction to Dynamo: Diagrams for Evolutionary Game Dynamics. [REVIEW]Francisco Franchetti & William H. Sandholm - 2013 - Biological Theory 8 (2):167-178.
Diagrams as locality aids for explanation and model construction in cell biology.Nicholaos Jones & Olaf Wolkenhauer - 2012 - Biology and Philosophy 27 (5):705-721.
Universal Structures in Power $aleph_1$.Alan H. Mekler - 1990 - Journal of Symbolic Logic 55 (2):466-477.
Peirce and the logical status of diagrams.Sun-joo Shin - 1994 - History and Philosophy of Logic 15 (1):45-68.
Images, diagrams, and narratives: Charles S. Peirce's epistemological theory of mental diagrams.Markus Arnold - 2011 - Semiotica 2011 (186):5-20.
Fashioning descriptive models in biology: Of Worms and wiring diagrams.Rachel A. Ankeny - 2000 - Philosophy of Science 67 (3):272.
Counter-Example Construction with Euler Diagrams.Ryo Takemura - 2015 - Studia Logica 103 (4):669-696.
Diagrams and explanation in organic chemistry.William Mark Goodwin - unknown
Forms and Roles of Diagrams in Knot Theory.Silvia De Toffoli & Valeria Giardino - 2014 - Erkenntnis 79 (4):829-842.

Analytics

Added to PP
2009-01-28

Downloads
76 (#214,281)

6 months
7 (#418,426)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A Diagrammatic Inference System with Euler Circles.Koji Mineshima, Mitsuhiro Okada & Ryo Takemura - 2012 - Journal of Logic, Language and Information 21 (3):365-391.
A Diagrammatic Calculus of Syllogisms.Ruggero Pagnan - 2012 - Journal of Logic, Language and Information 21 (3):347-364.
Syllogisms in Rudimentary Linear Logic, Diagrammatically.Ruggero Pagnan - 2013 - Journal of Logic, Language and Information 22 (1):71-113.
Set Venn Diagrams Applied to Inclusions and Non-inclusions.Renata de Freitas & Petrucio Viana - 2015 - Journal of Logic, Language and Information 24 (4):457-485.

Add more citations

References found in this work

No references found.

Add more references