ジャン・ファン・ヘイエノールト

ジャン・ファン・ヘイエノールトは1912年、フランスのオワーズ県クレイルで労働者階級の家庭に生まれた。誕生日は7月23日。父親はフランスに移住したオランダ人のジャン・テオドール・ディディエ・ファン・ヘイエノールト（ 1885年生まれ）、母親はフランス人のシャルロット・エレーヌ・バラニー（ 1887年生まれ）である。二人は1910年に結婚した。フランスの国籍法によれば、バラニーはオランダ国籍を取得した。夫は第一次世界大戦中の1914年9月に亡くなった。ファン・ヘイエノールトは、ドイツ人やオランダ人の名前を持つ人々に対するフランスの排他的愛国主義による憎悪に苦しめられなければならなかった。ファン・ヘイエノールトは常に「汚いドイツ人」という意味の「 sale Boche」と呼ばれていた。 ^{[ 1 ]}

1949年、未亡人バラニーは再婚し、ジョルジュ・ドレが2番目の夫となった。この結婚により、彼女はフランス国籍を回復した。娘のポーレットが生まれた。そしてヴァン・ヘイエノールトは、母親の妹で同じく未亡人であるアンジェルと数年間を過ごした。アンジェルには2人の娘がいた。^{[ 1 ]}

1932年、ヴァン・ヘイエノールトはイヴァン・クレイポーに勧誘され、トロツキー主義運動に参加した。同年、彼は共産主義者同盟にも加入した。トロツキーが亡命した後、フランス語、ロシア語、ドイツ語、英語に堪能だったことから、トロツキーはヴァン・ヘイエノールトを秘書兼ボディーガードとして雇った。ヴァン・ヘイエノールトはトロツキーの邸宅で7年間を過ごし、その間、翻訳者として働き、トロツキーの著書執筆を支援し、複数の言語で広範な知的・政治的な書簡のやり取りを行った。

1939年、ヴァン・ヘイエノールトは2番目の妻ベアトリス・“バニー”・ガイアーと暮らすためニューヨーク市に移住した。彼は1940年のトロツキー暗殺に至る経緯には関与していなかった。ニューヨークでは、社会主義労働者党（米国） （SWP）で働き、アメリカのトロツキスト系新聞やその他の急進的な媒体に多数の記事を執筆した。 1940年には第四インターナショナルの書記に選出されたが、彼が味方していたフェリックス・モローとアルバート・ゴールドマンがSWPから追放された際に辞任した。（ゴールドマンはその後米国労働者党に加入したが、モローは他の政党や団体には加入しなかった。）1947年、ヴァン・ヘイエノールトもSWPから追放された。 1948年、彼は「一世紀のバランスシート」と題する論文を発表し、その中で「プロレタリアート」を革命階級とみなすマルクス主義の一部を批判した。しかし、マルクス主義の他の部分は依然として正しいと信じていた。

ヴァン・ヘイエノールトは、トロツキー主義系の出版物に発表した論文はすべて、彼が使用していた10数個のペンネームのいずれかで発表されたため、マッカーシズムの苦難を免れた。フェファーマン（1993）によれば、論理学者であるヴァン・ヘイエノールトは、トロツキー主義者としての青年時代については非常に控えめで、政治について語ることはなかった。それでも、彼は晩年の10年間までトロツキー主義運動に貢献し、その年にモノグラフ『亡命中のトロツキーと共に』 （1978年）とトロツキーの書簡集（1980年）を執筆した。彼は、亡命時代のトロツキーの多くの文書を所蔵するハーバード大学ホートン図書館のアーカイブ担当者に助言を与え、協力した。

ヴァン・ヘイエノールトは、 1949年にJJストーカーの指導の下、ニューヨーク大学で数学の博士号を取得した後、同大学で数学の教鞭を執り始めたが、ゲオルク・クライゼルの影響を強く受け、論理学と数学の哲学へと研究の場を移した。彼は哲学の教鞭を執り始め、最初はコロンビア大学で非常勤講師として、その後1965年から1977年までブランダイス大学で常勤講師として教鞭を執った。 ^{[ 2 ]}彼は晩年の10年間の大半をスタンフォード大学で過ごし、クルト・ゲーデル全集の一部を含む8冊の著書を執筆・編集した。

『フレーゲからゲーデルへ：数理論理学の資料集』（1967年）^{[ 3 ]}は、論理学の歴史と数学の基礎に関する翻訳集です。フレーゲの1879年の『概念書』の最初の完全な翻訳から始まり、続いて1889年から1931年の間に発表された数理論理学と公理的集合論に関する45の短い論文が掲載されています。この論文集は、ゲーデルのペアノ算術の不完全性に関する画期的な論文で締めくくられています。

『フレーゲからゲーデルへ：数理論理学の資料集』の内容は、ほぼすべて北米の大学図書館にしか所蔵されておらず（例えば、米国議会図書館でさえ、1964年まで『概念書』を所蔵していなかった）、収録されている作品のうち4作品を除くすべてが、ヨーロッパ大陸の6つの言語から翻訳されたものである。可能な限り、原著の著者が翻訳を校閲し、修正や加筆を提案した。各作品には編集上の脚注と序文（主にヴァン・ヘイエノールトによるもの、一部はウィラード・クワインとバートン・ドレーベンによるもの）が付され、参考文献は包括的な書誌にまとめられ、誤植、矛盾、誤りは修正された。

『フレーゲからゲーデルへ：数理論理学のソースブック』は、現代論理学が概念記号から始まり、概念記号の上に構築されるという見解を広めるのに貢献した。グラッタン＝ギネス（2000）は、フレーゲが独特な記法を用い、ペアノよりも読まれなかったことから、この論理学史観は誤りであると主張している。皮肉なことに、ヴァン・ヘイエノールト（1967）は、論理学と数学に関する代替モデル理論的立場を好む人々によってしばしば引用される。ジョージ・ブール、チャールズ・サンダース・パース、エルンスト・シュレーダー、レオポルド・レーヴェンハイム、トーラルフ・スコレム、アルフレッド・タルスキ、ヤーッコ・ヒンティッカなど、この立場の指導者たちの歴史の多くは、ブレイディ（2000）で取り上げられている。『フレーゲからゲーデルへ：数学論理学の資料集』は、ド・モルガン、ブール、パース、シュレーダーの代数論理を過小評価していたが、フレーゲ以外ではスコーレムに最も多くのページを割き、モデル理論の基礎となる論文であるレーヴェンハイム（1915）も収録していた。

ジャン＝イヴ・ジラールの線形論理に関する画期的な論文は、ジャン・ヴァン・ヘイエノールトを偲んで捧げられている。^{[ 4 ]}

ヴァン・ヘイエノールトは4番目の妻アンヌ＝マリーに殺害された。ヴァン・ヘイエノールトが離婚しようとしたとき、アンヌは自殺すると脅した。「もちろん、彼女も私を殺したいんだ」と彼は友人に言った。1986年3月、彼はスタンフォードからメキシコシティに戻った。彼は3発撃たれ、その後アンヌは自殺した。^{[ 5 ]}