科学哲学科学史 (演習) 論理学

京都大学文学部の「科学哲学科学史 (演習) 論理学」（毎週火曜日16:45〜18:15）の授業Blogです。

授業内容

  1. 前回の復習
    1. モデル論的意味論
    2. 証明論的意味論
  2. 前回の宿題
  3. 論理結合子の条件
  4. 言語相対性
  5. 宿題