Order:
Disambiguations
Saul A. Kripke [59]Saul Kripke [17]S. Kripke [3]Sellars Kripke [1]
See also
Saul Kripke
CUNY Graduate Center
  1. Naming and Necessity: Lectures Given to the Princeton University Philosophy Colloquium.Saul A. Kripke - 1980 - Cambridge, MA, USA: Harvard University Press.
  2. Wittgenstein on Rules and Private Language: An Elementary Exposition.Saul Kripke - 1982 - Harvard University Press.
    In this book Saul Kripke brings his powerful philosophical intelligence to bear on Wittgenstein's analysis of the notion of following a rule.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   734 citations  
  3. Outline of a Theory of Truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
    A formal theory of truth, alternative to tarski's 'orthodox' theory, based on truth-value gaps, is presented. the theory is proposed as a fairly plausible model for natural language and as one which allows rigorous definitions to be given for various intuitive concepts, such as those of 'grounded' and 'paradoxical' sentences.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   767 citations  
  4. Naming and Necessity.S. Kripke - 1972 - Tijdschrift Voor Filosofie 45 (4):665-666.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   2363 citations  
  5. Naming and Necessity.Saul A. Kripke - 1985 - Critica 17 (49):69-71.
    No categories
     
    Export citation  
     
    Bookmark   1249 citations  
  6. Naming and Necessity.Saul Kripke - 1981 - Philosophy 56 (217):431-433.
    No categories
     
    Export citation  
     
    Bookmark   1241 citations  
  7. Reference and Existence: The John Locke Lectures.Saul A. Kripke - 2013 - Oxford University Press.
    Reference and Existence, Saul Kripke's John Locke Lectures for 1973, can be read as a sequel to his classic Naming and Necessity. It confronts important issues left open in that work -- among them, the semantics of proper names and natural kind terms as they occur in fiction and in myth; negative existential statements; the ontology of fiction and myth. In treating these questions, he makes a number of methodological observations that go beyond the framework of his earlier book -- (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   136 citations  
  8. Naming and Necessity.Saul Kripke - 2003 - In John Heil (ed.), Philosophy of Mind: A Guide and Anthology. Oxford University Press.
    No categories
     
    Export citation  
     
    Bookmark   963 citations  
  9. A Puzzle About Belief.Saul A. Kripke - 1979 - In A. Margalit (ed.), Meaning and Use. Reidel. pp. 239--83.
  10. Semantical Considerations on Modal Logic.Saul A. Kripke - 1963 - Acta Philosophica Fennica 16:83-94.
  11. Identity and Necessity.Saul A. Kripke - 1971 - In Milton Karl Munitz (ed.), Identity and Individuation. New York: New York University Press. pp. 135-164.
    are synthetic a priori judgements possible?" In both cases, i~thas usually been t'aken for granted in fife one case by Kant that synthetic a priori judgements were possible, and in the other case in contemporary,'d-". philosophical literature that contingent statements of identity are ppss. ible. I do not intend to deal with the Kantian question except to mention:ssj~".
     
    Export citation  
     
    Bookmark   389 citations  
  12. Wittgenstein on rules and private language.Saul A. Kripke - 1982 - Revue Philosophique de la France Et de l'Etranger 173 (4):496-499.
    Translate
     
     
    Export citation  
     
    Bookmark   748 citations  
  13. Speaker's Reference and Semantic Reference.Saul A. Kripke - 1977 - In Peter A. French, Theodore E. Uehling Jr & Howard K. Wettstein (eds.), Studies in the Philosophy of Language. University of Minnesota Press. pp. 255-296.
    am going to discuss some issues inspired by a well-known paper ofKeith Donnellan, "Reference and Definite Descriptions,”2 but the interest—to me—of the contrast mentioned in my title goes beyond Donnellan's paper: I think it is of considerable constructive as well as critical importance to the philosophy oflanguage. These applications, however, and even everything I might want to say relative to Donnellan’s paper, cannot be discussed in full here because of problems of length. Moreover, although I have a considerable interest in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   326 citations  
  14. Speaker’s Reference and Semantic Reference.Saul Kripke - 1977 - Midwest Studies in Philosophy 2 (1):255-276.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   322 citations  
  15. A Completeness Theorem in Modal Logic.Saul A. Kripke - 1959 - Journal of Symbolic Logic 24 (1):1-14.
  16. Semantical Analysis of Modal Logic I. Normal Propositional Calculi.Saul A. Kripke - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (5‐6):67-96.
  17. Vacuous Names and Fictional Entities.Saul A. Kripke - 2011 - HORIZON. Studies in Phenomenology 8 (2):676-706.
  18. Frege's Theory of Sense and Reference: Some Exegetical Notes.Saul A. Kripke - 2008 - Theoria 74 (3):181-218.
    Frege's theory of indirect contexts and the shift of sense and reference in these contexts has puzzled many. What can the hierarchy of indirect senses, doubly indirect senses, and so on, be? Donald Davidson gave a well-known 'unlearnability' argument against Frege's theory. The present paper argues that the key to Frege's theory lies in the fact that whenever a reference is specified (even though many senses determine a single reference), it is specified in a particular way, so that giving a (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   59 citations  
  19. Is There a Problem About Substitutional Quantification?Saul A. Kripke - 1976 - In Gareth Evans & John McDowell (eds.), Truth and Meaning. Oxford University Press. pp. 324-419.
  20. Semantical Analysis of Intuitionistic Logic I.Saul A. Kripke - 1963 - In Michael Dummett & J. N. Crossley (eds.), Formal Systems and Recursive Functions: Proceedings of the Eighth Logic Colloquium, Oxford July 1963. North Holland. pp. 92-130.
  21. Nozick on Knowledge.Saul A. Kripke - 2011 - In Philosophical Troubles. Collected Papers Vol I. Oxford University Press.
  22. Presupposition and Anaphora: Remarks on the Formulation of the Projection Problem.Saul A. Kripke - 2009 - Linguistic Inquiry 40 (3):367-386.
    Writers on presupposition, and on the ‘‘projection problem’’ of determining the presuppositions of compound sentences from their component clauses, traditionally assign presuppositions to each clause in isolation. I argue that many presuppositional elements are anaphoric to previous discourse or contextual elements. In compound sentences, these can be other clauses of the sentence. We thus need a theory of presuppositional anaphora, analogous to the corresponding pronominal theory.
    Direct download  
     
    Export citation  
     
    Bookmark   50 citations  
  23. Wittgenstein on Rules and Private Language. An Elementary Exposition.Saul A. Kripke - 1983 - Philosophical Quarterly 33 (133):398-404.
    No categories
     
    Export citation  
     
    Bookmark   116 citations  
  24.  16
    A Completeness Theorem in Modal Logic.Saul A. Kripke - 1966 - Journal of Symbolic Logic 31 (2):276-277.
    Direct download  
     
    Export citation  
     
    Bookmark   108 citations  
  25. On Two Paradoxes of Knowledge.Saul Kripke - 2011 - In Saul A. Kripke (ed.), Philosophical Troubles. Collected Papers Vol I. Oxford University Press.
  26. Russell’s Notion of Scope.Saul A. Kripke - 2005 - Mind 114 (456):1005-1037.
    Despite the renown of ‘On Denoting’, much criticism has ignored or misconstrued Russell's treatment of scope, particularly in intensional, but also in extensional contexts. This has been rectified by more recent commentators, yet it remains largely unnoticed that the examples Russell gives of scope distinctions are questionable or inconsistent with his own philosophy. Nevertheless, Russell is right: scope does matter in intensional contexts. In Principia Mathematica, Russell proves a metatheorem to the effect that the scope of a single occurrence of (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   50 citations  
  27. Philosophical Troubles. Collected Papers Vol I.Saul A. Kripke (ed.) - 2011 - Oxford University Press.
    This important new book is the first of a series of volumes collecting essential work by an influential philosopher. It presents a mixture of published and unpublished works from various stages of Kripke's storied career. Included here are seminal and much discussed pieces such as “Identity and Necessity,” “Outline of a Theory of Truth,” and “A Puzzle About Belief.” More recent published work include “Russell's Notion of Scope” and “Frege's Theory of Sense and Reference” among others. Several of the works (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  28.  22
    Gödel’s Theorem and Direct Self-Reference.Saul A. Kripke - forthcoming - Review of Symbolic Logic:1-5.
    In his paper on the incompleteness theorems, Gödel seemed to say that a direct way of constructing a formula that says of itself that it is unprovable might involve a faulty circularity. In this note, it is proved that ‘direct’ self-reference can actually be used to prove his result.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29. Semantical Analysis of Modal Logic II. Non-Normal Modal Propositional Calculi.Saul A. Kripke - 1965 - In J. W. Addison, A. Tarski & L. Henkin (eds.), The Theory of Models: Proceedings of the 1963 International Symposium at Berkeley. North Holland. pp. 206-20.
  30.  18
    The Collapse of the Hilbert Program: A Variation on the Gödelian Theme.Saul A. Kripke - forthcoming - Bulletin of Symbolic Logic:1-17.
    The Hilbert program was actually a specific approach for proving consistency, a kind of constructive model theory. Quantifiers were supposed to be replaced by ε-terms. εxA(x) was supposed to denote a witness to ∃xA(x), or something arbitrary if there is none. The Hilbertians claimed that in any proof in a number-theoretic system S, each ε-term can be replaced by a numeral, making each line provable and true. This implies that S must not only be consistent, but also 1-consistent. Here we (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31. Reference and Existence: The John Locke Lectures for 1973.Saul A. Kripke - 2013 - New York: Oxford University Press.
     
    Export citation  
     
    Bookmark   9 citations  
  32.  20
    Semantical Analysis of Modal Logic I. Normal Modal Propositional Calculi.Saul A. Kripke - 1966 - Journal of Symbolic Logic 31 (1):120-122.
    Direct download  
     
    Export citation  
     
    Bookmark   42 citations  
  33. A Puzzle About Time and Thought.Saul A. Kripke - 2011 - In Philosophical Troubles. Collected Papers Vol I. Oxford University Press.
  34. The First Person.Saul A. Kripke - 2011 - In Philosophical Troubles. Collected Papers Vol I. Oxford University Press.
  35. A Proof of Gamma.Saul A. Kripke - forthcoming - In Katalin Bimbó (ed.), Relevance Logics and other Tools for Reasoning. Essays in Honor of J. Michael Dunn. London: College Publications. pp. 261-265.
    This paper is dedicated to the memory of Mike Dunn. His untimely death is a loss not only to logic, computer science, and philosophy, but to all of us who knew and loved him. The paper gives an argument for closure under γ in standard systems of relevance logic (first proved by Meyer and Dunn 1969). For definiteness, I chose the example of R. The proof also applies to E and to the quantified systems RQ and EQ. The argument uses (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  36. Quantified Modality and Essentialism.Saul A. Kripke - 2017 - Noûs 51 (2):221-234.
  37.  97
    Ungroundedness in Tarskian Languages.Saul Kripke - 2019 - Journal of Philosophical Logic 48 (3):603-609.
    Several writers have assumed that when in “Outline of a Theory of Truth” I wrote that “the orthodox approach” – that is, Tarski’s account of the truth definition – admits descending chains, I was relying on a simple compactness theorem argument, and that non-standard models must result. However, I was actually relying on a paper on ‘pseudo-well-orderings’ by Harrison. The descending hierarchy of languages I define is a standard model. Yablo’s Paradox later emerged as a key to interpreting the result.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  38. The Undecidability of Monadic Modal Quantification Theory.Saul A. Kripke - 1962 - Mathematical Logic Quarterly 8 (2):113-116.
  39. Semantical Considerations for Modal Logics.Saul A. Kripke - 1969 - Journal of Symbolic Logic 34 (3):501-501.
     
    Export citation  
     
    Bookmark   26 citations  
  40. Unrestricted Exportation and Some Morals for the Philosophy of Language.Saul A. Kripke - 2011 - In Saul A. Kripke (ed.), Philosophical Troubles. Collected Papers Vol I. Oxford University Press.
    Translate
     
     
    Export citation  
     
    Bookmark   10 citations  
  41.  9
    Semantical Analysis of Intuitionistic Logic I.Saul A. Kripke, J. N. Crossley & M. A. E. Dummett - 1970 - Journal of Symbolic Logic 35 (2):330-332.
    Direct download  
     
    Export citation  
     
    Bookmark   31 citations  
  42. The Church-Turing ‘Thesis’ as a Special Corollary of Gödel’s Completeness Theorem.Saul A. Kripke - 2013 - In B. J. Copeland, C. Posy & O. Shagrir (eds.), Computability: Turing, Gödel, Church, and Beyond. MIT Press.
    Traditionally, many writers, following Kleene (1952), thought of the Church-Turing thesis as unprovable by its nature but having various strong arguments in its favor, including Turing’s analysis of human computation. More recently, the beauty, power, and obvious fundamental importance of this analysis, what Turing (1936) calls “argument I,” has led some writers to give an almost exclusive emphasis on this argument as the unique justification for the Church-Turing thesis. In this chapter I advocate an alternative justification, essentially presupposed by Turing (...)
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  43.  1
    Philosophical Troubles: Collected Papers, Volume 1.Saul A. Kripke - 2011 - Oup Usa.
    This important new book is the first of a series of volumes collecting the essential articles by the eminent and highly influential philosopher Saul A. Kripke. It presents a mixture of published and unpublished articles from various stages of Kripke's storied career.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  44. Semantical Considerations Of The Modal Logic.Saul Kripke - 2007 - Studia Philosophica 1.
    Această lucrare oferă o expunere a unor trăsături ale unei teorii semantice a logicilor modale. Pentru o anumită extensiune cuantificată a S5, această teorie a fost prezentată în ‘A Completeness Theorem in Modal Logic’ şi a fost rezumată în ‘Semantical Analysis of Modal Logic’ . Lucrarea de faţă se va concentra asupra unui aspect particular al teoriei – introducerea cuantificatorilor – şi se va restrînge în principal la o metodă particulară de a atinge acest scop. Accentul lucrării va fi pur (...)
     
    Export citation  
     
    Bookmark   4 citations  
  45. Example of an Article in an Edited Collection.S. Kripke - 1979 - In A. Margalit (ed.), Meaning and Use. Reidel.
    No categories
     
    Export citation  
     
    Bookmark   10 citations  
  46.  51
    Free Choice Sequences: A Temporal Interpretation Compatible with Acceptance of Classical Mathematics.Saul Kripke - 2019 - Indagationes Mathematicae 30 (3):492-499.
    This paper sketches a way of supplementing classical mathematics with a motivation for a Brouwerian theory of free choice sequences. The idea is that time is unending, i.e. that one can never come to an end of it, but also indeterminate, so that in a branching time model only one branch represents the ‘actual’ one. The branching can be random or subject to various restrictions imposed by the creating subject. The fact that the underlying mathematics is classical makes such perhaps (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  47. Time and Identity.Saul A. Kripke - 1978
     
    Export citation  
     
    Bookmark   6 citations  
  48. The Road to Gödel.Saul Kripke - 2014 - In Jonathan Berg (ed.), Naming, Necessity and More: Explorations in the Philosophical Work of Saul Kripke. Palgrave-Macmillan.
  49. History and Idealism: The Theory of R.G. Collingwood.Saul A. Kripke - 2017 - Collingwood and British Idealism Studies 23 (1):9-29.
  50.  37
    Mathematical Incompleteness Results in First-Order Peano Arithmetic: A Revisionist View of the Early History.Saul A. Kripke - forthcoming - History and Philosophy of Logic:1-8.
    In the Handbook of Mathematical Logic, the Paris-Harrington variant of Ramsey's theorem is celebrated as the first result of a long ‘search’ for a purely mathematical incompleteness result in first-order Peano arithmetic. This paper questions the existence of any such search and the status of the Paris-Harrington result as the first mathematical incompleteness result. In fact, I argue that Gentzen gave the first such result, and that it was restated by Goodstein in a number-theoretic form.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 79