ヤン・ルカシェヴィッチ

ヤン・ルカシェヴィッチ
1935年のルカシェヴィチ
生まれる	1878年12月21日 レンベルク、ガリツィア・ロドメリア王国、オーストリア＝ハンガリー帝国
死亡	1956年2月13日(1956-02-13)（享年77歳） ダブリン、アイルランド共和国
国籍	研磨
母校	レンベルグ大学
時代	20世紀の哲学
地域	西洋哲学 ポーランドの哲学
学校	ルヴフ・ワルシャワ学派 分析哲学
主な関心事	哲学的論理学、数学的論理学、論理学の歴史
注目すべきアイデア	ポーランド語表記 Łukasiewicz 論理 Łukasiewicz-Moisil 代数 還元的推論

Jan Łukasiewicz (ポーランド語: [ˈjan wukaˈɕɛvit͡ʂ]) ^{ウカシェヴィチ}（ Łukasiewicz、1878年12月21日 - 1956年2月13日）は、ポーランドの論理学者、哲学者ポーランド記法とウカシェヴィチ論理学で最もよく知られている。[1] 彼の研究は、哲学的論理学、数理論理学、論理学^の歴史を中心に展開した。[2] 彼は、伝統的な命題論理、無矛盾性原理 、排中律^について革新的な考え方 を多値論理の最も初期の体系の一つを提示した。アリストテレス論理学論理学の手法をアリストテレスの三段論法の形式化に。^[3]

ウカシェヴィチのアプローチは、1970年代初頭にジョン・コーコランとティモシー・スマイリーによる一連の論文で再活性化され、 1989年のロビン・スミスと2009年のギセラ・ストライカーによる『Prior Analytics』の現代版の翻訳に影響を与えました。 ^[4]ウカシェヴィチは論理学の最も重要な歴史家の一人と見なされています。

彼はオーストリア＝ハンガリー帝国のレンベルク（現在のウクライナのリヴィウ、ポーランド語：ルヴフ）で生まれ、オーストリア軍の隊長パヴェウ・ルカシェヴィチと公務員の娘レオポルディナ（旧姓ホルツァー）の一人っ子であった。彼の家族はローマカトリック教徒であった。^[要出典]

彼はギムナジウムで文献学の勉強を終え、1897年にレンベルク大学に進学し、哲学と数学を学んだ。彼は哲学者カジミエシュ・トヴァルドフスキの弟子であった。^[5]

1902年、オーストリア皇帝フランツ・ヨーゼフ1世の援助を受けて哲学博士号を取得し、皇帝からダイヤモンドの付いた特別な博士指輪を贈られた。^[6]

彼は3年間家庭教師として働き、1905年に奨学金を得てベルリン大学とベルギーのルーヴァン大学で哲学の勉強を終えた。^[6]

ルカシェヴィチは大学資格取得のための勉強を続け、1906年にレンベルク大学に論文を提出した。その年、彼はレンベルク大学の講師に任命され、最終的には皇帝フランツ・ヨーゼフ1世から臨時教授に任命された。彼は第一次世界大戦までそこで教鞭を執った。^[6]

1915年、彼はワルシャワ大学に招かれ、教授として講義を行った。ワルシャワ大学は19世紀に帝政政府によって閉鎖された後、ドイツ占領当局によって再開された。[ ^6]

1919年、ウカシェヴィチは大学を去り、 1920年までパデレフスキ政権でポーランドの宗教宗派および公教育大臣を務めた。ウカシェヴィチは、分割されたポーランドで使用されていたロシア、ドイツ、オーストリアのカリキュラムに代わるポーランドのカリキュラムの開発を主導した。ウカシェヴィチのカリキュラムは、論理的および数学的概念の早期習得を重視していた。^[要出典]

1928年にレジーナ・バルヴィンスカと結婚した。^[6]

