Intuitionism and the liar paradox
Copyright policy )Intuitionism and the liar paradox
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].
13 pages
- Saint Louis University United States
- Washington University in St. Louis United States
- University of Mary United States
- Washington University in St. Louis United States
Logic, formal mathematical proof, Mathematics - History and Overview, History and Overview (math.HO), Liar paradox, Mathematics - Logic, internal model principle, Philosophical and critical aspects of logic and foundations, Intuitionistic mathematics, Intuitionism, Philosophy of mathematics, FOS: Mathematics, intuitionism, semantic paradoxes, Semantic paradoxes, liar paradox, Logic (math.LO)
Logic, formal mathematical proof, Mathematics - History and Overview, History and Overview (math.HO), Liar paradox, Mathematics - Logic, internal model principle, Philosophical and critical aspects of logic and foundations, Intuitionistic mathematics, Intuitionism, Philosophy of mathematics, FOS: Mathematics, intuitionism, semantic paradoxes, Semantic paradoxes, liar paradox, Logic (math.LO)
selected citations These citations are derived from selected sources.This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).2 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Average influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Average impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Average
Citations provided by BIP!Popularity provided by BIP!