スティーブン・ヤブロ

スティーブン・ヤブロ
2022年のヤブロ
教育	トロント大学 ( B.Sc. ) カリフォルニア大学バークレー校 ( Ph.D. )
配偶者	サリー・ハスランガー
時代	現代哲学
地域	西洋哲学
学校	分析
博士課程の指導教員	ドナルド・デイビッドソン
博士課程の学生	カロリーナ・サルトリオ
主な関心事	哲学的論理学、言語の哲学、数学の哲学、心の哲学
注目すべきアイデア	ヤブロのパラドックス

スティーブン・ヤブロはカナダ生まれのアメリカの哲学者。マサチューセッツ工科大学（MIT）のデイビッド・W・スキナー哲学教授であり、以前はミシガン大学アナーバー校で教鞭をとっていた。^[1]論理の哲学、心の哲学、形而上学、言語の哲学、数学の哲学を専門とする。

彼は1957年9月30日にトロントで、ポーランド人の父ソール・ヤブロとルーマニア系カナダ人の母グロリア・ヤブロ（旧姓ハーマン）の息子として生まれた。両者ともにユダヤ人である。 ^{[2]彼はMITの哲学者}サリー・ハスランガーと結婚している。

彼はカリフォルニア大学バークレー校で博士号を取得しており、そこでドナルド・デイビッドソンやジョージ・マイロとともに研究を行った。2012年にアメリカ芸術科学アカデミーの会員に選出された。彼は心の哲学、言語の哲学、形而上学の分野で影響力のある論文を多数発表しており、 2012年にはオックスフォードでジョン・ロック講義を行った。この講義は彼の著書『 Aboutness』の基礎となり、ある評論家はこの本を「哲学者たちが長きにわたって議論することになる重要かつ広範囲にわたる本」と評した。^[3]

^1985年[4]と1993年^[5]に発表された論文で、ヤブロは嘘つきのパラドックスに似たパラドックスを自己言及なしで作成する方法を示した。1つの文を使用する嘘つきのパラドックスとは異なり、ヤブロのパラドックスは文の無限リストを使用し、各文はリストの後半の文を参照する。リストを分析すると、リストのどの要素にも真理値を割り当てる一貫した方法はないことがわかる。リスト上のすべてが後半の文のみを参照しているため、ヤブロは彼のパラドックスは「決して循環的ではない」と主張する。しかし、グラハム・プリーストはこれに異議を唱えている。^{[6] [7]}

次の無限の文の集合を考えてみましょう。

S ₁ : 各i > 1 について、S _{i は}真ではありません。

S ₂ : 各i > 2 について、S _{i は}真ではありません。

S ₃ : 各i > 3 について、S _{i は}真ではありません。

...

任意のnについて、命題S _{n は}全称量化形式であり、無限の数の主張（それぞれがより大きなインデックスを持つステートメントの否定）を表現します。命題として、任意のS _{n は}、たとえば S _{n + 1}が真ではないことも表現します。

n < mである任意の数nとmのペアについて、命題S _{n は}、後のS _mによってなされるすべての主張を包含します。これはすべてのそのような数のペアに当てはまるため、すべてのS _{n は}n < mである任意のS _{m を}意味します。たとえば、任意のS _{n は}S _{n + 1}を意味します。

いずれかの命題によってなされる主張 (「次の文は真ではない」) は、そのくじから論理的に導き出される含意 (次の文の妥当性は現在の文によって暗示される) と矛盾しています。これにより、任意のS _{n を}想定すると矛盾が生じることが証明されます。これは、すべてのS _nが偽であることが証明されることを意味します。

しかし、すべてのS _{n が}偽であるということは、まさにそれらの主張そのものを裏付けるものでもあります。したがって、Yablo のリストにある各文は、真でもあり偽でもあるというパラドックスが生じます。

任意の に対して、命題論理の否定導入原理はを否定します。したがって、その命題の 1 つがそれ自体と同値であることを証明する一貫した理論はありません。メタ論理的には、そのような同値形式の公理はどれも矛盾していることを意味します。これは、嘘つきのパラドックスの形式的なペンダントの 1 つです。 ${\displaystyle P}$${\displaystyle P\leftrightarrow\neg P}$

同様に、任意の一項述語と が完全な推移関係である場合、上記の形式的分析により、述語論理はの 普遍閉包を否定する。${\displaystyle Q}$${\displaystyle R}$

${\displaystyle Q(n)\leftrightarrow \forall i.{\big (}R(i,n)\to \neg Q(i){\big )}}$

自然数については、 を等式「」とみなすと、これは嘘つきのパラドックスの分析からも導かれます。を標準順序「 」とみなすと、すべての同値性を個別に付加することによって定義された理論に対して、オメガ矛盾のない非標準の算術モデルを取得することは依然として可能です。 ^[8]${\displaystyle R}$${\displaystyle =}$${\displaystyle R}$${\displaystyle >}$

• 思考（哲学論文、第 1 巻）（オックスフォード大学出版局、2009 年）
• 物事（哲学論文、第 2 巻）（オックスフォード大学出版局、2010 年）
• Aboutness（プリンストン大学出版局、2014年）。

• 「嘘つきのパラドックス」。インターネット哲学百科事典。
• 「ヤブロのパラドックス」。インターネット哲学百科事典。
• 「自己言及のないパラドックス」 -分析、第53巻（1993年）、251～252ページ
• 「精神的因果関係」 -哲学評論、第 101 巻、第 2 号 (1992 年)、245 ～ 280 ページ
• 「Go Figure: フィクションの道」
• 3:AM マガジンでのインタビュー
• 哲学者になるというのはどういうことか？というインタビュー。