taggaの日記： [悪口] 懐疑 2.0

伝統的に「懐疑」は ◇¬∃xP(x) "P となる x が存在しない可能性がある"という話だと思うんだが、 最近 ◇¬p "p でない可能性がある " で使ってる人がいる気がする。 別モノだから、懐疑 1.0 と 懐疑 2.0 と言い分けよう。

懐疑 2.0 は理論の中身の検討もいらないから楽だし、何回も適用できる。 二回使うと ◇¬◇¬p "p でない可能性がない可能性がある" ≡ ◇□p "p が必然である可能性がある" だから、「懐疑」のはずなのに、強めの主張もできちゃう。

……。何の役に立つのか分からん。 懐疑をもつからには、¬∃xP(x) でも大丈夫な理論作るのが筋で、 そうするとオッカムがやってきて、 余分なものを削いでいってくれる。 と、マッハをいつかきちんと読み直したいなあと思いつつ、意味のない話。