Existential Graphs
Existential Graphs is a graphical system of logic
developed by the American philosopher Charles S. Peirce about 100
years ago. Peirce helped develop the modern systems of logic, but
was dissatisfied with its linear and opaque notation, and hoped that
Existential Graphs would be more transparent and user-friendly.
In order to investigate Peirce's claim that his system of Existential
Graphs would be more user-friendly, my students and I are developing
various interfaces for the use of Existential Graphs. We are also investigating
the use of Existential Graphs for Automated
Theorem Proving. Please check out our Existential
Graphs website.
