[parislinguists] deux conférences de Johan van Benthem <de la part de Paul Egré>

[Benjamin Spector]

Johan van Benthem, professeur à Amsterdam (ILLC) et à l'université de
Stanford, spécialiste de logique modale et de logique dynamique, donnera
deux conférences à l'IHPST les 12 et 13 janvier prochains. Vous trouverez
ci-dessous le résumé et les horaires de chacune de ces conférences.


*********************************************

Johan van Benthem (ILLC, Amsterdam / Stanford University)


Lundi 12 janvier - 17h30 à 19h30 - IHPST (13, rue du Four - 75006 - Paris -
2e étage - M° Mabillon)


LOGIC AND COMMUNICATION

Asking a question and giving an answer are basic logical
activities just as much as drawing a conclusion from what
we already know. This is one instance of a 'Dynamic Turn'
in modern philosophical logic toward analyzing a broader
repertoire of cognitive actions. We will discuss a range
of communicative phenomena, from basic speech acts
to strategic behaviour in games. The technical tool for
this analysis is a 'dynamified' version of epistemic logic
that can model interaction. This system brings together
ideas from philosophy, logic, and computer science.

We point out some philosophical repercussions of this turn,
including paradoxes of knowledge - but also its practical
promise for understanding human cognition, e.g., in
designing new forms of rational behaviour.

Literature

1996, "Exploring Logical Dynamics", CSLI Publications, Stanford.
2001, 'Logics for Information Update', "Proceedings TARK VIII
   (Siena 2001)", Morgan Kaufmann Publishers, Los Altos, 51-88.
2003A, 'Logic and the Dynamics of Information', in L. Floridi, ed.,
   "Minds and Machines" 13:4, 503-519.
2003B, 'What One may Come to Know', Tech Report PP-2003-22,
    ILLC Amsterdam. To appear in "Analysis", 2004.

*****************************************

Mardi 13 janvier - 15h à 17h - IHPST (13, rue du Four - 75006 - Paris - 2e
étage - M° Mabillon)


LOGIC, UPDATE, AND GAMES

We discuss some issues in the logical analysis of games,
as seen from the perspective of dynamic-epistemic logics.
In particular, we consider (a) structural information in games,
(b) reasoning about strategic equilibrium, and (c) revision
of expectations about the future. A proper account of these
phenomena seems to require a merge between update logics,
systems of belief revision, and perhaps even temporal logic.

Literature

1999 - ..., "Logic in Games", electronic lecture notes, ILLC
   Amsterdam & philosophy Stanford (occasional paper versions).
2001, 'Dynamic Epistemic Logic', "Bulletin of Economic Research"
   53:4, 219-248 (Proceedings LOFT-4, Torino).
2002, 'One is a Lonely Number: on the logic of communication',
   Tech Report PP-2002-27, ILLC Amsterdam. To appear in P.
   Koepke et al. eds., "Colloquium Logicum, Muenster 2001".
2003, 'Rational Dynamics and Epistemic Logic in Games', in
   S. Vannucci, ed., "Logic, Game Theory and Social Choice III",
   University of Siena, department of political economy, 19-23.

*********************************************



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserv.linguistlist.org/pipermail/parislinguists/attachments/20040106/095cbeb2/attachment.htm>