Logica Universalis

, Volume 6, Issue 3–4, pp 535–552 | Cite as

On Rereading van Heijenoort’s Selected Essays

  • Solomon Feferman


This is a critical reexamination of several pieces in van Heijenoort’s Selected Essays that are directly or indirectly concerned with the philosophy of logic or the relation of logic to natural language. Among the topics discussed are absolutism and relativism in logic, mass terms, the idea of a rational dictionary, and sense and identity of sense in Frege.

Mathematics Subject Classification

03-03 03A05 


Jean van Heijenoort philosophy of logic history of logic 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Anellis I.H.: Van Heijenoort: Logic and Its History in the Work and Writings of Jean van Heijenoort. Modern Logic Publishing, Ames (1994)Google Scholar
  2. 2.
    Bealer, G.: Predication and matter. Synthèse 31, 493–508 (1975). Reprinted in: [43]. pp. 279–294 (1979)Google Scholar
  3. 3.
    Bell D.: Review of [62]. History Philos. Logic 7, 226–228 (1986)Google Scholar
  4. 4.
    Bunt, H.C.: Ensembles and the formal semantic properties of mass terms. In: [43]. pp. 249–277 (1979)Google Scholar
  5. 5.
    Bunt H.C.: Mass Terms and Model-Theoretic Semantics. Cambridge University Press, Cambridge (1985)Google Scholar
  6. 6.
    Burge T.: Truth and mass terms. J. Philos. 69, 263–282 (1972)CrossRefGoogle Scholar
  7. 7.
    Cartwright H.: Quantities. Philos. Rev. 79, 25–52 (1970)CrossRefGoogle Scholar
  8. 8.
    Corry L.: Modern Algebra and the Rise of Mathematical Structures. Birkhäuser Verlag, Basel (2004)zbMATHCrossRefGoogle Scholar
  9. 9.
    Dawson, J.W. Jr.: Jean van Heijenoort and the Gödel Editorial Project. this issue (2012)Google Scholar
  10. 10.
    De Rouilhan, P.: De l’univérsalité de la logique. In: Bouveresse, J. (ed.), L’âge de la science: lectures philosophiques, 4: Philosophie de la logique et philosophie du langage. Éditions Odile Jacob, Paris, pp. 93–119 (1991). Revised English translation in this issue (2012)Google Scholar
  11. 11.
    Feferman, A.B.: Politics, Logic and Love. The Life of Jean van Heijenoort. A. K. Peters Ltd., Wellesley (1993). Reprinted as: From Trotsky to Gödel. The Life of Jean van Heijenoort. A. K. Peters Ltd., Natick (2001)Google Scholar
  12. 12.
    Feferman, A.B., Feferman, S.: Jean van Heijenoort (1912–1986). In: Paris Logic Group (eds.) Logic Colloquium ’85. North-Holland, Amsterdam, pp. 1–7 (1987). Reprinted with revisions: Modern Logic 2, 231–238 (1992)Google Scholar
  13. 13.
    Feferman A.B., Feferman A.B., Feferman A.B.: Alfred Tarski: Life and Logic. Cambridge University Press, Cambridge (2004)zbMATHGoogle Scholar
  14. 14.
    Feferman, S.: The Gödel editorial project: A synopsis. Bull. Symb. Logic 11, 132–149 (2005). Reprinted in: [15], pp. 3–20 (2010)Google Scholar
  15. 15.
    Feferman, S., Parsons, C., Simpson, S.G. (eds.): Kurt Gödel. Essays for his Centennial, Lecture Notes in Logic 33, Association for Symbolic Logic, Cambridge University Press, Cambridge (2010)Google Scholar
  16. 16.
    Frege, G.: Grundgesetze der Arithmetik, begriffsschriftlich abgeleitet, vol. 1, Pohle, Jena (1893). Partial translation in: [18]Google Scholar
  17. 17.
    Frege, G.: Grundgesetze der Arithmetik, begriffsschriftlich abgeleitet. vol. 2, Pohle, Jena (1903). Partial translation in: [18]Google Scholar
  18. 18.
    Frege, G.: (Furth, M., trans. and ed.) Basic Laws of Arithmetic. University of California Press, Berkeley/Los Angeles (1964)Google Scholar
  19. 19.
    Gaifman, H.: Review of [55]. Math. Rev. 58, #10270 (1979)Google Scholar
  20. 20.
    Gödel, K.: Die Vollständigkeit der Axiome des logischen Funktionenkalküls. Monatshefte für Mathematik und Physik 37, 349–360 (1930). English translation in: [51], pp. 582–591 (1967); reprinted, with English translation, in: [21]. vol. I, pp. 102–123 (1986)Google Scholar
  21. 21.
    Gödel, K.: (Feferman, S., et al. eds.), Collected Works, 5 vols. Oxford University Press, Oxford/New York (1986–2003)Google Scholar
  22. 22.
    Herbrand, J.: (van Heijenoort, ed.), Écrits logiques. Presses Universitaire de France, Paris (1968)Google Scholar
  23. 23.
    Hilbert D., Ackermann W.: Grundzüge der theoretischen Logik. Springer, Berlin (1928)zbMATHGoogle Scholar
  24. 24.
    Hilbert, D., Bernays, P.: Grundlagen der Mathematik, vol. I. Springer, Berlin (1934)Google Scholar
  25. 25.
    Hintikka, J.: On the development of the model-theoretic viewpoint in logical theory, Synthèse 77, 1–36 (1988). Reprinted in: [26], pp. 104–139 (1997)Google Scholar
  26. 26.
    Hintikka, J.: Lingua Universalis vs. Calculus Ratiocinator: An Ultimate Presupposition of Twentieth-Century Philosophy. Kluwer Academic Publishers, Dordrecht (1997)Google Scholar
  27. 27.
    Hintikka, K.J.J., Moravcsik, J.M.E., Suppes, P. (eds.): Approaches to Natural Language. D. Reidel Publishing Co., Dordrecht (1973)Google Scholar
  28. 28.
    Langford, C.H.: Some theorems on deducibility. Ann. Math. 28, 16–40, 459–471 (1927)Google Scholar
  29. 29.
    Lenat D.B.: Building Large Knowledge Based Systems. Addison-Wesley Publishing Co., Boston (1989)Google Scholar
  30. 30.
    Löwenheim, L.: Über Möglichkeiten im Relativkalkul, Mathematische Annalen 76, 447–470 (1915). English translation in: [51], pp. 228–251 (1967)Google Scholar
  31. 31.
    Mancosu, P., Zach, R., Badesa, C.: The development of mathematical logic from Russell to Tarski, 1900–1935. In: Haaparanta, L. (ed.) The Development of Modern Logic, pp. 318–470. Oxford University Press, Oxford (2009)Google Scholar
  32. 32.
    McDermott C.: Marginalia on van Heijenoort’s “Subject and predicate” (from an Indological and a “Lagadogical” point of view). Philos. East West 24, 269–274 (1974)CrossRefGoogle Scholar
  33. 33.
    Montague, R.: The proper treatment of quantification in ordinary English. In: [27], pp. 221–224 (1973). Reprinted in: [35], pp. 247–270 (1974)Google Scholar
  34. 34.
    Montague, R.: Reply to Moravcsik. In: [27], pp. 289–294 (1973)Google Scholar
  35. 35.
    Montague, R.: (Thomason, R.H., ed.) Formal Philosophy, Selected Papers of Richard Montague. Yale University Press, New Haven (1974)Google Scholar
  36. 36.
    Moravcsik, J.M.: Mass terms in English. In: [27], pp. 263–285 (1973)Google Scholar
  37. 37.
    Moschovakis, Y.N.: Sense and denotation as algorithm and value. In: Väänänen, J., Oikkonen, J. (eds.) Logic Colloquium ’90. ASL Summer Meeting in Helsinki, July 15–22, 1990. Lecture Notes in Logic 2. Springer-Verlag, Berlin/New York and Association for Symbolic Logic, Natick, pp. 210–249 (1993)Google Scholar
  38. 38.
    Moschovakis Y.N.: A logical calculus of meaning and synonymy. Linguist. Philos. 29, 27–89 (2006)CrossRefGoogle Scholar
  39. 39.
    Padilla-Gálvez, J.: Lógica, lenguaje y teoría de la cuantificación (a propósito de los ‘Selected Essays’ de Jean van Heijenoort), Modern Logic 2, 260–280 (1992)Google Scholar
  40. 40.
    Parsons, T: An analysis of mass and amount terms. Found. Lang. 6, 363–388 (1970). Reprinted in: [43], pp. 137–166 (1979)Google Scholar
  41. 41.
    Partee, B.H., Hendricks, H.W.: Montague grammar. In: van Benthem, J., ter Meulen, G.B.A. (eds.) Handbook of Logic and Language, pp. 5–91. Elsevier, Amsterdam (1997)Google Scholar
  42. 42.
    Pelletier F.J.: On some proposals for the semantics of mass terms. J. Philos. Logic 3, 87–108 (1974)CrossRefGoogle Scholar
  43. 43.
    Pelletier, F.J. (ed.): Mass Terms: Some Philosophical Problems. D. Reidel Publishing Co., Dordrecht (1979)Google Scholar
  44. 44.
    Presburger, M.: Über die Vollständigkeit eines gewissen Systems der Arithmetik ganzer Zahlen, in welchem die Addition als einzige Operation hervortritt. In: Leva, F. (ed.) Sprawozdanie z 1. Kongresu matematyków krajów s lowianśkich/Comptes-rendus du I Congrès des Mathématiciens des Pays Slaves, Varsovie 1929. Książnica atlas t.n.s.w., Warszawa, etc. pp. 92–101 (1930). English translation in: History and Philosophy of Logic 12, 225–233 (1991)Google Scholar
  45. 45.
    Quine, W.V.O.: Word and Object. MIT Press, Cambridge (1960)Google Scholar
  46. 46.
    Scanlan M.: Who were the American postulate theorists?. J. Symb. Logic 56, 981–1002 (1991)MathSciNetzbMATHGoogle Scholar
  47. 47.
    Skolem, Thoralf (1920), Logisch-kombinatorische Untersuchungen über die Erfüllbarkeit oder Beweisbarkeit mathematischer Sätze nebst einem Theoreme über dichte Mengen, Videnskapsselskapets Skrifter, I. Matematisk-Naturvidenskabelig Klasse 4 (1920). English translation in: [51], pp. 252–263 (1967)Google Scholar
  48. 48.
    Smith, P.B.: Review of [56] and [57]. Math. Rev. 58, ##4990a-b (1979)Google Scholar
  49. 49.
    Strawson P.F.: Individuals. Methuen, London (1959)CrossRefGoogle Scholar
  50. 50.
    Tarski, A.: A Decision Method for Elementary Algebra and Geometry. RAND Corp., Santa Monica (1948); 2nd ed., University of California Press, Berkeley (1951)Google Scholar
  51. 51.
    Van Heijenoort, J.: From Frege to Gödel. A Source Book in Mathematical Logic, 1879–1931. Harvard University Press, Cambridge (1967)Google Scholar
  52. 52.
    Van Heijenoort, J.: Logic as calculus and logic as language. In: Cohen, R.S., Wartofsky, M.W. (eds.) Boston Studies in the Philosophy of Science 3: In Memory of Russell Norwood Hansen, Proceedings of the Boston Colloquium for Philosophy of Science 1964/1965. Reidel, Dordrecht, pp. 440–446 (1967). Reprinted as (1967a) in: [62], pp. 11–16 (1985)Google Scholar
  53. 53.
    Van Heijenoort, J.: Subject and predicate in Western logic. Phil. East West 24, 253–268 (1974); reprinted as (1973) in: [62], pp. 17–34 (1985)Google Scholar
  54. 54.
    Van Heijenoort, J.: El desarrollo de la teoría de la cuantificación, Universidad Nacional Autónoma de México, Mexico City (1976)Google Scholar
  55. 55.
    Van Heijenoort, J.: Set-theoretic semantics. In: Gandy, R.O., Hyland, J.M.E. (eds.) Logic Colloquium ’76. North-Holland, Amsterdam (1977). Reprinted as (1976) in: [62], pp. 43–53 (1985)Google Scholar
  56. 56.
    Van Heijenoort, J.: Sense in Frege. J. Philos. Logic 6, 93–102 (1977). Reprinted as (1977) in: [62], pp. 55–63 (1985)Google Scholar
  57. 57.
    Van Heijenoort, J.: Frege on sense identity. J. Philos. Logic 6, 103–108 (1977). Reprinted as (1977a) in: [62], pp. 65–69 (1985)Google Scholar
  58. 58.
    Van Heijenoort J.: With Trotsky in Exile: From Prinkipo to Coyoacán. Harvard University Press, Cambridge (1978)Google Scholar
  59. 59.
    Van Heijenoort, J.: Introduction à à la sémantique des logiques non-classiques. Collection de l’École Normale Supérieur des Jeunes Filles, no. 16, Paris (1979)Google Scholar
  60. 60.
    Van Heijenoort, Jean (1979), Absolutism and relativism in logic, English draft of a paper read in Spanish at the Tercer Coloquio nacional de filosofía, Puebla. Reprinted as (1979a) in: [62], pp. 75–83 (1985)Google Scholar
  61. 61.
    Van Heijenoort, J. (ed.): Leon et Natalia Trotsky: Correspondance 1933–1938. Gallimard, Paris (1980)Google Scholar
  62. 62.
    Van Heijenoort J.: Selected Essays. Bibliopolis, Naples (1985)Google Scholar
  63. 63.
    Vaught, R.L.: Model theory before 1945. In: Henkin, L., et al. (eds.): Proceedings of the Tarski Symposium, Proceedings of Symposia in Pure Mathematics, vol. XXV, American Mathematical Society, Providence (1974)Google Scholar

Copyright information

© Springer Basel AG 2012

Authors and Affiliations

  1. 1.Stanford UniversityStanfordUSA

Personalised recommendations