授業で紹介した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…

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

前回の復習 モデル論的意味論 証明論的意味論 前回の宿題 論理結合子の条件 言語相対性 宿題

授業第十五回目の今回は、論理結合子の意味について、証明論的意味論の立場からさらに考察を加えたいと思います。具体的には、 結合子の導入規則がその意味を定めるというゲンツェンの意見を紹介 「導入規則さえ与えれば、どんな結合子も『論理結合子』とし…