黒木玄先生の学問的誠実を考える会

このエントリーをはてなブックマークに追加
389考える名無しさん
[パトナムの定理]
言語Lが述語F1、F2、...FKを持つとする。IをLの解釈だと
すると(IはLの全ての述語に内包を与える)。もしIがトリヴィアル
でないとすれば、即ち少なくとも一つの述語が少なくとも一つの
可能世界いおいて空でも全称的でもない外延をもつとするならば、
Iと一致しないが全ての可能世界でIと同じ文を真にする第二の解釈J
が存在する。

よって実在論は破綻した。