彼は1920年から1939年までワルシャワ大学の教授を務めたが、この年に一家の家はドイツ軍の爆撃で破壊され、大学はドイツ占領により閉鎖された。彼は同大学の学長を2度務め、その間にウカシェヴィチとスタニスワフ・レシニエフスキはルヴフ・ワルシャワ論理学派を設立した。この学派は後にレシニエフスキの弟子であった アルフレッド・タルスキによって国際的に有名になった。

第二次世界大戦が始まった頃、彼はワルシャワ地下大学で働いていた。ドイツ占領当局が大学を閉鎖した後、彼はワルシャワ市の公文書館でわずかな収入を得ていた。ハインリヒ・ショルツ（ドイツの数理論理学教授）との友情も彼を助け、1944年にウカシェヴィチ一家のドイツへの渡航を手配したのもショルツだった（ウカシェヴィチは赤軍の進撃を恐れていた）。ドイツが戦争に負けることが次第に明らかになると、ウカシェヴィチと妻はスイスに移住しようとしたが、ドイツ当局から許可を得ることができなかった。そのため彼らは戦争の最後の数ヶ月をドイツのミュンスターで過ごした。戦争が終わった後、ソ連支配下のポーランドに戻ることを望まなかった彼らはまずベルギーに移り、そこでウカシェヴィチは臨時ポーランド科学研究所で論理学を教えた。^[6]

1946年2月、アイルランドの政治指導者エアモン・デ・ヴァレラ（自身も数学者）の招きで、ルカシェヴィチとその妻はダブリンに移住し、10年後にルカシェヴィチが亡くなるまでそこに住んでいた。アイルランドでは、ルカシェヴィチのために設けられていた王立アイルランドアカデミーの数理論理学教授を短期間務めた。その職務には、公開講義を頻繁に行うことが含まれていた。^[7]

この時期に、彼の著書『Elements of Mathematical Logic』がマクミラン社から英語で出版された（1963年、ポーランド語からオルギエルド・ヴォイタシェヴィチによる翻訳）。

ヤン・ルカシェヴィチは1956年2月13日に亡くなり、ダブリンのジェローム山墓地に埋葬された。ポーランドのアルメニア人コミュニティの要請により、遺体は66年後にポーランドに送還された。2022年11月22日にワルシャワの旧ポヴォンツキ墓地に再埋葬された。^[8]

2022年10月から12月にかけて、ダブリンのロイヤル・アイルランド・アカデミーで彼の生涯と作品に関する展覧会が開催された。^[9]

Łukasiewicz の文書 (1945 年以降) はマンチェスター大学図書館に所蔵されています。

古典的な 命題論理の公理化の多くは、ウカシェヴィチによるものである。特にエレガントな公理化は、わずか 3 つの公理のみを特徴とし、現在でも引き合いに出される。彼は多値論理の先駆的な研究者であり、 1917 年に導入された3 値命題計算は、明示的に公理化された最初の非古典的な 論理計算であった。彼は科学哲学について著作を執筆し、科学理論の構築に対する彼のアプローチは、カール・ポパーの考え方に似ていた。

Łukasiewiczは1920年頃に論理接続詞のためのポーランド記法（彼の国籍にちなんで名付けられた）を発明した。1931年のJan Łukasiewiczの論文^{[10] :367、脚注3)  [11] :180、脚注3)}からの引用には、この記法が発明された経緯が述べられている。

私は1924年に括弧を使わない表記法のアイデアを思いつきました。その表記法を初めて使用したのは、Łukasiewicz (1)の論文、610ページの脚注です。

Łukasiewiczが引用した文献、すなわちŁukasiewicz (1)、^{[12]は、明らかに}ポーランド語で石版印刷された報告書である。Łukasiewiczの参照論文^[10]は、 1965年にJournal of Symbolic LogicでHenry A. Pogorzelskiによってレビューされた。^[13]

ウカシェヴィチの1951年の著書『現代形式論理学から見たアリストテレスの三段論法』では、彼の記法の原則は括弧を避けるために関数を引数の前に書くことであり、1929年以来彼の論理学の論文でその記法を使用していたと述べています^{。[3] : 78}そして、例として、アルフレッド・タルスキと共著した1930年の文法計算に関する論文を挙げています。^[14]

