◇□ 数学基礎論サマースクール2015 □◇
非古典論理(様相論理)
2015年8月18日(火)〜 21日(金)神戸大学
今回のサマースクールにはおよそ100名の方が参加されて
最初から最後まで熱心に講義をご聴講くださいました
また講師の方はおそらく皆様の想像をはるかに超える大変な時間と手間をかけて
とても分かりやすく興味深い講義をご準備してくださいました
今回のサマースクールに関係した全ての方に謹んで御礼申し上げます
数学基礎論サマースクール2015世話人 菊池誠 酒井拓史
□◇□◇□◇□◇□◇□◇□◇□◇□◇□◇□◇□◇□◇□◇□◇□◇□
【概要】様相論理入門と,証明や真理に関する様相論理の話題についての講義.
また,様相論理と関連する他分野との関係や発展的内容についての特論.
【日時】2015年8月18日(火)〜 21日(金)
【場所】神戸大学六甲台第2キャンパス内 工学部教室棟LR501教室(戎記念ホール)
【住所】〒657-8501神戸市灘区六甲台町1-1
【ホームページ】http://www2.kobe-u.ac.jp/~mkikuchi/ss2015.html
【参加費】無料
【講師】薄葉季路(神戸大),金子守(早稲田大),倉橋太志(木更津高専),
黒川英徳(神戸大),佐藤雅彦(京大名誉教授),佐野勝彦(JAIST),渕野昌(神戸大)
【内容】
〈講義〉(各3コマ)
1.
様相論理入門(佐野)
(1) 正規様相論理の構文論・意味論・ヒルベルト式公理系 [PDF]
(2) 正規様相論理の有限フレーム性・決定可能性 [PDF]
(3) 様相論理の発展と歴史的背景[PDF]
2.
証明可能性論理(倉橋)
(1) 不完全性定理と証明可能性論理 [PDF update15/08/21]
(2) ソロヴェイの算術的完全性定理 [PDF update15/08/21]
(3) 証明可能性論理の発展 [PDF update15/08/21]
3.
強制法と様相論理(薄葉)
(1) 概観・集合論の基礎 [PDF]
(2) 強制拡大・強制関係 [PDF]
(3) 強制様相論理・関連話題 [PDF]
4.
真理と様相(黒川)
(1) タルスキの真理論 [PDF]
(2) クリプキの真理論 [PDF]
(3) 知者のパラドックスと真理の改定理論 [PDF]
〈特論〉(各1コマ)
1. 認識論理のゲーム論的意思決定への応用(金子)[PDF]
2. 計算機科学における様相論理(佐藤)[PDF]
3. 集合論的多元宇宙と様相論理(渕野)[PDF]
〈時間割〉
|
9:20-10:50 |
11:00-12:30 |
13:30-15:00 |
15:10-16:40 |
16:50-18:20 |
|
18日 |
《チュートリアル・導入》 |
佐野(1) |
倉橋(1) |
|
||
19日 |
薄葉(1) |
黒川(1) |
佐野(2) |
倉橋(2) |
金子 |
[懇親会] |
20日 |
佐野(3) |
倉橋(3) |
薄葉(2) |
黒川(2) |
佐藤 |
|
21日 |
黒川(3) |
薄葉(3) |
渕野 |
|
|
《チュートリアル》
時間:10:00-12:30,講師:依岡輝幸(静岡大),場所:LR501教室
内容:数理論理学の予備知識を全く持たない人を対象とする少人数の講義です.
古典命題論理の論理式,形式的証明,真理値,完全性定理とコンパクト性定理,
古典述語論理の基礎,算術と集合論の公理系などについて解説します.
《導入》
時間:14:00-15:00,担当:菊池誠(神戸大・世話人),場所:LR501教室
内容:今回のサマースクールの背景および企画意図を説明します.[PDF]
《受付》一般:18日12:30から,チュートリアル受講者:9:20から
(初日) (最終日)
【懇親会】19日夜に神戸大学内で懇親会を開催します.
日時:2015年8月19日(水)午後7時から
会場:和風レストランさくら http://www.kucoop.jp/info/shop-belbox.html
場所:神戸大学六甲台第1キャンパス内 BEL BOX 3階
会費:3,500円
【アクセス】JR六甲道駅または阪急六甲駅から,
神戸市バス16系統「六甲ケーブル下」行きに乗車「神大国際文化学部前」で下車,
または,36系統「鶴甲団地」行きに乗車「神大本部工学部前」下車,徒歩すぐ.
http://www.kobe-u.ac.jp/guid/access/rokko/rokkodai-dai2.html
http://www.eng.kobe-u.ac.jp/accessmap/
【宿泊】ホテル予約等のん手配はしません.三宮周辺に宿泊されることをお勧めします.
【アドバイザ】新井敏康(千葉大),鈴木信行(静岡大),松原洋(名古屋大)
【世話人】神戸大学 大学院システム情報学研究科 菊池誠,酒井拓史
【連絡先】菊池誠 mkikuchi@kobe-u.ac.jp