8 found
Sort by:
  1. Luca Bellotti (2008). Some Attempts at a Direct Reduction of the Infinite to the (Large) Finite. Logique Et Analyse 51 (201):3.
     
    My bibliography  
     
    Export citation  
  2. Luca Bellotti (2007). Formalization, Syntax and the Standard Model of Arithmetic. Synthese 154 (2):199 - 229.
    I make an attempt at the description of the delicate role of the standard model of arithmetic for the syntax of formal systems. I try to assess whether the possible instability in the notion of finiteness deriving from the nonstandard interpretability of arithmetic affects the very notions of syntactic metatheory and of formal system. I maintain that the crucial point of the whole question lies in the evaluation of the phenomenon of formalization. The ideas of Skolem, Zermelo, Beth and Carnap (...)
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  3. Luca Bellotti (2006). On the Consistency of ZF Set Theory and Its Large Cardinal Extensions. Epistemologia 29 (1):41-60.
     
    My bibliography  
     
    Export citation  
  4. Luca Bellotti (2006). Skolem, the Skolem 'Paradox' and Informal Mathematics. Theoria 72 (3):177-212.
    No categories
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  5. Luca Bellotti (2005). Putnam and Constructibility. Erkenntnis 62 (3):395--409.
    I discuss and try to evaluate the argument about constructible sets made by Putnam in ‘ ”Models and Reality”, and some of the counterarguments directed against it in the literature. I shall conclude that Putnam’s argument, while correct in substance, nevertheless has no direct bearing on the philosophical question of unintended models of set theory.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  6. Luca Bellotti (2005). Woodin on the Continuum Problem: An Overview and Some Objections. Logic and Philosophy of Science 3 (1).
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. Luca Bellotti (2003). Tarski on Logical Notions. Synthese 135 (3):401 - 413.
    We try to explain Tarski's conception of logical notions, as it emerges from alecture of his, delivered in 1966 and published posthumously in 1986 (Historyand Philosophy of Logic 7, 143–154), a conception based on the idea ofinvariance. The evaluation of Tarski's proposal leads us to consider an interesting(and neglected) reply to Skolem in which Tarski hints at his own point of view onthe foundations of set theory. Then, comparing the lecture of 1966 with Tarski'slast work and with an earlier paper (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  8. Luca Bellotti (1998). Naturalismo e realismo nella teoria degli insiemi. Rivista di Filosofia 89 (3):445-476.
    No categories
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation