Logical Nihilism and the Logic of ‘prem’

Abstract

As the final component of a chain of reasoning intended to take us all the way to logical nihilism, Russell (2018) presents the atomic sentence ‘prem’ which is supposed to be true when featuring as premise in an argument and false when featuring as conclusion in an argument. Such a sentence requires a non-reflexive logic and an endnote by Russell (2018) could easily leave the reader with the impression that going non-reflexive suffices for logical nihilism. This paper shows how one can obtain non-reflexive logics in which ‘prem’ behaves as stipulated by Russell (2018) but which nonetheless has valid inferences supporting uniform substitution of any formula for propositional variables such as modus tollens and modus ponens.