ソリテスのパラドックス

ソリテスのパラドックス: 一度に 1 粒ずつ山が減っていく場合、正確にどの時点で山ではなくなるのでしょうか。

ソリテスのパラドックス/ s ˈ r t z /[ 1 ]は、山のパラドックスとも呼ばれ、曖昧な述語から生じるパラドックスである。[ 2 ]典型的な定式化では、砂の山から砂粒を一つずつ取り除く。砂粒を一つ取り除いても、その山​​がもはや山ではなくなることはないという仮定のもと、このプロセスを十分な回数繰り返して砂粒が一つだけ残った場合に何が起こるか、そしてそれがまだ山であるかどうかを考えるというパラドックスである。そうでない場合、いつ山が山でなくなったのかという疑問が生じる。[ 3 ]

オリジナル処方

ソリテス古代ギリシャ語σωρείτης )という言葉は、ギリシャ語で「山」古代ギリシャ語σωρός)を意味する。[ 4 ]このパラドックスは、ミレトスのエウブリデスに帰せられるその独自の描写にちなんで名付けられた。[ 5 ]パラドックスは以下の通りである。砂のから砂粒を一つ一つ取り除いていくことを考えてみよう。この議論は、以下の前提から構築できるだろう。[ 3 ]

1,000,000粒の砂は砂山である(前提1)
砂の山から一粒を取り除いても、それは砂の山のままである。 (前提2)

前提2を繰り返し適用すると(毎回1粒ずつ少ない砂から始める)、最終的には、砂の山はたった1粒の砂で構成されているという結論を受け入れることになる。 [ 6 ] リード(1995)は、「議論自体が、モーダス・ポネンスのステップの山、あるいはソリテスである」と述べている。[ 7 ]

1,000,000粒は山ほどあります。
もし1,000,000粒は山ほどある999,999粒は山ほどあります。
それで999,999粒は山ほどあります。
もし999,999粒は山ほどある999,998粒は山ほどあります。
それで999,998粒は山ほどあります。
もし ...
... それで1粒が山盛りです。

一粒の砂は砂の山とはみなされません。[ 8 ]そのため、この議論は一見妥当で、もっともらしい前提に基づいているように見えますが、結論は誤っており、一般的な(ただし普遍的に受け入れられているわけではない)学術的な「パラドックス」の定義によれば、パラドックスとなります。[ 9 ] [ 10 ] [ 11 ]

バリエーション

ソリテスのパラドックスを示す色のグラデーション。隣接する色は人間の目には区別できない。

ソリテスのパラドックスには多くのバリエーションがあり、その中には「存在」と「見かけ」の違い、つまり事実の問題と認識の問題の違いを考慮するものもあります。[ 2 ]これは、議論がそれぞれの変化が「知覚できない」ことにかかっている場合に関連性があると考えられます。

別の定式化は、明らかに山ではない一粒の砂から始め、山ではないものに一粒の砂を加えても山にはならないと仮定するものである。帰納的に言えば、このプロセスは山を形成することなく、好きなだけ繰り返すことができる。[ 2 ] [ 3 ]この変種のより自然な定式化は、隣接する2つの砂の色の違いが人間の視力では区別できないほど小さい、色のついた砂利の集合が存在すると仮定することである。この前提に基づく帰納法によれば、人間はどの色も区別できないことになる。[ 2 ]

海から一滴の水を除去しても、それが「海ではなくなる」わけではありません(それでも海です)が、海の水の量は有限なので、最終的には、十分な量の除去を行った後、残った水が 1 リットルであっても、それは依然として海です。

このパラドックスは、様々な述語、例えば「背が高い」「金持ち」「年老いた」「青い」「禿げた」などにも適用できる。禿げに関するパラドックスは、髪の毛が一本増えたからといって禿げた男が禿げた状態から抜け落ちるわけではないと主張されており、「ファラクロス」として知られている。これはギリシャ語で「禿げた」(φαλακρός)を意味する。[ 12 ] [ 13 ]バートランド・ラッセルは、自然言語全体、論理接続詞でさえ曖昧であり、さらに命題の表現も曖昧であると主張した。[ 14 ]

