8 found
Sort by:
See also:
Profile: Gregory Lavers (Concordia University)
  1. Gregory Lavers (2013). Frege, Carnap, and Explication: ‘Our Concern Here Is to Arrive at a Concept of Number Usable for the Purpose of Science’. History and Philosophy of Logic 34 (3):225-41.
    This paper argues that Carnap both did not view and should not have viewed Frege's project in the foundations of mathematics as misguided metaphysics. The reason for this is that Frege's project was to give an explication of number in a very Carnapian sense — something that was not lost on Carnap. Furthermore, Frege gives pragmatic justification for the basic features of his system, especially where there are ontological considerations. It will be argued that even on the question of the (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  2. Gregory Lavers (2012). On the Quinean-Analyticity of Mathematical Propositions. Philosophical Studies 159 (2):299-319.
    This paper investigates the relation between Carnap and Quine’s views on analyticity on the one hand, and their views on philosophical analysis or explication on the other. I argue that the stance each takes on what constitutes a successful explication largely dictates the view they take on analyticity. I show that although acknowledged by neither party (in fact Quine frequently expressed his agreement with Carnap on this subject) their views on explication are substantially different. I argue that this difference not (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  3. Gregory Lavers (2010). Frege and Numbers as Self-Subsistent Objects. DISCUSIONES FILOSOFICAS 11 (16):97-118.
  4. Gregory Lavers (2010). Review of Mary Leng, Mathematics and Reality. [REVIEW] Notre Dame Philosophical Reviews 2010 (9).
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  5. Gregory Lavers (2009). Benacerraf's Dilemma and Informal Mathematics. Review of Symbolic Logic 2 (4):769-785.
    This paper puts forward and defends an account of mathematical truth, and in particular an account of the truth of mathematical axioms. The proposal attempts to be completely nonrevisionist. In this connection, it seeks to satisfy simultaneously both horns of Benacerrafs work on informal rigour. Kreisel defends the view that axioms are arrived at by a rigorous examination of our informal notions, as opposed to being stipulated or arrived at by trial and error. This view is then supplemented by a (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  6. Gregory Lavers (2008). Carnap, Formalism, and Informal Rigour. Philosophia Mathematica 16 (1):4-24.
    Carnap's position on mathematical truth in The Logical Syntax of Language has been attacked from two sides: Kreisel argues that it is formalistic but should not be, and Friedman argues that it is not formalistic but needs to be. In this paper I argue that the Carnap of Syntax does not eliminate our ordinary notion of mathematical truth in favour of a formal analogue; so Carnap's notion of mathematical truth is not formalistic. I further argue that there is no conflict (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  7. Gregory Lavers (2008). Review of Richard Creath, Michael Friedman (Eds.), The Cambridge Companion to Carnap. [REVIEW] Notre Dame Philosophical Reviews 2008 (9).
  8. Gregory Lavers (2004). Carnap, Semantics and Ontology. Erkenntnis 60 (3):295-316.
    This paper will deal with three questions regarding Carnap's transition from the position he held at the time of writing Syntax to the doctrines he held during his semantic phase: (1) What was Carnap's attitude towards truth at the time of writing Syntax? (2) What was Carnap's position regarding questions of reference and ontology at the time of writing Syntax? (3) Was Carnap's acceptance of Tarski's analysis of truth and reference detrimental to his philosophical project? Section 1 of this paper (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation