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