一般的な条件付きソリテス

逆説的なソリテス論の正式な一般化は次の通りである。[ 15 ]

F1つの1{\displaystyle Fa_{1}}
もし なら、。F1つの1{\displaystyle Fa_{1}}F1つの2{\displaystyle Fa_{2}}
もし なら、。F1つの2{\displaystyle Fa_{2}}F1つの3{\displaystyle Fa_{3}}
{\displaystyle \vdots}
もし なら、。F1つのn1{\displaystyle Fa_{n-1}}F1つのn{\displaystyle Fa_{n}}
F1つのn¯{\displaystyle {\overline {\therefore Fa_{n}}}}(任意の大きさにすることができます)n{\displaystyle n}

この形式化は一階述語論理で行われ、は述語であり、 はそれが適用可能な異なる主語である。各主語 に対して、 という表記は述語の への適用、すなわち「である」という命題を意味する。(ジョナサン・バーンズは当初、「ならば」という命題を物質的含意接続詞の記号を使用して表したため、彼の議論は当初 で終わっていた。)[ 16 ]F{\displaystyle F}1つの11つの21つの31つのn{\displaystyle a_{1},a_{2},a_{3},\ldots ,a_{n}}1つの{\displaystyle a_{i}}F1つの{\displaystyle Fa_{i}}F{\displaystyle F}1つの{\displaystyle a_{i}}1つの{\displaystyle a_{i}}F{\displaystyle F}F1つのn{\displaystyle Fa_{n}}F1つのn+1{\displaystyle Fa_{n+1}}{\displaystyle \supset }F1つのn1F1つのn{\displaystyle Fa_{n-1}\supset Fa_{n}}

ジョナサン・バーンズは、この一般形式の議論が論理的であるための条件を発見した。[ 16 ]まず、級数は 順序付けられていなければならない。例えば、山は、その中の砂粒の数に従って順序付けられるかもしれないし、ファラクロス版(§ バリエーション を参照)では、頭はその上の髪の毛の数に従って順序付けられるかもしれない。第二に、述語は級数 に対して論理的である必要がある。これは以下のことを意味する。第一に、級数の最初の項目 については、どう見ても真である。第二に、級数の最後の項目 については、どう見ても偽である。第三に、級数におけるすべての隣接する主語のペアとは、どう見ても に関して区別がつかないほど類似している、つまり との両方が を満たすか、どちらも を満たさないように見える必要がある。 1つの11つのn{\displaystyle \langle a_{1},...,a_{n}\rangle }F{\displaystyle F}1つの11つのn{\displaystyle \langle a_{1},...,a_{n}\rangle }1つの1{\displaystyle a_{1}}1つのn{\displaystyle a_{n}}1つの{\displaystyle a_{i}}1つの+1{\displaystyle a_{i+1}}F{\displaystyle F}1つの{\displaystyle a_{i}}1つの+1{\displaystyle a_{i+1}}F{\displaystyle F}

述語に関するこの最後の条件は、クリスピン・ライトが述語の小さな変化に対する許容度と呼んだものであり、彼はこれを述語が曖昧であることの条件だと考えた。[ 17 ]ライトが述べたように、が述語に関連する概念であり、「を特徴付ける任意のオブジェクトは、単に に関して十分な変化をするだけで、 を特徴付けないオブジェクトに変わる可能性がある」と仮定すると、「に関して、 が特定のケースに適用される公正さに影響を与えるには不十分な程度の肯定な変化もある場合、は に関して許容される」ことになる。[ 17 ]ϕ{\displaystyle \phi }F{\displaystyle F}F{\displaystyle F}ϕ{\displaystyle \phi }F{\displaystyle F}ϕ{\displaystyle \phi }ϕ{\displaystyle \phi }F{\displaystyle F}

提案された決議

