曇りなき眼で見定めブログ

学生です。勉強したことを書いていく所存です。リンクもコメントも自由です! お手柔らかに。。。更新のお知らせはTwitter@cut_eliminationで

2021-07-09から1日間の記事一覧

ウォルトン『フィクションとは何か』読書会記録其ノ弐拾参・第9章(予習編)

過去の回はこちらから。 フィクションとは何か―ごっこ遊びと芸術― 作者:ケンダル・ウォルトン 名古屋大学出版会 Amazon フェミニズムと萌え絵批判の問題について考えていて、メイク・ビリーブを援用したい所存。あと佐々木敦先生の本をチラ見したら、(もち…

「直観主義型理論(ITT, Intuitionistic Type Theory)」勉強会ノート其ノ弐拾壱「有限集合」「無矛盾性」(予習編)

直観主義型理論でごんす。 有限集合 規則 これまでの規則はすべて、ある集合(あるいは集合族)からある集合を作るものだったが、ここで導入する有限集合は前提なしに直接に与えられるものである。 によって無限個のルールがあることに注意。 形成則 前提が…