?
Assertive graphs
Peirce and Frege both distinguished between the propositio
nal content of an assertion and
the assertion of a propositional content, but with different
notational means. We present a
modification of Peirce’s graphical method of logic that can b
e used to reason about assertions
in a manner similar to Peirce’s original method. We propose a
new system of Assertive
Graphs (AGs), which unlike the tradition that follows Frege
involves no
ad hoc
sign of
assertion. We show that axioms of intuitionistic logic can b
e derived from AGs, and argue
that AGs analyse and represent assertions and illocutionar
y content in a way which is
motivated both by its logical properties and its historical
connection with the ideas that led
to the development of the graphical method.