開催日：2018年9月25日&10月２日

会場：慶應義塾大学三田キャンパス大学院棟313番教室

**********************************************************************************
ジラール教授(Jean-Yves GIRARD)連続講義 （９月２５日、１０月２日）
“LOGIC 2.0 : A derealistic refoundation of logic” (Sept.25th,Oct.2nd) at Keio U.
*********************************************************************************.
参加自由、事前登録なしです。お気軽にお立ち寄りください。
*********************************************************************************
Jean-Yves GIRARD教授連続講義(９月２５日、１０月２日)
Abstract attached below アブストラクトは下をご覧ください。

１回目：9月25日 (火) 18:00-19:30, Lecture 1 and discussion, Sept. 25th
２回目：10月2日 (火) 17:00-19:00, Lecture 2 and extended discussion, Oct. 2nd

慶應義塾大学三田キャンパス 大学院校舎1階313番教室, Room 313 Graduate School Building, Mita Campus, Keio University
（最新情報はこちらのトップに載せます: https://abelard.flet.keio.ac.jp/）
********************************************************************************
（大学院校舎は下記キャンパスマップの8です）
Mita Campus, Keio University, Classroom 313, 1F of Graduate School Building
(Number 8 of the Campus Map below)
構内図 Campus Map: https://www.keio.ac.jp/en/maps/mita.html

招聘講師 / Invited Lecturer:
ジャン＝イヴ　ジラール 教授 （フランス国立科学センターCNRS名誉主任研究員、マルセイユ数学研究所）
Prof. Jean-Yves GIRARD (Directeur de Recherches émérite, CNRS-IMM)
題目 / Title:
LOGIC 2.0 : A derealistic refoundation of logic

See below for ABSTRACT （アブストラクトは下にあります。）

お問い合わせ先:

慶應義塾大学文学部 岡田光弘研究室
東京都港区三田２−１５−４５
Email: logic@abelard.flet.keio.ac.jp
———————————————————-

アブストラクト/ABSTRACT
LOGIC 2.0 : A derealistic refoundation of logic.
Logic is based upon a doubt as to « reality », not to speak of authority. This is why axiomatic realism, a.k.a. Tarskism, at work in familiar (1.0) logic is a miscarriage of logical rationality. We propose to replace the trinity Syntax/Semantics/Meta, with an architecture based upon the synthetic a posteriori : « l’usine » (the factory) and its proofnets. We thus replace the nets of logic with the logic of nets.
Among the technical novelties, the self-dual propositional constants フ and ヲwhose multiplicative combinations define natural numbers. Since equality becomes logical equivalence, natural numbers provide pairwise contradictory propositions, which is classically inconsistent : a conjunction can thus be true while one of its components is false. Truth, which no longer proceeds from the Sky, is governed by the Euler-Poincaré invariant of graphs, with a derealistic switch : the invariant depends upon the divide between objective and subjective vertices. Derealism thus accomplishes a spectacular jailbreak from Tarskism!
———————————————————-

タグ：慶應義塾大学