<タイプ理論とその哲学的背景> もっぱら数学基礎論的な関心からラッセルが創始したタイプ理論は、現在、コンピュータ科学や言語学などにおいても活用されている。また、当初批判が多かっ たラッセルの分岐タイプ理論についても、色々な角度から再評価する動きが見られる。この講義では、タイプ理論の展開について概観し、いくつかのタイプ理論 の概要を確認したうえで、それらの論理哲学的意義について検討する。
カリキュラム »