scientific article; zbMATH DE number 794693

Publication date: 10 September 1995

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

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

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) General logic (03B99)

Related Items (53)

Reasoning with sentences and diagrams ⋮ 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 ⋮ Venn diagram with names of individuals and their absence: a non-classical diagram logic ⋮ The Vatican square ⋮ Singular propositions, negation and the square of opposition ⋮ What makes an effective representation of information: a formal account of observational advantages ⋮ The semiotics of spider diagrams ⋮ 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) ⋮ Presence and absence of individuals in diagrammatic logics: an empirical comparison ⋮ Revisiting Peirce's rules of transformation for Euler-Venn diagrams ⋮ Jin Yuelin's simplification of Venn diagrams ⋮ A Practice-Based Approach to Diagrams ⋮ Figures, Formulae, and Functors ⋮ The concept of relevance and the logic diagram tradition ⋮ 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 ⋮ Omnipresence, multipresence and ubiquity: kinds of generality in and around mathematics and logics ⋮ Material representations in mathematical research practice ⋮ Schopenhauer on Diagrammatic Proof ⋮ Strategy analysis of non-consequence inference with Euler diagrams ⋮ Spider Diagrams ⋮ Logicographic symbols ⋮ Counter-example construction with Euler diagrams ⋮ 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 ⋮ Automated theorem proving in Euler diagram systems ⋮ On the structure of constituents of finite independent families of convex bodies in \(R^2\) and \(R^3\) spaces ⋮ Euler’s visual logic ⋮ A diagrammatic calculus of syllogisms ⋮ A diagrammatic inference system with Euler circles ⋮ Syllogisms in rudimentary linear logic, diagrammatically ⋮ On the insufficiency of linear diagrams for syllogisms ⋮ AE (Aristotle-Euler) diagrams: An alternative complete method for the categorical syllogism ⋮ \(\mathrm{Venn}_{i_{o1}} \): a diagram system for universe without boundary ⋮ Proofs, pictures, and Euclid ⋮ Main problems of diagrammatic reasoning. I: The generalization problem ⋮ A brief proof of the full completeness of Shin's Venn diagram proof system ⋮ Intuition and visualization in mathematical problem solving ⋮ Diagrams in mathematics ⋮ Equivalences in Euler-based diagram systems through normal forms ⋮ Visual Mathematics: Diagrammatic Formalization and Proof ⋮ Diagram processing: Computing with diagrams ⋮ 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

This page was built for publication: