A Guide to the Jean Van Heijenoort Papers,
19461988





Creator: 
Van Heijenoort, Jean,
1912 

Title: 
Jean Van Heijenoort Papers,


Dates: 
19461988 

Abstract: 
Collection documents the
career of Jean van Heijenoort (19121986) in mathematical logic and its
history. 

Extent: 
16 ft. manuscript,
typescript, printed. 

Languages: 
Materials are written in English and French. 

Repository: 
Dolph Briscoe Center for American
History, The University of Texas at
Austin 
Jean van Heijenoort was born in Creil, France, on July 13, 1912. He was
educated at the Lycée St. Louis in Paris. From 1932 to 1939, he served as Leon
Trotsky's personal secretary. Van Heijenoort left Trotsky in 1939 and came to
the United States, where his interests turned to mathematical logic. He
received his Ph.D. from New York University in 1949, and taught in the New York
University Mathematics Department until 1965, when he moved to the Department
of Philosophy and the History of Ideas at Brandeis University, becoming
Professor Emeritus in 1977. He died in Mexico City on March 28, 1986.
Van Heijenoort is bestknown for his work in the history of logic; he
was the editor of From Frege to Gödel: A Source Book in
Mathematical Logic, 18791931 (1967). He was also the author of several
nonhistorical works in mathematical logic. Some of this work appeared in his
Selected Essays (1985), but most remains unpublished.
His experiences with Trotsky are recounted in his With
Trotsky in Exile: From Prinkipo to Coyoacán (1978).
Source:"Jean van Heijenoort,
Former Trotsky Aide," New York Times, April 11, 1986
The Jean van Heijenoort Papers consist of two parts: (1) papers
transferred to the Archives of American Mathematics after his death, (2)
records of the preparation of From Frege to Gödel
(donated by Professor van Heijenoort in 1981). The posthumous donation consists
of his writings (including his thesis and dissertation, reprints, texts of
lectures, unpublished works, and some letters) (19461982; 8 in.), correspondence
(19561983; 1 in.), research notes and unfinished work (3.5 ft.), and a
collection of writings of others (including reprints, preprints, duplicated
lecture notes, etc.) (7 ft.). The records of From Frege to
Gödel consist of correspondence (19531976) together with associated
manuscript material (8 in.), and a collection of reprints, preprints, etc. (7 ft.).
Correspondents include A. Church, B. Dreben, Kurt Gödel, S. C. Kleene, R. Martin, C. D.
Parsons, W. V. Quine, and H. Wang.
Papers relating to van Heijenoort (19741988; 3 in.) donated by his
doctoral student, Dr. Irving H. Anellis, include correspondence with, and
concerning, van Heijenoort, notes of his courses, and Dr. Anellis' writings
about van Heijenoort.



Organization 

Organized into six series: 




Writings of Jean Van Heijenoort 


Correspondence: 


Work [Research notes, unfinished work] 


Writings of others [reprints, preprints, duplicated lecture notes,
etc.] 


From Frege to Gödel
 Correspondence
 Writings of others



Material donated by Irving H. Anellis 
Use Restrictions
This collection is stored remotely at CDL. Advance notice required for retrieval.
Contact repository for retrieval.










Van Heijenoort, Jean 


Logic, Symbolic and mathematical 


Logic, Symbolic and mathematical 
history 




Material related to van Heijenoort's years (19321939) as personal
secretary to Leon Trotsky is at the Houghton Library at Harvard University.
Records of his editing of the Collected Works of Kurt
Gödel (with Solomon Feferman and others, 1985) are at Stanford
University.

Jean Van Heijenoort Papers, 19461988, Archives of American Mathematics,
Dolph Briscoe Center for American History, University of Texas at Austin.
Detailed Description of the Collection















Writings of Jean van Heijenoort: 
Box 
94127/1 


On the correspondence between E. Cartan's method and the
vector method in differential geometry,
1946 



On locally convex surfaces,
1949 



On locally convex manifolds,
1952 



Topology,
1955 



On the calculation of the asymptotic value of a sum of
exponentials,
1956 



On the determination of coefficients in a sum of
exponentials,
1957 



Draft of a letter to Nagel (not sent),
1962 



Points and tensors,
1963 



Brouwer,
1963 



Mathematics, Logical structure of,
1963 



Set theory,
1963 



Logic,
1965 



Conversation with de Jongh,
Sept. 9, 1965 



Logic,
1966 



Interpretations, satisfiability, validity,
1966 



The settheoretic approach to logic,
1966 



The subformula approach to logic,
1966 



Report on Schagrin,
December 8, 1966 



Gödel's theorem,
1967 



Logical paradoxes,
1967 



From Frege to Gödel, 1967 




