[logic-ml] CAPE Truth theory and Logic Workshopのお知らせ

[Shunsuke Yatabe]

みなさま

複数受け取られた場合はご容赦ください。
2月13日に京都大学で行われる CAPE Truth theory and Logic Workshop のご案内をご転送させて頂きます。

矢田部俊介

---------- Forwarded message ----------
CAPE Truth theory and Logic Workshopのお知らせ

皆様

京都大学大学院文学研究科附属応用哲学・倫理学教育研究センター（CAPE）の主催にて、
CAPE Truth theory and Logic Workshopが下記のように開催されます。
今回は特別講演として、ブリストル大学のPhilip Welch先生に、チューリングの
数学の業績に関する一般向け講演（元々は6'th European Cogress of Mathematics
で行われたもの）をお願いしました（1600-1745の最終枠です）。
専門家以外の方も、ぜひお越し下さい。

京都大学大学院文学研究科附属
応用哲学・倫理学教育研究センター
http://www.bun.kyoto-u.ac.jp/cape/cape-top_page/
事務補佐　　竹中利彦
〒606-0085  京都市左京区吉田本町　京都大学文学部内
CAPE at bun.kyoto-u.ac.jp


****************************************************************************************
CAPE Truth theory and Logic Workshop

Date:  February 13 (Wed)  9:00-17:00,
Place:  The 8th lecture room, "Research Bldg. No. 2 (Sougou Kenkyu
2-Goukan)" of Kyoto University, No34 of the map in
http://www.kyoto-u.ac.jp/en/access/campus/main.htm （京都大学総合研究2号館第8講義室）
CAPE Website:
http://www.bun.kyoto-u.ac.jp/cape/cape-top_page/

Timetable:
9:00-10:15 Shunsuke Yatabe "Yablo paradox and semantics of coinductive language"
10:30-11:45 Graham E. Leigh "Global reflection and theories of truth"

13:15-14:30 Katsuhiko Sano "What is the corresponding first-order
logic to coalgebraic modal logic?"
14:30-15:45 Leon Horsten " One hundred years of semantic paradox"
16:00-17:15 Philip Welch "Alan Turing's Mathematical work"


Abstracts:

Shunsuke Yatabe (Kyoto University)
title: Yablo paradox and semantics of coinductive language
Abstract:
We generalize the framework of Barwise and Etchmendy's "the
liar" to that of coinductive language, and focus on a difficulty of
constructing semantics. We define a game theoretic semantics, which can
be regarded as a version of Austin semantics.



Graham E. Leigh  (University of Oxford)
title: Global reflection and theories of truth
Abstract:
This talk explores the relationship between the global reflection
principle ("If A is provable, A is true") and its arithmetic cousins
("If A is provable then A"). I will provide a proof-theoretic analysis
of a number of axiomatic theories of truth expanded by transfinite
hierarchies of reflection principles.

Katsuhiko Sano (School of Information Science, Japan Advanced
Institute of Science and Technology)
title: What is the corresponding first-order logic to coalgebraic modal logic?
Abstract:
It is well-known that modal logic over Kripke models can be
regarded as the bisimulation-invariant fragment of first-order logic,
where the notion of bisimulation tells us when given two Kripke models
are `similar' with each other. This is called Van Benthem's
characterization theorem. The main aim of this talk is to propose a
corresponding first-order syntax with Van Benthem-style
characterization to coalgebraic modal logic, a uniform framework to
cover modal logic over Kripke models, modal logic over neighborhood
models, graded modal logic, probabilistic modal logic, etc. This talk
focuses on a conceptual background to explain our strategy of finding
a corresponding FO syntax for coalgebraic modal logic. A key idea
consists in Arthur Prior's early idea of hybrid logic (esp. modal
operators for pointed truth) and C. C. Chang's FO syntax for
neighborhood models. This talk is based on a joint work with Dirk
Pattinson (ANU), Tadeusz Litak (Friedrich-Alexander University of
Erlangen and Nuremberg (FAU)), and Lutz Schroeder (FAU).

Leon Horsten (University of Bristol)
title: One hundred years of semantic paradox
Abstract:
This article contains an overview of the main problems, themes and
theories relating to the semantic paradoxes in the twentieth century.
From this historical overview I tentatively draw some lessons about
the way in which the field may evolve in the next decade.

Philip Welch (University of Bristol)
title: Alan Turing's Mathematical work

--
このメールは Google グループのグループ「京都現代哲学コロキアム」の登録者に送られています。
このグループから退会し、メールの受信を停止するには、kyoto_colloquium+unsubscribe at googlegroups.com
にメールを送信します。
その他のオプションについては、https://groups.google.com/groups/opt_out にアクセスしてください。