ヘンリー・M・シェファー

ヘンリー・モーリス・シェファー（1882年9月1日 - 1964年3月17日）^[1]はアメリカの論理学者である。

シェファーはウクライナ西部で生まれたポーランド系ユダヤ人で、1892年に両親と6人の兄弟とともにアメリカに移住した。ボストン・ラテン・スクールで学んだ後、ハーバード大学に入学し、ジョサイア・ロイスから論理学を学び、1905年に学士号、1907年に修士号、1908年に哲学の博士号を取得した。

シェファーはハーバード大学の博士研究員を務めた後、ワシントン大学、コーネル大学、ミネソタ大学、ミズーリ大学、ニューヨーク市立大学でそれぞれ 1 年間教鞭を執った。1916 年にハーバード大学に哲学教授として採用され、1952 年に退職するまでその職に就いた。スキャンラン (2000) はシェファーの生涯と業績を研究したものである。

シェファーは1913年に、ブール代数は単一の基本二項演算「両方ではない...と...」、現在ではNANDと略される、またはその双対NOR (「どちらでもない...でもない」という意味) を使用して定義できることを証明した。^[2]同様に、命題計算は単一の接続詞を使用して定式化でき、その真理値表は、通常シェファー ストロークと呼ばれる垂直線で表される論理 NAND、またはその双対論理 NOR (通常垂直矢印または短剣記号で表される) のいずれかである。チャールズ パースも1880年にこれらの事実を発見していたが、関連する論文は1933年まで出版されなかった。シェファーはまた、ストロークのみで定式化された公理も提案した。^[3]

シェファーは、現在ではシェファーストロークとして知られている方法を1913年に発表した。この方法が広く知られるようになったのは、ホワイトヘッドとラッセルの 『プリンキピア・マテマティカ』の1925年版で使用された後のことである。シェファーの発見はバートランド・ラッセルから大いに賞賛され、ラッセルは『プリンキピア・マテマティカ』第2版でこの方法を自身の論理を簡略化するために広範に使用した。このコメントにより、シェファーは論理学者にとって謎の人物となった。特に、生涯ほとんど出版をしなかったシェファーは、この方法の詳細を公表したことはなく、謄写版で印刷されたメモと短い要約で説明しただけであった。WVクワインの『数理論理学』でもシェファーストロークが大いに取り上げられている。

シェファー接続詞とは、論理システムにおいて類似の機能を果たす接続詞のことで、言語における他のすべての接続詞を表現できる接続詞のことである。例えば、シェファー接続詞は量化論理や様相論理にも応用されている。 ^[4]

• スキャンラン、マイケル、2000、「知られているHMシェファーと知られていないHMシェファー」、CSピアーズ協会紀要36：193-224。
• Rosen, Kenneth、2005、「離散数学とその応用」『基礎：論理と証明』1：28。