[kisoron-ml] ジラール教授（Jean-Yves GIRARD）連続講義 Sept 25th,Oct.2nd, Keio Univ.

[Mitsu Okada]

次のレクチャーの予定をこのMLで流させていただきます。　　　　　　　　　　　　　　　

　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　岡田光弘（慶応義塾大学文学部哲学専攻）

**********************************************************************************

*ジラール教授（Jean-Yves GIRARD）連続講義 （９月２５日、１０月２日,　Sept 
25th,Oct.2nd, Keio Univ.）*

*Lecture**“LOGIC 2.0 : A derealistic refoundation of logic”
*

*********************************************************************************.

参加自由、事前登録なしです。お気軽にお立ち寄りください。

*********************************************************************************

Abstract attached below アブストラクトは下をご覧ください。

１回目：9月25日(火)　Sept.25th,  18:00-19:30, Lecture 1 and discussion.

２回目：10月2日(火)  Oct.2nd, 17:00-19:00, Lecture 2 and extended 
discussion,.

慶應義塾大学三田キャンパス 大学院校舎1階313番教室, Room 313 Graduate School 
Building, Mita Campus, Keio University

（大学院校舎は下記キャンパスマップの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 at 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!

----------------------------------------------------------

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/kisoron-ml/attachments/20180910/2a34541a/attachment.html>