ヒープの存在を否定する

最初の前提に対して、次のことを否定する人もいるかもしれない。100万個の砂粒が山を作る。しかし1,000,000は単なる恣意的な大きな数であり、この議論はそのような数であればどれにも当てはまる。したがって、ヒープのようなものが存在することを完全に否定しなければならない。ピーター・アンガーはこの解決策を擁護している。[ 18 ]しかし、AJ・エアーはアンガーからこの解決策を提示された際にこれを否定した。「もし我々が万物が原子で構成されていると考え、アンガーを細胞ではなく細胞を構成する原子で構成されていると考えるならば、デイヴィッド・ウィギンズが私に指摘したように、同様の議論を用いて、アンガーは存在しないどころか、存在するすべてのものと同一であることを証明できる。アンガーの体から原子を一つ減らしても彼の存在に何ら変化がないという前提を、原子を一つ加えても何ら変化がないという前提に置き換えるだけでよいのだ。」[ 19 ]

固定された境界を設定する

このパラドックスに対する一般的な最初の反応は、ある一定数以上の粒子を含む粒子の集合をヒープと呼ぶことである。もし「固定境界」を1万グレインなら、それ以下の10,000、それは山ではありません。10,000以上なら山積みだ。[ 20 ]

コリンズは、このような解決策は、9,999粒と10,000グレイン。境界は、どこに設定されても恣意的なものであり、したがってその正確さは誤解を招く恐れがある。哲学的観点からも言語学的観点からも、それは異論の余地がある。前者はその恣意性のため、後者はそれが自然言語の用法ではないという理由からである。[ 21 ]

知ることのできない境界(あるいは認識論)

ティモシー・ウィリアムソン[ 22 ] [ 23 ] [ 24 ]とロイ・ソレンセン[ 25 ]は、境界は固定されているが、それは必ずしも知ることができないと主張している。

超評価主義

超評価主義は、非参照単数名詞曖昧さを扱う方法である。この方法により、定義されていない真理値を扱う場合でも、通常のトートロジーの法則を維持することができる。 [ 26 ] [ 27 ] [ 28 ] [ 29 ] 非参照単数名詞に関する命題の例としては、「ペガサスはリコリスが好き」という文が挙げられる。「ペガサス」という名前はを参照していないため、この文に真理値を割り当てることはできない。神話の中には、そのような割り当てを正当化するものは何もないからだ。しかし、「ペガサスはリコリスが好き」、あるいは「ペガサスはリコリスが好きではない」のように、ペガサスに関するいくつかの言明は、それでもなお明確な真理値を持つ。この文はトートロジー「」、すなわち妥当な図式「または」の例である。超評価主義によれば、その構成要素が真理値を持つかどうかに関わらず、この文は真であるはずである。 p¬p{\displaystyle p\vee\negp}p{\displaystyle p}p{\displaystyle p}

定義された真理値を持たない文を認めることで、超評価主義は、n粒の砂は砂山であるがn − 1粒はそうではないといった隣接事例を回避します。例えば、「1,000粒の砂は山である」は、真理値が定義されていない境界例と考えられるかもしれない。しかし、超評価主義は次のような文を扱うことができる。「1,000粒の砂は山または「1,000粒の砂は山ではない」をトートロジーとして、つまりtrue の値を割り当てます。

数学的な説明

言語 のすべての原子文に定義された古典的評価をとし、における異なる原子文の個数を とします。すると、すべての文 に対して、最大で個の異なる古典的評価が存在できます。超評価とは、文 から真理値への関数であり、任意の古典的評価 に対して が成り立つ場合と が成り立つ場合に限り、文が超真(すなわち )であることを意味します。超偽の場合も同様です。それ以外の場合、は未定義です。つまり、およびとなる2つの古典的評価と が存在する場合とがまさにその場合です。 v{\displaystyle v}L{\displaystyle L}t×{\displaystyle At(x)}×{\displaystyle x}×{\displaystyle x}2t×{\displaystyle 2^{At(x)}}V{\displaystyle V}×{\displaystyle x}V×真実{\displaystyle V(x)={\text{真}}}v×真実{\displaystyle v(x)={\text{True}}}v{\displaystyle v}V×{\displaystyle V(x)}v{\displaystyle v}v{\displaystyle v'}v×真実{\displaystyle v(x)={\text{True}}}v×間違い{\displaystyle v'(x)={\text{偽}}}

