Negation as Cancellation, Connexive Logic, and qLPm

Abstract

In this paper, we shall consider the so-called cancellation view of negation and the inferential role of contradictions. We will discuss some of the problematic aspects of negation as cancellation, such as its original presentation by Richard and Valery Routley and its role in motivating connexive logic. Furthermore, we will show that the idea of inferential ineffectiveness of contradictions can be conceptually separated from the cancellation model of negation by developing a system we call qLPm, a combination of Graham Priest’s minimally inconsistent Logic of Paradox with q-entailment (quasi-entailment) as introduced by Grzegorz Malinowski.