, Volume 28, Issue 1, pp 49-69,
Open Access This content is freely available online to anyone, anywhere at any time.
Date: 07 Feb 2012

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.