「論理と数学の哲学―論証の哲学に向けて」日仏ワークショップ

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

ポスター

日時・会場

日時:

Jan 12th Thursday-13th Friday, 2017 【 2017年1月12日(木)-13日(金) 】

場所:

Distance Learning Room (B4F), South Building, Mita Campus of Keio University (Building #13 on this map.) / 慶應義塾大学三田キャンパス 南館地下4階 ディスタンスラーニングルーム

Speakers and discussants:

フランス側招待講演者:

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

日本側招待講演者:

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

その他の講演者:

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

暫定版プログラム:

(プログラムの最新情報は こちらをご覧ください。)

1月12日(木)

9:45

受付開始

10:00

開会挨拶: 岡田 光弘 秋吉 亮太 Mitsuhiro Okada and Ryota Akiyoshi

10:05

ワークショップ趣旨説明: 岡田 光弘 ピエール・ワーグナー 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”

12:00

昼食休憩

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.

共同オーガナイザー:

• 秋吉 亮太 (早稲田大学高等研究所)
• 岡田 光弘 (慶應義塾大学文学部哲学専攻)
• 高橋 優太 (名古屋大学・日本学術振興会)

共催:

連絡先:

E-mail: