Truth and reduction

Erkenntnis 53 (1-2):97-126 (2000)
  Copy   BIBTEX

Abstract

The proof-theoretic results on axiomatic theories oftruth obtained by different authors in recent years are surveyed.In particular, the theories of truth are related to subsystems ofsecond-order analysis. On the basis of these results, thesuitability of axiomatic theories of truth for ontologicalreduction is evaluated.

Categories

Keywords

Reprint years

2004

DOI

10.1023/a:1005662017962

Links

PhilArchive



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

External links

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

Through your library

My notes

Similar books and articles

Friedman and the axiomatization of Kripke's theory of truth.John P. Burgess - unknown
Axiomatic theories of truth.Volker Halbach - 2008 - Stanford Encyclopedia of Philosophy.
Relative truth definability of axiomatic truth theories.Kentaro Fujimoto - 2010 - Bulletin of Symbolic Logic 16 (3):305-344.
Theories of truth which have no standard models.Hannes Leitgeb - 2001 - Studia Logica 68 (1):69-87.
Conservative theories of classical truth.Volker Halbach - 1999 - Studia Logica 62 (3):353-370.
Theories and Theories of Truth.Ryan Christensen - 2011 - Metaphysica 12 (1):31-43.
Editorial introduction.Volker Halbach - 2001 - Studia Logica 68 (1):3-20.
Truth in applicative theories.Reinhard Kahle - 2001 - Studia Logica 68 (1):103-128.
Truth.Simon Blackburn & Keith Simmons (eds.) - 1999 - New York: Oxford University Press.

Analytics

Added to PP
2009-01-28

Downloads
65 (#245,019)

6 months
8 (#347,798)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Volker Halbach
Oxford University

Citations of this work

Axiomatizing Kripke’s Theory of Truth.Volker Halbach & Leon Horsten - 2006 - Journal of Symbolic Logic 71 (2):677 - 712.
Relative truth definability of axiomatic truth theories.Kentaro Fujimoto - 2010 - Bulletin of Symbolic Logic 16 (3):305-344.
Some Notes on Truths and Comprehension.Thomas Schindler - 2018 - Journal of Philosophical Logic 47 (3):449-479.
A Note on Typed Truth and Consistency Assertions.Carlo Nicolai - 2016 - Journal of Philosophical Logic 45 (1):89-119.
Disquotational truth and analyticity.Volker Halbach - 2001 - Journal of Symbolic Logic 66 (4):1959-1973.

View all 16 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.
Ontological relativity.W. V. O. Quine - 1968 - Journal of Philosophy 65 (7):185-212.
Subsystems of Second Order Arithmetic.Stephen G. Simpson - 1999 - Studia Logica 77 (1):129-129.

View all 43 references / Add more references