7 found
Order:
See also
  1.  52
    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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  44
    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.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  6
    Bi-Interpretation in Weak Set Theories.Alfredo Roque Freire & Joel David Hamkins - forthcoming - Journal of Symbolic Logic:1-25.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  73
    Does Set Theory Really Ground Arithmetic Truth?Alfredo Roque Freire - manuscript
    We consider the foundational relation between arithmetic and set theory. Our goal is to criticize the construction of standard arithmetic models as providing grounds for arithmetic truth (even in a relative sense). Our method is to emphasize the incomplete picture of both theories and treat models as their syntactical counterparts. Insisting on the incomplete picture will allow us to argue in favor of the revisability of the standard model interpretation. We then show that it is hopeless to expect that the (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  94
    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 (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  6. Review of “The Significance of the New Logic” Willard Van Orman Quine. Edited and Translated by Walter Carnielli, Frederique Janssen-Lauret, and William Pickering. Cambridge University Press, Cambridge, UK, 2018, Pp. 1–200. ISBN-10: 1107179025 ISBN-1. [REVIEW]Alfredo Roque Freire - 2019 - Axioms 8 (2):64.
    In this review, I will discuss the historical importance of “The Significance of the New Logic” by Quine. This is a translation of the original “O Sentido da Nova Lógica” in Portuguese by Carnielli, Janssen-Lauret, and Pickering. The American philosopher wrote this book in the beginning of the 1940s, before a major shift in his philosophy. Thus, I will argue that the reader must see this book as an introduction to an important period in his thinking. I will provide a (...)
     
    Export citation  
     
    Bookmark  
  7. 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 (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark