1. G. Aldo Antonelli & Robert C. May (2005). Frege's Other Program. Notre Dame Journal of Formal Logic 46 (1):1-17.
    Frege’s logicist program requires that arithmetic be reduced to logic. Such a program has recently been revamped by the “neo-logicist” approach of Hale & Wright. Less attention has been given to Frege’s extensionalist program, according to which arithmetic is to be reconstructed in terms of a theory of extensions of concepts. This paper deals just with such a theory. We present a system of second-order logic augmented with a predicate representing the fact that an object x is the extension of (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  2. Robert C. May (2002). Ellipsis. In Lynn Nadel (ed.), The Encyclopedia of Cognitive Science. Macmillan.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. G. Aldo Antonelli & Robert C. 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 (3 more)  
     
    My bibliography  
     
    Export citation