例えば、 「ペガサスはリコリスが好き」という表現の形式的な翻訳を とします。このとき、にはとという2つの古典的な値付けが存在します。したがって、 は超真でも超偽でもありません。しかし、このトートロジーはすべての古典的な値付けによってと評価されるため、超真です。同様に、上記のヒープ命題の形式化は超真でも超偽でもありませんが、超真です。 Lp{\displaystyle L\;p}v{\displaystyle v}v{\displaystyle v'}Lp{\displaystyle L\;p}vLp真実{\displaystyle v(L\;p)={\text{True}}}vLp間違い{\displaystyle v'(L\;p)={\text{False}}}Lp{\displaystyle L\;p}Lp¬Lp{\displaystyle L\;p\lor \lnot L\;p}真実{\displaystyle {\text{True}}}H1000{\displaystyle H\;1000}H1000¬H1000{\displaystyle H\;1000\lor \lnot H\;1000}

真実のギャップ、過剰、そして多値論理

もう一つの方法は、多値論理を使うことである。この場合、問題は二価性の原理にある。すなわち、砂は山か山でないかのどちらかであり、グレーの濃淡はない。山でないという二つの論理状態の代わりに、不確定山でないという三値システムを使用することができる。この提案された解決策に対する反論としては、不確定の間、また不確定山でないの間にも境界線が存在するため、三値システムではパラドックスを真に解決できないというものがある。第三の真理値は、真理値ギャップとしても真理値過剰としても理解できる。[ 30 ]

一方、ファジー論理は、実数[0,1]の単位区間で表される論理状態の連続スペクトルを提供します。これは無限の真理値を持つ多値論理であり、したがって砂は「確実に山」から「確実に山ではない」へと徐々に遷移し、中間領域には濃淡があります。ファジーヘッジは、連続体を「確実に山」「ほぼ山」「部分的に山」「わずかに山」「山ではない」などのクラスに対応する領域に分割するために使用されます。[ 31 ] [ 32 ]しかし、これらの境界がどこに発生するかという問題が残ります。たとえば、何粒の砂から確実に山になり始めるのかということです。

ヒステリシス

ラフマン[ 33 ]によって提唱されたもう一つの方法は、ヒステリシス、つまり砂の集積が当初どのような状態であったかという知識を利用するものである。砂の同量の塊は、どのようにしてそこにたどり着いたかによって、山と呼ぶかそうでないかが決まる。大きな山(紛れもなく山と呼ぶべきもの)がゆっくりと減少していく場合、実際の砂の量が粒数減少していくにもかかわらず、その「山の状態」はある程度維持される。例えば、500粒は山積みで1,000グレインは山です。これらの状態は重なり合います。つまり、山から山へと減らす場合、それは山から山へと減っていくのです。750。その時点で、人々はそれを山と呼ぶのをやめ、山と呼ぶようになるでしょう。しかし、一粒の穀物を置き換えたとしても、それはすぐに山に戻るわけではありません。上に上がっていくと、それは山のままであり、900グレイン。ここで選んだ数字は任意である。重要なのは、同じ量でも変化前の状態によって山にも山にもなり得るということである。ヒステリシスの一般的な用途は、エアコンのサーモスタットである。エアコンは華氏77度に設定され、その後、空気を華氏77度をわずかに下回るまで冷やすが、空気が華氏77.001度まで温まってもすぐには作動しない。華氏78度近くまで上がるまで待つことで、瞬時の状態変化が何度も繰り返されるのを防ぐ。[ 34 ]

グループの合意

