Abstract

There are at least a few plausible grounds for our use of the term Beta in our title, notwithstanding that there is a key departure, in our framework, from classical Beta Existential Graphs. The situation, in brief, is as follows.The reader accustomed to Peirce’s graphical development of quantificational logic may, if desired, continue to think of formulas being written on a “sheet of assertion.” We retain the “cut” notation for negation and continue to represent conjunction simply by juxtaposition of diagrams. However, on the side of departure, we dispense with the sometimes problematic “lines of identity” of classical Beta and instead represent a quantification by a..