Some observations on truth hierarchies

Review of Symbolic Logic 7 (1):1-30 (2014)
  Copy   BIBTEX

Abstract

We show how in the hierarchies${F_\alpha }$of Fieldian truth sets, and Herzberger’s${H_\alpha }$revision sequence starting from any hypothesis for${F_0}$ that essentially each${H_\alpha }$ carries within it a history of the whole prior revision process.As applications we provide a precise representation for, and a calculation of the length of, possiblepath independent determinateness hierarchiesof Field’s construction with a binary conditional operator. We demonstrate the existence of generalized liar sentences, that can be considered as diagonalizing past the determinateness hierarchies definable in Field’s recent models. The ‘defectiveness’ of such diagonal sentences necessarily cannot be classified by any of the determinateness predicates of the model. They are ‘ineffable liars’. We may consider them a response to the claim of Field that ‘the conditional can be used to show that the theory is not subject to “revenge problems”.’

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,227

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

Down with the Hierarchies.Jacob Stegenga - 2014 - Topoi 33 (2):313-322.
Hierarchy.Paul H. Rubin - 2000 - Human Nature 11 (3):259-279.
Axiomatic theories of truth.Volker Halbach - 2008 - Stanford Encyclopedia of Philosophy.
Tarski hierarchies.Volker Halbach - 1995 - Erkenntnis 43 (3):339 - 367.
Fine hierarchies and Boolean terms.V. L. Selivanov - 1995 - Journal of Symbolic Logic 60 (1):289-317.
Hierarchies of Forcing Axioms II.Itay Neeman - 2008 - Journal of Symbolic Logic 73 (2):522 - 542.
Truth, reflection, and hierarchies.Michael Glanzberg - 2005 - Synthese 142 (3):289 - 315.
Long Borel hierarchies.Arnold W. Miller - 2008 - Mathematical Logic Quarterly 54 (3):307-322.
Hierarchical ordering in plant morphology.Robert W. Korn - 1994 - Acta Biotheoretica 42 (4):227-244.

Analytics

Added to PP
2014-01-21

Downloads
58 (#278,062)

6 months
19 (#138,120)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Generalized Revenge.Julien Murzi & Lorenzo Rossi - 2020 - Australasian Journal of Philosophy 98 (1):153-177.
Guest Editors’ Introduction.Riccardo Bruni & Shawn Standefer - 2019 - Journal of Philosophical Logic 48 (1):1-9.
Revision Revisited.Leon Horsten, Graham E. Leigh, Hannes Leitgeb & Philip Welch - 2012 - Review of Symbolic Logic 5 (4):642-664.

View all 12 citations / Add more citations

References found in this work

Outline of a theory of truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
Notes on naive semantics.Hans Herzberger - 1982 - Journal of Philosophical Logic 11 (1):61 - 102.
The truth is never simple.John P. Burgess - 1986 - Journal of Symbolic Logic 51 (3):663-681.
A revenge-immune solution to the semantic paradoxes.Hartry Field - 2003 - Journal of Philosophical Logic 32 (2):139-177.
Infinite time Turing machines.Joel David Hamkins & Andy Lewis - 2000 - Journal of Symbolic Logic 65 (2):567-604.

View all 17 references / Add more references