Abstract
We present a new graphical method of logic that can be used to reason about assertions in a way similar to Peirce's original method. We propose a new system of Assertive Graphs (AGs), which unlike the tradition that follows Frege involves no {\it ad hoc\/} sign of assertion. We show that axioms of intuitionistic logic can be derived from AGs, and argue that AGs analyse and represent assertions and illocutionary 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.
Original language | English |
---|---|
Journal | Journal of Applied Non-Classical Logics |
Publication status | Accepted/In press - 2017 |