Existential Graphs

Existential Graphs (die deutschen Übersetzungen „existenzielle Graphen“ und „Existenzgraphen“ sind nicht sehr gebräuchlich) sind ein logisches System des US-amerikanischen Logikers und Philosophen Charles Sanders Peirce. Sie umfassen sowohl eine eigene graphische Schreibweise (Notation) für logische Aussagen als auch einen logischen Kalkül, d. h. (im Wesentlichen) ein formales System von Schlussregeln, mit denen bestehende Aussagen so umgeformt werden können, dass daraus neue Aussagen entstehen, die aus ersteren folgen.