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