２０１８年１月１９日・２０日に開催される次のワークショップを案内させていただきます。
慶応大文学部哲学専攻 岡田光弘
--------
日仏“論理と数学の哲学：証明と計算の哲学・歴史”ワークショップ(1/19-20, Keio U)
Workshop on Philosophy and History of Proofs and Computation, Jan.19-20,2018
(https://abelard.flet.keio.ac.jp/seminar/frjp18jan.html for updated information)
論理と数学の哲学及び歴史研究に関する日仏ワークショップを開催します。
毎年このワークショップシリーズでは、論証・証明について、論理学・哲学・計算論的観点から議論し、本分野の日仏連携・協力を進めています。フランスから４人、国内から３人の招待講演者を迎えて本年度の会を開催します。(今年度は特にユークリッド原論の歴史・言語分析・証明の研究者３人をお呼びしています。)
日時:Jan 19th Friday-20th Saturday, 2018 / 2018年1月19日(金)-20日(土) 10:00 - 18:00場所:Distance Learning Room (B4F), South Building, Mita Campus of Keio University / 慶應義塾大学三田キャンパス 南館地下4階 ディスタンスラーニングルーム
https://www.keio.ac.jp/en/maps/
Building #12 on this map. / キャンパスマップ12番の建物です。
プログラムは「ユークリッド原論の歴史・言語分析・哲学」「現代論理学史とオントロー」「論理と証明の哲学」「計算と証明」などのセッションから構成されます。
プログラム詳細については近日中に次のページに掲載します。
https://abelard.flet.keio.ac.jp/seminar/frjp18jan.html
招待講演者と講演テーマ/ Guest Speakers and Titles
Andrew Arana (Univ. Paris-1 and IHPST)Logical Purity and Normalization
.Jean-Baptiste Joinet (Univ. Lyon-3 and Inst. Jean Cavaillès (ENS-Paris)) Logic and ontology
.Marco Panza (Univ. Paris-1 and IHPST)What Universality Could Have Been for Euclid
.斎藤 憲Ken Saito (Osaka Prefecture Univ.)Syntax Analysis of the Whole Text of Euclid’s Elements
.Nathan Camillo Sidoli (Waseda Univ.)Euclid’s Postulates and Problems
.Pierre Wagner (Univ. Paris-1 and IHPST)Logical Commitment
伊藤 遼Ryo Ito (Univ. of Kyoto)The Unity of the Proposition and Russell's Theories of Truth
Japanese group speakers
秋吉 亮太Ryota Akiyoshi (Waseda Univ.)Proof-Theoretic Studies of Parameter-Free Subsystems of Girard's System F (tentative)
Daniel Said Monteiro (Univ. Paris 7 and Keio Univ.)Explaining the movements of qi: Nishikawa Joken (1648-1724) and the understanding of extraordinary phenomena in early modern Japan
岡田 光弘Mitsuhiro Okada (Keio Univ.) Norm, Commitment and Normalization of Proof (tentative)
.小関 健太郎Kentaro Ozeki (Keio Univ.)Meinongian Incomplete Objects and Negation
.西牟田 祐樹Yuki Nishimuta (Keio Univ.)Non-decomposability Preservation of Generalized Connectives and Cut Elimination (preliminary report)
そのほかAnd others to be announced.
----------------------------------------------------------------------------------------------------------
なおこの集会とは別に、１月２５日に、Andre Scedrov、金沢誠/Makoto Kanazawa、Jean-Baptiste Joinetの３氏をお招きして、Lambek CalculusとLinear Logicに関する集会を開催する予定です。追ってお知らせします。
------------------------------------------------------- -----------------------------------------------
共催
慶應義塾大学論理と感性のグローバル研究センター 及び•次世代研究推進プロジェクト
CNRS(フランス)
連絡先
慶應義塾大学文学部 岡田光弘研究室
東京都港区三田２−１５−４５
Email: logic [AT] abelard.flet.keio.ac.jp