前に「型なし証明論」について紹介したので、勢いでもう一つ線形論理を使った哲学の論文を読んで紹介しまっせ。 cut-elimination.hatenablog.com Paolo Pistone "Rule-Following and the Limits of Formalization: Wittgenstein’s Considerations Through the Lens of Logic"という論文（私が読んだのはもしかしたらプレプリントかもしれない）。 link.springer.com 著者はイタリア出身でいまはフランスにいるらしい。テクニカルな研究をしているが哲学にも精通し…
