メイク・ビリーブであるぞ。 フィクションとは何か―ごっこ遊びと芸術― 作者:ケンダル・ウォルトン 名古屋大学出版会 Amazon ここでは「虚構として成り立つと知ること」と「真なることを虚構において知ること」とか、参加する表象体とそうではない装飾とか、…

こちらの復習編。 左射影 p の依存型のときの論理読み（存在量化のとき）というのは、 の witness を取り出すということになろうかと。それがヒルベルトのアレになる。右射影だとその個体について成り立つ性質を取り出すことになる。 右射影 左射影と同じよ…