初級論理学のスタディ・ガイド, Revisited [雑]

来週、ぼくが演習を担当している初級論理学の試験があるので、それに向けてのスタディ・ガイドを用意しているのですが、量化文（「すべての」とか「ある」が現れる文章ですね）が現れる議論の例をチャールズ・ラトウィッジ・ドッジソンの『記号論理』から採ろうと思ったら、同じ例を戸田山さんがすでに『論理学をつくる』でつかっているのを発見し「なんだよー」って感じです。

あと、命題論理の健全性の（真理木にもとづいた）証明を『論理本』流に階層の概念をつかって書き下ろしたところ、「こんなん、初級論理学の受講生は誰も読まないよ」というものになってしまったので、結果、戸田山さんのやりかた（真理木の健全性を、真理木の経路の充足可能性＝開放経路と真理木規則の真理保全性に帰着させる）を踏襲することになりそう。なんか、くやしい。