The logic of assertive graphs (AGs) is a modification of Peirce’s logic of existential graphs (EGs), which is intuitionistic and which takes assertions as its explicit object of study. In this paper we extend AGs into a classical graphical logic of assertions (ClAG) whose internal logic is classical. The characteristic feature is that both AGs and ClAG retain deep-inference rules of transformation. Unlike classical EGs, both AGs and ClAG can do so without explicitly introducing polarities of areas in their language. (...) We then compare advantages of these two graphical approaches to the logic of assertions with a reference to a number of topics in philosophy of logic and to their deep-inferential nature of proofs. (shrink)

This paper presents an enrichment of the Gabbay–Woods schema of Peirce’s 1903 logical form of abduction with illocutionary acts, drawing from logic for pragmatics and its resources to model justified assertions. It analyses the enriched schema and puts it into the perspective of Peirce’s logic and philosophy.

Abductive conclusions are drawn in a special, co-hortative mood. Abductive conclusions are representative interpretants that represent abduction as a form of reasoning that can convey a general conception of the truth. The truth is not asserted; abduction merely delivers the idea of a matter of course, rendering that idea comparatively simple and natural, hence assuring us of its justified assertibility. Hence abductive reasoning is at home in addressing ‘How Possible’-questions in science. Abductive reasoning concerns the question of how things might, (...) could or would conceivably be such that they can be plausibly asserted. Peirce took all reasoning to be diagrammatic and representable using the graphical method of logic. Yet no examples have previously been found in his large manuscript corpus of what such non-deductive graphs might look like. This paper proposes a new interpretation of a sole exception, a sketch of two graphs from a rejected page from 1903, which might be the only surviving example of Peirce’s abductive graphs. The proposed interpretation takes them to be representative interpretants of this special inverse type of inference. (shrink)