[logic-ml] 12月14日（火）三田ロジックセミナーのお知らせ

三田ロジックセミナーのお知らせ

筑波大学金子守先生をお迎えして次のようなセミナーを開催いたします。

日時: 2011年12月14日（火） 16:30ｐｍ-18:00ｐｍ 場所: 慶應義塾大学三田キャンパス第３号館３２５Ａ教室 スピーカー：　金子守　先生（筑波大学）

A Measure of Inference in Classical and Intuitionistic Logics

By

Mamoru Kaneko and Nobu-Yuki Suzuki

要 約

本論文において推論・証明の複雑性を議論する。計算の複雑性は、問題の 可算集合に適用するアルゴリズムがその実行にようする時間の大き さとして定 義される。しかし、これは、特定のひとつの問題（シークエント）に必要な推 論・証明の大きさを論じることを目的としていない。 特定のひとつの問題 （シークエント）に必要な推論・証明の大きさを評価する試みは、論理学だけで なく、ゲーム理論・経済学（特に限定合理 性の問題）などからも重要である。 本論文では、古典論論理と直観主義論理のシークエント計算の体系で、与えられ たひとつのシークエントが 必要とする最小の証明の大きさ（証明の幅の意味 で）を定義する。そして、具体的にその値を求める方法を与え、様々なシークエ ントに適用 し、最小の証明についての考察を行う。また、ゲーム理論的問題へ の応用、矛盾命題への応用を議論する。

参加は自由です．

---- 慶應義塾大学「論理学とフォーマルオントロジー」オープンリサーチセンター主催 お問い合わせ先: 慶應義塾大学文学部哲学専攻 岡田光弘