Logical reasoning with diagrams / / edited by Gerard Allwein and Jon Barwise ; with contributions by Gerard Allwein ... [et al.]
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Logical reasoning with diagrams / / edited by Gerard Allwein and Jon Barwise ; with contributions by Gerard Allwein ... [et al.]
|
| Pubblicazione: | New York, : Oxford University Press, 1996 |
| Edizione: | 1st ed. |
| Descrizione fisica: | 1 online resource (287 p.) |
| Disciplina: | 511.3 |
| Soggetto topico: | Knowledge representation (Information theory) |
| Logic, Symbolic and mathematical | |
| Altri autori: |
AllweinGerard <1956->
BarwiseJon
|
| Note generali: | Previously issued in print: 1996. |
| Nota di bibliografia: | Includes bibliographical references and index. |
| Nota di contenuto: | 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 |
| Chapter IX. Toward the Rigorous Use of Diagrams in Reasoning about HardwareChapter X. Exploiting the Potential of Diagrams in Guiding Hardware Reasoning; Bibliography; Index; A; B; C; D; E; F; G; H; I; J; K; L; M; N; O; P; R; S; T; U; V; W; Z | |
| Sommario/riassunto: | One effect of information technology is the increasing need to present information visually. The trend raises intriguing questions. What is the logical status of reasoning that employs visualization? What are the cognitive advantages and pitfalls of this reasoning? What kinds of tools can be developed to aid in the use of visual representation? This volume in the 'Studies in Logic and Computation' series addresses the logical aspects of the visualization of information. |
| Titolo autorizzato: | Logical reasoning with diagrams |
| ISBN: | 0-19-756098-9 |
| 1-280-53375-7 | |
| 9786610533756 | |
| 0-19-535586-5 | |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910821134203321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Studies in logic and computation.