Séance du jeudi 21 mars

Dialogue avec des êtres d'un autre type

Matthieu Fontaine

21 mars 2013, 13h-15h
Salle D. Corbin (UMR STL)


Résumé : Dans la théorie artefactuelle, la définition du statut ontologique des entités fictionnelles intègre la notion de dépendance ontologique. S'appuyant sur la sémantique de Fontaine & Rahman [2013] et les premiers développements de Fontaine [2010], l'objectif consiste à définir des relations de dépendances ontologiques dans le contexte de la logique dialogique libre. Pour ce faire, on introduit ces relations dans le langage au moyen de prédicats intentionnels spécifiques, dont la sémantique est donnée par des règles de particules. Certains aspects de telles relations peuvent en fait être capturés en termes de combinaisons de choix opérés lors de l'attaque ou la défense de quantificateurs. Il semblerait sur ce point que les règles de particules qu'on définit pourraient s'apparenter à des règles de formations de prédicats de la théorie des types.

Références

Fontaine, M. 2010. Weak Impermeabilism for Fictionality in a Dialogical Framework, Symposium ``New directions in Dialogical Logics''. 14th CLMPS, Nancy

Fontaine, M. & Rahman, Sh. 2013. ``Towards a Semantics for the Artifactual Theory of Fiction and Beyond (forthcoming)

Séance du 13 décembre 2012

On Abramsky's game semantics

Pierre Cardascia

13 décembre, 13h-15
Attention : salle F0.42 (Maison de la Recherche)


(titre provisoire)

Séance du 15 novembre 2012

A Modal Approach to Theoretical Terms

Matthieu Gallais

15 novembre, 13h-15h
Maison de la recherche, salle F1.07


Abstract:
  The purpose of my presentation is to explain some issues related to the understanding of scientific theories as intrinsically modal constructions. In particular, how can one identify an actual object with a theoretical identity if, for example, that entity has idealized properties according to the theory in which it has been defined? I will suggest a solution which consists in using Hintikka's concept of world-line. The aim is not to replace the original individuating functions, but to develop a second-order function to study the behaviour of properties across possible worlds. Finally, I will show the usefulness of that idea concerning the traditional issue of theoretical terms by revisiting their definitions thanks to world-lines.

Séance du 8 novembre 2012

Game-Theoretical Semantics Generalized

Tero Tulenheimo

8 novembre, 13h-15h
Maison de la Recherche, salle F1.07


Abstract:
   I present a way of generalizing Game-Theoretical Semantics, by enriching positions of games with a new component called `mode'. In connection with certain languages (including IF logic) classical negation becomes game-theoretically interpretable. Ways of capturing certain fragment of higher-order logic in this setting are discussed.

Séance du 18 octobre 2012

Au programme de cette première séance de l'année 2012-2013 :

Learning and inferences: a logical model of a cognitive agent

Christel Grimaud

18 octobre, 13h-15h.
Maison de la Recherche, salle F1.07


Abstract:
     In my talk I will present what I think is a suitable logic for modelling the inferences and learning processes of a cognitive agent.
     First, I will recall the theoretical background of belief revision and non-monotonic inferences. The most influential model for belief revision is the AGM model, called after its three originators, Carlos Alchourron, Peter Gardenfors and David Makinson. However this model suffers from a well-known problem, which is that it doesn't allow iteration. I will recall where does this problem come from, and will consequently argue that the AGM model is not suitable for modelling an agent's learning. In the field of non-monotonic logic, an important account was given by Sarit Kraus, Daniel Lehmann and Menachem Magidor, with a family of logics known as KLM logics or inference relations. Amongst there are the so-called rational consistent inference relations, which have been shown to be strictly equivalent to AGM's belief revision. I will recall this result and will argue that learning must be seen not as a revision of beliefs sets as in the AGM model, but rather as revision of an agent's dispositions to infer. That is, that what are to be revised are the very inference relations. There have been a few attempts in this sense, but non of these seems to be fully satisfying. I will argue that this comes from the fact that rational consistent relations are not the ones which are to be revised, but rather the inference relations of a more general class, which has not been characterized yet. I will present this class of inference relations, and will show how these relations can be revised in a natural and intuitive manner. Then I will present my own attempt to caraterize it.

Séance du 12 avril

Jeudi 12 avril, 11h-13h

Salle Corbin

Abramsky's game semantic and dialogic

Pierre Cardascia

Abstract:

My first presentation in this GdT, "Vers une définition de stratégie sans hypothèse métalogique", began by questioning a metaphoric sentence from Girard: "Game semantics is a fighting sport; but a polite and civilised one: there is an arbiter who prevents nasty moves and bad behaviours. Ludics is more like wrestling: we knocked down the arbiter." I tried to interpret this "arbiter" as "metalogical hypotheses", I exposed some ideas about what should be a strategical behaviour in this context, inspired by different analyses of the Nim games (classic MeX-calculus, categorical analysis, question of the meaning of the cheat.

In my second intervention, "Formalism towards strategical behaviours", I showed the formal problems underlying the precedent talk: materialized players, variable number of players, both legal and illegal moves are possible... It gives us a "research plan". Then I finished by suggesting a "convergence" between the representation of dialogues and the representation of the trace in Abramsky's game semantics (with arenas etc).

For this session, "Abramsky's game semantics and dialogic", I will do more than suggesting, I will construct algorithms of translation between them, thanks to one little but new theorem of "arena-making dialogue":

For each set of particle rules , for each game, there exists a concrete justification [legitimation] such that this game forms a justified sequence of moves in an arena

It shall allow us to implement new results in dialogic (from categorial GS: Abramsky, Hyland, Ong ...) and fulfill the desiderata of the precedent talk. But we won't go too fast: to prove this theorem, I shall present and discuss the concepts of Abramsky's GS.

Séance du 5 avril

Jeudi 5 avril, 11h-13h
Salle D. Corbin

A Dynamic Logic of Interrogative Inquiry

Yacin Hamami

(Vrije Universiteit Brussel)

Abstract :

In this talk, I will propose a dynamic-epistemic analysis of the different epistemic operations constitutive of the process of interrogative inquiry, as described by Hintikka's Interrogative Model of Inquiry (IMI). I will develop a dynamic logic of questions for representing interrogative steps, based on Hintikka's treatment of questions in the IMI, along with a dynamic logic of inferences for representing deductive steps, based on the tableau method. I will then merge these two systems into a dynamic logic of interrogative inquiry which articulates a joint treatment of questions and inferences, providing thereby a unified framework representing the informational dynamics of interrogative inquiry.

I will provide sound and complete axiomatic systems for the three dynamic logics that I introduce, I will compare the framework with existing approaches and I will finally propose several directions for further works. This work is meant as a first step towards linking the IMI with the field of dynamic logics of information and rational agency.