<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=utf-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<p><span style="font-family:"MS
明朝",serif;mso-ascii-font-family:
Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-family:"MS
明朝";
mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:
minor-latin">2018年1月19日・20日に開催される次のワークショップを案内させていただきます。</span></p>
<div class="moz-forward-container">
<div class="moz-forward-container">
<p class="MsoNormal"><span style="font-family:"MS
明朝",serif;mso-ascii-font-family:
Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-family:"MS
明朝";
mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:
minor-latin">慶応大文学部哲学専攻 岡田光弘<br>
</span></p>
<p class="MsoNormal"><span style="font-family:"MS
明朝",serif;mso-ascii-font-family:
Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-family:"MS
明朝";
mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:
minor-latin">--------</span></p>
<p class="MsoNormal"><span style="font-family:"MS
明朝",serif;mso-ascii-font-family:
Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-family:"MS
明朝";
mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:
minor-latin">日仏“論理と数学の哲学:証明と計算の哲学・歴史”ワークショップ</span><span
lang="EN-US">(1/19-20, Keio U)</span></p>
<p class="MsoNormal"><span lang="EN-US">Workshop on Philosophy
and History of Proofs and Computation, Jan.19-20,2018</span></p>
<p class="MsoNormal"><span lang="EN-US">(<a
href="https://abelard.flet.keio.ac.jp/seminar/frjp18jan.html"
moz-do-not-send="true">https://abelard.flet.keio.ac.jp/seminar/frjp18jan.html</a>
for updated information)</span></p>
<p class="MsoNormal"><span lang="EN-US"> </span></p>
<p class="MsoNormal"><span style="font-family:"MS
明朝",serif;mso-ascii-font-family:
Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-family:"MS
明朝";
mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:
minor-latin">論理と数学の哲学及び歴史研究に関する日仏ワークショップを開催します。</span><span
lang="EN-US"></span></p>
<p class="MsoNormal"><span style="font-family:"MS
明朝",serif;mso-ascii-font-family:
Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-family:"MS
明朝";
mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:
minor-latin">毎年このワークショップシリーズでは、論証・証明について、論理学・哲学・計算論的観点から議論し、本分野の日仏連携・協力を進めています。フランスから4人、国内から3人の招待講演者を迎えて本年度の会を開催します。</span><span
lang="EN-US">(</span><span style="font-family:"MS
明朝",serif;mso-ascii-font-family:
Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-family:"MS
明朝";
mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:
minor-latin">今年度は特にユークリッド原論の歴史・言語分析・証明の研究者3人をお呼びしています。</span><span
lang="EN-US">)</span></p>
<p class="MsoNormal"><span lang="EN-US"> </span></p>
<p class="MsoNormal"><span style="font-family:"MS
明朝",serif;mso-ascii-font-family:
Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-family:"MS
明朝";
mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:
minor-latin">日時</span><span lang="EN-US">:Jan 19th
Friday-20th Saturday, 2018 / 2018</span><span
style="font-family:"MS
明朝",serif;mso-ascii-font-family:Century;
mso-ascii-theme-font:minor-latin;mso-fareast-font-family:"MS
明朝";mso-fareast-theme-font:
minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:minor-latin">年</span><span
lang="EN-US">1</span><span style="font-family:"MS
明朝",serif;mso-ascii-font-family:
Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-family:"MS
明朝";
mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:
minor-latin">月</span><span lang="EN-US">19</span><span
style="font-family:"MS 明朝",serif;
mso-ascii-font-family:Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-family:
"MS
明朝";mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:minor-latin">日</span><span
lang="EN-US">(</span><span style="font-family:"MS
明朝",serif;mso-ascii-font-family:Century;mso-ascii-theme-font:
minor-latin;mso-fareast-font-family:"MS
明朝";mso-fareast-theme-font:minor-fareast;
mso-hansi-font-family:Century;mso-hansi-theme-font:minor-latin">金</span><span
lang="EN-US">)-20</span><span style="font-family:"MS
明朝",serif;mso-ascii-font-family:
Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-family:"MS
明朝";
mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:
minor-latin">日</span><span lang="EN-US">(</span><span
style="font-family:"MS 明朝",serif;
mso-ascii-font-family:Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-family:
"MS
明朝";mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:minor-latin">土</span><span
lang="EN-US">) 10:00 - 18:00</span><span
style="font-family:"MS
明朝",serif;mso-ascii-font-family:Century;mso-ascii-theme-font:
minor-latin;mso-fareast-font-family:"MS
明朝";mso-fareast-theme-font:minor-fareast;
mso-hansi-font-family:Century;mso-hansi-theme-font:minor-latin">場所</span><span
lang="EN-US">:Distance Learning Room (B4F), South Building,
Mita Campus of Keio University / </span><span
style="font-family:"MS
明朝",serif;mso-ascii-font-family:
Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-family:"MS
明朝";
mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:
minor-latin">慶應義塾大学三田キャンパス</span> <span
style="font-family:"MS 明朝",serif;
mso-ascii-font-family:Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-family:
"MS
明朝";mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:minor-latin">南館地下</span><span
lang="EN-US">4</span><span style="font-family:"MS
明朝",serif;mso-ascii-font-family:Century;mso-ascii-theme-font:
minor-latin;mso-fareast-font-family:"MS
明朝";mso-fareast-theme-font:minor-fareast;
mso-hansi-font-family:Century;mso-hansi-theme-font:minor-latin">階</span>
<span style="font-family:"MS
明朝",serif;mso-ascii-font-family:Century;mso-ascii-theme-font:
minor-latin;mso-fareast-font-family:"MS
明朝";mso-fareast-theme-font:minor-fareast;
mso-hansi-font-family:Century;mso-hansi-theme-font:minor-latin">ディスタンスラーニングルーム</span>
<span lang="EN-US"></span></p>
<p class="MsoNormal"><span lang="EN-US"><a
class="moz-txt-link-freetext"
href="https://www.keio.ac.jp/en/maps/"
moz-do-not-send="true">https://www.keio.ac.jp/en/maps/</a></span></p>
<p class="MsoNormal"><span lang="EN-US">Building #12 on this
map. / </span><span style="font-family:"MS
明朝",serif;mso-ascii-font-family:Century;mso-ascii-theme-font:
minor-latin;mso-fareast-font-family:"MS
明朝";mso-fareast-theme-font:minor-fareast;
mso-hansi-font-family:Century;mso-hansi-theme-font:minor-latin">キャンパスマップ</span><span
lang="EN-US">12</span><span style="font-family:"MS
明朝",serif;mso-ascii-font-family:
Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-family:"MS
明朝";
mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:
minor-latin">番の建物です。</span><span lang="EN-US"> </span></p>
<p class="MsoNormal"><span style="font-family:"MS
明朝",serif;mso-ascii-font-family:
Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-family:"MS
明朝";
mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:
minor-latin">プログラムは「ユークリッド原論の歴史・言語分析・哲学」「現代論理学史とオントロー」「論理と証明の哲学」「計算と証明」などのセッションから構成されます。</span><span
lang="EN-US"></span></p>
<p class="MsoNormal"><span style="font-family:"MS
明朝",serif;mso-ascii-font-family:
Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-family:"MS
明朝";
mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:
minor-latin">プログラム詳細については近日中に次のページに掲載します。</span><span
lang="EN-US"></span></p>
<p class="MsoNormal"><span lang="EN-US"><a
class="moz-txt-link-freetext"
href="https://abelard.flet.keio.ac.jp/seminar/frjp18jan.html"
moz-do-not-send="true">https://abelard.flet.keio.ac.jp/seminar/frjp18jan.html</a></span></p>
<p class="MsoNormal"><span lang="EN-US"> </span></p>
<p class="MsoNormal"><span lang="EN-US"> </span></p>
<p class="MsoNormal"><span style="font-family:"MS
明朝",serif;mso-ascii-font-family:
Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-family:"MS
明朝";
mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:
minor-latin">招待講演者と講演テーマ</span><span lang="EN-US"> / Guest
Speakers and Titles</span></p>
<p class="MsoNormal"><span lang="EN-US"> </span><span
lang="EN-US">Andrew Arana (Univ. Paris-1 and IHPST)Logical
Purity and Normalization</span> </p>
<p class="MsoNormal"><span lang="EN-US">.Jean-Baptiste Joinet
(Univ. Lyon-3 and Inst. Jean Cavaillès (ENS-Paris)) Logic
and ontology</span></p>
<p class="MsoNormal"><span lang="EN-US">.Marco Panza (Univ.
Paris-1 and IHPST)What Universality Could Have Been for
Euclid</span></p>
<p class="MsoNormal"><span lang="EN-US">.</span><span
style="font-family:"MS 明朝",serif;
mso-ascii-font-family:Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-family:
"MS
明朝";mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:minor-latin">斎藤</span>
<span style="font-family:"MS 明朝",serif;
mso-ascii-font-family:Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-family:
"MS
明朝";mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:minor-latin">憲</span><span
lang="EN-US"> Ken Saito</span><span
style="font-family:"MS
明朝",serif;mso-ascii-font-family:Century;mso-ascii-theme-font:
minor-latin;mso-fareast-font-family:"MS
明朝";mso-fareast-theme-font:minor-fareast;
mso-hansi-font-family:Century;mso-hansi-theme-font:minor-latin"> </span><span
lang="EN-US">(Osaka Prefecture Univ.)Syntax Analysis of the
Whole Text of Euclid</span><span style="font-family:"MS
明朝",serif;mso-ascii-font-family:Century;mso-ascii-theme-font:
minor-latin;mso-fareast-font-family:"MS
明朝";mso-fareast-theme-font:minor-fareast;
mso-hansi-font-family:Century;mso-hansi-theme-font:minor-latin">’</span><span
lang="EN-US">s Elements</span></p>
<p class="MsoNormal"><span lang="EN-US">.Nathan Camillo Sidoli
(Waseda Univ.)Euclid’s Postulates and Problems</span></p>
<p class="MsoNormal"><span lang="EN-US">.Pierre Wagner (Univ.
Paris-1 and IHPST)Logical Commitment</span></p>
<p class="MsoNormal"><span style="font-family:"MS
明朝",serif;mso-ascii-font-family:
Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-family:"MS
明朝";
mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:
minor-latin">伊藤</span> <span style="font-family:"MS
明朝",serif;mso-ascii-font-family:
Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-family:"MS
明朝";
mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:
minor-latin">遼</span><span lang="EN-US"> Ryo Ito (Univ. of
Kyoto)The Unity of the Proposition and Russell's Theories of
Truth</span></p>
<p class="MsoNormal"><span lang="EN-US"><br>
</span></p>
<p class="MsoNormal"><span lang="EN-US">Japanese group speakers</span></p>
<p class="MsoNormal"><span lang="EN-US"> </span><span
style="font-family:"MS
明朝",serif;mso-ascii-font-family:
Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-family:"MS
明朝";
mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:
minor-latin">秋吉</span> <span style="font-family:"MS
明朝",serif;mso-ascii-font-family:
Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-family:"MS
明朝";
mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:
minor-latin">亮太</span><span lang="EN-US"> Ryota Akiyoshi
(Waseda Univ.)Proof-Theoretic Studies of Parameter-Free
Subsystems of Girard's System F (tentative)</span> </p>
<p class="MsoNormal"><span lang="EN-US">Daniel Said Monteiro
(Univ. Paris 7 and Keio Univ.)Explaining the movements of
qi: Nishikawa Joken (1648-1724) and the understanding of
extraordinary phenomena in early modern Japan</span></p>
<p class="MsoNormal"><span style="font-family:"MS
明朝",serif;mso-ascii-font-family:
Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-family:"MS
明朝";
mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:
minor-latin">岡田</span> <span style="font-family:"MS
明朝",serif;mso-ascii-font-family:
Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-family:"MS
明朝";
mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:
minor-latin">光弘</span><span lang="EN-US"> Mitsuhiro Okada
(Keio Univ.)</span><span style="font-family:"MS
明朝",serif;mso-ascii-font-family:Century;mso-ascii-theme-font:
minor-latin;mso-fareast-font-family:"MS
明朝";mso-fareast-theme-font:minor-fareast;
mso-hansi-font-family:Century;mso-hansi-theme-font:minor-latin"> </span><span
lang="EN-US">Norm, Commitment and Normalization of Proof
(tentative)</span></p>
<p class="MsoNormal"><span lang="EN-US">.</span><span
style="font-family:"MS 明朝",serif;
mso-ascii-font-family:Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-family:
"MS
明朝";mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:minor-latin">小関</span>
<span style="font-family:"MS 明朝",serif;
mso-ascii-font-family:Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-family:
"MS
明朝";mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:minor-latin">健太郎</span><span
lang="EN-US"> Kentaro Ozeki (Keio Univ.)Meinongian
Incomplete Objects and Negation</span></p>
<p class="MsoNormal"><span lang="EN-US">.</span><span
style="font-family:"MS 明朝",serif;
mso-ascii-font-family:Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-family:
"MS
明朝";mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:minor-latin">西牟田</span>
<span style="font-family:"MS 明朝",serif;
mso-ascii-font-family:Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-family:
"MS
明朝";mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:minor-latin">祐樹</span><span
lang="EN-US"> Yuki Nishimuta (Keio Univ.)Non-decomposability
Preservation of Generalized Connectives and Cut Elimination
(preliminary report)</span></p>
<p class="MsoNormal"><span style="font-family:"MS
明朝",serif;mso-ascii-font-family:
Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-family:"MS
明朝";
mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:
minor-latin">そのほか</span><span lang="EN-US">And others to be
announced.</span></p>
<p class="MsoNormal"><span lang="EN-US"><br>
</span></p>
<p class="MsoNormal"><span lang="EN-US">----------------------------------------------------------------------------------------------------------<br>
</span></p>
<p class="MsoNormal"><span lang="EN-US">なおこの集会とは別に、1月25日に、Andre
Scedrov、金沢誠/Makoto Kanazawa、Jean-Baptiste
Joinetの3氏をお招きして、Lambek CalculusとLinear
Logicに関する集会を開催する予定です。追ってお知らせします。<br>
</span></p>
<p class="MsoNormal"><span lang="EN-US"><span
style="mso-spacerun:yes">-------------------------------------------------------
-----------------------------------------------
</span></span></p>
<p class="MsoNormal"><span lang="EN-US"> </span></p>
<p class="MsoNormal"><span style="font-family:"MS
明朝",serif;mso-ascii-font-family:
Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-family:"MS
明朝";
mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:
minor-latin">共催</span><span lang="EN-US"></span></p>
<p class="MsoNormal"><span style="font-family:"MS
明朝",serif;mso-ascii-font-family:
Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-family:"MS
明朝";
mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:
minor-latin">慶應義塾大学論理と感性のグローバル研究センター</span> <span
style="font-family:"MS 明朝",serif;
mso-ascii-font-family:Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-family:
"MS
明朝";mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:minor-latin">及び•次世代研究推進プロジェクト</span><span
lang="EN-US"></span></p>
<span style="font-family:"MS
明朝",serif;mso-ascii-font-family:
Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-family:"MS
明朝";
mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:
minor-latin"></span><span lang="EN-US">CNRS(</span><span
style="font-family: "MS
明朝",serif;mso-ascii-font-family:Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-family:"MS
明朝";mso-fareast-theme-font:minor-fareast;
mso-hansi-font-family:Century;mso-hansi-theme-font:minor-latin">フランス</span><span
lang="EN-US">)</span>
<p class="MsoNormal"><span lang="EN-US"> </span></p>
<p class="MsoNormal"><span style="font-family:"MS
明朝",serif;mso-ascii-font-family:
Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-family:"MS
明朝";
mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:
minor-latin">連絡先</span><span lang="EN-US"></span></p>
<p class="MsoNormal"><span style="font-family:"MS
明朝",serif;mso-ascii-font-family:
Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-family:"MS
明朝";
mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:
minor-latin">慶應義塾大学文学部</span> <span
style="font-family:"MS 明朝",serif;
mso-ascii-font-family:Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-family:
"MS
明朝";mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:minor-latin">岡田光弘研究室</span><span
lang="EN-US"></span></p>
<p class="MsoNormal"><span lang="EN-US"><span
style="mso-spacerun:yes"> </span></span><span
style="font-family:"MS
明朝",serif;mso-ascii-font-family:Century;mso-ascii-theme-font:
minor-latin;mso-fareast-font-family:"MS
明朝";mso-fareast-theme-font:minor-fareast;
mso-hansi-font-family:Century;mso-hansi-theme-font:minor-latin">東京都港区三田2</span><span
lang="EN-US">−</span><span style="font-family:"MS
明朝",serif;mso-ascii-font-family:
Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-family:"MS
明朝";
mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:
minor-latin">15</span><span lang="EN-US">−</span><span
style="font-family:"MS 明朝",serif;
mso-ascii-font-family:Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-family:
"MS
明朝";mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:minor-latin">45</span><span
lang="EN-US"></span></p>
<div
style="mso-element:para-border-div;border:none;border-bottom:solid
windowtext 1.0pt; mso-border-bottom-alt:solid windowtext
.75pt;padding:0mm 0mm 1.0pt 0mm">
<p class="MsoNormal"
style="border:none;mso-border-bottom-alt:solid windowtext
.75pt; padding:0mm;mso-padding-alt:0mm 0mm 1.0pt 0mm"><span
lang="EN-US">Email: logic [AT] abelard.flet.keio.ac.jp </span></p>
<p class="MsoNormal"
style="border:none;mso-border-bottom-alt:solid windowtext
.75pt; padding:0mm;mso-padding-alt:0mm 0mm 1.0pt 0mm"><span
lang="EN-US"><a class="moz-txt-link-freetext"
href="https://abelard.flet.keio.ac.jp/seminar/frjp18jan.html"
moz-do-not-send="true">https://abelard.flet.keio.ac.jp/seminar/frjp18jan.html</a></span></p>
</div>
</div>
</div>
</body>
</html>