Syllabus system

2005年度上智大学シラバス

◆現代論理学　－　（後）

田中裕

○講義概要

フレーゲからゲーデルまでの数理論理学の基本的な問題を扱います。内容は，三つの源泉：フレーゲ・ペアーノ・カントール数学基礎論論争：論理主義（ラッセル）・直観主義（ブラウアー）・形式主義（ヒルベルト）超数学と超論理学の成立：ゲーデルとタルスキー

○評価方法

出席状況(10%)、授業参画(10%)、レポート(80%)
授業時間中に提出するレポートと演習を重視する。特に試験は行わない。

○テキスト

ヴィットゲンシュタイン『論理哲学論考』岩波文庫

○参考書

野矢茂樹『論理哲学論考を読む』哲学書房

○他学部・他学科生の受講

可

○授業計画