前に「型なし証明論」について紹介したので、勢いでもう一つ線形論理を使った哲学の論文を読んで紹介しまっせ。 cut-elimination.hatenablog.com Paolo Pistone "Rule-Following and the Limits of Formalization: Wittgenstein’s Considerations Through the Lens of Logic"という論文（私が読んだのはもしかしたらプレプ…

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

Rule-following(規則に従うこと)のパラドクスと超越論的シンタクス（ウィトゲンシュタイン、ルイス・キャロル、線形論理、相互作用の幾何学(GoI)）