Empirical Negation

Abstract

An extension of intuitionism to empirical discourse, a project most seriously taken up by Dummett and Tennant, requires an empirical negation whose strength lies somewhere between classical negation ('It is unwarranted that...') and intuitionistic negation ('It is refutable that...'). I put forward one plausible candidate that compares favorably to some others that have been propounded in the literature. A tableau calculus is presented and shown to be strongly complete. © 2012 The Author(s).