Jean van Heijenoort
   HOME

TheInfoList



OR:

Jean Louis Maxime van Heijenoort ( ; ; ; July 23, 1912 – March 29, 1986) was a historian of
mathematical logic Mathematical logic is the study of Logic#Formal logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory (also known as computability theory). Research in mathematical logic com ...
. He was also a personal secretary to
Leon Trotsky Lev Davidovich Bronstein ( – 21 August 1940), better known as Leon Trotsky,; ; also transliterated ''Lyev'', ''Trotski'', ''Trockij'' and ''Trotzky'' was a Russian revolutionary, Soviet politician, and political theorist. He was a key figure ...
from 1932 to 1939, and an American
Trotskyist Trotskyism (, ) is the political ideology and branch of Marxism developed by Russian revolutionary and intellectual Leon Trotsky along with some other members of the Left Opposition and the Fourth International. Trotsky described himself as an ...
until 1947.


Life

Van Heijenoort was born in
Creil Creil () is a Communes of France, commune in the Oise Departments of France, department, northern France. The Creil station is an important railway junction. History Archaeological remains in the area include a Neolithic site as well as a late ...
, France. His parents had immigrated from the Netherlands before his birth. When van Heijenoort was only two years old, his father passed away, leaving his family in financial hardship. Despite these challenges, he pursued his education and became proficient in French. Throughout his life, he maintained strong connections with his extended family and friends in France, making biannual visits after he obtained American citizenship in 1958.


Political views

