Pulin https://blog.hatena.ne.jp/Pulin/ 御光堂世界~Pulinの日記 https://pulin.hateblo.jp/ 言語学 ちょっと前の論理学や言語哲学の本を読むと、様相論理に関して、「太陽系の惑星の数が9であることは必然である」というような例文が出てくることがある。（注1） 9であることは偶然に過ぎないわけであるから、この命題はもちろん偽の例である。実際、2006年に冥王星が準惑星とされ、惑星のうちから外されたので、太陽系の惑星の数は8になった。9であったことは偶然に過ぎなかったことが実証されたわけである。今後、同様の例文が作られる時には、太陽系の惑星の数は8とされることになるだろう。 （注1） たとえば、野本和幸『現代の論理的意味論』（1988年）に出てくる次のような例文。（p.170） (1) 9が9と同一な… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fpulin.hateblo.jp%2Fentry%2F20141210%2F1418206165" title="太陽系の惑星の数が9だったことは偶然だった - 御光堂世界~Pulinの日記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2014-12-10 19:09:25 rich https://pulin.hateblo.jp/entry/20141210/1418206165 1.0 100%