Empirical negation

M.J. De

doi:10.1007/s12136-011-0138-9

Empirical negation

M.J. De

Research output: Contribution to journal › Article › Academic › peer-review

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.

Original language	English
Journal	Acta Analytica
Volume	28
Issue number	1
DOIs	https://doi.org/10.1007/s12136-011-0138-9
Publication status	Published - 2013

Access to Document

10.1007/s12136-011-0138-9

Cite this

@article{39e7e563a69040a2995c23610de919e5,

title = "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 ({\textquoteleft}It is unwarranted that. . . {\textquoteright}) and intuitionistic negation ({\textquoteleft}It is refutable that. . . {\textquoteright}). 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.",

author = "M.J. De",

year = "2013",

doi = "10.1007/s12136-011-0138-9",

language = "English",

volume = "28",

journal = "Acta Analytica",

issn = "1874-6349",

publisher = "Springer Netherlands",

number = "1",

}

TY - JOUR

T1 - Empirical negation

AU - De, M.J.

PY - 2013

Y1 - 2013

N2 - 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.

AB - 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.

U2 - 10.1007/s12136-011-0138-9

DO - 10.1007/s12136-011-0138-9

M3 - Article

SN - 1874-6349

VL - 28

JO - Acta Analytica

JF - Acta Analytica

IS - 1

ER -

Empirical negation

Abstract

Access to Document

Fingerprint

Cite this