皆様、 表記ワークショップの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. [email protected] 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 [email protected] Department of Philosophy, Keio University -----------------------------------