Intuitionism and the liar paradox

DOI10.1016/J.APAL.2012.01.014zbMATH Open1264.03031arXiv1004.2239OpenAlexW2963724946MaRDI QIDQ448337FDOQ448337

Authors: Nik Weaver 

Publication date: 6 September 2012

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

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

Full work available at URL: https://arxiv.org/abs/1004.2239

Recommendations

• Intuitionism and the Anti-Justification of Bivalence
• A new unified account of truth and paradox
• scientific article; zbMATH DE number 6131416
• INTUITIONISTIC EPISTEMIC LOGIC
• Kolmogorov and Gödel's approach to intuitionistic logic: current developments

zbMATH Keywords

liar paradoxsemantic paradoxesinternal model principleintuitionismformal mathematical proof

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Philosophy of mathematics (00A30) Intuitionistic mathematics (03F55)

Cites Work

• Outline of a Theory of Truth
• Title not available (Why is that?)
• Title not available (Why is that?)
• Transfinite recursive progressions of axiomatic theories
• Systems of Logic Based on Ordinals^†
• Principles of intuitionism. Lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, NY
• Title not available (Why is that?)

Cited In (6)

• Skolem's paradox and constructivism
• Anti-intuitionism and paraconsistency
• Paradoxes, intuitionism, and proof-theoretic semantics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Intuitionism and the Anti-Justification of Bivalence

This page was built for publication: Intuitionism and the liar paradox

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q448337)