モチベーションをいろいろ書いていたので、ついでにジラールの最近のプロジェクトである超越論的シンタクスについて、現時点で私にわかる程度にモチベーションを書いておく。 cut-elimination.hatenablog.com cut-elimination.hatenablog.com λ計算では、計…

いまや若手分析哲学者の二大拠点となった（と私が勝手に思っている）北大と一橋大。それらの合同研究会が今夏も開催されました。今年で3回目。 sites.google.com 私は分析哲学ともまた違う謎の論理学をやる人間だが、発表させていただいた。ジラール理論を分…

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

先日、一橋大学で↓こういうイベントがあった。 sites.google.com 講演者の豊岡正庸さんは私の直の先輩にあたる。たいへん優秀な方で、分析哲学・哲学的論理学の世界では注目の存在である。 豊岡さんの講演のなかで線形論理やジラール先生に触れた箇所があり…

ものすごく久しぶりの第三弾。このテーマはそのまま修論になる可能性があるので継続していきたい所存。 サムソン・アブラムスキー先生の1994年の"Proofs as Processes"（リンクはPDFです）という短い論文を読んだのでその記録である。 内容は"相互作用として…

Wikipediaを見ていたら"interactive computation"と"interactive computing"は違うというようなことが書かれていて、ちゃんとページも分かれていた。両方を見たけれども両者の違いはよくわからない。interactive computation のほうには「数学的モデル」と書…

発端は照井一成先生の「相互作用としての計算」という論文である。しかしこれは「現代思想」(青土社)という学術誌よりはカジュアルな雑誌に掲載されたもので、内容的にもそれほど堅苦しいものではなく、論文というよりは論考とかエッセイと呼んだほうがよい…