「証明論の展開とその哲学」シンポジウム - Logic-ml - fos.kuis.kyoto-u.ac.jp

18 Feb 2011


      次の会合の案内をこのメールリストに投稿させていただきます。　
慶応大哲学　岡田光弘
=================================================================
PROOF THEORY AND PHILOSOPHY
「証明論の展開とその哲学」シンポジウム
Feb 26th, 2011, Tokyo, Keio University, Mita Campus
2011年2月26日(土) 慶應義塾大学三田キャンパス
==================================================================
本研究会の目的：現代論理、特に証明論に源泉を持ち、Hilbert, Gödel, 
Friedman, Girardらによって議論されたテーマのいくつかについて、
その技術的概観とともに哲学的観点を検討する。
The purpose of this Meeting is to discuss issues presented in various 
new fields derived from proof theory,
initiated by Hilbert, Gëdel, Friedman, Girard and others, from the 
philosophical point of view as well as from the technical point of view.
日時：　22011年月26日(土)　午後１３時ー１８時
Ｄａｔｅ&Ｔｉｍｅ:: Feb 26th, 2011, 13:00pm-18:00pm
場所: 慶應義塾大学 三田キャンパス 東館6階 G-Sec Lab
Place: G-Sec Lab, 6th floor of the East Building, the Mita Campus, Keio 
University
(5 minutes walk from JR-Tamachi, Subway Mita or Akabanebashi)
参加自由、無料です。
URL:
http://abelard.flet.keio.ac.jp/ptp11/
（abstracts情報はここを参照ください）
=========================================================================-
なお、この集会の直前の２月２４－２５日にFormal Ontology Meetingが開催さ 
れます。
http://abelard.flet.keio.ac.jp/seminar/oam11.html%E3%80%80%EF%BC%88%E4%BA%8B...
==========================================================================
"Proof Theory and Philosophy" Program
1.
13:00-14:00
Richard Zach (University of Calgary, Department of Philosophy)
“Gëdel’s First Incompleteness Theorem and Mathematical Instrumentalism”
(14:00-14:15 coffee)
2.
14:15-15:15
Ryo Takemura (Keio University)
“Proof theory for reasoning with Euler diagrams”
(15:15-15:30 coffee)
3.
15:30-16:30
Sam Sanders (Tohoku University)
“Reverse Mathematics & Non-Standard Analysis: WHY SOME THEOREMS ARE MORE 
EQUAL THAN OTHERS”
(16:30-16:45 coffee)
4.
16:45-17:45
Michele Basaldella (Kyoto University)
“A gentle introduction to ludics”
17:45-18:00
Concluding discussion
18:00 End of the Meeting
-----
本集会は慶應義塾大学「論理学とフォーマルオントロジー」オープンリサーチセ 
ンターとグローバルＣＯＥ「論理と感性の先端的教育研究拠点」の共催 集会です。
Organizing Committee
Ryoto Akiyoshi
Mitsu Okada (responsible)
Yutaro Sugimoto
問い合わせ先:
慶應義塾大学「論理学とフォーマルオントロジー」オープンリサーチセンター事務局
住所: 東京都港区三田2-15-45
TEL: 03-3453-4511 (内線23847)
E-Mail: interontology[AT]abelard.flet.keio.ac.jp
最新情報は
URL:
http://abelard.flet.keio.ac.jp/ptp11/
をご参照ください。
-----------------------------------------------------------------------------------------------