4 found
Order:
See also
  1.  64
    Translating Non Interpretable Theories.Alfredo Roque Freire - forthcoming - South America Journal of Logic.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  70
    On What Counts as a Translation.Alfredo Roque Freire - 2018 - Logica Yearbook 1 (1):61 - 76.
    In this article, instead of taking a particular method as translation, we ask: what does one expect to do with a translation? The answer to this question will reveal, though, that none of the first order methods are capable of fully represent the required transference of ontological commitments. Lastly, we will show that this view on translation enlarge considerably the scope of translatable, and, therefore, ontologically comparable theories.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  3. Estudo comparado do comprometimento ontológico das teorias de classes e conjuntos.Alfredo Roque Freire - 2019 - Dissertation, Universidade Estadual de Campinas
    Often ZF practice includes the use of the meta-theoretical notion of classes as shorthand expressions or in order to simplify the understanding of conceptual resources. NBG theory expresses formally the internalization of this feature in set theory; in this case, classes, before used metatheoretically, will also be captured by quantifiers of the first order theory. Never- theless there is a widespread opinion that this internalization of classes is harmless. In this context, it is common to refer to the conservativeness of (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  4. The Ontological Import of Adding Proper Classes.Alfredo Roque Freire & Rodrigo de Alvarenga Freire - 2019 - Manuscrito 42 (2):85-112.
    In this article, we analyse the ontological import of adding classes to set theories. We assume that this increment is well represented by going from ZF system to NBG. We thus consider the standard techniques of reducing one system to the other. Novak proved that from a model of ZF we can build a model of NBG (and vice versa), while Shoenfield have shown that from a proof in NBG of a set-sentence we can generate a proof in ZF of (...)
    Download  
     
    Export citation  
     
    Bookmark