19時より22時まで、参加者は3人、p.10第二パラグラフ-p.13最後まで。 Linguistic ersatzism*1の続き。たとえば様相論理のモデルを作る際、メタ理論をZFCにして、文の極大無矛盾集合（Zornの補題で極大性を保証）を構成して、それを可能世界と見なすことがあ…

朝は寒い。久しぶりに晴れたので、昼は少し暖かくなる。 起床は9時、出勤して論文の続き。午後には打ち合わせ、論文の進展状況を報告。読書会に寄り22時に帰宅。夕食はチキンカレー。