athena AT services.cnrs.fr
Subject: Histoire des techniques
List archive
- From: Peggy Tessier <peggy.tessier AT univ-paris1.fr>
- To: destinataires inconnus:;
- Subject: [Athena] [IHPST] Talk abstract, Nicolas Clerbout
- Date: Mon, 22 Apr 2013 10:07:12 +0200
Title: From play-objects to to proof-objects: Dialogues and Constructive Type
Theory.
Speaker: Nicolas Clerbout, Université Lille 3
Date: April 25th, 2013 @ 14h00 - IHPST (13, rue du Four, 75006 Paris)
The dialogical approach to meaning is based on the idea that expressions get their meaning through the way they are used in certain kinds of dialogue games between a Proponent and an Opponent. It has been applied successfully to a variety of formal languages of interest in logic. Thus, the dialogical framework is a promising alternative candidate for a general theory of meaning which meets Ginzburg's aims. However, very little has been done when it comes to applying this framework to natural languages. Indeed a lot remains to be done in order to develop a general dialogical theory of meaning. Our aim here is to make a first incursion in this field. For this purpose we introduce what we call play-objects and design dialogical games for an explicit language in which these objects occur.
The games we describe are clearly inspired by CTT. In particular, they rely
on some principles on which Martin-Löf's formalism is grounded such as the
“propositions as sets” principle, the “no entity without a type” principle,
etc. Enriching standard dialogues in accordance with these ideas is a
necessary step in order to establish connections between the dialogical
approach and CTT. However it would be a mistake to conclude that we obtain
nothing more than a dialogical re-writing of CTT. Indeed, there is an
important difference between dialogical play-objects and CTT's proof-objects,
and this difference cannot easily be overcome. This is not surprising because
we introduce play-objects so that interaction can be explicitly accounted for
within dialogue games, while interactive aspects are clearly not covered by
CTT's proof-objects. Summing up: introducing play-objects is a necessary step
for a dialogical approach to CTT and in order to provide a theory of meaning
which not only is based on interactive aspects but also explicitly accounts
for interaction. But it is not enough to give a detailed account of the
connections between dialogues and CTT. These connections are likely to be
found when we move from dialogues to strategies.
-------------------
Peggy TESSIER
Ingénieur d'Etudes
Médiation scientifique
IHPST-UMR8590 (Paris 1/CNRS/ENS)
13 rue du four 75006 Paris
Tél : +33 (0) 1 43 54 94 60
Fax : +33 (0) 1 43 25 29 48
http://www-ihpst.univ-paris1.fr/2,peggy_tessier.html
--
Ce message a ete verifie par MailScanner
pour des virus ou des polluriels et rien de
suspect n'a ete trouve.
- [Athena] [IHPST] Talk abstract, Nicolas Clerbout, Peggy Tessier, 04/22/2013
Archive powered by MHonArc 2.6.18.