「ヒープ」という言葉の意味は、コンセンサスに依拠することで確立できる。ウィリアムソンは、このパラドックスに対する認識論的解決において、曖昧な用語の意味は集団の使用法によって決定されると仮定している。[ 35 ]コンセンサス法は典型的には、穀物の集まりが「ヒープ」であるかどうかは、集団内でそれをヒープであると信じる人の割合に等しいと主張する。言い換えれば、ある集まりがヒープとみなされる確率は、集団の意見の分布の 期待値である。

グループは次のように決定する場合があります。

  • 一粒の砂だけでは砂山にはなりません。
  • 砂粒が大量に集まったものが砂山です。

二つの極端な考え方の間では、集団内の個々のメンバーが、ある特定の集合を「ヒープ」と呼べるかどうかについて意見が一致しない場合があります。その場合、その集合が「ヒープ」である、あるいは「ヒープではない」と明確に主張することはできません。これは、集団が自然言語をどのように使用しているかに基づいて定義の問題を解決するため、規範言語学ではなく記述言語学に訴えるものであると考えられます。実際、「ヒープ」の正確な規範的定義があれば、集団の合意は常に全会一致となり、このパラドックスは発生しません。

効用理論における解決策

XはYより赤いか同じくらい赤い」という関係を準推移関係としてモデル化すると、≈:区別がつかない、>:明らかに赤い
はい
X
f10e20d30c40b50a60
f10> > > >
e20> > >
d30> >
c40>
b50
a60

経済学の効用理論の分野において、個人の選好パターンを研究する際に、ソリテスのパラドックスが生じる。ロバート・ダンカン・ルースの例として、例えばペギーのような人がコーヒーに砂糖を15グラム(角砂糖5個)よりも3グラム(角砂糖1個)好むことは容易に想像できる。しかし、彼女は通常、3.00グラムと3.03グラムの間ではどちらでも構わないし、3.03グラムと3.06グラムの間でも、そして最終的には14.97グラムと15.00グラムの間でもどちらでもない。[ 36 ]

このような状況でソリテスのパラドックスを回避するために、経済学者は 2 つの対策を講じました。

  • 肯定形ではなく比較形の性質が用いられます。上記の例では、「ペギーは砂糖3グラム入りのコーヒーが好きです」や「ペギーは砂糖15グラム入りのコーヒーが好きではありません」といった記述は意図的に避けています。代わりに、「ペギーは砂糖15グラム入りのコーヒーよりも砂糖3グラム入りのコーヒーが好きです」と述べています。[ 40 ]
  • 経済学者は、選好(「ペギーは…よりも…が好き」)と無関心(「ペギーは…と同じくらい…が好き」)を区別し、後者の関係を推移的とは考えない。[ 42 ]上記の例では、「砂糖xグラム入りのコーヒー」を「c x」と略し、「ペギーはc xc yに無関心である」をc xc y」と略しても、c 3.00c 3.03c 3.03c 3.06、...、c 14.97c 15.00という事実は、 c 3.00c 15.00を意味しない

Several kinds of relations were introduced to describe preference and indifference without running into the sorites paradox. Luce defined semi-orders and investigated their mathematical properties;[36]Amartya Sen performed a similar task for quasitransitive relations.[43] Abbreviating "Peggy likes cx more than cy" as "cx > cy", and abbreviating "cx > cy or cxcy" by "cxcy", it is reasonable that the relation ">" is a semi-order while ≥ is quasitransitive. Conversely, from a given semi-order > the indifference relation ≈ can be reconstructed by defining cxcy if neither cx > cy nor cy > cx. Similarly, from a given quasitransitive relation ≥ the indifference relation ≈ can be reconstructed by defining cxcy if both cxcy and cycx. These reconstructed ≈ relations are usually not transitive.

