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 co-organized 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
場所
慶應大三田キャンパス東館６階G-Lab, G-Lab, 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:00-18:00

Speakers

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

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