Notes 




Reviews 




Mail 




Copyrights 



Logic as calculus and logic as language (abstract),
1967 



Logic as calculus and logic as language,
1967 



Note on Herbrand,
January 28, 1967 



Report on Stoliar,
July 15, 1967 



Préface àHerbrand,
Ecrits logiques, 1968 



La logique comme calcul et la logique comme langage,
1968 



Un procédé de démonstration en calcul des predicats,
January 15, 1968 



Finitisme et infinitisme en logique,
January 18, 1968 



Report on Kuyk,
June 20, 1968 



Note,
October 31, 1968 



On the relation between the falsifiability tree method and
the Herbrand method in quantification theory,
November 20, 1968 



Frege and Gädel,
1970 



Notes on the tree method,
October 15, 1971 



Notes on logic,
October 15, 1971 



Notes on logic,
November 1, 1971 



Review of Szabo,
1972 



Herbrand,
1972 



Proof of the completeness of the method of Beth tableaux
for intuitionistic quantification theory,
1972 



Proof of the completeness of the method of Beth tableaux,
March 1, 1972 
Box 
94127/2 


Falsifiability trees,
March 15, 1972 



The tree method for intuitionistic quantification theory,
March 18, 1972 



The tableaux method for Grzegorczyk quantification theory,
March 18, 1972 



The tree method for intuitionistic quantification theory,
March 19, 1972 



The falsifiabilitytree method for the simple theory of
types with extensionality,
July 23, 1972 



Comparison between the falsifiabilitytree method and the
Gentzen system,
May 3, 1973 



A nonnormalizable system,
June 8, 1973 



Soundness and completeness of the falsifiabilitytree
method for sentential logic,
September 23, 1973 



Subject and predicate in Western logic,
1974 



Historical development of modern logic,
1974 



Review of Chihara,
1974 



Falsifiability trees,
30 September, 1974 



Monadic translation of sentential modal logic,
October 31, 1974 



The tree method for sentential modal logics,
November 3, 1974 



Translation of modal quantification theory into nonmodal
quantification theory,
November 15, 1974 



On the number of planets,
November 24, 1974 



The tree method for intuitionistic quantification theory,
May 9, 1975 



Notes on logic,
1975 



The falsifiabilitytree method for sentential
intuitionistic logic,
May 15, 1975 



Herbrand,
May 18, 1975 



Sense in Frege, ClermontFerrand,
July 24, 1975 



Falsifiability trees,
September 30, 1975 



Translation of modal quantification theory into classical
secondorder logic,
November 20, 1975 



Correspondence with Prawitz,
19751976 



The Herbrand approach to predicate logic,
1976 



