Notes on the Computational Aspects of Kripke’s Theory of Truth

Studia Logica 105 (2):407-429 (2017)
  Copy   BIBTEX

Abstract

The paper contains a survey on the complexity of various truth hierarchies arising in Kripke’s theory. I present some new arguments, and use them to obtain a number of interesting generalisations of known results. These arguments are both relatively simple, involving only the basic machinery of constructive ordinals, and very general.

Links

PhilArchive



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

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

Adding a Conditional to Kripke’s Theory of Truth.Lorenzo Rossi - 2016 - Journal of Philosophical Logic 45 (5):485-529.
Editorial introduction.Volker Halbach - 2001 - Studia Logica 68 (1):3-20.
Kripke’s Theory of Truth and the Liar Paradox.Doesik Kim - 2004 - Korean Journal of Logic 7 (1):67-83.
Decision procedure of some relevant logics: a constructive perspective.Jacques Riche - 2005 - Journal of Applied Non-Classical Logics 15 (1):9-23.
Editorial introduction.Pelagia Goulimari - 2003 - Angelaki 8 (1):1 – 2.
Editorial Introduction.An Ravelingien - 2007 - Philosophica 79 (2):5-10.
Editorial introduction.Gerard Greenway - 1999 - Angelaki 4 (3):133-134.
Editorial Introduction.John Haldane - 2002 - Philosophical Quarterly 52 (209):433-436.
Editorial introduction.Pelagia Goulimari - 2002 - Angelaki 7 (3):1 – 2.

Analytics

Added to PP
2016-11-05

Downloads
32 (#499,678)

6 months
3 (#1,254,220)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Stanislav Speranski
St. Petersburg State University

Citations of this work

Some Notes on Truths and Comprehension.Thomas Schindler - 2018 - Journal of Philosophical Logic 47 (3):449-479.
The modal logics of kripke–feferman truth.Carlo Nicolai & Johannes Stern - 2021 - Journal of Symbolic Logic 86 (1):362-396.
Notes on Leitgeb’s What Truth Depends on.Edoardo Rivello - 2020 - Studia Logica 108 (6):1235-1262.

Add more citations

References found in this work

Outline of a theory of truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
What Truth Depends on.Hannes Leitgeb - 2005 - Journal of Philosophical Logic 34 (2):155-192.
The truth is never simple.John P. Burgess - 1986 - Journal of Symbolic Logic 51 (3):663-681.
Axioms for determinateness and truth.Solomon Feferman - 2008 - Review of Symbolic Logic 1 (2):204-217.

View all 12 references / Add more references