# 複数受け取られた場合はご容赦ください。
今月9月18日（火）の 10時30分〜17時に、京都大学文学部校舎二階第六講義室において、CAPEロジック・ワークショップのご案内をご転送いたします。皆様のご参加をお待ち申し上げます。
矢田部俊介
---------
皆様
京都大学文学研究科附属応用哲学・倫理学教育研究センター（CAPE）の主催にて、 CAPEロジック・ワークショップが下記のように 開催されます。 皆様のご参加をお待ち申し上げます。
京都大学大学院文学研究科附属 応用哲学・倫理学教育研究センター http://www.bun.kyoto-u.ac.jp/cape/cape-top_page/ 事務補佐 竹中利彦 〒606-0085 京都市左京区吉田本町 京都大学文学部内 [email protected]
--- 記 --- CAPEロジック・ワークショップ 日時：2012年9月18日（火） 10時30分〜17時 場所：文学部校舎二階第六講義室 http://www.kyoto-u.ac.jp/ja/access/campus/map6r_y.htm （8番の建物です）
講演者・題目： 10:30-12:00 大西琢朗 "Usefulness of deduction and Proof-Theoretic Semantics"
13:30-15:00 Shawn Standefer: "Truth and conditionals" 15:30-17:00 丸山善宏 "Categorical Harmony and Degrees of Paradoxity"
**************************************************************************** ********** CAPE Logic workshop
Date : September 18 (Tuesday) Place: The 6th lecture room, 2nd floor, Faculty of letters, Kyoto University (building no.6 of the following map) http://www.kyoto-u.ac.jp/ja/access/campus/map6r_y.htm
*Schedule: 10:30-12:00 Takuro Onishi: "Usefulness of deduction and Proof-Theoretic Semantics" 13:30-15:00 Shawn Standefer: "Truth and conditionals" 15:30-17:00 Yoshihiro Maruyama: "Categorical Harmony and Degrees of Paradoxity"
*Abstracts (1)Speaker: Takuro Onishi Title: Usefulness of deduction and Proof-Theoretic Semantics Abstract: Michael Dummett’s anti-realist theory of meaning is considered to provide a philosophical basis of proof-theoretic semantics, which is an inferentialis approach to logical validity. Unfortunately, in the debate of proof-theoretic semantics, due attention has not been paid to his fundamental consideration on the nature of deductive inference, in which he emphasizes its usefulness or fruitfulness as well as its validity. That is, deduction is a special kind of activity of extending our knowledge. Dummett represents it as involving a certain tension between validity and usefulness, and tries to reconcile it against the background of his own meaning theory. In this talk I present Dummett’s view on deduction, and compare it with G.Restall’s bilateralist explication of logical consequence which would justify classical logic.
(2)Speaker: Shawn Standefer Title: Truth and conditionals Abstract: Some recent approaches to truth have adopted the strategy of enriching the underlying logic with a new conditional. I will provide some background on these approaches and distinguish different roles that such conditionals play in the theory. I will show how this distinction plays out in an extension of the revision theory of truth and use the distinction to offer a philosophical defense of that theory.
(3)Speaker: Yoshihiro Maruyama Title: Categorical Harmony and Degrees of Paradoxity Abstract: Prior's weird connective "tonk" compelled logicians to articulate the concept of a logical constant, eventually giving rise to developments of proof-theoretic semantics in the spirit of inferentialism, and to the notion of proof-theoretic harmony in particular, which works as a criterion to judge if a connective is a proper logical constant or not. Different concepts of harmony have been proposed and discussed by Belnap, Dummett, and many others. Building upon Lawvere's understanding of logic via category theory, I formulate a categorical concept of harmony relativised to primitive vocabulary, and compare it with other notions of harmony. The categorical conception of harmony leads us to a novel analysis of the nature of tonk: namely, the problem of tonk is the problem of equivocation in terms of adjoint functors. It finally turns out that there are different degrees of paradoxity of logical constants from a categorical perspective.
All slot consist of 60 minutes talk and 30 minutes discussion.