Intuitionism and the liar paradox
Logic
2010-04-14 v1 History and Overview
Abstract
The concept of informal mathematical proof considered in intuitionism is apparently vulnerable to a version of the liar paradox. However, a careful reevaluation of this concept reveals a subtle error whose correction blocks the contradiction. This leads to a general resolution of the classical semantic paradoxes. This paper is an expanded version of parts of my earlier paper "Constructive truth and circularity" [arXiv:0905.1681].
Keywords
Cite
@article{arxiv.1004.2239,
title = {Intuitionism and the liar paradox},
author = {Nik Weaver},
journal= {arXiv preprint arXiv:1004.2239},
year = {2010}
}
Comments
13 pages