Loading article…
エルンスト・マリー（/ ˈmɑːli /、ドイツ語: [ ˈmali ]、 1879年10月11日 - 1944年3月8日）はオーストリアの分析哲学者で、当初はアレクシウス・マイノングのグラーツ学派の対象理論に所属していた。マリーは義務論理の創始者の一人であり、主にその研究分野への貢献で知られている。形而上学では、2種類の述語の区別、よりよくは双対述語アプローチとして知られるものを導入したことで知られている。[ 7 ]
マリーはオーストリア＝ハンガリー帝国のカルニオラ公国（現在のスロベニア）のクラーニ（ドイツ語:クラインブルク）という町で生まれた。彼の父親はスロベニア出身だったが、オーストリア・ドイツ文化に帰属意識を持っていた（彼はまた、もともとマリと綴られていた姓の綴りをドイツ語風に変えた。マリは上カルニオラ地方でよく見られるスロベニア人の姓である）。父親の死後、一家はカルニオラの首都リュブリャナ（ドイツ語:ライバッハ）に移り住んだ。そこでエルンストは名門リュブリャナ・ドイツ語ギムナジウムに通った。マリーは幼い頃からゲオルク・フォン・シェーネラーの汎ドイツ主義運動の熱烈な支持者となった。同時に、彼は哲学にも興味を持つようになった。
1898年、彼はグラーツ大学に入学し、アレクシウス・マイノングの指導の下、哲学、物理学、数学を学び、特に形式論理学を専攻した。 1903年、マイノングの指導の下、博士論文『測定の対象理論に関する研究』（ 1904年に書籍として出版）で博士号を取得した。1906年、彼はグラーツの高等学校で教鞭を執り始め、同時にアダルベルト・マインガストと共同研究を行い、大学ではマイノングの助手として働いた。また、マイノングが設立したグラーツ心理学研究所とも密接な関係を維持した。 1912年、彼はグラーツ大学で（マイノングを指導教官として） 『論理とロジスティクスのための対象理論的基礎』 （Gegenstandstheoretische Grundlagen der Logik und Logistik）と題する教授資格論文を発表し、1913年に教授資格を取得した。
1915年から1918年まで、彼はオーストリア＝ハンガリー軍の将校を務めた。第一次世界大戦終結後、マリーはドイツ系オーストリアとドイツの統一を主張する大ドイツ人民党（GDVP）に入党した。同時期に大学で教鞭を執り始め、1925年にはマイノングの後任として教授職に就任した。1938年には国家社会主義教師連盟に加入し、オーストリア併合の2か月後にはナチ党に入党した。彼はオーストリアのナチス政権下でも教鞭を執り続け、1942年に退職した。
彼は1944年にシュヴァンベルクで亡くなった。
マリーは、倫理の公理化を試みた最初の論理学者でした（マリー 1926）。彼は以下の5 つの公理を使用しました。これらは命題を量化する一階述語論理を構成し、まず理解すべき述語がいくつかあります。!x は、x がそうあるべきであることを意味します。Ux は、x が無条件に義務的である、つまり !x が必然的に真であることを意味します。∩x は、x が無条件に禁止されている、つまり U(¬x) であることを意味します。A f B は、A が B を必要とする、つまり A が !B を実質的に含意する二項関係です。（公理におけるすべての含意は実質的な条件です。）これは公理 III で定義され、他のすべての用語は予備的に定義されます。
上記の公理には、暗黙のうちに全称量化子が含まれていることに注意してください。
第4公理は、その定式化が彼らの予想と異なっていたため、一部の論理学者を困惑させている。マリーは各公理を言葉で説明しており、第4公理は「無条件に義務付けられるものは義務付けられる」、つまり（多くの論理学者が主張しているように）UA → !A を意味すると述べている。一方、第5公理には述語が適用される対象が欠けているが、これはタイプミスである。しかし、これらはマリーの心配事の中で最も小さなものであることが判明した（下記参照）。
定理：この義務論理の公理化は、!x が真である場合、または!x が充足不能である場合に限り、!x が成り立つことを意味する。（これは義務論理学者にとって役に立たない。）
証明：公理 III を用いると、公理 I は (!(A → B) & (B → C)) → !(A → C) と書き換えられる。C が成り立つときはいつでも B → C が成り立つので、その直接的な帰結として (!(A → B) → (C → !(A → C))) が成り立つ。言い換えれば、A が B を必要とする場合、A は任意の真の命題を必要とする。A が恒真式である特別な場合、この定理は (!B → (C → !C)) という帰結を持つ。したがって、少なくとも 1 つの命題が真であるべきならば、すべての命題は実質的に真であるべきことを含意しなければならず、したがってすべての真の命題は真であるべきである。逆（つまり、ある命題が真であるならば、真であるべきすべての命題が真である）については、次の論理を考えてみましょう。((U → !A) & (A → ∩)) → (U → !∩) は公理 I の特殊なケースですが、その結果は公理 V に矛盾するため、¬((U → !A) & (A → ∩)) となります。!A は U → !A を意味し、¬A は A → ∩ を意味するため、このことから !A → A という結果が導かれることが示せます。そして、これらは両方とも真ではないので、!A → A であることがわかります。
マリーは公理Iが自明だと考えたが、おそらく含意B→Cが論理的に成り立つ別の公理と混同していたのだろう。後者の場合、確かに公理は自明となる。しかし、その場合、上記の定理は証明できない。この定理は、次の義務論理学者であるカール・メンガーによって証明された。マリーの元の公理も、この結果を回避する修正版も、今日では広く受け入れられていない。メンガーは独自の公理を提唱したわけではない。
形而上学において、マリーは、存在しない対象の問題を解決するために、2種類の述語の区別、つまり二重述語アプローチとして知られる戦略を導入したことで知られている（マリー 1912）。[ 7 ]彼はまた、同様の戦略である二重性質戦略も導入したが、それを支持しなかった。[ 2 ]二重性質戦略は最終的にマイノングによって採用された。[ 2 ]
マリーは存在論に対する現実的なアプローチを発展させ（マリー 1935）、ウィーン学団や論理実証主義者とは対立する立場をとった。[ 1 ]
マリーの形而上学的な研究は、抽象対象理論に取り組む現代の形而上学者や論理学者、特にエドワード・ザルタに影響を与えている。[ 8 ]
分析哲学者のデイヴィッド・ケロッグ・ルイスは、ジェームズ・マコーリーとハロルド・スチュワートによって創作された架空のオーストラリアの詩人アーン・マリーの名前はマリーへの言及であると強く主張した。[ 9 ]
