本日の読書会で話題になり、h師とK氏に指摘されたので。論理的体系の代数的意味論は、哲学者には評判が悪い。なぜだろう、という話。 代数的意味論で、例えば論理式 A の「意味」は（designated value の議論を引用して）{ B : B→A の代数的な値が 1} という…

19時より21時半まで。参加者4人。p.15第3段落-p.18第1段落。 「連続体仮説(CH)は、ZFCから独立なので、真理値を持たない」という論敵に対して、パトナムは「二重星が無限に存在する」という物理学の言明や、「10^{100}+1が素数である」という言明は実際に確…

起床は8時45分。慌ててシャワーを浴びる。講演会。昼食は肉きしめん。 野依記念館内部、ガラスには野依教授が発見した物質の化学式が書いてある。しかしこの建物、地震があったらどうするのだろう。 野依物質科学館、ノーベル賞の威力。一度帰宅して、荷物を…