Interpretations are generally regarded as the formal representation of the concept of translation.We do not subscribe to this view. A translation method must indeed establish relative consistency or have some uniformity. These are requirements of a translation. Yet, one can both be more strict or more flexible than interpretations are. In this article, we will define a general scheme translation. It should incorporate interpretations but also be compatible with more flexible methods. By doing so, we want to account for methods that seem to imply a sense of translation but are not reducible to interpretations. The main example will be the relative consistent proof between ZF and NBG given by Novak (1950). Further, we will explore a way of combining interpretations. This should account for truth conditions discarded by interpretations in translated theories.
Keywords Translation  Ontological reduction  Set theory  NBG
Categories (categorize this paper)
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Add more citations

Similar books and articles

On What Counts as a Translation.Alfredo Roque Freire - 2018 - Logica Yearbook 1 (1):61 - 76.
All Translation is Radical Translation.Bruce Mannheim - 2015 - In Carlo Severi & William F. Hanks (eds.), Translating worlds, The epistemological space of translation. University of Chicago Press. pp. 199-219.
Paul Ricoeur and the Hermeneutics of Translation.Richard Kearney - 2007 - Research in Phenomenology 37 (2):147-159.
On Translation.John Sallis - 2002 - Indiana University Press.
Functional Interpretation of Aczel's Constructive Set Theory.Wolfgang Burr - 2000 - Annals of Pure and Applied Logic 104 (1-3):31-73.
Supervenience, Reduction, and Translation.Neil Dewar - 2019 - Philosophy of Science 86 (5):942-954.
Legal Translation and Cultural Transfer: A Framework for Translating the Common Law Into Chinese in Hong Kong. [REVIEW]Ling Wang & King Kui Sin - 2013 - International Journal for the Semiotics of Law - Revue Internationale de Sémiotique Juridique 26 (4):883-896.
Commensurability, Comparability, Communicability.Thomas S. Kuhn - 1982 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1982:669 - 688.
Translating Heidegger.Miles Groth - 2004 - Humanity Books.
On Interpretations of Bounded Arithmetic and Bounded Set Theory.Richard Pettigrew - 2009 - Notre Dame Journal of Formal Logic 50 (2):141-152.
Translation as Translating as Culture.Peeter Torop - 2002 - Sign Systems Studies 30 (2):593-604.


Added to PP index

Total views
65 ( #174,448 of 2,499,072 )

Recent downloads (6 months)
7 ( #101,998 of 2,499,072 )

How can I increase my downloads?


My notes