「タイプ理論の起源と発展」

今夏、タイプ理論についてのサーベイをみんなで書きましたが、KURENAIよりダウンロードできるようになりました。

池田真治・伊藤遼・久木田水生 [2011]「タイプ理論の起源と発展」、『哲学論叢』第38巻(別冊): S49-S60【PDFダウンロード】

昨年より、タイプ理論の研究会を行っておりましたが、その最初の成果です。まったくの初心者あるいは入門用を想定して書いたものです。専門家には物足らないかもしれませんが、新しい話題も盛り込んでおります。細かい歴史などはほとんどカットせざるをえませんでしたが、その分、論点重視で書いたので、エッセンスは伝わりやすくなっていると期待します。興味のある方はぜひ読んでみてください。

次からは、より発展的な話題で論文を書いていきたいと思います。