This thesis explores the various forms of reasoning that are associated with diagrams. It does this by a logical analysis of diagrammatic symbols. The thesis is divided into three sections dealing with different aspects of diagrammatic logic. They are (1) The relevance of diagrammatic symbols and their role in logic, (2) Methods of formalizing diagrammatic symbols, such as subway maps and Peirce's Existential Graphs through the means of Graph theory, (3) The conception of inference in diagrammatic logic systems.
| Identifer | oai:union.ndltd.org:LACETR/oai:collectionscanada.gc.ca:OWTU.10012/738 |
| Date | January 1994 |
| Creators | Hawley, Derik |
| Publisher | University of Waterloo |
| Source Sets | Library and Archives Canada ETDs Repository / Centre d'archives des thèses électroniques de Bibliothèque et Archives Canada |
| Language | English |
| Detected Language | English |
| Type | Thesis or Dissertation |
| Rights | Copyright: 1994, Hawley, Derik. All rights reserved. |
Page generated in 0.0018 seconds