Empirical negation

M.J. De

Research output: Contribution to journalArticleAcademicpeer-review


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.
Original languageEnglish
JournalActa Analytica
Issue number1
Publication statusPublished - 2013


Dive into the research topics of 'Empirical negation'. Together they form a unique fingerprint.

Cite this