Twitterにも書いたんですが、本日、ある学生から「A&B→CとA→B→Cが同値な訳がない」と抗議されました。A&Bはまとまっているので、AとBがバラバラな A→B→Cと意味が違うはず、とのことで…気持ちは分からなくもないのですが。

出席者3人、今回のレジュメはI先生に担当していただく。この論文でHorwichは、最小主義の立場からタルスキの真理理論（と世間で言われるもの*1）を批判する。 最小主義は、T-図式こそ真理について言えることの全てであると言う立場を取り、真理述語を原始的…

午前中はよく晴れる。夕方から湿度が上がり、風が強くなる。 午前中は出勤して打ち合わせ。今度はうまくいく。午後は非常勤先に行き授業と読書会。授業の方では、授業開始前にノートPCを起動しようとしたら「起動システムが見つかりません」と表示されたり（…