■

CAPE レクチャー　「論理学上級」

日時：3月15日（日）

• 13:00-15:00,
• 15:30-17:30

3月15日の中継はコチラ
www.youtube.com

3月15日の質問はコチラへ
zoom.us

配布資料はコチラから
www.academia.edu

• テーマ：古典論理の推件計算と計算的内実
• 内容：
  • 古典論理は、直観主義論理と比べ、モデルは単純であるものの、証明体系は複雑であり、その意味を与えることは難しい、そのため、本コースでは以下を紹介する
    1. 古典論理の証明論的意味論としての推件計算を紹介する。
    2. 古典論理全体に計算的な意味を与えるのは難しいため、古典論理の部分論理であるゲーデル論理について、その証明が並行計算として解釈できることを示す