p188

モデル理論 では,ここで概念世界といっている世界が事実世界と記述世界からなり,事実世界は数学的に表現された現実世界ことであり,記述世界とは形式言語世界ことである.つまり,事実世界は与えられたと考えるで,われわれがここで考えているようなアイデア世界と現実世界対応をどうするかという深刻な問題はない.概念世界と現実世界関係が,モデル理論内部において記述世界と事実世界関係としてモデル化されていると考えることもできよう.

科学基盤を掘り崩そうとする努力

いわゆる科学論者(たとえば日本では金森修氏などが代表だろうか)については,金森氏『サイエンス・ウォーズ』三中氏による書評

http://cse.niaes.affrc.go.jp/minaka/files/ArrogantNonsense.html

がそ知的誠実さ(これは科学基盤を支える一つ柱であると考える)の欠如を明らかにしてくれている.科学基盤を掘り崩すために,まず,「知的誠実さ」を捨てて精神を清め自身倫理的構えがいわゆる科学それとは一線を画していることを明らかにしてから, 科学批判に取りかかるということようである.

(『サイエンス・ウォーズ』も東京大学出版会が出していたとはうかつにも認知していなかった.三中氏本も同じ所から出ているから,まぁよし,ということにしておこう.)