[logic-ml] 1月19日20日:日仏“論理と数学の哲学：証明と計算の哲学と歴史”ワークショップ(慶応大)

[Mitsu Okada]

２０１８年１月１９日・２０日に開催される次のワークショップを案内させていただきます。

慶応大文学部哲学専攻　岡田光弘

--------

日仏“論理と数学の哲学：証明と計算の哲学・歴史”ワークショップ(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

https://abelard.flet.keio.ac.jp/seminar/frjp18jan.html

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20171225/06cccf7e/attachment-0001.html>