右の表は、上記の色の例を準推移関係 ≥ としてモデル化する方法を示しています。色の違いは見やすさのために誇張して表現しています。表のセルXY列が空でない場合、色Xは色Yよりも赤みが強い、または等しいとされます。この場合、「≈」であればXY は区別がつかないほど等しく見え、「>」であればX はYよりも明らかに赤く見えます。関係 ≥ は、対称関係 ≈ と推移関係 > の非結合和です。> の推移性を利用すると、f10 > d30d30 > b50の両方が成立していることが分かれば、 f10 > b50であると推論できます。しかし、 ≥ は推移的ではないため、「d30e20かつe20f10、したがって d30f10」のような「逆説的な」推論はもはや不可能です。同様の理由で、例えば「d30e20かつe20f10なので、 d30f10」という推論はもはや有効な推論ではありません。同様に、このアプローチを用いて元のヒープ変種パラドックスを解決するには、「XグレインはYグレインよりもヒープである」という関係を推移的ではなく準推移的と見なすことができます。

連続体の誤謬

連続体誤謬ひげの誤謬[ 44 ] [ 45 ]線引きの誤謬、決定点の誤謬[ 46 ]とも呼ばれる)は、ソリテスのパラドックスに関連する非形式的な誤謬であるどちらの誤謬も、漠然とした主張が自分が望むほど正確ではないという理由だけで、誤ってそれを否定してしまう原因となる。曖昧だけでは、必ずしも無効性を意味するわけではない。この誤謬は、2つの状態または条件の間に状態の連続体が存在するため、それらの状態または条件は別個とは考えられないあるいは 全く存在しない)という主張である。

厳密に言えば、ソリテスのパラドックスは、多くの離散的な状態(典型的には砂粒の数は 1 から 1,000,000 個、したがって 1,000,000 個の状態が考えられます)が存在する状況を指しますが、連続体の誤謬は、温度などの状態が連続している(または連続しているように見える)状況を指します。

連続体誤謬を論じるにあたっては、実際には連続体が存在すると仮定しますが、これは一般的には些細な違いです。一般的に、ソリテスのパラドックスに反論する議論は、連続体誤謬にも反論できます。この誤謬に反論する議論の一つは、単純な反例に基づいています。禿げている人もいれば禿げていない人もいます。もう一つの議論は、状態の変化の度合いごとに状態の度合いがわずかに変化し、これらのわずかな変化が積み重なって状態をあるカテゴリーから別のカテゴリーへと移行させるというものです。例えば、米粒を一粒加えると、米の塊全体が「わずかに」山になり、十分な数のわずかな変化が積み重なって、その塊が山であるという状態が証明されるかもしれません。これはファジー論理を参照。

参照

