Logica Universalis

, Volume 6, Issue 3–4, pp 327–337 | Cite as

Historical Development of Modern Logic

  • Jean van Heijenoort
Article

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Beth, E.W.: Semantic Entailment and Formal Derivability, Mededlingen van den Koninklijke Nederlandse Akademie van wetenschappen, afd. Letterkunde, new series, vol. 18, no. 13, pp. 309–342. N.V. Noord-Hollandsche Uitgevers Maatschappij, Amsterdam (1955)Google Scholar
  2. 2.
    Brouwer, L.E.J.: Over de grondslagen der wiskunde, Maas and van Suchtelen. Amsterdam and Leipzig; Noordhoff, Groningen (1907)Google Scholar
  3. 3.
    Burali-Forti, C.: Una questione sui numeri transfiniti. Rendiconti del Circolo Matematico di Palermo 11, 154–164 (1897); English translation in van Heijenoort 1967, 104–111Google Scholar
  4. 4.
    Burali-Forti, C.: Sulle classi ben ordinate. Rendiconti del Circolo Matematico di Palermo 11, 260 (1897); English translation in van Heijenoort 1967, 111–112Google Scholar
  5. 5.
    Frege, G.: Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Verlag von Louis Nebert, Halle (1879); reprinted: Frege 1964, V–XVI + 1–88; English translation in van Heijenoort 1967, 1–82Google Scholar
  6. 6.
    Frege, G.: (Ignacio Angelelli, Hsg.), Begriffsschrift und andere Aufsätze. G. Olms, Hildesheim (1879)Google Scholar
  7. 7.
    Gentzen, G.: Untersuchungen über das logische Schliessen. Mathematische Zeitschrift 39, 176–210, 405–431 (1934)Google Scholar
  8. 8.
    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 van Heijenoort 1967, 582–591Google Scholar
  9. 9.
    Herbrand, J.: Recherches sur la théorie de la démonstration, Doctoral thesis, University of Paris; published in Prace Towarzystwa Naukowego Warszawskigo, wydzial III, no.33; reprinted in Herbrand 1968, 35–153; English version in Herbrand 1971, 44–202; English version of Chapter 5 in van Heijenoort 1967, 525–581 (1930)Google Scholar
  10. 10.
    Herbrand J.: Écrits logiques, edited, with an introduction, by Jean van Heijenoort. Presses Universitaires de France, Paris (1968)Google Scholar
  11. 11.
    Hilbert, D.: Über die Grundlagen der Logik und Arithmetik, Verhandlungen des Dritten Internationalen Mathematiker-Kongresses in Heidelberg von 8. bis 13. August 1904, Teubner, Leipzig, 1905, 174–185 (1904); English translation in van Heijenoort 1967, 129–138Google Scholar
  12. 12.
    Jeffrey R.C.: Formal logic: its scope and limits. McGraw-Hill, New York (1967)Google Scholar
  13. 13.
    König, J.: Über die Grundlagen der Mengenlehre und das Kontinuumproblem. Mathematische Annalen 61, 156–160 (1905); English translation in van Heijenoort 1967, 145–149Google Scholar
  14. 14.
    Löwenheim, L.: Über Möglichkeiten im Relativkalkül. Mathematische Annalen 75, 447–470 (1915); English translation in van Heijenoort 1967, 228–251Google Scholar
  15. 15.
    Richard, J.: Les principes des mathématiques et le problème des ensembles avec les réponses par Louis Olivier. Revue Générale des Sciences pures et appliquées 16, 541–543 (1905); reprinted (without replies by Louis Olivier) in Acta Mathematica 30 (1906), 295–296; English translation in van Heijenoort 1967, 142–144Google Scholar
  16. 16.
    Russell, B.: Mathematical logic as based on the theory of types. Am. J. Math. 30, 222–262 (1908); reprinted in van Heijenoort 1967, 150–182. See Whitehead, Alfred North, and Bertrand RussellGoogle Scholar
  17. 17.
    Skolem, T.: Logisch-kombinatorische Untersuchungen über die Erfüllbarkeit oder Beweisbarkeit mathematischer Sätze nebst einem Theoreme über dichte Mengen. Videnkapsselskapels Skrifter 1, Mathematisk-naturvidenskabelig klasse, no. 4 (1920); English translation in van Heijenoort 1967, 252–263Google Scholar
  18. 18.
    Skolem, T.: Über die mathematische Logik. Norsk Matematisk Tidsskrift 10, 125–142 (1928); English translation in van Heijenoort 1967, 508–524Google Scholar
  19. 19.
    van Heijenoort, J.: From Frege to Gödel: a source book in mathematical logic, 1879–1931. Harvard University Press, Cambridge (1967)Google Scholar
  20. 20.
    Whitehead A.N., Bertrand R.: Principia mathematica, vol. 1. Cambridge University Press, Cambridge (1910)Google Scholar
  21. 21.
    Whitehead A.N., Bertrand R.: Principia mathematica, vol. 2. Cambridge University Press, Cambridge (1912)Google Scholar
  22. 22.
    Whitehead A.N., Bertrand R.: Principia mathematica, vol. 3. Cambridge University Press, Cambridge (1913)Google Scholar
  23. 23.
    Whitehead A.N., Bertrand R.: Principia mathematica, 2nd edn., vol. 1. Cambridge University Press, Cambridge (1925)Google Scholar
  24. 24.
    Whitehead A.N., Bertrand R.: Principia mathematica, 2nd edn., vols. 2 and 3. Cambridge University Press, Cambridge (1927)Google Scholar
  25. 25.
    Zermelo, E.: Untersuchungen über die Grundlagen der Mengenlehre, I. Mathematische Annalen 65, 261–281 (1908); English translation in van Heijenoort 1967, 199–215Google Scholar

Copyright information

© Springer Basel AG 2012

Authors and Affiliations

  • Jean van Heijenoort

There are no affiliations available

Personalised recommendations