<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=utf-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<p class="MsoNormal"><span lang="EN-US">**********************************************************************************</span></p>
<p class="MsoNormal"><b style="mso-bidi-font-weight:normal">ジラール教授<span
lang="EN-US">（Jean-Yves GIRARD）</span>連続講義 （９月２５日、１０月２日, Sept
25th,Oct.2nd, Keio Univ.）<span lang="EN-US"></span></b></p>
<p class="MsoNormal"><b>Lecture</b><b
style="mso-bidi-font-weight:normal">“<span lang="EN-US">LOGIC
2.0 : A derealistic refoundation of logic</span>”<span
lang="EN-US"> <br>
</span></b></p>
<p class="MsoNormal"><span lang="EN-US">*********************************************************************************.</span></p>
<p class="MsoNormal">参加自由、事前登録なしです。お気軽にお立ち寄りください。 <span
lang="EN-US"></span></p>
<p class="MsoNormal"><span lang="EN-US">*********************************************************************************</span></p>
<p class="MsoNormal"><span lang="EN-US">Abstract attached below </span>アブストラクトは下をご覧ください。<span
lang="EN-US"></span></p>
<p class="MsoNormal"><span lang="EN-US"> </span></p>
<p class="MsoNormal">１回目：<span lang="EN-US">9</span>月<span
lang="EN-US">25</span>日<span lang="EN-US"> (</span>火<span
lang="EN-US">) Sept.25th, 18:00-19:30, Lecture 1 and
discussion.<br>
</span></p>
<p class="MsoNormal">２回目：<span lang="EN-US">10</span>月<span
lang="EN-US">2</span>日<span lang="EN-US"> (</span>火<span
lang="EN-US">) Oct.2nd, 17:00-19:00, Lecture 2 and extended
discussion,.</span></p>
<p class="MsoNormal"><span lang="EN-US"> </span></p>
<p class="MsoNormal">慶應義塾大学三田キャンパス 大学院校舎<span lang="EN-US">1</span>階<span
lang="EN-US">313</span>番教室<span lang="EN-US">, Room 313 Graduate
School Building, Mita Campus, Keio University</span></p>
<p class="MsoNormal"><br>
<span lang="EN-US"></span></p>
<p class="MsoNormal"><span lang="EN-US">********************************************************************************</span></p>
<p class="MsoNormal">（大学院校舎は下記キャンパスマップの<span lang="EN-US">8</span>です）<span
lang="EN-US"></span></p>
<p class="MsoNormal"><span lang="EN-US">Mita Campus, Keio
University, Classroom 313, 1F of Graduate School Building</span></p>
<p class="MsoNormal"><span lang="EN-US">(Number 8 of the Campus Map
below)</span></p>
<p class="MsoNormal">構内図<span lang="EN-US"> Campus Map: <a
class="moz-txt-link-freetext"
href="https://www.keio.ac.jp/en/maps/mita.html">https://www.keio.ac.jp/en/maps/mita.html</a></span></p>
<p class="MsoNormal"><span lang="EN-US"> </span></p>
<p class="MsoNormal">招聘講師<span lang="EN-US"> / Invited Lecturer:</span></p>
<p class="MsoNormal">ジャン＝イヴ ジラール 教授 （フランス国立科学センター<span lang="EN-US">CNRS</span>名誉主任研究員、マルセイユ数学研究所）<span
lang="EN-US"></span></p>
<p class="MsoNormal"><span lang="EN-US">Prof. Jean-Yves GIRARD
(Directeur de Recherches émérite, CNRS-IMM)</span></p>
<p class="MsoNormal">題目<span lang="EN-US"> / Title:</span></p>
<p class="MsoNormal"><span lang="EN-US">LOGIC 2.0 : A derealistic
refoundation of logic</span></p>
<p class="MsoNormal"><span lang="EN-US"><br>
</span></p>
<p class="MsoNormal"><span lang="EN-US"> </span>（最新情報はこちらのトップに載せる予定です<span
lang="EN-US">: <a class="moz-txt-link-freetext"
href="https://abelard.flet.keio.ac.jp/">https://abelard.flet.keio.ac.jp/</a></span>）</p>
<p class="MsoNormal"><span lang="EN-US"> </span><span
style="font-size:12.0pt;font-family:"ＭＳ
Ｐゴシック";mso-bidi-font-family:"ＭＳ Ｐゴシック";
mso-font-kerning:0pt">アブストラクト<span lang="EN-US">/ABSTRACT</span></span>
</p>
<p class="MsoNormal"
style="mso-margin-top-alt:auto;mso-margin-bottom-alt:
auto;text-align:left;mso-pagination:widow-orphan" align="left"><span
lang="EN-US"><span style="mso-spacerun:yes"> </span></span><span
style="font-size:12.0pt; font-family:"ＭＳ
Ｐゴシック";mso-bidi-font-family:"ＭＳ
Ｐゴシック";mso-font-kerning:0pt" lang="EN-US">LOGIC 2.0 : A
derealistic refoundation of logic. </span></p>
<p class="MsoNormal"
style="mso-margin-top-alt:auto;mso-margin-bottom-alt:
auto;text-align:left;text-indent:30.0pt;mso-char-indent-count:2.5;mso-pagination:
widow-orphan" align="left"><span
style="font-size:12.0pt;font-family:"ＭＳ Ｐゴシック";
mso-bidi-font-family:"ＭＳ Ｐゴシック";mso-font-kerning:0pt"
lang="EN-US">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.</span></p>
<p class="MsoNormal"
style="mso-margin-top-alt:auto;mso-margin-bottom-alt:
auto;text-align:left;mso-pagination:widow-orphan" align="left"><span
style="font-size:12.0pt;font-family:"ＭＳ
Ｐゴシック";mso-bidi-font-family:"ＭＳ Ｐゴシック";
mso-font-kerning:0pt" lang="EN-US"><span
style="mso-spacerun:yes"> </span><span style="mso-tab-count:1">
</span>Among the technical novelties, the self-dual
propositional constants </span><span style="font-size:12.0pt;
font-family:"ＭＳ Ｐゴシック";mso-bidi-font-family:"ＭＳ
Ｐゴシック";mso-font-kerning:0pt">フ<span lang="EN-US"> and </span>ヲ<span
lang="EN-US">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.<span
style="mso-spacerun:yes"> </span>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! </span></span></p>
<p class="MsoNormal"
style="mso-margin-top-alt:auto;mso-margin-bottom-alt:
auto;text-align:left;mso-pagination:widow-orphan" align="left"><span
style="font-size:12.0pt;font-family:"ＭＳ
Ｐゴシック";mso-bidi-font-family:"ＭＳ Ｐゴシック";
mso-font-kerning:0pt" lang="EN-US">----------------------------------------------------------</span></p>
<p class="MsoNormal"
style="mso-margin-top-alt:auto;mso-margin-bottom-alt:
auto;text-align:left;mso-pagination:widow-orphan" align="left"><br>
<span style="font-size:12.0pt;font-family:"ＭＳ
Ｐゴシック";mso-bidi-font-family:"ＭＳ Ｐゴシック";
mso-font-kerning:0pt" lang="EN-US"><span lang="EN-US"></span> </span></p>
<p class="MsoNormal">お問い合わせ先<span lang="EN-US">:</span></p>
<p class="MsoNormal"><span lang="EN-US"> </span></p>
<p class="MsoNormal">慶應義塾大学文学部哲学専攻 岡田光弘研究室<span lang="EN-US"></span></p>
<p class="MsoNormal">東京都港区三田２<span lang="EN-US">−</span>１５<span
lang="EN-US">−</span>４５<span lang="EN-US"></span></p>
<p class="MsoNormal"><span lang="EN-US">事務局 Email: <a
class="moz-txt-link-abbreviated"
href="mailto:logic@abelard.flet.keio.ac.jp">logic@abelard.flet.keio.ac.jp</a></span></p>
<p class="MsoNormal"><span lang="EN-US">----------------------------------------------------------</span></p>
</body>
</html>