Coverart for item
The Resource Logical reasoning with diagrams, edited by Gerard Allwein and Jon Barwise ; with contributions by Gerard Allwein [and others]

Logical reasoning with diagrams, edited by Gerard Allwein and Jon Barwise ; with contributions by Gerard Allwein [and others]

Label
Logical reasoning with diagrams
Title
Logical reasoning with diagrams
Statement of responsibility
edited by Gerard Allwein and Jon Barwise ; with contributions by Gerard Allwein [and others]
Contributor
Subject
Genre
Language
eng
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
Member of
Cataloging source
N$T
Dewey number
511.3
Illustrations
illustrations
Index
index present
Language note
English
LC call number
QA9
LC item number
.L624 1996eb
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1956-
http://library.link/vocab/relatedWorkOrContributorName
  • Allwein, Gerard
  • Barwise, Jon
Series statement
Studies in logic and computation
http://library.link/vocab/subjectName
  • Logic, Symbolic and mathematical
  • Knowledge representation (Information theory)
  • MATHEMATICS
  • MATHEMATICS
  • Knowledge representation (Information theory)
  • Logic, Symbolic and mathematical
  • Symbolische logica
  • Redeneren
Label
Logical reasoning with diagrams, edited by Gerard Allwein and Jon Barwise ; with contributions by Gerard Allwein [and others]
Instantiates
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
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
Control code
435911853
Dimensions
unknown
Extent
1 online resource (xv, 270 pages)
File format
unknown
Form of item
online
Isbn
9781280533754
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
illustrations
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)435911853
Label
Logical reasoning with diagrams, edited by Gerard Allwein and Jon Barwise ; with contributions by Gerard Allwein [and others]
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
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
Control code
435911853
Dimensions
unknown
Extent
1 online resource (xv, 270 pages)
File format
unknown
Form of item
online
Isbn
9781280533754
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
illustrations
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)435911853

Library Locations

    • Thomas Jefferson LibraryBorrow it
      1 University Blvd, St. Louis, MO, 63121, US
      38.710138 -90.311107
Processing Feedback ...