論理の意味

さて、S教授は、私が非常勤先で教えている授業（最小論理の自然演繹）の教科書の作者です。懇親会から帰る時に、授業について聞かれました。

• (S)最近、授業はどうかね？
• (ytb)ええ、生徒はみんな熱心です。でも、最小論理の意味論は難しいので、意味を教えるのは難しいです。
• (S)（さえぎるように）論理の意味とは、→と∀がどのような規則で導入され、どのような規則で除去されるかだ。

さすが証明論的意味論の人。