■

平成26年度 京都大学 研究科横断型教育プログラム（Bタイプ：特別開講型）の一環として、以下の要領で真理理論のミニコースを開催します。
登録者以外も自由に聴講が可能です。お気軽にお越し下さい。

• 授業日：1月24日（土）、25日（日）
• 場所:京都大学文学部　第６講義室
• テーマ：真理とは何か
• テキストはこちら
• 授業内容
  • 意味論的真理理論(1/24)
    • (10:30-12:00) 古典論理の完全性定理とタルスキ・モデル、タルスキの真理理論
    • (13:30-15:00) クリプキと不動点意味論
    • (15:30-17:00) 真理の改訂理論
  • 公理的真理理論(1/25)
    • (10:30-12:00) 古典論理上の真理理論の階層
    • (13:30-15:00) 非古典論理上の透明な真理概念
    • (15:30-17:00) 真理概念とω矛盾性

詳細は http://researchmap.jp/josybq6om-21098/#_21098 および http://www.cape.bun.kyoto-u.ac.jp/education/ をご覧下さい。