[logic-ml] Fwd: CAPEロジック・ワークショップ：講演追加のお知らせ

[矢田部俊介]

# 複数受け取られた場合はご容赦ください。

2012年9月18日（火）に京都大学文学研究科附属応用哲学・倫理学教育研究センター（CAPE）の主催にて開催されるCAPEロジック・ワークショップに、以下の講演が追加されます。

17:15-18:15 Greg Restall  "Logical Constants and Focusing Disagreements"

ご案内として以下をご転送いたします。皆様のご参加をお待ち申し上げます。


矢田部俊介


---------- Forwarded message ----------
From: Toshihiko TAKENAKA <t-take at rj8.so-net.ne.jp>
Date: 2012/9/12
Subject: CAPEロジック・ワークショップ：講演追加のお知らせ
To: CAPE at bun.kyoto-u.ac.jp


皆様

2012年9月18日（火）に京都大学文学研究科附属応用哲学・倫理学教育研究センター
（CAPE）の主催にて開催されるCAPEロジック・ワークショップですが、以下の講演が
追加されました。

17:15-18:15 Greg Restall  "Logical Constants and Focusing Disagreements"

皆様のご参加をお待ち申し上げます。


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



--- 記 ---
CAPEロジック・ワークショップ
日時：2012年9月18日（火） 10時30分〜18時15分
場所：京都大学文学部校舎二階第六講義室
    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"
17:15-18:15 Greg Restall  "Logical Constants and Focusing Disagreements"


****************************************************************************
**********
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"
17:15-18:15 Greg Restall  "Logical Constants and Focusing Disagreements"



*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.



(4)Speaker: Greg Restall
Title: Logical Constants and Focusing Disagreements
Abstract:
For expressivists about logic (such as Robert Brandom and Jaroslav
Peregrin), logical vocabulary gives us means to do more than we could
without it. With concepts such as negation, conjunction,
conditionality, and the quantifiers, we can express contents which
would otherwise be out of reach to us. However, in another sense,
logical vocabulary seems to be neutral with regard to content. It does
not seem to add any new subject matter to our thoughts or
conversations.
I will attempt to explain why a certain class of logical expressions
(including the standard propositional connectives, first order
quantifiers, and perhaps some modal operators) give us means to extend
our expressive resources without adding new subject matter, by
attending to the role special that logical vocabulary can play in
articulating disagreements.