4 found
Order:
See also
Richard Kimberly Heck
Brown University
  1. The Consistency of Predicative Fragments of Frege’s Grundgesetze der Arithmetik.Richard G. Heck - 1996 - History and Philosophy of Logic 17 (1):209-220.
    As is well-known, the formal system in which Frege works in his Grundgesetze der Arithmetik is formally inconsistent, Russell?s Paradox being derivable in it.This system is, except for minor differences, full second-order logic, augmented by a single non-logical axiom, Frege?s Axiom V. It has been known for some time now that the first-order fragment of the theory is consistent. The present paper establishes that both the simple and the ramified predicative second-order fragments are consistent, and that Robinson arithmetic, Q, is (...)
    Download  
     
    Export citation  
     
    Bookmark   50 citations  
  2. Frege and Semantics.Richard G. Heck - 2007 - Grazer Philosophische Studien 75 (1):27-63.
    In recent work on Frege, one of the most salient issues has been whether he was prepared to make serious use of semantical notions such as reference and truth. I argue here Frege did make very serious use of semantical concepts. I argue, first, that Frege had reason to be interested in the question how the axioms and rules of his formal theory might be justified and, second, that he explicitly commits himself to offering a justification that appeals to the (...)
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  3. Intuition and the Substitution Argument.Richard G. Heck - 2014 - Analytic Philosophy 55 (1):1-30.
    The 'substitution argument' purports to demonstrate the falsity of Russellian accounts of belief-ascription by observing that, e.g., these two sentences: (LC) Lois believes that Clark can fly. (LS) Lois believes that Superman can fly. could have different truth-values. But what is the basis for that claim? It seems widely to be supposed, especially by Russellians, that it is simply an 'intuition', one that could then be 'explained away'. And this supposition plays an especially important role in Jennifer Saul's defense of (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  4. More on 'A Liar Paradox'.Richard G. Heck - 2012 - Thought: A Journal of Philosophy 1 (4):270-280.
    A reply to two responses to an earlier paper, "A Liar Paradox".
    Download  
     
    Export citation  
     
    Bookmark