Formalizing Self-Reference Paradox using Predicate Logic

Abstract

We begin with the hypothetical assumption that Tarski’s 1933 formula ∀ True(x) φ(x) has been defined such that ∀x Tarski:True(x) ↔ Boolean-True. On the basis of this logical premise we formalize the Truth Teller Paradox: "This sentence is true." showing syntactically how self-reference paradox is semantically ungrounded.

Categories

Keywords

Reprint years

Links

PhilArchive

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

There is No Paradox of Logical Validity.Roy T. Cook - 2014 - Logica Universalis 8 (3-4):447-467.
Formalizing the logical (self-reference) error of the Liar Paradox.P. Olcott - manuscript
Implicit comparatives and the Sorites.John-Michael Kuczynski - 2006 - History and Philosophy of Logic 27 (1):1-8.
Dialektik und formalisierung.Lorenz B. Puntel - 1997 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 28 (2):367-383.
Rosser-Type Undecidable Sentences Based on Yablo’s Paradox.Taishi Kurahashi - 2014 - Journal of Philosophical Logic 43 (5):999-1017.
The truth-tellers paradox.Alexandre Billon - 2013 - Logique Et Analyse (204).
Impure reference: A way around the concept horse paradox.Fraser MacBride - 2011 - Philosophical Perspectives 25 (1):297-312.
Intensionality from Self-Reference.T. Parent - manuscript
The Elimination of Self-Reference: Generalized Yablo-Series and the Theory of Truth.P. Schlenker - 2007 - Journal of Philosophical Logic 36 (3):251-307.
Confirmation, paradox, and logic.Leif Eriksen - 1989 - Philosophy of Science 56 (4):681-687.
This is the Title of This Thesis.Hiroshi Aoyama - 1988 - Dissertation, University of Illinois at Urbana-Champaign
Consistent Truth.Hartley Slater - 2013 - Ratio 27 (3):247-261.
Some Remarks on Formal Description of God's Omnipotence.Kordula Świętorzecka - 2011 - Logic and Logical Philosophy 20 (4):307-315.
Liar-type Paradoxes and the Incompleteness Phenomena.Makoto Kikuchi & Taishi Kurahashi - 2016 - Journal of Philosophical Logic 45 (4):381-398.
That Truth Exists is More Logical.Noriaki Iwasa - 2011 - Think 10 (27):109-112.

Analytics

Added to PP
2017-02-13

Downloads
217 (#93,701)

6 months
58 (#81,516)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references