スタニスワフ・レシニエフスキ

スタニスワフ・レシニエフスキ
生まれる	( 1886-03-30 )1886年3月30日 セルプホフ、ロシア帝国
死亡	1939年5月13日(1939-05-13)（53歳） ワルシャワ、ポーランド
国籍	研磨
母校	リヴィウ大学
知られている	名前の計算 Mereology
科学者としてのキャリア
フィールド	数学
機関	ワルシャワ大学
博士課程の指導教員	カジミエシュ・トワルドフスキ
博士課程の学生	アルフレッド・タルスキ

スタニスワフ・レシニエフスキ（1886年3月30日 - 1939年5月13日）は、ポーランドの数学者、哲学者、論理学者であった。ワルシャワ大学の数学教授であり、ルヴフ・ワルシャワ論理学派の代表的人物であり、論理学と数学の包括的な枠組みの一部としてメレオロジーという概念を考案し導入したことで知られている。

彼は1886年3月28日、モスクワ近郊のセルプホフで、シベリア横断鉄道の建設に携わる技師の父イジドルと母ヘレナ（旧姓パルチェフスカ）の間に生まれた。^{[1]レシニエフスキは}イルクーツクの高校に通った。後にミュンヘンのルートヴィヒ・マクシミリアン大学でハンス・コルネリウスの講義に出席し^{[2] 、}リヴィウ大学でヴァツワフ・シェルピンスキの講義に出席した。^[3]

レシニエフスキは、カジミエシュ・トヴァルドフスキが創設したルヴフ＝ワルシャワ学派の第一世代に属した。アルフレッド・タルスキ、 ヤン・ウカシェヴィチとともに、ワルシャワ大学を戦間期におそらく世界で最も重要な形式論理学の研究センターにしたトリオを結成した。^[4]それにもかかわらず、レシニエフスキの反ユダヤ主義が強まり、後にタルスキとの関係が悪化した。^[5]

彼の主な貢献は、3つの入れ子になった形式体系の構築であり、彼はこれらにギリシャ語由来の命名であるプロトセティック、オントロジー、メレオロジーを与えた。^{[6] （「名前の計算」は、}形而上学で非常に異なる意味で広く使用されている用語であるオントロジーの代わりに使用されることがある。）これらの体系の優れた教科書的説明は、シモンズ（1987）によるもので、彼はこれらの体系を、今日ではより人気があり、レナードとグッドマンの個体の計算から派生したメレオロジーのさまざまなバージョンと比較対照している。シモンズは、レシニエフスキとその学生の著作を読んでも判断するのが非常に難しいこと、すなわち、ポーランドのメレオロジーは、現在古典的な外延的メレオロジーと呼ばれているもの（言語の選択を法として）と同等の第一階の理論であるということを明確にしている。

彼はかなりの量の著作を出版したが（Leśniewski, 1992 は彼の全集の英訳版である）、その一部は当時の数学の主要言語であったドイツ語で書かれたが、その著作の謎めいた文体と非常に特異な表記法のために影響力は限られていた。Leśniewski は急進的な名目論者でもあった。彼は公理的集合論が全盛だった時代にそれを否定した。彼はその否定の根拠としてラッセルのパラドックスなどを挙げ、集合論の具体的な代替案として 3 つの形式体系を考案した。博士課程の唯一の弟子はアルフレッド・タルスキであったが、それでもレシュニエフスキはワルシャワ大学での教授を通じてポーランドの論理学者と数学者の全世代に強い影響を与えた。レシュニエフスキの思想が知られるようになったのは、主に彼の弟子たちの著作（例えば Srzednicki and Rickey 1984）のおかげである。^[7]

1919年から1921年にかけてのポーランド・ソビエト戦争中、レシニエフスキはポーランド参謀本部暗号局のためにソ連の 暗号を解読し、ポーランドの独立のために尽力した。^[8]

レシニエフスキは、ドイツ軍のポーランド侵攻の直前に癌で急死し、ナハラスが破壊された。ワルシャワのポヴォンスキ墓地に埋葬された。^[9]

• 1988.論理学の講義ノート。Kluwer。目次。
• 1992年。全集。2巻。Kluwer。目次。
• 1929 年、「Über Funktionen, deren Felder Gruppen mit Rücksicht auf diese Funktionen sind」、Fundamenta Mathematicae 13: 319-32。
• 1929 年、「Grundzüge eines neuen Systems der Grundlagen der Mathematik」、Fundamenta Mathematicae 14: 1-81。
• 1929 年、「Über Funktionen, deren Felder Abelsche Gruppen in bezug auf diese Funktionen sind」、Fundamenta Mathematicae 14: 242-51。

• ポーランドの哲学の歴史
• ポーランド人リスト

• アイヴァー・グラッタン・ギネス、2000年。 『数学的根源の探求』プリンストン：プリンストン大学出版局。
• ルシェイ、ユージン、1962年。『レスニエフスキーの論理体系』アムステルダム：北ホラント。
• ミエヴィル、ドニ、1984 年。「Un Développement des Systèmes Logiques de Stanislas Lesniewski」、Peter Lang、ヨーロッパ大学研究。
• シモンズ、ピーター、1987年。「パート：オントロジーの研究」ニューヨーク：オックスフォード大学出版局。
• Srzednicki, JTJ、およびRickey, VF、(編)、1984 年。Lesniewskiのシステム: オントロジーとメレオロジー。ドルドレヒト: Kluwer。
• スルマ、スタニスワフ J. (編) (1977/8) 「レシニエフスキの体系について、第 22 回論理学史会議の議事録」、Studia Logica 36(4): 247–426 MR 0476370
• Urbaniak, Rafal、2013 年。Leśniewskiの論理体系と数学の基礎、ドルドレヒト: Springer。
• ウォレンスキ、ヤン、1989年。『リヴフ＝ワルシャワ学派の論理学と哲学』ドルドレヒト：クルーウェル。

• 「レスニエフスキー：論理学」。インターネット哲学百科事典。
• シモンズ、ピーター。「レスニエフスキー」。ザルタ、エドワード N. (編)。スタンフォード哲学百科事典。
• ウォレンスキ、ヤン、「リヴォフ＝ワルシャワ学派」。ザルタ、エドワード N.（編）『スタンフォード哲学百科事典』。
• ベティ、アリアナ、2001 年、「永遠の真実: ボルツァーノ、トワルドフスキー、レズニェフスキーのつながり」。
• ポーランドの哲学: スタニスワフ・レスニェフスキ フランチェスコ・コニリオーネとアリアナ・ベッティ著。
• Raul Corazzon のオントロジーの理論と歴史の Web ページ: Lesniewski。
• Lesniewski に関する選定された参考文献。二次文献の英訳と選定された参考文献が含まれています。
• オコナー、ジョン J.、ロバートソン、エドマンド F.、「スタニスワフ レシニエフスキ」、MacTutor 数学史アーカイブ、セントアンドリュース大学