表記の講演者、トピックの三田ロジックセミナーを開催します。 重複して受け取られましたら申し訳ありません。（また、第３回日仏サイバーセ キュリティ会議 ４月２４日ー２６日のＵＲＬ情報も下に入れさせて頂いていま す。）
Mita Logic Seminar （４月１８日（火）１８時、慶応大三田キャンパス） jean-Baptiste Joinet speaks about "From the dynamic of informational time to ontology : a reading of Church"(April 18th, Tues, 18:00 at Mita Campus, Keio University)
リヨン第３大学哲学科、パリ高等師範学校カバイエス研究所のJean-Baptiste JOINET教授に次のような講演をお願いしています。 参加自由、事前登録なしです。
SPEAKER : Jean-Baptiste JOINET University of Lyon 3,Department of Philosophy, France Centre Cavaillès, Ecole Normale Supérieure, Paris, France
TITLE : From the dynamic of informational time to ontology : a reading of Church （下にアブストラクトがあります。Abstract attached below.）
Place: 慶応義塾大学三田キャンパス大学院棟一階３１３番教室, （次のキャンパスマップの8番です。) https://www.keio.ac.jp/ja/maps/mita.html Room 313, 1st Floor, Graduate School Building ( Number 8 of the above Campus Map).
Time: 18:00-19:30 なお、この会とは別に、Joinet教授も参加される論理系のFormal Method Session を含む、第３回日仏サイバーセキュリティ会議が４月２４日―２６日に 慶應義塾大学三田 キャンパスで開催されます。事前登録無しでも参加可能です すが参加予定の場合は席の確保のために登録していただけると助かります。（事 前登録、プログ ラム情報は次にあります。 http://cyber.science-japon.org)
Mita Logic Seminar 問い合わせ先: logic@abelard.flet.keio.ac.jp （セミナー事務局専用アドレス）
（慶應義塾大学文学部哲学専攻岡田光弘）
ABSTRACT : In XXth century, the thirties are years during which, simultaneously,
a/ one of the branches of modern logic, Proof Theory (Hilbert, Gentzen) recentered Logic around the spatial and temporal inscription of reasoning (and this with several respects: temporality and spatiality of the representation of argumentations, of heuristic, of analytisation of proofs),
b/ a new science emerged : the theory of the transformation of information a.k.a Computing and computability theory (Church, Turing).
In my talk, I will show how the dialogue between these scientific programmes (Proof Theory and Computing Theory) around a common question (Sense in time and space) gave to the husserlian project toward the constitution of a transcendental Logic a renewed actuality.
---------------------------------------------------------------------