Conservativeness and translation-dependent t-schemes

Analysis 60 (4):319–328 (2000)
  Copy   BIBTEX

Abstract

Certain translational T-schemes of the form True(“f”) « f(f), where f(f) can be almost any translation you like of f, will be a conservative extension of Peano arithmetic. I have an inkling that this means something philosophically, but I don’t understand my own inkling

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

Similar books and articles

Analytics

Added to PP
2009-01-28

Downloads
82 (#200,628)

6 months
5 (#629,136)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Add more citations

References found in this work

Philosophical explanations.Robert Nozick - 1981 - Cambridge, Mass.: Harvard University Press.
Reason, truth, and history.Hilary Putnam - 1981 - New York: Cambridge University Press.
Reason, Truth and History.Hilary Putnam - 1981 - New York: Cambridge University Press.
Science Without Numbers: A Defence of Nominalism.Hartry H. Field - 1980 - Princeton, NJ, USA: Princeton University Press.
Truth.Paul Horwich - 1990 - Oxford, GB: Clarendon Press. Edited by Frank Jackson & Michael Smith.

View all 26 references / Add more references