| Description |
1 online resource (xv, 270 pages) : illustrations |
| Series |
Studies in logic and computation |
|
Studies in logic and computation.
|
| Contents |
Part A. Theoretical Issues; Chapter I. Visual Information and Valid Reasoning; Chapter II. Operational Constraints in Diagrammatic Reasoning; Chapter III. Diagrams and the Concept of Logical System; Part B. Case Studies; Chapter IV. Situation-Theoretic Account of Valid Reasoning with Venn Diagrams; Chapter V. Towards a Model Theory of Venn Diagrams; Chapter VI. Peircean Graphs for Propositional Logic; Chapter VII. A Diagrammatic Subsystem of Hilbert's Geometry; Part C. Heterogeneous Systems; Chapter VIII. Heterogeneous Logic |
| Summary |
PART A: Theoretical Issues. 1. Visual Information and Valid Reasoning, Jon Barwise and John Etchemendy. 2. Operational Constraints in Diagrammatic Reasoning, Atsushi Shimojima. 3. Diagrams and the Concept of Logical System, Jon Barwise and Eric Hammer. PART B: Case Studies. 4. Situation-Theoretic Account of Valid Reasoning with Venn Diagrams, Sun-Joo Shin. 5. Towards a Model Theory of Venn Diagrams, eric Hammer and Norman Danner. 6. Peircean Graphs for Propositional Logic, Eric Hammer. 7. A Diagrammatic Subsystem of Hilbert's Geometry, Isabel Luengo. PART C: Heterogenous Systems. 8. Heterogeno |
| Analysis |
Mathematical logic |
| Bibliography |
Includes bibliographical references and index |
| Notes |
English |
|
Print version record |
| Subject |
Logic, Symbolic and mathematical -- Charts, diagrams, etc
|
|
Knowledge representation (Information theory)
|
|
MATHEMATICS -- Infinity.
|
|
MATHEMATICS -- Logic.
|
|
Knowledge representation (Information theory)
|
|
Logic, Symbolic and mathematical
|
|
Symbolische logica.
|
|
Redeneren.
|
| Genre/Form |
Electronic books
|
|
Charts, diagrams, etc.
|
| Form |
Electronic book
|
| Author |
Allwein, Gerard, 1956-
|
|
Barwise, Jon.
|
| ISBN |
9780195355864 |
|
0195355865 |
|
1280533757 |
|
9781280533754 |
|
9786610533756 |
|
661053375X |
|
0197560989 |
|
9780197560983 |
|
