Publication:4847218

Publication date: 10 September 1995

semantics; syntax; Venn diagrams; visual representation; consequence relation among diagrams; formal representation of reasoning by diagrams; non- linguistic representation system; well-formed diagram

Mathematics Subject Classification ID

03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations

03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations

03B99: General logic

Related Items

Schopenhauer on Diagrammatic Proof, Visual Mathematics: Diagrammatic Formalization and Proof, Spider Diagrams, On the insufficiency of linear diagrams for syllogisms, AE (Aristotle-Euler) diagrams: An alternative complete method for the categorical syllogism, The Observational Advantages of Euler Diagrams with Existential Import, Euler Diagrams Through the Looking Glass: From Extent to Intent, Rigor and the Context-Dependence of Diagrams: The Case of Euler Diagrams, Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams, Syllogistic with Jigsaw Puzzle Diagrams, The Representation of Negative Terms with Euler Diagrams, Are Euclid’s Diagrams ‘Representations’? On an Argument by Ken Manders, Epistemic roles of diagrams in short proofs, Can We “Show” the Correctness of Reasoning? On the Role of Diagrammatic Spatialization in Logical Justification, The Vatican square, Singular propositions, negation and the square of opposition, Proof theory for reasoning with Euler diagrams: a logic translation and normalization, The forgotten individual: diagrammatic reasoning in mathematics, Diagrams in the theory of differential equations (eighteenth to nineteenth centuries), Counter-example construction with Euler diagrams, Proofs, pictures, and Euclid, Diagram processing: Computing with diagrams, Intuition and visualization in mathematical problem solving, Reasoning with sentences and diagrams, Venn diagram with names of individuals and their absence: a non-classical diagram logic, Presence and absence of individuals in diagrammatic logics: an empirical comparison, Strategy analysis of non-consequence inference with Euler diagrams, On the structure of constituents of finite independent families of convex bodies in \(R^2\) and \(R^3\) spaces, The concept of relevance and the logic diagram tradition, Omnipresence, multipresence and ubiquity: kinds of generality in and around mathematics and logics, \(\mathrm{Venn}_{i_{o1}} \): a diagram system for universe without boundary, Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization, Why make things simple when you can make them complicated? An appreciation of Lewis Carroll's symbolic logic, A diagrammatic calculus of syllogisms, A diagrammatic inference system with Euler circles, Syllogisms in rudimentary linear logic, diagrammatically, Main problems of diagrammatic reasoning. I: The generalization problem, Diagrams in mathematics, What makes an effective representation of information: a formal account of observational advantages, The semiotics of spider diagrams, Logicographic symbols, Automated theorem proving in Euler diagram systems, A brief proof of the full completeness of Shin's Venn diagram proof system, On the diagrammatic representation of existential statements with Venn diagrams, How diagrams can support syllogistic reasoning: an experimental study, Set Venn diagrams applied to inclusions and non-inclusions, Revisiting Peirce's rules of transformation for Euler-Venn diagrams, Jin Yuelin's simplification of Venn diagrams, Material representations in mathematical research practice, Euler’s visual logic, Equivalences in Euler-based diagram systems through normal forms, A Practice-Based Approach to Diagrams, Figures, Formulae, and Functors