この表記法は、チューリング、バウアー、ハンブリンを含む数人の研究者によって提案され、1957年に初めて実装された、後入れ先出し方式のコンピュータメモリストアである再帰スタックのアイデアの根底にある。1960年に、ウカシェヴィチの表記法の概念とスタックは、カリフォルニア州パサデナのバローズ社のロバート・S・バートンとそのチームによって設計されたバローズB5000コンピュータの基礎として使用された。この概念は、1963年のイングリッシュ・エレクトリックのマルチプログラム式コンピュータシステムKDF9の設計にもつながり、このシステムには2つのハードウェアレジスタスタックが搭載されていた。同様の概念が、フリーデンEC-130電卓とその後継機、多くのヒューレット・パッカード電卓、LispおよびForthプログラミング言語、およびPostScriptページ記述言語の逆ポーランド記法（RPN、接尾辞記法）の基礎となっている。

2008年にポーランド情報処理協会は、最も革新的なポーランドのIT企業に贈られるヤン・ルカシェヴィチ賞を設立しました。^[15]

1999 年から 2004 年まで、UCD のコンピュータサイエンス学部の建物は Łukasiewicz ビルと呼ばれていましたが、その後、キャンパス内のすべての建物が、収容されている分野にちなんで名前が変更されました。

彼の3値論理モデルは、クリーネの三値論理と経験主義、数学、論理のメタモデル、すなわち六値論理を定式化することを可能にした。 ^[16]

• 1878年、レンベルク（現在のリヴィウ）生まれ
• 1890 ～ 1902 年、レンベルク (リヴィウ、ルヴフ) でカジミェシュ・トワルドフスキと研究
• 1902年、レンベルク大学で数学と哲学の博士号を最高の成績で取得
• 1906年レンベルク大学で学位論文完成
• 1906年講師となる
• 1910年の無矛盾性と排中律に関するエッセイ
• 1911年 レンベルクの臨時教授
• 1915年、新しく再開されたワルシャワ大学に招待される
• 1916年、ポーランド王国が宣言される
• 1917年、三値命題計算を開発
• 1919年ポーランド教育大臣
• 1920 ～ 1939 年、ワルシャワ大学の教授がスタニスワフ・レシニェフスキとともにルフフ・ワルシャワ論理学派を設立（アルフレッド・タルスキ、ステファン・バナッハ、フーゴ・シュタインハウス、ジグムント・ジャニシェフスキ、ステファン・マズルキェヴィチも参照）
• 1928年 レジーナ・バルヴィンスカと結婚
• 1944年、ドイツに逃亡し、安全のために連れて来られたネテガウのヘンプセンに定住する。
• 1946年ベルギーに亡命
• 1946年、ダブリンのアイルランド王立アカデミーの教授に就任。
• 1953年自伝を書く
• 1956年ダブリンで死去

• Łukasiewicz, Jan (1951)。『現代形式論理学の立場から見たアリストテレスの三段論法』オックスフォード大学出版局。第2版​​、増補版、1957年。1987年にガーランド出版から再版。ISBN 0-8240-6924-2 
• ウカシェヴィチ、ヤン（1928年）。Elementy logiki matematycznej (ポーランド語)。ワルシャワ、パンストウェウェ・ヴィダウニクトゥ・ナウコウェ。OCLC  11322101。
• Łukasiewicz、Jan (1964) [1963]。数学的論理の要素。 Olgierd Wojtasiewicz によるポーランド語からの翻訳。ニューヨーク、マクミラン。OCLC  671498。
• ウカシェヴィチ、ヤン（1970年）。ルドウィク・ボルコウスキー (編)。選ばれた作品。北オランダパブ。出版社ISBN 0-7204-2252-3. OCLC  115237。
• ウカシェヴィチ、1 月 (1998)。ヤチェク・ジャダキ（編集）。ロジカ、メタフィジカ。その他(ポーランド語)。ワルシャワ、WFiS UW。ISBN 83-910113-3-X。

