Workshop “Logic and Philosophy of Mathematics”
1日目 7月14日 / 2日目 7月15日
第1日目プログラムのお知らせ Andrew Arana先生11日、18日講義" Geometrical knowledge and geometrical legitimacy" 情報訂正 July 11th, 18th [Date Corrected]

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

日時
 7月14日(July 14th) 13:00 18:00

場所
 慶應大三田キャンパス東館６階GLab, GLab, 6th Floor of East Building
Keio University (#3 of https://www.keio.ac.jp/ja/maps/mita.html)
14th Program

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)

Kengo Okamoto (Tokyo Metropolitan University)
 "The Notions of Assumption, Truth and Provability Revisited"
Contact
The organizing office of Keio university for July 14th,
Okada Lab. logic@abelard.flet.keio.ac.jp
Dept of Philosophy and Global research Center for Logic and Sensibility
There are the following associated events.
The Second Day of the "Logic and Philosophy of Mathematics" workshop, July 15
Saturday, Waseda campus of Waseda University
Program URL
https://www.waseda.jp/inst/wias/news/2017/07/04/4467/
Time
13:0018:00
Speakers
 Ryoma Shinya (The University of Tokyo)
 Taishi Kurahashi (National Institute of Technology, Kisarazu College)
 Naosuke Matsuda (Kanagawa University)
 Masahiko Sato (Kyoto University)
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.
Time
 "July 11th" 18:0019:30
 July 18th" 18:0019:30
Place
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
 logic@abelard.flet.keio.ac.jp
Department of Philosophy, Keio University