Proof of the `semantic' Herbrand theorem,
1976 



Herbrand expansions and Herbrand disjunctions,
1976 



Should John be like every man?
1976 



John and every man,
1976 



Axiomatization and formalization,
1976 



El desarrollo de la teoría de la
Cuantificatión, 1976 



Settheoretic semantics,
July, 1976 



Méthode des arbres de falsifiabilité pour les logiques
modales propositionnelles,
November 20, 1976 



Gödel,
1977 



Hilbert,
1977 



Monadic translation of sentential modal logic,
February 12, 1977 



Modèles pour les logiques modales quantifiées,
March 13, 1977 



Frege on sense identity,
1977 



Sense in Frege,
1977 



Letter to Anne Fagot,
December 27, 1978 



Introduction àla sémantique des logiques nonclassiques,
1979 



Introduction àla sémantique des logiques nonclassiques,
March, 1979 



Absolutism and relativism in logic,
1979 



Absolutismo y relativismo en lógica,
1979 



Absolutismo y relativismo en lógica,
1979 



Ostension and vagueness,
June 13, 1979 



Rapport concernant M. Philippe de Rouilhan,
March 6, 1980 



Rapport concernant M. de Rouilhan,
March 12, 1980 



Letter to de Rouilhan,
March 24, 1980 



Letter to Dreben,
November 5, 1980 



On Herbrand's systems,
November 29, 1980 
Box 
94127/3 


Letter to Suzanne Bachelard,
February 27, 1981 



Letter to de Rouilhan,
February 27, 1981 



Letter to de Rouilhan,
April 28, 1981 



L'oeuvre logique de Jacques Herbrand et son contexte
historique,
1981 



Letter to Quine,
November 13, 1981 



Frege on vague predicates,
February 11, 1982 



Letter to Dale M. Johnson,
April 5, 1982 



Report on Orlowska,
June 14, 1982 



Identity,
October 12, 1982 















Correspondence: 
Box 
94127/3 


Brunschwig 



Church, A. 



Corcoran, J. 



Craig, W. 



de Rouilhan, P. 



Dreben, B. 



Engel, P. (with manuscript) 



Espié 



Feferman, S. 



Fraissé, R. 



Goldfarb, W. D. 



Hintikka, J. 



Prawitz, D. 



Zaslawsky, D. 















Work: 

[Research notes, unfinished work] 
Box 
94127/4 


Ontology and logic 



Pensée pure et langage 



Protosyntax 



Is a nonclassical logic necessary to
mathematics? 



Talk on Herbrand,
1982 



Symbols, language 



Natural deduction 



Intuitionism 



Logical form 



Nonclassical logics 




References 




Philosophy 




Current 



Logic problems 



Logic  notes 



Logic  quotations 



Functionals 



Nonclassical logics  miscellaneous 



Sense in Frege 



Frege misunderstood 



PostGödelian systems 



Nonclassical logics  papers 



Categoricalness 



Review of Chihara 



Logic and psychology 



Löwenheim 



Notebooks, small 



Functionals 



Foundations of geometry 



Simple theory of types 



Rigidity 



Herbrand (materials) 



Herbrand  Kreisel on Herbrand 



Herbrand, nonclassical 
Box 
94127/5 


Herbrand 



Settheoretic semantics 



Universalization 



On the completeness of firstorder logic 



On the FregeRussell definition of number 



Nature of mathematics 



Higherorder calculi 



Turing machines 



Foundations of mathematics, Arithmetic and Gödel's
theorem 



Onevalued logics 



On narrative discourse 



Theory of logic 



Paradoxes 



Recursive functions (definition of) 



Induction 



Intuitionism 



The number system 



Husserl 



Axiomatization of number theory 



Theoremproving by machine 



Notes 



Foundations of mathematics 



Independence proofs 



Axiom of infinity 
Box 
94127/6 


Consistency 



Infinite proofs 



Ordinals 



Categoricalness, Proof of (and discussion) 



Formalization of a theory 



Finite (definition of) 



Formalization of number theory 



Formal semantic 



The axiomatic method 



On the notion of recursive function 



Set theory 



Recursive function theory 



Recursive definitions 



A survey of logic, The subformula approach to
logic 



Conventionalism  logical 



Conventionalism, Poincaré and Reichenbach 



Definition 



Descriptive set theory 



Craig's lemma 



Type theory 



Completeness 



Contra Lemmon 



Conventionalism  Arithmetical 



Conventionalism  Geometrical 



Prenex forms 



Philosophy of logic 



Category theory 



Philo lectures 



Logic, Indian 



[unlabeled, notes on logic literature] 



On Gödel's theorem 



La petite plante 



Subject and predicate 



Algebraic logic 



Theory of descriptions 



Combinatory logic 



Hegel 



Notes (Philosophy) 



Ex falso sequitur quodlibet 



Subjects 



Infinitary languages 



Beth's error 



Misc. notes  Logic 



Misc. notes on logic 



Copié 



Philosophy of logic 



Received from J. D.,
October 12, 1982 



Alphabetical order 



Neat numbers 



Logic, Nature of 



A survey of logic, miscellaneous notes 
Box 
94127/7 


Moore 



Coffa 



Hintikka 



Hintikka,
1975 



Hintikka,
1957 



Hintikka and Rantala 



Vagueness, Incomplete entities 



Du vague (copy) 



Frege and vagueness (copy) 



Frege and vagueness  materials 



Frege and vagueness 



Ostension and vagueness 



Du vague  Lecture in French 



Vagueness  Notes courant 



Vagueness  Notes 



Vagueness  Sea battle 



Vagueness 



Frege and vagueness,
August 23, 1982 



Frege on vague predicates 



Vagueness 




Cashier 




Current 




Intuitionism and vagueness 




Leibniz, Dedekind, Frege 




Materials 




Noise and vagueness 




Poincaré 




Probability, information theory 




Realism and bivalence 




References 




Time 




Undecidability and vagueness 



Notes diverses 



Ostension 



Intension 



Substitutional quantification 



Valuations 



Frege's
Farbung 



A fashionable quotation 



Notes philosophiques 



Frege's universe 



Alston 



Ayer 



Frege  Über das Trägheitsgesetz 



Haack 



Kreisel, Review of Brouwer's Cambridge lectures,
1982 



Parikh,
1977 



Parikh,
1981 



Peirce 



Posy 



Putnam,
1982 



Quine, Facts of the matter,
1977 



Quine,
1980 
Box 
94127/8 


Russell, Vagueness,
1923 



Van Dalen,
1978 



Zadeh 



Girard 



Brouwer, Cambridge lectures 



Troelstra, Choice sequences 



Category theory 



Distributions 



Bell 



Fourman and Scott 



Notes politiques 



de Rouilhan 



Notes to be classified  Logic, 1 of 2 
Box 
94127/9 


Notes to be classified  Logic, 2 of 2 















Writings of others: 

[reprints, preprints, duplicated lecture notes, etc.] 
Box 
94127/9 


"Papers" 




[folder of unsorted papers] 



A  Blom 
Box 
94127/10 


BloomDiller 
Box 
94127/11 


DrebenGirard 
Box 
94127/12 


GirardHermes 
Box 
94127/13 


HermesKandel 
Box 
94127/14 


KaplanMalament 
Box 
94127/15 


MarchaissePrawitz 
Box 
94127/16 


PrawitzSchank 
Box 
94127/17 


ScaltsasSmith 
Box 
94127/18 


SmithZucker 















From Frege to Gödel: 
Box 
94127/19 


Correspondence: 




["M" indicates presence of manuscript(s) in addition to letters.
"*" indicates no letters to or from van Heijenoort.] 




Ackerman, Hans Richard 




Ackerman, Wilhelm 




Artin, Emil 




Bernays, Paul 





to Dreben, B. 





to Goldfarb 




Beth, E. W. 




Cassina, U. 




Church, A. [M] 




Corcoran, John 




Curry, Haskell B. 




Dawson, John W., Jr.,
19821986 




De Jongh 




*Dedekind, Richard [M] 





to H. Keferstein 




Dreben, Burton [M] 





to Bernays, P. 






Gödel, K. (with reply) 






Hailperin, T. (with reply) 






Mints, G. E. 






Schutte, K. 




*Fenstad, Jens Erik 





to Savitt, S. 




Finsler, P. 




Follesdal, Dagfinn 




Fraenkel, Abraham A. 




Gilmore, Paul 




*Girard, JeanYves [M] 




Gödel, Kurt 





to Davis, M. 






Quine, W. V. 




Goodstein, R. L. 
Box 
94127/20 



*Herbrand, Documents ENS 





[photocopies of letters and documents
circa 1931. Includes letters of E. Artin,
J. Herbrand, and E. Noether] 




Hermes, Hans 




Heyting, A. 




Isles, David 




*Keferstein, H. [M] 





to Dedekind 




Kleene, S. C. [M] 





to Dreben, B. 




Koerner, S. 




Kolmogorov, A. H. 




Leaf, Michelina 




Martin, Roger [M] 




MartinLoef, Per 




Montague 




Moschovakis, Yiannis N. 




Myhill 




Nagel, Ernst 




Parsons, Charles D. 





correspondence with G. Kreisel 




Patzig, Guenther 





to Dreben, B. 





correspondence of van H. with J. Sprute 




Quine, W. V. 





to Elder, J. (Harvard Univ. Press) 






Gochet 






Gödel, K. 






Granger, M. 





Correspondence of Quine and van H. with J. C.
Thiel 




Raggio, A. 




Russell, Bertrand 





to Frege 




Scanlon, T. 




*Scott, Dana S. 





to B. Dreben/H. Wang 




Skolem, Th. [M] 





D. Follesdal to van H. 





V. F. Rickey to van H. 




Tarski, Alfred 




van Heijenoort, J. On Herbrand's Systems,
1980 




Vesley, Richard E. 




Wang, Hao [M] 





to Dreben, B. 




Weil, A. 




Wiener, Norbert 




Wilder, Raymond L. 



Writings of others: 
Box 
94127/21 



A  Beth (Includes correspondence with P. B.
Andrews) 
Box 
94127/22 



Biardeau  Church 
Box 
94127/23 



Cohen  Culmer 
Box 
94127/24 



Cummins  Feferman 
Box 
94127/25 



Feferman  Gergonne 
Box 
94127/26 



Giannattasio  Guillaume 
Box 
94127/27 



H 
Box 
94127/28 



I 
Box 
94127/29 



J  L 
Box 
94127/30 



M  O 
Box 
94127/31 



P  Q 
Box 
94127/32 



R  Scott 
Box 
94127/33 



Se  Szabo 
Box 
94127/34 



T  V 
Box 
94127/35 



W  Z, and unidentified 















Material donated by Irving H. Anellis: 
Box 
94127/36 


Item list by Irving H. Anellis; Correspondence with van
Heijenoort; Manuscripts by van Heijenoort; Newspaper clippings 



Correspondence and notes concerning van Heijenoort; Jean
van Heijenoort, his life and contributions to logic, by Irving H.
Anellis 



Writings about van Heijenoort by Dr. Anellis 



List of van Heijenoort's courses; Examinations; Course
notes: Logic and ontology, Theories of quantification, Intermediate
logic 



Course notes: Advanced topics in logic: Frege, Foundations
of mathematics 
