8 found
Sort by:
See also:
Profile: G. Aldo Antonelli (University of California, Davis)
  1. Aldo Antonelli, Frege: Fra Estensionalismo E Logicismo.
    Due programmi diversi si intersecano nel lavoro di Frege sui fondamenti dell’aritmetica: • Logicismo: l’aritmetica `e riducibile alla logica; • Estensionalismo: l’aritmetica `e riducibile a una teoria delle estensioni. Sia nei Fondamenti che nei Principi, Frege articola l’idea che l’aritmetica sia riducibile a una teoria logica delle estensioni.
     
    My bibliography  
     
    Export citation  
  2. Aldo Antonelli, Gödel, Penrose, E I Fondamenti Dell'intelligenza Artificiale.
    Il dibattito sul ruolo e le implicazioni del teorema di Gödel per l'intelligenza artificiale ha recentemente ricevuto nuovo impeto grazie a due importanti volumi pubblicati da Roger Penrose, The Emperor's New Mind [1989] e Shadows of the Mind [1994]. Naturalmente, Penrose non è il primo né l'ultimo a usare il teorema di Gödel allo scopo di trarne conseguenze per i fondamenti dell'intelligenza artificiale. Tuttavia il recente dibattito suscitato dai due libri di Penrose è significativo sia per ampiezza sia per profondità. (...)
    No categories
     
    My bibliography  
     
    Export citation  
  3. Aldo Antonelli, Il Teorema di G¨ Odel E la Filosofia Della Mente.
    Kleene comincia la sezione §60 di Introduction to metamathematics considerando la questione se la matematica informale, e specialmente la teoria intuitiva dei numeri sia formalizzabile. Il classico teorema di G¨.
    No categories
     
    My bibliography  
     
    Export citation  
  4. Aldo Antonelli, Logicism, Quantifiers, and Abstraction.
    With the aid of a non-standard (but still first-order) cardinality quantifier and an extra-logical operator representing numerical abstraction, this paper presents a formalization of first-order arithmetic, in which numbers are abstracta of the equinumerosity relation, their properties derived from those of the cardinality quantifier and the abstraction operator.
    No categories
     
    My bibliography  
     
    Export citation  
  5. Aldo Antonelli, Alasdair Urquhart & Richard Zach (2008). Mathematical Methods in Philosophy Editors' Introduction. Review of Symbolic Logic 1 (2):143-145.
  6. Aldo Antonelli (2002). The Complexity of Revision, Revised. Notre Dame Journal of Formal Logic 43 (2):75-78.
    The purpose of this note is to acknowledge a gap in a previous paper — “The Complexity of Revision”, see [1] — and provide a corrected version of argument. The gap was originally pointed out by Francesco Orilia (personal communication and [4]), and the fix was developed in correspondence with Vann McGee.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  7. Aldo Antonelli (2000). Virtuous Circles. In Anil Gupta & Andre Chapuis (eds.), Circularity, Definition, and Truth. Indian Council of Philosophical Research.
    In the Posterior Analytics, Aristotle takes up the position of those who hold that all knowledge is demonstrable, and, hence, scientific. Such people are said to base their arguments on the fact that some demonstrations are circular or reciprocal (72b251). As Aristotle makes clear in the text, a circular demonstration consists of an argument (form) in which the conclusion is equivalent to one of the premises. But as Aristotle hastens to point out, demonstrations cannot be circular, for the essence of (...)
     
    My bibliography  
     
    Export citation  
  8. Aldo Antonelli & Robert May (2000). Frege's New Science. Notre Dame Journal of Formal Logic 41 (3):242-270.
    In this paper, we explore Fregean metatheory, what Frege called the New Science. The New Science arises in the context of Frege's debate with Hilbert over independence proofs in geometry and we begin by considering their dispute. We propose that Frege's critique rests on his view that language is a set of propositions, each immutably equipped with a truth value (as determined by the thought it expresses), so to Frege it was inconceivable that axioms could even be considered to be (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation