:

:


. ( ' ) , , : , . . , .

  • ij , (1978 -) .
  • , , , 1997.
  • , , 2001.
  • , , , 2005.
  • (1962-1963)
  • , , 1988.
  • , , , 1977.
  • ij , (2005 -).
  • , , , , 1998.
  • , (1963-1966).
  • ij , (2000 -).
  • -, (1985 -).
  • ij , Academia Scientiarum et Artium Europaea (1993 -).

  • 1980.Naming and Necessity. Cambridge, Mass.: Harvard University Press. ISBN 0-674-59845-8 and reprints 1972.
  • Forthcoming.Collected Papers, Vol. I. New York: Oxford University Press.
  • 1982.Wittgenstein on Rules and Private Language: an Elementary Exposition. Cambridge, Mass.: Harvard University Press. ISBN 0-674-95401-7. Sets out his interpretation of Wittgenstein aka Kripkenstein.

  • 1976. "A Theory of Truth I. Preliminary Report," abstract,Journal of Symbolic Logic, Vol. 41, No. 2, pp. 556.
  • 2008. "Frege's Theory of Sense and Reference: Some Exegetical Notes,"Theoria74:181-218
  • 1962. The Undecidability of Monadic Modal Quantification Theory,Zeitschrift f?r Mathematische Logik und Grundlagen der Mathematik8:113-116
  • 2009. "Presupposition and Anaphora: Remarks on the formulation of the projection problem,"Linguistic Inquiry40 (3) :367-386.
  • 1992. Summary: Individual Concepts: Their Logic, Philosophy, and Some of Their Uses.Proceedings and Addresses of the American Philosophical Association66: 70-73
  • (Forthcoming). "The First Person,"Collected Papers Vol. I, Oxford University Press. The videos The First Person and Questions and Answers in which the paper is based are available here.
  • 1986. "A Problem in the Theory of Reference: the Linguistic Division of Labor and the Social Character of Naming,"Philosophy and Culture (Proceedings of the XVIIth World Congress of Philosophy), Montreal, Editions Montmorency: 241 - 247.
  • 1982. Nonstandard Models of Peano Arithmetic (with S. Kochen), inLogic and Algorithmics: International Symposium Held in Honor of Ernst Specker, H. Lauchli (ed.), University of Geneva: 277-295.
  • 1964. Transfinite Recursions on Admissible Ordinals, II (abstract),The Journal of Symbolic Logic, Vol. 29, No. 3, p. 162.
  • (Forthcoming). "Another Approach: The Church-Turing 'Thesis' as a Special Corollary of G?del's Completeness Theorem," inComputability: G?del, Turing, Church, and beyond,Copeland, B. J., Posy, C., and Shagrir, O. (Eds), Cambridge, Mass., MIT Press.
  • 1975. Outline of a Theory of Truth,Journal of Philosophy72:690-716. Sets his theory of truth (against Alfred Tarski), where an object language can contain its own truth predicate.
  • (Forthcoming). "Nozick on Knowledge,"Collected Papers Vol. I, Oxford University Press.
  • 1959. Semantical Analysis of Modal Logic (abstract),The Journal of Symbolic Logic, 24 (4) :323-324.
  • 1967. Deduction-preserving 'Recursive Isomorphisms' between Theories (with Marian Boykan Pour-El),Fundamenta Mathematicae61:141-163.
  • (Forthcoming). "A Puzzle about Time and Thought,"Collected Papers Vol. I, Oxford University Press.
  • 1963. Semantical Analysis of Modal Logic I: Normal Modal Propositional Calculi,Zeitschrift f?r Mathematische Logik und Grundlagen der Mathematik9:67-96
  • 1976. "A Theory of Truth II. Preliminary Report," abstract,Journal of Symbolic Logic, Vol. 41, No. 2, pp. 556-557.
  • 1965. Semantical Analysis of Modal Logic II: Non-Normal Modal Propositional Calculi, InThe Theory of Models, edited by J. W. Addison, L. Henkin and A. Tarski. Amsterdam: North-Holland Publishing Co.
  • (Forthcoming). "Vacuous Names and Fictional Entities,"Collected Papers Vol. I, Oxford University Press.
  • 1964. Admissible Ordinals and the Analytic Hierarchy (abstract),The Journal of Symbolic Logic, Vol. 29, No. 3, p. 162.
  • 1959. The Problem of Entailment (abstract),The Journal of Symbolic Logic, 24 (4): 324.
  • 1964. Transfinite Recursions on Admissible Ordinals, I (abstract),The Journal of Symbolic Logic, Vol. 29, No. 3, p. 162.
  • 1977. Speaker's Reference and Semantic Reference,Midwest Studies in Philosophy2:255-276.
  • 1959. Distinguished Constituents (abstract),The Journal of Symbolic Logic, 24 (4): 323.
  • (Forthcoming). "Two Paradoxes of Knowledge,"Collected Papers Vol. I, Oxford University Press.
  • 1959. A Completeness Theorem in Modal Logic,Journal of Symbolic Logic24 (1) :1-14.
  • 1979. A Puzzle about Belief, InMeaning and Use, edited by A. Margalit. Dordrecht and Boston: Reidel.
  • (Forthcoming). "Unrestricted Exportation and Some Morals for the Philosophy of Language,"Collected Papers Vol. I, Oxford University Press. Podcast of the talk available here.
  • 1971. Identity and Necessity, InIdentity and Individuation, edited by M. K. Munitz. New York: New York University Press.
  • 1962. "'Flexible' Predicates of Formal Number Theory,"Proceedings of the American Mathematical Society, 13 (4) :647-650.
  • 1967. Research Announcement: Deduction-preserving 'Recursive Isomorphisms' between Theories (with Marian Boykan Pour-El),Bulletin of the American Mathematical Society, 73:145-148.
  • 2005. Russell's Notion of Scope,Mind114:1005-1037
  • 1963. Semantical Considerations on Modal Logic,Acta Philosophica Fennica16:83-94
  • 1967. "An Extension of a Theorem of Gaifman-Hales-Solovay,"Fundamenta Mathematicae, Vol. 61, pp. 29-32.
  • 1967. "On the Application of Boolean-Valued Models to Solutions of Problems in Boolean Algebra," in Summaries of Talks Prepared in Connection with the Summer Institute on Axiomatic Set Theory, American Mathematical Society, UCLA (1967), pp. IV-T-1 through IV-T-7.
  • 1972 (1980). Naming and Necessity, InSemantics of Natural Language, Edited by D. Davidson and G. Harman. Dordrecht; Boston: Reidel. Sets out the causal theory of reference.
  • 1965. Semantical Analysis of Intuitionistic Logic I, InFormal Systems and Recursive Functions, edited by M. Dummett and J. N. Crossley. Amsterdam: North-Holland Publishing Co.
  • 1967. "Transfinite Recursion, Constructible Sets, and Analogues of Cardinals," Summaries of Talks Prepared in Connection with the Summer Institute on Axiomatic Set Theory, American Mathematical Society, UCLA, pp. IV-0-1 - IV-0-12.
  • 2009. "The Collapse of the Hilbert Program," (Abstract)Bulletin of Symbolic Logic15 (2) :229-231.
  • 1976. Is There a Problem about Substitutional Quantification?, InTruth and Meaning: Essays in Semantics, edited by Gareth Evans and John McDowell. Oxford: Oxford University Press.