In 1932, van Heijenoort was recruited by Yvan Craipeau to join the
Trotskyist Trotskyism (, ) is the political ideology and branch of Marxism developed by Russian revolutionary and intellectual Leon Trotsky along with some other members of the Left Opposition and the Fourth International. Trotsky described himself as an ...
movement. He joined the Communist League in the same year. After Trotsky was exiled, he hired van Heijenoort as a
secretary A secretary, administrative assistant, executive assistant, personal secretary, or other similar titles is an individual whose work consists of supporting management, including executives, using a variety of project management, program evalu ...
and bodyguard, primarily because of his fluency in French, Russian, German, and English. Van Heijenoort spent seven years in Trotsky's household, during which he served as a translator, helped Trotsky write several books and carried on an extensive intellectual and political correspondence in several languages. In 1939, van Heijenoort moved to
New York City New York, often called New York City (NYC), is the most populous city in the United States, located at the southern tip of New York State on one of the world's largest natural harbors. The city comprises five boroughs, each coextensive w ...
to be with his second wife, Beatrice "Bunny" Guyer. He was not involved in the circumstances leading to Trotsky's murder in 1940. In New York, he worked for the Socialist Workers Party (US) (SWP) and wrote a number of articles for the American Trotskyist press and other radical outlets. He was elected to the secretariat of the
Fourth International The Fourth International (FI) was a political international established in France in 1938 by Leon Trotsky and his supporters, having been expelled from the Soviet Union and the Communist International (also known as Comintern or the Third Inte ...
in 1940 but resigned when Felix Morrow and Albert Goldman, with whom he had sided, were expelled from the SWP. (Goldman subsequently joined the US Workers Party while Morrow did not join any other party or grouping.) In 1947, van Heijenoort too was expelled from the SWP. In 1948, he published an article, entitled "A Century's Balance Sheet", in which he criticized that part of
Marxism Marxism is a political philosophy and method of socioeconomic analysis. It uses a dialectical and materialist interpretation of historical development, better known as historical materialism, to analyse class relations, social conflict, ...
which saw the "proletariat" as the revolutionary class. He continued to hold other parts of Marxism as true. Van Heijenoort was spared the ordeal of
McCarthyism McCarthyism is a political practice defined by the political repression and persecution of left-wing individuals and a Fear mongering, campaign spreading fear of communist and Soviet influence on American institutions and of Soviet espionage i ...
as everything he published in Trotskyist publications appeared under one of over a dozen pen names he used. According to Feferman (1993), Van Heijenoort the logician was quite reserved about his Trotskyist youth, and did not discuss politics. Nevertheless, he contributed to the Trotskyist movement until the last decade of his life, when he wrote his monograph ''With Trotsky in Exile'' (1978), and an edition of Trotsky's correspondence (1980). He advised and collaborated with the archivists at the Houghton Library in
Harvard University Harvard University is a Private university, private Ivy League research university in Cambridge, Massachusetts, United States. Founded in 1636 and named for its first benefactor, the History of the Puritans in North America, Puritan clergyma ...
, which holds many of Trotsky's papers from his years in exile.


Academic work

After completing a Ph.D. in
mathematics Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
at
New York University New York University (NYU) is a private university, private research university in New York City, New York, United States. Chartered in 1831 by the New York State Legislature, NYU was founded in 1832 by Albert Gallatin as a Nondenominational ...
in 1949 under the supervision of J. J. Stoker, Van Heijenoort began to teach mathematics at New York University, but moved to
logic Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical truths. It examines how conclusions follow from premises based on the structure o ...
and
philosophy of mathematics Philosophy of mathematics is the branch of philosophy that deals with the nature of mathematics and its relationship to other areas of philosophy, particularly epistemology and metaphysics. Central questions posed include whether or not mathem ...
, largely under the influence of Georg Kreisel. He started teaching philosophy, first part-time at
Columbia University Columbia University in the City of New York, commonly referred to as Columbia University, is a Private university, private Ivy League research university in New York City. Established in 1754 as King's College on the grounds of Trinity Churc ...
, then full-time at
Brandeis University Brandeis University () is a Private university, private research university in Waltham, Massachusetts, United States. It is located within the Greater Boston area. Founded in 1948 as a nonsectarian, non-sectarian, coeducational university, Bra ...
from 1965 to 1977. He spent much of his last decade at
Stanford University Leland Stanford Junior University, commonly referred to as Stanford University, is a Private university, private research university in Stanford, California, United States. It was founded in 1885 by railroad magnate Leland Stanford (the eighth ...
, writing and editing eight books, including parts of the ''Collected Works'' of
Kurt Gödel Kurt Friedrich Gödel ( ; ; April 28, 1906 – January 14, 1978) was a logician, mathematician, and philosopher. Considered along with Aristotle and Gottlob Frege to be one of the most significant logicians in history, Gödel profoundly ...
. ''From Frege to Gödel: A Source Book in Mathematical Logic'' (1967) is an anthology of translations on the
history of logic The history of logic deals with the study of the development of the science of valid inference (logic). Formal logics developed in ancient times in Indian logic, India, Logic in China, China, and Greek philosophy, Greece. Greek methods, particula ...
and the
foundations of mathematics Foundations of mathematics are the mathematical logic, logical and mathematics, mathematical framework that allows the development of mathematics without generating consistency, self-contradictory theories, and to have reliable concepts of theo ...
. It begins with the first complete translation of Frege's 1879 ''
Begriffsschrift ''Begriffsschrift'' (German for, roughly, "concept-writing") is a book on logic by Gottlob Frege, published in 1879, and the formal system set out in that book. ''Begriffsschrift'' is usually translated as ''concept writing'' or ''concept notati ...
,'' followed by 45 short pieces on
mathematical logic Mathematical logic is the study of Logic#Formal logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory (also known as computability theory). Research in mathematical logic com ...
and
axiomatic set theory Set theory is the branch of mathematical logic that studies Set (mathematics), sets, which can be informally described as collections of objects. Although objects of any kind can be collected into a set, set theory – as a branch of mathema ...
, originally published between 1889 and 1931. The anthology ends with Gödel's landmark paper on the incompleteness of Peano arithmetic. Nearly all the content of ''From Frege to Gödel: A Source Book in Mathematical Logic'' had only been available in a few North American university libraries (e.g., even the
Library of Congress The Library of Congress (LOC) is a research library in Washington, D.C., serving as the library and research service for the United States Congress and the ''de facto'' national library of the United States. It also administers Copyright law o ...
did not acquire a copy of the ''
Begriffsschrift ''Begriffsschrift'' (German for, roughly, "concept-writing") is a book on logic by Gottlob Frege, published in 1879, and the formal system set out in that book. ''Begriffsschrift'' is usually translated as ''concept writing'' or ''concept notati ...
'' until 1964), and all but four pieces had to be translated from one of six continental European languages. When possible, the authors of the original texts reviewed the translations, and suggested corrections and amendments. Each piece was supplied with editorial footnotes and an introduction (mostly by Van Heijenoort but some by
Willard Quine Willard Van Orman Quine ( ; known to his friends as "Van"; June 25, 1908 – December 25, 2000) was an American philosopher and logician in the analytic tradition, recognized as "one of the most influential philosophers of the twentieth centur ...
and Burton Dreben); its references were combined into a comprehensive bibliography, and misprints, inconsistencies, and errors were corrected. ''From Frege to Gödel: A Source Book in Mathematical Logic'' contributed to advancing the view that modern logic begins with, and builds on, the ''
Begriffsschrift ''Begriffsschrift'' (German for, roughly, "concept-writing") is a book on logic by Gottlob Frege, published in 1879, and the formal system set out in that book. ''Begriffsschrift'' is usually translated as ''concept writing'' or ''concept notati ...
''. Grattan-Guinness (2000) argues that this perspective on the history of logic is mistaken, because Frege employed an idiosyncratic notation and was significantly less read than Peano. Ironically, van Heijenoort (1967) is often cited by those who prefer the alternative model theoretic stance on logic and mathematics. Much of the history of that stance, whose leading lights include
George Boole George Boole ( ; 2 November 1815 – 8 December 1864) was a largely self-taught English mathematician, philosopher and logician, most of whose short career was spent as the first professor of mathematics at Queen's College, Cork in Ireland. H ...
,
Charles Sanders Peirce Charles Sanders Peirce ( ; September 10, 1839 – April 19, 1914) was an American scientist, mathematician, logician, and philosopher who is sometimes known as "the father of pragmatism". According to philosopher Paul Weiss (philosopher), Paul ...
, Ernst Schröder, Leopold Löwenheim, Thoralf Skolem,
Alfred Tarski Alfred Tarski (; ; born Alfred Teitelbaum;School of Mathematics and Statistics, University of St Andrews ''School of Mathematics and Statistics, University of St Andrews''. January 14, 1901 – October 26, 1983) was a Polish-American logician ...
, and Jaakko Hintikka, is covered in Brady (2000). ''From Frege to Gödel: A Source Book in Mathematical Logic'' underrated the
algebraic logic In mathematical logic, algebraic logic is the reasoning obtained by manipulating equations with Free variables and bound variables, free variables. What is now usually called classical algebraic logic focuses on the identification and algebraic de ...
of De Morgan, Boole, Peirce, and Schröder, but devoted more pages to Skolem than to anyone other than Frege, and included Löwenheim (1915), the founding paper on model theory.


Personal life

Van Heijenoort had children with two of his four wives. While living with Trotsky in Coyoacán, van Heijenoort's first wife left him after an argument with Trotsky's spouse. In 1986, he visited his estranged fourth wife, Anne-Marie Zamora, in
Mexico City Mexico City is the capital city, capital and List of cities in Mexico, largest city of Mexico, as well as the List of North American cities by population, most populous city in North America. It is one of the most important cultural and finan ...
where she murdered him before taking her own life. Van Heijenoort was also one of Frida Kahlo's lovers; in the film ''
Frida Frida, Frieda, or Freida may refer to: People and fictional characters *Frida (given name), any of several people or characters ** *Frieda (surname), any of several people or characters *Afroditi Frida (born 1964), Greek singer *Frida (singer) ...
'', he is played by Felipe Fulop.


Selected works

* * * Books which Van Heijenoort edited alone or with others: * * * * *


References


Sources

* * * * *


External links

* *
Perspectives on the History and Philosophy of Modern Logic: Van Heijenoort Centenary
special issue of Logica Universalis for Jean Van Heijenoort Centenary with papers by Feferman, Feferman, Hintikka, Jan Wolenski etc.
The Lubitz ''TrotskyanaNet''
provides a biographical sketch and a selective bibliography ore complete than Feferman'sof Jean Van Heijenoort
A Guide to the Jean Van Heijenoort papers, 1946–1988
* ttps://www.marxists.org/history/etol/writers/heijen/index.htm Jean van Heijenoort Internet Archive* {{DEFAULTSORT:Van Heijenoort, Jean 1912 births 1986 deaths New York University alumni American Trotskyists American logicians American historians of mathematics French Trotskyists People murdered in Mexico American people murdered abroad French people murdered abroad Philosophers of mathematics French people of Dutch descent French logicians French expatriates in the United States