Translating non Interpretable Theories

Download Edit this record How to cite View on PhilPapers
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.
(categorize this paper)
PhilPapers/Archive ID
Upload history
Archival date: 2019-05-30
View other versions
Added to PP index

Total views
64 ( #54,486 of 65,558 )

Recent downloads (6 months)
11 ( #51,901 of 65,558 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.