cut_elimination https://blog.hatena.ne.jp/cut_elimination/ 曇りなき眼で見定めブログ https://cut-elimination.hatenablog.com/ 分析哲学 論理学 日本で証明論的意味論（PTS, Proof-Theoretic Semantics）を研究している人、やたらと多くないだろうか！？ という感じがしているが、どうもそうでもないらしい。後述する大西先生の講義によると、大西先生の博論以降の10年弱でも研究の進展はそれほどないとか。京大周辺に特に多い気がするが、京大周辺の方々が執筆や情報公開に積極的で検索にかかりやすいということなのかもしれない。 それで、検索したら出てくるいろいろな証明論的意味論の文献を収集して見たり読んだりしてみたのでここに記録する。 大西琢朗「証明論的意味論と双側面説」 大西琢朗「証明論的意味論と双側面説」 大西先生の博論で、証… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcut-elimination.hatenablog.com%2Fentry%2F2021%2F09%2F08%2F170657" title="【なぜか多い⁉︎】ネット上にある証明論的意味論の日本語文献まとめ - 曇りなき眼で見定めブログ" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://forcing.nagoya/book_C89.pdf Hatena Blog https://hatena.blog 2021-09-08 17:06:57 rich https://cut-elimination.hatenablog.com/entry/2021/09/08/170657 1.0 100%