Translating non Interpretable Theories

South America Journal of Logic (forthcoming)
  Copy   BIBTEX


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.

Author's Profile


Added to PP

91 (#65,727)

6 months
15 (#75,419)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?