Acta Analytica

, Volume 28, Issue 1, pp 49-69

First online:

Open Access This content is freely available online to anyone, anywhere at any time.

Empirical Negation

  • Michael DeAffiliated withDepartment of Philosophy, Utrecht University Email author 


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.


Intuitionistic negation Empirical negation Strong negation Verificationism Dummett