Axioms for determinateness and truth

Review of Symbolic Logic 1 (2):204-217 (2008)
  Copy   BIBTEX

Abstract

elaboration of the last part of my Tarski Lecture, “Truth unbound”, UC Berkeley, 3 April 2006, and of the lecture, “A nicer formal theory of non-hierarchical truth”, Workshop on Mathematical Methods in Philosophy, Banff , 18-23 Feb. 2007.

Links

PhilArchive



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

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

Axiomatic theories of truth.Volker Halbach - 2008 - Stanford Encyclopedia of Philosophy.
Theories of truth and truth-value gaps.Philip Hugly & Charles Sayward - 1993 - Linguistics and Philosophy 16 (6):551 - 559.
Theories and Theories of Truth.Ryan Christensen - 2011 - Metaphysica 12 (1):31-43.
Gödel's program revisited part I: The turn to phenomenology.Kai Hauser - 2006 - Bulletin of Symbolic Logic 12 (4):529-590.
Tarski on truth and its definition.Peter Milne - 1997 - In Timothy Childers, Petr Kolft & Vladimir Svoboda (eds.), Logica '96: Proceedings of the 10th International Symposium. Filosofia. pp. 198-210.
Heidegger on Plato, truth, and unconcealment: The 1931–32 lecture on The Essence of Truth.Mark Wrathall - 2004 - Inquiry: An Interdisciplinary Journal of Philosophy 47 (5):443 – 463.
Tarski, truth and model theory.Peter Milne - 1999 - Proceedings of the Aristotelian Society 99 (2):141–167.
What Were Tarski's Truth-Definitions for?John F. Fox - 1989 - History and Philosophy of Logic 10 (2):165-179.

Analytics

Added to PP
2009-01-28

Downloads
149 (#121,560)

6 months
20 (#118,588)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Truth in Fiction: Rethinking its Logic.John Woods - 2018 - Cham, Switzerland: Springer Verlag.
Axiomatic theories of truth.Volker Halbach - 2008 - Stanford Encyclopedia of Philosophy.
The power of naive truth.Hartry Field - 2022 - Review of Symbolic Logic 15 (1):225-258.
Should the Non‐Classical Logician be Embarrassed?Lucas Rosenblatt - 2022 - Philosophy and Phenomenological Research 104 (2):388-407.

View all 28 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.
Mathematical Logic as Based on the Theory of Types.Bertrand Russell - 1908 - American Journal of Mathematics 30 (3):222-262.
Reflecting on incompleteness.Solomon Feferman - 1991 - Journal of Symbolic Logic 56 (1):1-49.
Toward useful type-free theories. I.Solomon Feferman - 1984 - Journal of Symbolic Logic 49 (1):75-111.

View all 20 references / Add more references