9 found
Order:
Disambiguations
Richard G. Heck [9]Richard Gustave Heck [1]
See also
Richard Kimberly Heck
Brown University
  1.  40
    Frege's Theorem.Richard G. Heck - 2011 - Clarendon Press.
    The book begins with an overview that introduces the Theorem and the issues surrounding it, and explores how the essays that follow contribute to our understanding of those issues.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  2. 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 (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   49 citations  
  3. Cardinality, Counting, and Equinumerosity.Richard G. Heck - 2000 - Notre Dame Journal of Formal Logic 41 (3):187-209.
    Frege, famously, held that there is a close connection between our concept of cardinal number and the notion of one-one correspondence, a connection enshrined in Hume's Principle. Husserl, and later Parsons, objected that there is no such close connection, that our most primitive conception of cardinality arises from our grasp of the practice of counting. Some empirical work on children's development of a concept of number has sometimes been thought to point in the same direction. I argue, however, that Frege (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   34 citations  
  4. 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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  5. Language, Thought, and Logic: Essays in Honour of Michael Dummett.Richard G. Heck (ed.) - 1997 - Oxford University Press.
    In this exciting new collection, a distinguished international group of philosophers contribute new essays on central issues in philosophy of language and logic, in honor of Michael Dummett, one of the most influential philosophers of the late twentieth century. The essays are focused on areas particularly associated with Professor Dummett. Five are contributions to the philosophy of language, addressing in particular the nature of truth and meaning and the relation between language and thought. Two contributors discuss time, in particular the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  6. Julius Caesar and Basic Law V.Richard G. Heck - 2005 - Dialectica 59 (2):161–178.
    This paper dates from about 1994: I rediscovered it on my hard drive in the spring of 2002. It represents an early attempt to explore the connections between the Julius Caesar problem and Frege's attitude towards Basic Law V. Most of the issues discussed here are ones treated rather differently in my more recent papers "The Julius Caesar Objection" and "Grundgesetze der Arithmetik I 10". But the treatment here is more accessible, in many ways, providing more context and a better (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  7. 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 (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  8.  36
    Grundgesetze der Arithmetik I §§29‒32.Richard G. Heck - 1997 - Notre Dame Journal of Formal Logic 38 (3):437-474.
    Frege's intention in section 31 of Grundgesetze is to show that every well-formed expression in his formal system denotes. But it has been obscure why he wants to do this and how he intends to do it. It is argued here that, in large part, Frege's purpose is to show that the smooth breathing, from which names of value-ranges are formed, denotes; that his proof that his other primitive expressions denote is sound and anticipates Tarski's theory of truth; and that (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  9. 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".
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark