「亀がアキレスに言ったこと」の版間の差分

この議論はまず次のような[[論証]]を考えるところから始まる。

* '''前提 B''': この三角形のこの二つの辺は同一のものに等しい。

:それゆえ

亀はこれを受け入れる。ただし自分がこれを受け入れたことが分かるように、ノートにその新しい内容を書きこんでくれと頼む。アキレスはノートに前提Cを書き込む。そして新しい形はとこうなった。

* '''前提''' '''A''': 同一のものに等しいものは、お互いに等しい(推移関係)。

* '''前提''' '''B''': この三角形のこの二つの辺は同一のものに等しい。

* '''前提''' '''C''': もしAとBが正しければ、Zは正しくなければならない。

* '''結論''' '''Z''': この三角形のこの二つの辺は、お互いに等しい。

し確かしに亀がは前提Cをは認めはした。しかしこの新しい形の拡張された論証であっても、それはまだなお結論証Zを拡大させ受け入れること自体を認めたわけではない拒否する。アキレスがは「君はAとBとCが正しいなを受け入れたのだからば、Zも認めなければならない」といえば、言う。しかしそれに対し亀は「それのことは異また更なる仮言的命題(hypothetical proposition)前提だ」と区別を迫る返す。そして亀は「僕は前提Cを認めてはした、けれども『AとBとCから、Zが結論される』ということは認めていない」と言う。つまり次のような前提Dが正しいかどうかを確かめねばZという結論はまだ誤りがありえるとほのめかした。