Truth and the liar paradox
History and Overview
2011-12-30 v1 Logic
Abstract
We analyze the informal notion of truth and conclude that it can be formalized in essentially two distinct ways: constructively, in terms of provability, or classically, as a hierarchy of concepts which satisfy Tarski's biconditional in limited settings. This leads to a complete resolution of the liar paradox.
Keywords
Cite
@article{arxiv.1112.6127,
title = {Truth and the liar paradox},
author = {Nik Weaver},
journal= {arXiv preprint arXiv:1112.6127},
year = {2011}
}
Comments
10 pages