後期第三回授業は、「論理結合子の意味とは何か」の続きで、「反転原理」(inversion principle)を取り上げます。 前回紹介したように、トンクは体系を自明化するという本質的な欠陥を持っていましたが、言語全体というグロ−バルなレベルでは、「保存拡大性…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。