ジラール教授(Jean-Yves GIRARD)連続講義
Lectures “LOGIC 2.0 : A derealistic refoundation of logic”


日時・会場
日時 / Date
  • 1回目:9月25日 (火) Sept.25th, 18:00-19:30, Lecture 1 and discussion.
  • 2回目:10月2日 (火) Oct.2nd, 17:00-19:00, Lecture 2 and extended discussion.
場所 / Venue
慶應義塾大学三田キャンパス 大学院校舎1階313番教室
キャンパスマップ8番の建物です。
Classroom 313, 1F of Graduate School Building, Mita Campus of Keio University. (Number 8 of the Campus Map)
招聘講師 / Invited Lecturer
ジャン=イヴ ジラール 教授 (フランス国立科学センターCNRS名誉主任研究員,マルセイユ数学研究所)
Prof. Jean-Yves GIRARD (Directeur de Recherches émérite, CNRS-IMM)
題目 / Title
LOGIC 2.0 : A derealistic refoundation of logic
スライド
スライドはこちら
アブストラクト / Abstracts

Abstracts

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!

お問い合わせ先
慶應義塾大学文学部 岡田光弘研究室
東京都港区三田2−15−45
Email: logic@abelard.flet.keio.ac.jp