平常授業：10/16 休講：10/23 平常授業：10/30

授業で紹介したPriortonkの初出はこちら。 Prior, Arthur. "The runabout inference ticket." Analysis, 21, pp38-39, 1960-61.(link: http://www.jstor.org/pss/3326699)またベルナップの tonk の初出文献は以下の通りです。 Tonk, Plonk and Plink. Nuel D…

授業要約・宿題 こちらから 授業スライド こちらから

前回の復習 モデル論的意味論 証明論的意味論 論理結合子の条件 保存拡大性

授業第十六回目の今回は、「論理結合子の条件」について、証明論的意味論の立場から考えてみたいと思います。具体的には、意味の理論IIの素朴な解釈である素朴な推論主義「論理結合子の意味は導入規則と除去規則によって完全に定められる」が正しいかどうか…