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

[Takahumi Saikawa]

皆様

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

才川隆文 (m09018f at math.nagoya-u.ac.jp)
多元数理科学研究科

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