参考文献

  1. ^ "Sorites" . Omnilexica . 2018年9月20日時点のオリジナルよりアーカイブ。 2014年3月14日閲覧
  2. ^ a b c d Barker, C. (2009). 「Vagueness」 . Allan, Keith (編). Concise Encyclopedia of Semantics . Elsevier. p. 1037. ISBN 978-0-08-095968-9
  3. ^ a b cソレンセン、ロイ・A. (2009). 「ソリテスの議論」ジェグウォン・キム、アーネスト・ソサ、ゲイリー・S. ローゼンクランツ(編)『形而上学のコンパニオンジョン・ワイリー・アンド・サンズ565頁ISBN 978-1-4051-5298-3
  4. ^バーグマン、メリー (2008). 『多値論理とファジー論理入門:意味論、代数、導出システム』 ニューヨーク:ケンブリッジ大学出版局3ページ . ISBN 978-0-521-88128-9
  5. ^ ( Barnes 1982 )、( Burnyeat 1982 )、( Williamson 1994 )
  6. ^ Dolev, Y. (2004). 「なぜ脱毛症は誘発療法では治らないのか」.哲学探究. 27 (4): 328– 344. doi : 10.1111/j.1467-9205.2004.t01-1-00230.x .
  7. ^リード、スティーブン(1995年)『論理について考える』 p.174、オックスフォード、 ISBN 019289238X
  8. ^ Thorsrud, Harald (2014年12月5日).古代懐疑論. Routledge. p. 63. ISBN 978-1-317-49283-2
  9. ^ Sainsbury, RM (2009-02-19). 『パラドックス』 ケンブリッジ大学出版局. p. 1. ISBN 978-0-521-89632-0私がパラドックスと理解しているのは、一見受け入れられる前提から一見受け入れられる推論によって導き出された、一見受け入れられない結論のことです
  10. ^ニコラス・ブニン、ジユアン・ユウ (2009年1月27日).ブラックウェル西洋哲学辞典. ジョン・ワイリー・アンド・サンズ. p. 503. ISBN 978-1-4051-9112-8
  11. ^クオンゾ、マーガレット (2014-02-14)。パラドックス。 MITプレス。ページ 6–7。ISBN 978-0-262-32140-2
  12. ^ Dzhafarov, Ehtibar N.; Perry, Lacey (2014-11-01). 「知覚的マッチングとソリテス:古代ギリシャのパラドックスの実験的研究」 .注意、知覚、心理物理学. 76 (8): 2442. doi : 10.3758/s13414-014-0711-6 . ISSN 1943-393X . 
  13. ^ワイス、スティーブン・E. (1976). 「ソリテスの誤謬:ピーナッツはどんな違いをもたらすのか?」 .シンセシス. 33 (1): 253– 272. ISSN 0039-7857 . 
  14. ^ラッセル、バートランド(1923年6月)「曖昧さ」オーストラレーシア心理学哲学ジャーナル1 (2): 84–92。doi : 10.1080/00048402308540623。ISSN 1832-86602009年1118閲覧 Shalizi1995 年の電子テキストはarchive.orgWebCite にアーカイブされています。
  15. ^ロンツィッティ、ジュゼッピーナ (2011年3月3日).曖昧さ:ガイド. シュプリンガー・サイエンス&ビジネス・メディア. p. 4. ISBN 978-94-007-0375-9
  16. ^ a bバーンズ、ジョナサン; ブランシュウィッグ、J. (2005-11-10). 『科学と思索』 ケンブリッジ大学出版局. pp.  30– 31. ISBN 978-0-521-02218-7
  17. ^ a bキーフ、ロザンナ; スミス、ピーター (1996). 『Vagueness: A Reader』 MIT Press. pp.  156– 157. ISBN 978-0-262-11225-3
  18. ^アンガー、ピーター (1979). 「普通のものは存在しない」.シンセシス. 41 (2): 117– 154. doi : 10.1007/bf00869568 . JSTOR 20115446. S2CID 46956605 .  
  19. ^ Ayer, AJ (1979). 『知覚とアイデンティティ:AJ Ayerに提出されたエッセイとその返答』 ニューヨーク州イシカ:コーネル大学出版局. p. 324.
  20. ^コリンズ 2018、32ページ。
  21. ^コリンズ 2018、35ページ。
  22. ^ウィリアムソン, ティモシー (1992). 「不正確な知識」. Mind . 101 (402): 218– 242. doi : 10.1093/mind/101.402.217 . JSTOR 2254332 . 
  23. ^ウィリアムソン, ティモシー (1992). 「曖昧さと無知」.アリストテレス協会補足紀要. 66.アリストテレス協会: 145–162 . doi : 10.1093 /aristoteliansupp/66.1.145 . JSTOR 4106976 . 
  24. ^ウィリアムソン、ティモシー(1994). 『曖昧さ』 ロンドン:ラウトレッジ.
  25. ^ソレンセン、ロイ(1988年)『ブラインドスポットクラレンドン・プレスISBN 9780198249818
  26. ^ Fine, Kit (1975年4~5月). 「曖昧さ、真実、そして論理」(PDF) . Synthese . 30 (3/4): 265– 300. doi : 10.1007/BF00485047 . JSTOR 20115033. S2CID 17544558. 2015年6月8日時点のオリジナル(PDF)からのアーカイブ  
  27. ^ van Fraassen, Bas C. (1966). 「特異項、真理値ギャップ、そして自由論理」(PDF) . Journal of Philosophy . 63 (17): 481– 495. doi : 10.2307/2024549 . JSTOR 2024549 . 
  28. ^ Kamp, Hans (1975). Keenan, E. (編).形容詞に関する二つの理論. Cambridge University Press. pp.  123– 155.
  29. ^ダメット、マイケル (1975). ワングのパラドックス」(PDF) . Synthese . 30 (3/4): 301– 324. doi : 10.1007/BF00485048 . JSTOR 20115034. S2CID 46956702. 2016年4月22日時点のオリジナル(PDF)からのアーカイブ  
  30. ^ 「真理値」スタンフォード哲学百科事典スタンフォード大学形而上学研究室2018年。
  31. ^ Zadeh, LA (1965年6月). 「ファジー集合」 .情報制御. 8 (3). サンディエゴ: 338–353 . doi : 10.1016/S0019-9958(65)90241-X . ISSN 0019-9958 . Zbl 0139.24606 . Wikidata Q25938993 .   
  32. ^ Goguen, JA (1969). 「不正確な概念の論理」. Synthese . 19 ( 3 ​​–4): 325–378 . doi : 10.1007/BF00485654 . JSTOR 20114646. S2CID 46965639 .  
  33. ^ラフマン、ダイアナ(2014年)『Unruly Words: A Study of Vague Language(曖昧な言語の研究)』OUP. pp. 136ff. doi : 10.1093/acprof:oso/9780199915101.001.0001 . ISBN 9780199915101
  34. ^ Raffman, D. (2005). 「曖昧さに関する文脈主義をどう理解するか:スタンレーへの返答」. Analysis . 65 (287): 244– 248. doi : 10.1111/j.1467-8284.2005.00558.x . JSTOR 3329033 . 
  35. ^コリンズ 2018、33ページ。
  36. ^ a bロバート・ダンカン・ルース(1956年4月). 「半順序と効用識別理論」(PDF) . Econometrica . 24 (2): 178– 191. doi : 10.2307/1905751 . JSTOR 1905751 . こちら:p.179
  37. ^ a b Wallace E. Armstrong (1948年3月). 「不確実性と効用関数」 . Economic Journal . 58 (229): 1– 10. doi : 10.2307/2226342 . JSTOR 2226342 . 
  38. ^ Peter C. Fishburn (1970年5月). 「非推移的個人無関心と推移的多数派」 . Econometrica . 38 (3): 482– 489. doi : 10.2307/1909554 . JSTOR 1909554 . 
  39. ^ Alan D. Miller; Shiran Rachmilevitch (2014年2月).推移性のないアローの定理(PDF) (ワーキングペーパー).ハイファ大学. p. 11.
  40. ^比較級の形は、これまで調査したすべての経済学の出版物で発見されました。 [ 37 ] [ 38 ] [ 39 ]明らかに、それは効用理論の研究対象によって必然的に伴われます。
  41. ^ウォレス・E・アームストロング(19399月)「効用関数の決定性」エコノミック・ジャーナル49195):453-467。doi10.2307/2224802。JSTOR 2224802 
  42. ^アームストロング(1948)によれば、無関心は選好理論では推移的であると考えられていたが [ 37 ]:2 後者はまさにこの理由で1939年に異議を唱えられ、 [ 41 ]:463 、効用理論に引き継がれた。
  43. ^セン、アマルティア(1969). 「準推移性、合理的選択、そして集団的意思決定」.経済学評論. 36 (3): 381– 393. doi : 10.2307/2296434 . JSTOR 2296434. Zbl 0181.47302 .  
  44. ^デイビッド・ロバーツ:推論:その他の誤謬アーカイブ2008-09-15 at the Wayback Machine
  45. ^サウレス、ロバート・H.(1953)、Straight and Crooked Thinking(PDF)(改訂版)、ロンドン:パンブックス、p.61
  46. ^ 「章の要約」 .

参考文献