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 formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of forma ...
. He was also a personal secretary to
Leon Trotsky Lev Davidovich Bronstein. ( – 21 August 1940), better known as Leon Trotsky; uk, link= no, Лев Давидович Троцький; also transliterated ''Lyev'', ''Trotski'', ''Trotskij'', ''Trockij'' and ''Trotzky''. (), was a Russian ...
from 1932 to 1939, and an American
Trotskyist Trotskyism is the political ideology and branch of Marxism developed by Ukrainian-Russian revolutionary Leon Trotsky and some other members of the Left Opposition and Fourth International. Trotsky self-identified as an orthodox Marxist, a ...
until 1947.


Life

Van Heijenoort was born in
Creil Creil is a commune in the Oise department in 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 Iron Age necropolis, perhaps belonging ...
in
France France (), officially the French Republic ( ), is a country primarily located in Western Europe. It also comprises of Overseas France, overseas regions and territories in the Americas and the Atlantic Ocean, Atlantic, Pacific Ocean, Pac ...
. His family's financial situation was difficult as his father, after having immigrated from the Netherlands, died when van Heijenoort was 2. He completed normal education and became fluent in French. He remained attached to his French extended family and friends until his death and visited France twice a year after he became a
naturalized Naturalization (or naturalisation) is the legal act or process by which a non-citizen of a country may acquire citizenship or nationality of that country. It may be done automatically by a statute, i.e., without any effort on the part of the in ...
American citizen in 1958. He was murdered in
Mexico City Mexico City ( es, link=no, Ciudad de México, ; abbr.: CDMX; Nahuatl: ''Altepetl Mexico'') is the capital and largest city of Mexico, and the most populous city in North America. One of the world's alpha cities, it is located in the Valley o ...
in 1986 by his 4th spouse.


Political views

In 1932, Van Heijenoort was recruited by
Yvan Craipeau Yvan Craipeau (24 September 1911, La Roche-sur-Yon, Vendée – 13 December 2001) was a French Trotskyist activist. Born in La Roche-sur-Yon, he helped found a local independent Marxist organisation while he was still in his teens. Expelled from ...
to join the
Trotskyist Trotskyism is the political ideology and branch of Marxism developed by Ukrainian-Russian revolutionary Leon Trotsky and some other members of the Left Opposition and Fourth International. Trotsky self-identified as an orthodox Marxist, a ...
movement. He joined the
Communist League The Communist League (German: ''Bund der Kommunisten)'' was an international political party established on 1 June 1847 in London, England. The organisation was formed through the merger of the League of the Just, headed by Karl Schapper, and t ...
in the same year. After
Trotsky Lev Davidovich Bronstein. ( – 21 August 1940), better known as Leon Trotsky; uk, link= no, Лев Давидович Троцький; also transliterated ''Lyev'', ''Trotski'', ''Trotskij'', ''Trockij'' and ''Trotzky''. (), was a Russian M ...
was exiled, he hired van Heijenoort as a
secretary A secretary, administrative professional, administrative assistant, executive assistant, administrative officer, administrative support specialist, clerk, military assistant, management assistant, office secretary, or personal assistant is a ...
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 or NYC, is the List of United States cities by population, most populous city in the United States. With a 2020 population of 8,804,190 distributed over , New York City is also the L ...
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 New York most commonly refers to: * New York City, the most populous city in the United States, located in the state of New York * New York (state), a state in the northeastern United States New York may also refer to: Film and television * '' ...
, he worked for the
Socialist Workers Party (US) The Socialist Workers Party (SWP) is a communist party in the United States. Originally a group in the Communist Party USA that supported Leon Trotsky against Soviet leader Joseph Stalin, it places a priority on "solidarity work" to aid stri ...
(SWP) and wrote a number of articles for the American Trotskyist press and other
radical Radical may refer to: Politics and ideology Politics * Radical politics, the political intent of fundamental societal change *Radicalism (historical), the Radical Movement that began in late 18th century Britain and spread to continental Europe an ...
outlets. He was elected to the secretariat of the
Fourth International The Fourth International (FI) is a revolutionary socialist international organization consisting of followers of Leon Trotsky, also known as Trotskyists, whose declared goal is the overthrowing of global capitalism and the establishment of ...
in 1940 but resigned when Felix Morrow and
Albert Goldman Albert Harry Goldman (April 15, 1927 – March 28, 1994) was an American academic and author. Goldman wrote about the culture and personalities of the American music industry both in books and as a contributor to magazines. He is best known f ...
, 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, Heijenoort too was expelled from the SWP. In 1948, he published an article, entitle
"A Century's Balance Sheet"
in which he criticized that part of
Marxism Marxism is a Left-wing politics, left-wing to Far-left politics, far-left method of socioeconomic analysis that uses a Materialism, materialist interpretation of historical development, better known as historical materialism, to understand S ...
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 the practice of making false or unfounded accusations of subversion and treason, especially when related to anarchism, communism and socialism, and especially when done in a public and attention-grabbing manner. The term origin ...
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 Houghton Library, on the south side of Harvard Yard adjacent to Widener Library, is Harvard University's primary repository for rare books and manuscripts. It is part of the Harvard College Library, the library system of Harvard's Faculty of ...
in
Harvard University Harvard University is a private Ivy League research university in Cambridge, Massachusetts. Founded in 1636 as Harvard College and named for its first benefactor, the Puritan clergyman John Harvard, it is the oldest institution of highe ...
, which holds many of Trotsky's papers from his years in exile.


