>>255
イデア界の実在の証明なんて出来る訳もないので、あまり厳密に考えないで、
一種の思考実験や仮想現実くらいに受け止めればいいのかと思われます。

「欲望の時代の哲学〜マルクス・ガブリエル　日本を行く〜」
http://www.dailymotion.com/video/x6ou6zm

なぜ世界は存在しないのか (講談社選書メチエ) 単行本（ソフトカバー） – 2018/1/13
マルクス・ガブリエル (著) 清水 一浩 (翻訳) ベストセラー1位- カテゴリ 講談社選書メチエ


思想界では、新しい実在論がブームになっているらしい。上記の動画では
科学的な一元論や近代合理主義、高度資本主義が人々を抑圧する装置として
作動していると分析し警鐘を鳴らしている。多元的実在をすべて包括するクラス
としての世界は存在しないと、この哲学者は述べている。なぜなら、
そうした世界が存在するには、それが存在する意味の場が必要になり、
論理的な構造上、すべての実在を包括する世界自身は、その意味の場に入れないので、
それは意味をなさない、すなわち世界は存在しない、という理論になっている。

ラッセルもタイプ理論と記号法、クラスについての考察で似たことを述べている。
幾つもの命題関数を包括するクラス自身をそのクラスの要素として、他の
命題関数と同じように「ある」とはみなせないし、そうみなしてしまうことで、
それが言明として無意味になると述べている。張り紙禁止と書かれた張り紙は、
その言明をクラスとしての自分自身には適用しないことで、それが無意味な
矛盾した言明になることを暗黙のうちに回避している。

つまり「ある」においては、それに対応する別の階層の型があるという観点で
ラッセルの型理論の考え方だろう。オブジェクト指向のプログラミング言語でも
クラスの概念が使われているけど、そこでも類似のロジックが使われていると
言えるだろう。ラッセルは、このようにクラスの記述は、不完全記号であると
述べている。