• 1903年「演繹の反転としての帰納について」
• 1906年「原因の概念の分析と構築」
• 1910年「アリストテレスの矛盾原理について」
• 1913年「根拠と結果の関係の可逆性について」
• 1920年「三値論理について」
• 1921年「二値論理」
• 1922年「命題理論の数値的解釈」
• 1928年「哲学の方法論について」
• 1929年「数学論理の要素」
• 1929年「数学的論理の重要性と要件について」
• 1930年「命題論理の多値システムに関する哲学的考察」
• 1930年 「センテンシャル微積分の調査」[「Untersuhungen über den Aussagenkalkül」]、アルフレッド・タルスキ著
• 1931年「ニコドの公理と『一般化演繹』に関するコメント」
• 1934年「科学について」
• 1934年「知識のための論理的分析の重要性」
• 1934年「命題論理学の歴史の概要」
• 1936年「ロジスティックスと哲学」
• 1937年「兵站の擁護」
• 1938年「デカルトの哲学について」
• 1943年「命題の含意計算の最短公理」
• 1951年「命題論証の可変関数について」
• 1952年「直観主義的演繹理論について」
• 1953年「様相論理の体系」
• 1954年「アリストテレスの様相三段論法の論争的問題について」

• ポーランドの哲学の歴史
• ポーランド人リスト
• 論理演算子
• 真理関数
• 27114 ルカシェヴィッチ

• 「Jan Łukasiewicz の履歴書」、ローマ、イタリア: Metalogiconジャーナル、(1994) VII、2 (7 月から 12 月号)。
• クレイグ、エドワード（編集長）、「記事：ヤン・ルカシェヴィチ」、ラウトレッジ哲学百科事典、1998年、第5巻、860〜863ページ。
• ボルコウスキー、ルドヴィク [pl] ; Słupecki、Jerzy、「J. Łukasiewicz の論理作品」、Studia Logica 8 (1958)、7–56。 JSTOR 20013604 (51 ページ)

• Kotarbiński、Tadeusz、「Jan Łukasiewicz's Works on the History of Logic」、Studia Logica 8 (1958)、57–63 JSTOR 20013605 (7 ページ)
• クヴィアトコウスキー、タデウシュ、「ヤン・ウカシェヴィチ – 論理の歴史家」、Organon 16–17 (1980–1981)、169–188。
• Łukasiewicz, Jan; Heine, Holger R. (2021). 『アリストテレスにおける矛盾原理：批判的研究』 ホノルル、ハワイ：Topos Productions. ISBN 978-1943354061。
• マーシャル・ジュニア、デイヴィッド、「Łukasiewicz、ライプニッツおよび三段論法の算術化」、ノートルダム形式論理学ジャーナル18（2）（1977）、235-242。
• セドン、フレデリック (1996)。『アリストテレスとルカシェヴィチの矛盾原理』エイムズ、アイオワ：モダン・ロジック・パブリッシングISBN 1-884905-04-8. OCLC  37533856。
• ウォレンスキ、ヤン（1994）。ポーランドの哲学的論理。クルーワー・アカデミック・パブリッシャーズ。ISBN 0-7923-2293-2. OCLC  27938071.
• ウォレンスキ、ヤン（1994）。「嘘つきのパラドックス、論理的帰結、真理と帰納法に関するヤン・ルカシェヴィチ」。現代論理（4）：394-400。

• シモンズ、ピーター。「ヤン・ルカシェヴィッチ」。ザルタ、エドワード・N.（編）『スタンフォード哲学百科事典』。
• オコナー、ジョン J.、ロバートソン、エドマンド F.、「ヤン・ルカシェヴィチ」、マクチューター数学史アーカイブ、セントアンドリュース大学
• ポーランド哲学ページのŁukasiewiczのエントリ、編集：Francesco Coniglione（カターニア大学）
• 数学系譜プロジェクトのJan Łukasiewicz