Jean van Heijenoort’s Conception of Modern Logic, in Historical Perspective

Logica Universalis 6 (3-4):339-409 (2012)

Abstract
I use van Heijenoort’s published writings and manuscript materials to provide a comprehensive overview of his conception of modern logic as a first-order functional calculus and of the historical developments which led to this conception of mathematical logic, its defining characteristics, and in particular to provide an integral account, from his most important publications as well as his unpublished notes and scattered shorter historico-philosophical articles, of how and why the mathematical logic, whose he traced to Frege and the culmination of its formative period in the incompleteness results of Gödel, became modern logic, as distinct from the traditional logic of Aristotle, and why and how the logistic tradition that led from Frege through Russell, rather than the algebraic tradition that led from De Morgan and Boole through Peirce and Schröder, came, in his view, to define modern logic
Keywords History of logic  van Heijenoort
Categories (categorize this paper)
DOI 10.1007/s11787-012-0055-8
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 39,545
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Principles of Mathematics.Bertrand Russell - 1903 - Cambridge University Press.
Grundlagen der Arithmetik.Gottlob Frege - 1884 - Breslau: Wilhelm Koebner.
Logic in the Twenties: The Nature of the Quantifier.Warren D. Goldfarb - 1979 - Journal of Symbolic Logic 44 (3):351-368.
Vagueness.Bertrand Russell - 1923 - Australasian Journal of Philosophy 1 (2):84 – 92.

View all 70 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Historical Development of Modern Logic.Jean van Heijenoort - 2012 - Logica Universalis 6 (3-4):327-337.
Jean van Heijenoort: Kaleidoscope. [REVIEW]Anita Burdman Feferman - 2012 - Logica Universalis 6 (3-4):277-291.
From Frege to Gödel.Jean Van Heijenoort (ed.) - 1967 - Cambridge: Harvard University Press.
Subject and Predicate in Western Logic.Jean van Heijenoort - 1974 - Philosophy East and West 24 (3):253-268.
Logical Writings.Jacques Herbrand - 1971 - Dordrecht: Holland, D. Reidel Pub. Co..

Analytics

Added to PP index
2013-10-31

Total views
40 ( #186,129 of 2,325,374 )

Recent downloads (6 months)
5 ( #329,081 of 2,325,374 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature