A fixed point theory over stratified truth

Mathematical Logic Quarterly 66 (4):380-394 (2020)
  Copy   BIBTEX

Abstract

We present a theory of stratified truth with a μ‐operator, where terms representing fixed points of stratified monotone operations are available. We prove that is relatively intepretable into Quine's (or subsystems thereof). The motivation is to investigate a strong theory of truth, which is consistent by means of stratification, i.e., by adopting an implicit type theoretic discipline, and yet is compatible with self‐reference (to a certain extent). The present version of is an enhancement of the theory presented in [2].

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,322

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

Comparing fixed-point and revision theories of truth.Philip Kremer - 2009 - Journal of Philosophical Logic 38 (4):363-403.
Supervaluation fixed-point logics of truth.Philip Kremer & Alasdair Urquhart - 2008 - Journal of Philosophical Logic 37 (5):407-440.
Remarks on a Foundationalist Theory of Truth. [REVIEW]Anil Gupta - 2006 - Philosophy and Phenomenological Research 73 (3):721–727.
Remarks on a Foundationalist Theory of Truth.Anil Gupta - 2007 - Philosophy and Phenomenological Research 73 (3):721-727.
A fixed point theorem for the weak Kleene valuation scheme.Anil Gupta & Robert L. Martin - 1984 - Journal of Philosophical Logic 13 (2):131 - 135.
Editorial Introduction.An Ravelingien - 2007 - Philosophica 79 (2):5-10.
Editorial introduction.Pelagia Goulimari - 2002 - Angelaki 7 (3):1 – 2.
Editorial introduction.John Sellars - 2006 - Angelaki 11 (3):1 – 3.
Editorial Introduction.Sam Ashman - 2006 - Historical Materialism 14 (4):3-7.
Editorial Introduction.Jim Kincaid - 2005 - Historical Materialism 13 (2):27-40.
Editorial introduction.Pelagia Goulimari - 2003 - Angelaki 8 (1):1 – 2.
Editorial introduction.Gerard Greenway - 1999 - Angelaki 4 (3):133-134.

Analytics

Added to PP
2021-01-16

Downloads
16 (#875,539)

6 months
5 (#632,353)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Andrea Cantini
Università degli Studi di Firenze

Citations of this work

No citations found.

Add more citations

References found in this work

Paradox without Self-Reference.Stephen Yablo - 1993 - Analysis 53 (4):251-252.
Classes and truths in set theory.Kentaro Fujimoto - 2012 - Annals of Pure and Applied Logic 163 (11):1484-1523.
On ordered pairs.W. V. Quine - 1945 - Journal of Symbolic Logic 10 (3):95-96.

View all 12 references / Add more references