[kisoron-ml] "Logic & Philo Math" Workshop 14th First Day Program 早稲田大学高等研究所 / 慶應義塾大学論理と感性のグローバル研究センター共催

[Mitsuhiro Okada]

皆様、
表記ワークショップの7月14日慶応大側プログラムが決まりましたのでこのメー 
ルリストでご案内させて頂きます。既に配布済みの15日プログラムの詳しい情報 
につきましては早稲田側のweb-siteページをご覧ください。
また7月11日と18日にAndrew Arana パリ第1大准教授による連続講義の情報も下 
に付けさせていただいています。17世紀デカルト以降の幾何学と代数との関係に 
関する哲学と数学史に関わる講義です。(前のお知らせで18日の日付に誤植があ 
りました。何人かの方々にご指摘いただき有難うございました。下に訂正させて 
頂きます。）
　　　　　　　　　　　　　　　　　　　岡田光弘　慶応大文学部哲学専攻

*******************************************************************************
「論理と数学の哲学」Workshop “Logic and Philosophy of Mathematics”
(7月14日 慶応大三田キャンパス、１５日早稲田大早稲田キャンパス,
July 14th Mita Campus, Keio University, July 15th Waseda University)
*******************************************************************************

早稲田大学高等研究所―慶應義塾大学論理と感性のグローバル研究センター共催.
Joint Workshop co-organized by Institute for Advanced Study, Waseda
University, and Global Research Center of Logic and Sensibility, Keio
University

!4th Program

14日 July 14th 、13:00 -18:00
慶應大三田キャンパス東館６階G-Lab, G-Lab, 6th Floor of East Building
Keio University (#3 of https://www.keio.ac.jp/ja/maps/mita.html)

See the following URL for the updated information.
https://abelard.flet.keio.ac.jp/jindex.php



1.  July 14 (Friday, Mita campus of Keio University):

Time: 13:00-18:00

Andy Arana (Philosophy Department of University
Paris 1 and IHPST),
“Proofs and Meaning in Arithmetic”

Makoto Fujiwara (Waseda University), “Bar induction and restricted
classical logic”

  Ryota Akiyoshi (Waseda University), “A formalization of Brouwer's
argument for bar induction ”
Commentator, Mitsuhiro Okada (Keio University)


[To be confirmed] Kengo Okamoto (Tokyo Metropolitan University) [to be
confirmed],”Display logic and possible world semantics (Tentative title)

The organizing office of Keio university for July 14th,
Okada Lab. logic at abelard.flet.keio.ac.jp
Dept of Philosophy and Global research Center for Logic and Sensibility

There are the following associated events.

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

2.   The Second Day of the "Logic and Philosophy of Mathematics2
workshop,  July 15 (Saturday, Waseda campus of Waseda University )

Program URL
https://www.waseda.jp/inst/wias/news/2017/07/04/4467/
Time: 13:00-18:00
Speakers: Ryoma Shinya (The University of Tokyo), Taishi Kurahashi
(National Institute of Technology, Kisarazu College), Naosuke Matsuda
(Kanagawa University), Masahiko Sato (Kyoto University)


3. The two lectures by Andrew Arena
" Geometrical knowledge and geometrical legitimacy" (Prof. Arena discuss
the geometrical and algebraic methods since 17th century from the point
of view of philosophy of mathematics and from the point of view of
history of mathematics.
"July 11th" 18:00-19:30 and
"July 18th" 18:00-19:30

at room 313 of
Graduate School Building, Mita Campus, Keio University
Building #8 of .https://www.keio.ac.jp/ja/maps/mita.html

For updated information, see https://abelard.flet.keio.ac.jp/jindex.php

-----------------------------------
Contact: Okada Lab Meeting Office
at logic at abelard.flet.keio.ac.jp
Department of Philosophy, Keio University
-----------------------------------