[logic-ml] 論理学セミナー情報(7月9日, 名古屋大学)

皆様

今週末土曜の9日、名古屋大学多元数理科学研究科で、 産総研の矢田部俊介さんをお招きしてのセミナーを下記のとおり開催します。 ご参加をお待ちします。

才川隆文 ([email protected]) 多元数理科学研究科

---- 発表者： 矢田部俊介 (産業技術総合研究所) タイトル: ヤブローのパラドックスと自己言及性 日時：7月9日(土) 13:00から 場所: 名古屋大学東山キャンパス 理1号館 1階109号室 要旨: 　嘘つきのパラドックスやラッセルのパラドックスをはじめ, 真理や素朴集合論 に関わる多くのパラドックスは, 自己言及性（「この文はウソである」）を原因に持つ. そのため, 自己言及性こそ矛盾の原因であると思われやすい. しかし, 真理に関し, 一見自己言及的ではないにも関わらず, （体系がω矛盾でない場合は）矛盾を導くパラドックスが存在する. その代表例がヤブローのパラドックス である. 　ヤブローのパラドックスでは, 直接的な自己言及性の代わりに, 無限的に自己言及的な機構を使用しており, ω矛盾性（自然数が超準数を含む） と密接な関係が ある. 　本講演では, ヤブローのパラドックスに関する論争の歴史を紹介し, またω矛盾性との関係について説明する.