Loading article…
Jan Łukasiewicz (ポーランド語: [ ˈjan wukaˈɕɛvit͡ʂ ])ルカシェヴィチ (1878 年 12 月 21 日 - 1956 年 2 月 13 日) は、ポーランドの論理学者および哲学者で、ポーランド記法とルカシェヴィチ論理で最もよく知られています。 [ 1 ]彼の研究は、哲学的論理、数学的論理、および論理の歴史 を中心としていました。 [ 2 ]彼は、伝統的な命題論理、矛盾、排中律 について革新的な考えを持ち多値論理の最も初期の体系の 1 つを提供しましたアリストテレス論理に関する現代の研究もまた、ルカシェヴィチの革新的な研究に基づいています。ルカシェヴィチは、現代論理アリストテレスの三段論法の形式化に。 [ 3 ]
ルカシェヴィチのアプローチは、1970年代初頭にジョン・コーコランとティモシー・スマイリーによる一連の論文で再び活力を得て、1989年のロビン・スミスと2009年のギゼラ・ストライカーによる『分析論前書』の現代版翻訳に影響を与えた。[ 4 ]ルカシェヴィチは、論理学史における最も重要な人物の一人とみなされている。
彼はオーストリア＝ハンガリー帝国のレンベルク（現在のウクライナ、リヴィウ）で生まれ、オーストリア軍の大尉パヴェウ・ウカシェヴィチと、公務員の娘レオポルディーナ（旧姓ホルツァー）の唯一の子であった。彼の家族はローマ・カトリック教徒であった。[ 5 ]
彼はギムナジウムで文献学を専攻し、 1897年にレンベルク大学に進学し、哲学と数学を学んだ。彼は哲学者カジミェシュ・トヴァルドフスキの弟子であった。[ 6 ]
1902年、彼はオーストリア皇帝フランツ・ヨーゼフ1世の後援のもと哲学博士号を授与され、皇帝からダイヤモンドの付いた特別な博士号指輪を贈られた。[ 7 ]
彼は3年間個人教師として働き、1905年に奨学金を得てベルリン大学とベルギーのルーヴァン大学で哲学の研究を修了した。[ 7 ]
ルカシェヴィチは教授資格取得のための研究を続け、1906年にレンベルク大学に論文を提出した。同年、レンベルク大学の講師に任命され、最終的にはフランツ・ヨーゼフ1世皇帝によって特任教授に任命された。彼は第一次世界大戦までそこで教鞭を執った。[ 7 ]
1915年、彼はワルシャワ大学に正教授として招かれ、講義を行った。ワルシャワ大学は、19世紀に帝政ロシア政府によって閉鎖された後、ドイツ占領当局によって再開されていた。 [ 7 ]
1919年、ウカシェヴィチは大学を離れ、パデレフスキ内閣で宗教・公共教育大臣を務め、1920年までその職にあった。ウカシェヴィチは、分割統治下のポーランドで使用されていたロシア、ドイツ、オーストリアのカリキュラムに代わるポーランド独自のカリキュラムの開発を主導した。ウカシェヴィチのカリキュラムは、論理的思考力と数学的概念の早期習得を重視していた。
1928年、彼はレジーナ・バルウィンスカと結婚した。[ 7 ]
彼は1920年から1939年までワルシャワ大学の教授を務めたが、その年に家族の家はドイツ軍の爆撃で破壊され、大学もドイツ占領下で閉鎖された。彼は同大学の学長を2度務めており、その間にウカシェヴィチとスタニスワフ・レシニェフスキはルヴフ＝ワルシャワ学派の論理学を創設した。この学派は後に、レシニェフスキの教え子であったアルフレッド・タルスキによって国際的に有名になった。
第二次世界大戦の始まりの頃、彼はワルシャワ地下大学で働いていた。ドイツ占領当局が大学を閉鎖した後、彼はワルシャワ市公文書館でわずかな収入を得ていた。ハインリヒ・ショルツ（ドイツの数学論理学教授）との友情も彼を助け、ショルツは1944年にルカシェヴィチ一家のドイツへの渡航を手配した（ルカシェヴィチは赤軍の進軍を恐れていた）。ドイツが戦争に負けることがますます明らかになるにつれ、ルカシェヴィチと妻はスイスに移住しようとしたが、ドイツ当局から許可を得ることができなかった。そのため、彼らは戦争の最後の数ヶ月をドイツのミュンスターで過ごした。戦争終結後、ソ連の支配下にあるポーランドに戻ることを望まなかった彼らは、まずベルギーに移住し、そこでルカシェヴィチは臨時のポーランド科学研究所で論理学を教えた。[ 7 ]
1946年2月、アイルランドの政治指導者エイモン・デ・ヴァレラ（彼自身も数学者であった）の招きにより、ウカシェヴィチは妻とともにダブリンに移住し、10年後に彼が亡くなるまでそこに留まった。アイルランドでは、王立アイルランドアカデミーの数理論理学教授（彼のために新設された役職）を短期間務めた。彼の職務には、頻繁に公開講演を行うことが含まれていた。[ 7 ]
この時期に、彼の著書『数学論理学の基礎』がマクミラン社から英語で出版された（1963年、オルギエルド・ヴォイタシェヴィチによるポーランド語からの翻訳）。[ 8 ]
ヤン・ウカシェヴィチは1956年2月13日に亡くなり、ダブリンのマウント・ジェローム墓地に埋葬された。ポーランドのアルメニア人コミュニティの要請により、66年後に遺骨はポーランドに送還された。2022年11月22日、ワルシャワの旧ポヴォンスキ墓地に再埋葬された。[ 9 ]
2022年10月から12月にかけて、ダブリンの王立アイルランドアカデミーで彼の生涯と作品に関する展覧会が開催された。[ 10 ]
ルカシェヴィチの文書（1945年以降）は、マンチェスター大学図書館に所蔵されている。
古典命題論理の公理化の多くはルカシェヴィチによるものである。特に洗練された公理化はわずか3つの公理から成り、今日でもなお用いられている。彼は多値論理の先駆的な研究者であり、1917年に発表した彼の3値命題論理は、明示的に公理化された最初の非古典論理計算であった。彼は科学哲学についても著作を残しており、科学理論の構築に対する彼のアプローチはカール・ポパーの考え方と類似していた。
ルカシェヴィチは1920年頃、論理結合子のためのポーランド記法（彼の国籍にちなんで名付けられた）を発明した。1931年のヤン・ルカシェヴィチの論文[ 11 ] [ 12 ]からの引用には、その記法がどのように発明されたかが述べられている。
私は1924年に括弧のない記法のアイデアを思いつきました。その記法を初めて使用したのは、私の論文Łukasiewicz (1)、p.610、脚注です。
— Łukasiewicz 1970、p. 180、脚注 3
Łukasiewicz が引用した文献、すなわち Łukasiewicz (1) [ 13 ]は、明らかにポーランド語の石版印刷された報告書である。Łukasiewicz による参照論文[ 14 ]は、1965 年にHenry A. PogorzelskiによってJournal of Symbolic Logicでレビューされた。[ 15 ]
ルカシェヴィチは1951年の著書『現代形式論理の観点から見たアリストテレスの三段論法』の中で、自身の記法の原則は括弧（つまり丸括弧）を避けるために関数を引数の前に書くことであり、1929年以来、自身の論理学論文でこの記法を用いてきたと述べている。[ 16 ]彼はさらに、例として、アルフレッド・タルスキと共著した1930年の命題計算に関する論文を挙げている。[ 17 ]
この表記法は、チューリング、バウアー、ハンブリンなど複数の研究者によって提案され、1957年に初めて実装された、後入れ先出し方式のコンピュータメモリストアである再帰スタックの概念の根幹を成しています。1960年には、ルカシェヴィチの表記法の概念とスタックが、カリフォルニア州パサデナのバローズ社でロバート・S・バートンとそのチームによって設計されたバローズB5000コンピュータの基礎として使用されました。これらの概念は、1963年に開発されたイングリッシュ・エレクトリック社のマルチプログラム対応コンピュータシステムKDF9の設計にもつながり、このシステムには2つのハードウェアレジスタスタックが搭載されていました。同様の概念は、フリーデンEC -130電卓とその後継機、多くのヒューレット・パッカード電卓、LispおよびForthプログラミング言語、PostScriptページ記述言語の逆ポーランド記法（RPN、後置記法）の基盤となっています。
2008年、ポーランド情報処理協会は、最も革新的なポーランドのIT企業に贈られるヤン・ウカシェヴィチ賞を設立した。[ 18 ]
1999年から2004年まで、UCDのコンピュータサイエンス学科の建物はルカシェヴィチ・ビルと呼ばれていましたが、その後、キャンパス内のすべての建物が、その建物が所属する学科の名前にちなんで改名されました。
彼の3値論理モデルは、クリーネの3値論理と経験主義、数学、論理のメタモデル、すなわち6値論理を定式化することを可能にした。 [ 19 ]
{{cite book}}ISBN / 日付の不一致 (ヘルプ) (1987年にガーランド出版により再版、ISBN 0-8240-6924-2）1961年に初版刊行( Łukasiewicz 1970 、pp. 110–128に収録)