Return to search

Logic in Pictures: An Examination of Diagrammatic Representations, Graph Theory and Logic

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.

Identiferoai:union.ndltd.org:LACETR/oai:collectionscanada.gc.ca:OWTU.10012/738
Date January 1994
CreatorsHawley, Derik
PublisherUniversity of Waterloo
Source SetsLibrary and Archives Canada ETDs Repository / Centre d'archives des thèses électroniques de Bibliothèque et Archives Canada
LanguageEnglish
Detected LanguageEnglish
TypeThesis or Dissertation
RightsCopyright: 1994, Hawley, Derik. All rights reserved.

Page generated in 0.0018 seconds