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

↓これの続き cut-elimination.hatenablog.com これまで「超越論的シンタクスは難しい！」と書いてきた。ではなぜ難しいのか、考えてみたい。 まず、そもそもジラール先生の論文は昔からかなり難しい。難しいというより読みにくい。論理学のテクニカルな部分はちゃんと読めるのだが、そうでない思想的な部分は、文体にかな…