ジャン＝イヴ・ジラール先生といえば、線形論理の開発者であり、他にもさまざまな斬新な業績を打ち立てた論理学界の大巨人である。ジラール先生の線形論理解説論文"Linear Logic: Its Syntax and Semantics"に自然演繹の4つの問題点というのが書かれていた。…

こちらの復習編。 フィクションとは何か―ごっこ遊びと芸術― 作者:ケンダル・ウォルトン 名古屋大学出版会 Amazon 予習編でウォルトンは規約による説明を批判していると書いたが、全面的に否定しているわけではない。規約は十分条件ではないというだけである…