Theories of Truth without Standard Models and Yablo’s Sequences

Studia Logica 96 (3):375-391 (2010)
  Copy   BIBTEX


The aim of this paper is to show that it’s not a good idea to have a theory of truth that is consistent but ω-inconsistent. In order to bring out this point, it is useful to consider a particular case: Yablo’s Paradox. In theories of truth without standard models, the introduction of the truth-predicate to a first order theory does not maintain the standard ontology. Firstly, I exhibit some conceptual problems that follow from so introducing it. Secondly, I show that in second order theories with standard semantics the same procedure yields a theory that doesn’t have models. So, while having an ω- inconsistent theory is a bad thing, having an unsatisfiable theory of truth is actually worse. This casts doubts on whether the predicate in question is, after all, a truthpredicate for that language. Finally, I present some alternatives to prove an inconsistency adding plausible principles to certain theories of truth.



    Upload a copy of this work     Papers currently archived: 94,439

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Truth without standard models: some conceptual problems reloaded.Eduardo Barrio & Bruno Da Ré - 2017 - Journal of Applied Non-Classical Logics 28 (1):122-139.
Inconsistency, Paraconsistency and ω-Inconsistency.Bruno Da Ré - 2018 - Principia: An International Journal of Epistemology 22 (1):171-188.
Editorial introduction.Volker Halbach - 2001 - Studia Logica 68 (1):3-20.
Ungroundedness in Tarskian Languages.Saul A. Kripke - 2019 - Journal of Philosophical Logic 48 (3):603-609.
Type-free truth.Thomas Schindler - 2015 - Dissertation, Ludwig Maximilians Universität München


Added to PP

40 (#394,121)

6 months
9 (#454,749)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Eduardo Alejandro Barrio
Universidad de Buenos Aires (UBA)

References found in this work

Saving truth from paradox.Hartry H. Field - 2008 - New York: Oxford University Press.
Outline of a theory of truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
Paradox without Self-Reference.Stephen Yablo - 1993 - Analysis 53 (4):251-252.
Axiomatic Theories of Truth.Volker Halbach - 2010 - Cambridge, England: Cambridge University Press.

View all 37 references / Add more references