[logic-ml] Announcement 「論理と数学の哲学―論証の哲学に向けて」Workshop “Philosophy of logic and Mathematics

[Mitsuhiro Okada]

次の共同 ワークショップを企画しておりますので、ご案内させて頂きます。
　　　　　　　　　　　　　　　　　　　　　　　　　慶応義塾大学岡田光弘
**************************************************************************
「論理と数学の哲学―論証の哲学に向けて」日仏ワークショップ
Workshop “Philosophy of logic and Mathematics
– Towards Philosophy of Proofs
(本会合情報　https://abelard.flet.keio.ac.jp/seminar/frjp17jan.html)
***************************************************************************
日時：2017年1月12日(木)-13日(金)、参加自由、事前登録なし。
Date: Jan 12th Thursday-13th Friday, 2017
場所：慶應義塾大学三田キャンパス 南館地下4階 ディスタンスラーニングルーム
Place: Distance Learning Room (B4F), South Building, Mita Campus of Keio
University
(キャンパスマップ https://www.keio.ac.jp/en/maps/mita.html  13番の建物で
す。/ Building #13 on this map.)

論理と数学の哲学についての日仏ワークショップを案内させて頂きます。特に、
証明(論証)の哲学に向けたテーマを議論する予定です。

フランス側招待講演者：
ピエール・ワーグナー Pierre Wagner (パリ第１大学哲学科兼パリ科学史・科学
哲学研究所)
マルコ・パンツァ Marco Panza (パリ第１大学哲学科兼パリ科学史・科学哲学研
究所)
アンドリュー・アラナ Andrew Arana (パリ第１大学哲学科兼パリ科学史・科学
哲学研究所)
アルベルト・ナイボ Alberto Naibo (パリ第１大学哲学科兼パリ科学史・科学哲
学研究所)

日本側招待講演者：
岡本 賢吾 Kengo Okamoto (首都大学東京哲学分野)
喜田 浩平 Kohei Kida (慶應義塾大学文学部仏文学専攻)
峯島 宏次 Koji Mineshima (お茶の水女子大学シミュレーション科学教育研究セ
ンター)
藤原 誠 Makoto Fujiwara (早稲田大学高等研究所)

他の講演者：
秋吉 亮太 Ryota Akiyoshi (早稲田大学高等研究所)
高橋 優太 Yuta Takahashi (名古屋大学・日本学術振興会)
西牟田 祐樹 Yuki Nishimuta (慶應義塾大学後期博士課程)
岡田 光弘 Mitsuhiro Okada (慶應義塾大学文学部哲学専攻)
その他。　）


暫定版プログラム：
 (プログラムの最新情報は
https://abelard.flet.keio.ac.jp/seminar/frjp17jan.html
をご覧ください。
1月12日(木)
9:45 受付開始
10:00 開会挨拶
岡田 光弘  秋吉 亮太 Mitsuhiro Okada and Ryota Akiyoshi
10:05 Introduction：ワークショップ趣旨説明
岡田 光弘  ピエール・ワーグナー  Mitsuhiro Okada and Pierre Wagner
10:20
ピエール・ワーグナー Pierre Wagner　“The normative character of logic”
11:20
峯島 宏次 Koji Mineshima “Diagrams, proofs, and natural reasoning with
“most"”
12:00 昼食休憩
13:30
喜田 浩平 Kohei Kida “Une approche argumentative du sens (An
argumentative approach to meaning)”
14:30
マルコ・パンツァ Marco Panza “The logicality of Frege’s definition of
real numbers”
15:30 小休憩
15:50
岡本 賢吾 Kengo Okamoto “Mathematical Necessity and Possibility from
Kant to Frege and Wittgenstein”
16:50
アンドリュー・アラナ Andrew Arana “ “Purity and content” - the purity
constraint, in the case of arithmetical proofs”
17:50 小休憩
18:10-18:40 ディスカッション (Discussion with French Speakers)

1月13日(金)
9:45 受付開始
10:00
アルベルト・ナイボ Alberto Naibo “Harmony, Stability and Identity: An
intensional account in proof-theoretic semantics”
11:00
藤原 誠 Makoto Fujiwara “Reverse mathematics and uniform provability”
11:40 昼食休憩
13:10
秋吉 亮太 Ryota Akiyoshi “On Brouwer’s argument of bar induction”
13:40
高橋 優太 Yuta Takahashi “Phase Semantic Framework for Proof-Terms as
Proof-Theoretic Semantics”
14:10 小休憩
14:30
西牟田 祐樹  岡田 光弘  Yuki Nishimuta and Mitsuhiro Okada On
introduction rules of generalized connectives with proof-nets and
substructural logics
岡田 光弘 Mitsuhiro Okada “Normativity, normality and normalizability of
proofs”
15:30
小休息
15:40-16:20 Discussion with Invited Speakers.

共同オーガナイザー：
秋吉 亮太 (早稲田大学高等研究所)
岡田 光弘 (慶應義塾大学文学部哲学専攻)
高橋 優太 (名古屋大学・日本学術振興会)
, ,
共催：慶應義塾論理と感性のグロル研究センター,次世代研究推進プロジェクト,
CNRS-フランス国立科学研究センター
連絡先：東京都港区三田２－１５－４５、慶應義塾大学文学部 岡田光弘研究室
メール：logic at abelard.flet.keio.ac.jp

----------------------------------------------