|
|
|
|
| Bachelorprojekt - Softwareteknologi | Project No. 0138: Graphical System for Logic Diagrams |
| Aktuelle | Tidligere |
The aim of this project is to design, develop, and evaluate a small prototype software system for Peirce's diagrammatic logic (alpha-, beta-, gamma-graphs; also known as existential graphs).
Use of 2-dimensional diagrams rather than 1-dimensional formulas for logical sentences have been hampered by the limitations of pen-and-paper-methods and the linear Gutenberg- technology. The advent of graphical interfaces utilizing the dynamics of the screen invites development of software systems for diagrammatic logics.
This project studies Peirce's diagrams which are diagrams for representation and reasoning with predicate logic and simple modal logics. In the project one should seek to exploit the 2-dimensionality of the screen e.g. by devising appropriate building blocks for composing diagrams, and for conducting step-by-step diagrammatic reasoning.
The Peirce diagrams are described in contemporary books and papers. No graphical systems seem available yet.
Supervisor(s) Jørgen Fischer Nilsson
| Sidst opdateret: Nov 26, 2013 af Hans Henrik Løvengreen |