Academic work

After completing a Ph.D. in
mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
at
New York University New York University (NYU) is a private research university in New York City. Chartered in 1831 by the New York State Legislature, NYU was founded by a group of New Yorkers led by then- Secretary of the Treasury Albert Gallatin. In 1832, th ...
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 science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from prem ...
and
philosophy of mathematics The philosophy of mathematics is the branch of philosophy that studies the assumptions, foundations, and implications of mathematics. It aims to understand the nature and methods of mathematics, and find out the place of mathematics in people' ...
, largely under the influence of Georg Kreisel. He started teaching philosophy, first part-time at
Columbia University Columbia University (also known as Columbia, and officially as Columbia University in the City of New York) is a private research university in New York City. Established in 1754 as King's College on the grounds of Trinity Church in Manhatt ...
, then full-time at
Brandeis University , mottoeng = "Truth even unto its innermost parts" , established = , type = Private research university , accreditation = NECHE , president = Ronald D. Liebowitz , p ...
from 1965 to 1977. He spent much of his last decade at
Stanford University Stanford University, officially Leland Stanford Junior University, is a private research university in Stanford, California. The campus occupies , among the largest in the United States, and enrolls over 17,000 students. Stanford is conside ...
, 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 had an imm ...
. ''From Frege to Godel: A Source Book in Mathematical Logic'' (van Heijenoort 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 India, China, and Greece. Greek methods, particularly Aristotelian logic (or term logic) as found ...
and the
foundations of mathematics Foundations of mathematics is the study of the philosophical and logical and/or algorithmic basis of mathematics, or, in a broader sense, the mathematical investigation of what underlies the philosophical theories concerning the nature of mathe ...
. It begins with the first complete translation of
Frege Friedrich Ludwig Gottlob Frege (; ; 8 November 1848 – 26 July 1925) was a German philosopher, logician, and mathematician. He was a mathematics professor at the University of Jena, and is understood by many to be the father of analytic p ...
's 1879 ''
Begriffsschrift ''Begriffsschrift'' (German for, roughly, "concept-script") 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 nota ...
,'' followed by 45 short pieces on
mathematical logic Mathematical logic is the study of formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of forma ...
and
axiomatic set theory Set theory is the branch of mathematical logic that studies 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 mathematics, is mostly concern ...
, originally published between 1889 and 1931. The anthology ends with Gödel's landmark paper on the incompleteness of Peano arithmetic. For more information on the period covered by this anthology, see Grattan-Guinness (2000). Nearly all the content of ''From Frege to Godel: 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 the research library that officially serves the United States Congress and is the ''de facto'' national library of the United States. It is the oldest federal cultural institution in the country. The libra ...
did not acquire a copy of the ''
Begriffsschrift ''Begriffsschrift'' (German for, roughly, "concept-script") 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 nota ...
'' 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 century" ...
and
Burton Dreben Burton Spencer Dreben (September 27, 1927 – July 11, 1999) was an American philosopher specializing in mathematical logic. A Harvard graduate who taught at his alma mater for most of his career (where he retired as Edgar Pierce Professor o ...
); its references were combined into a comprehensive bibliography, and misprints, inconsistencies, and errors were corrected. ''From Frege to Godel: 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-script") 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 nota ...
''. 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 Giuseppe Peano (; ; 27 August 1858 – 20 April 1932) was an Italian mathematician and glottologist. The author of over 200 books and papers, he was a founder of mathematical logic and set theory, to which he contributed much notation. The sta ...
. Ironically, van Heijenoort (1967a) is often cited by those who prefer the alternative
model theoretic In mathematical logic, model theory is the study of the relationship between formal theories (a collection of sentences in a formal language expressing statements about a mathematical structure), and their models (those structures in which the st ...
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 ...
,
Charles Sanders Peirce Charles Sanders Peirce ( ; September 10, 1839 – April 19, 1914) was an American philosopher, logician, mathematician and scientist who is sometimes known as "the father of pragmatism". Educated as a chemist and employed as a scientist for ...
, Ernst Schröder,
Leopold Löwenheim Leopold Löwenheim �le:o:pɔl̩d ˈlø:vɛnhaɪm(26 June 1878 in Krefeld – 5 May 1957 in Berlin) was a German mathematician doing work in mathematical logic. The Nazi regime forced him to retire because under the Nuremberg Laws he was considere ...
,
Thoralf Skolem Thoralf Albert Skolem (; 23 May 1887 – 23 March 1963) was a Norwegian mathematician who worked in mathematical logic and set theory. Life Although Skolem's father was a primary school teacher, most of his extended family were farmers. 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 a ...
, and
Jaakko Hintikka Kaarlo Jaakko Juhani Hintikka (12 January 1929 – 12 August 2015) was a Finnish philosopher and logician. Life and career Hintikka was born in Helsingin maalaiskunta (now Vantaa). In 1953, he received his doctorate from the University of Hel ...
, is covered in Brady (2000). ''From Frege to Godel: 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. What is now usually called classical algebraic logic focuses on the identification and algebraic description of models appropriate for ...
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 Coyoacán ( , ) is a borough (''demarcación territorial'') in Mexico City. The former village is now the borough's "historic center". The name comes from Nahuatl and most likely means "place of coyotes", when the Aztecs named a pre-Hispani ...
, 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 ( es, link=no, Ciudad de México, ; abbr.: CDMX; Nahuatl: ''Altepetl Mexico'') is the capital and largest city of Mexico, and the most populous city in North America. One of the world's alpha cities, it is located in the Valley o ...
where she murdered him before taking her own life. Van Heijenoort was also one of
Frida Kahlo Magdalena Carmen Frida Kahlo y Calderón (; 6 July 1907 – 13 July 1954) was a Mexican painter known for her many portraits, self-portraits, and works inspired by the nature and artifacts of Mexico. Inspired by the country's popular culture, ...
's lovers; in the film ''
Frida ''Frida'' is a 2002 American biographical drama film directed by Julie Taymor which depicts the professional and private life of the surrealist Mexican artist Frida Kahlo. Starring Salma Hayek in an Academy Award–nominated portrayal as K ...
'', he is played by Felipe Fulop.


Selected works

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


References


Bibliography

* * * * *


External links

* *
Perspectives on the History and Philosophy of Modern Logic: Van Heijenoort Centenary
special issue of
Logica Universalis ''Logica Universalis'' is a peer-reviewed academic journal An academic journal or scholarly journal is a periodical publication in which scholarship relating to a particular academic discipline is published. Academic journals serve as permanen ...
for Jean Van Heijenoort Centenary with papers by Feferman, Feferman,
Hintikka Kaarlo Jaakko Juhani Hintikka (12 January 1929 – 12 August 2015) was a Finnish philosopher and logician. Life and career Hintikka was born in Helsingin maalaiskunta (now Vantaa). In 1953, he received his doctorate from the University of Helsin ...
, 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 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