The many faces of the Liar Paradox

The Liar Paradox is a classic argument that creates a contradiction by reflection on a sentence that attributes falsity to itself: ‘this sentence is false’. In our paper we will discuss the ways in which the Liar sentence (and its paradoxical argument) can be represented in first-order logic. The ke...

Full description

Saved in:
Bibliographic Details
Published inPrincipia: An International Journal of Epistemology Vol. 28; no. 1
Main Authors José Martínez-Fernández, Sergi Oms
Format Journal Article
LanguageEnglish
Published Universidade Federal de Santa Catarina 10.07.2024
Subjects
Liar Paradox
Self-reference
Semantic Paradox
Truth
Online AccessGet full text

Cover

More Information
Summary:The Liar Paradox is a classic argument that creates a contradiction by reflection on a sentence that attributes falsity to itself: ‘this sentence is false’. In our paper we will discuss the ways in which the Liar sentence (and its paradoxical argument) can be represented in first-order logic. The key to the representation is to use first-order logic to model a self-referential language. We will also discuss several related sentences, like the Liar cycles, the empirical versions of the Liar and the Truth teller sentences.
ISSN:1808-1711
DOI:10.5007/1808-1711.2024.e96700