Séance du 28 novembre

Comme annoncé précédemment, la séance prévue le 21 novembre aura lieu ce 28 novembre.

Lieu : Salle D. Corbin

Horaire : 14h-16h

Pour rappel, la séance sera consacrée au thème suivant :

Repetition Ranks and Decidability

Nicolas Clerbout

The aim of the talk is to explain how the question of decidability gets manifested in Dialogical Logic. We will see that a clear and concise formulation of the dialogical manifestation of the decidability (or not) of a logic can be given in terms of repetition ranks.

We will consider the cases of Propositional Logic and First-Order Logic.

Séance du 21/11/11 reportée

La séance prévue ce Lundi 21 novembre est reportée au 28 novembre.

Horaires et salles seront communiqués prochainement.

Séance du 21 novembre 2011

Lundi 21 novembre

Repetition Ranks and Decidability

Nicolas Clerbout

De 14h à 16h, Salle D. Corbin (STL)

Abstract:

The aim of the talk is to explain how the question of decidability gets manifested in Dialogical Logic. We will see that a clear and concise formulation of the dialogical manifestation of the decidability (or not) of a logic can be given in terms of repetition ranks.

We will consider the cases of Propositional Logic and First-Order Logic.

Groupe de Travail, Saison 2011-2012

Le Groupe de Travail "Dialogique" reprend pour l'année 2011-2012.

Les séances auront lieu cette année le lundi de 14h à 16h. Le groupe ne se réunira pas tous les lundis : reportez-vous à ce blog pour connaître les dates et sujets abordés.

La première séance a lieu aujourd'hui 7 novembre. Exceptionnellement nous ne savons pas dans quelle salle aura lieu cette séance. Rendez-vous un peu avant 14 heures au bureau des doctorants (Salle B4142b).

C'est Sébastien Magnier qui fera une présentation aujourd'hui, sur le sujet : Why a public announcement is not an implication.

Dans cette intervention, S. Magnier expliquera en quoi l'annonce publique diffère de divers types d'implications (matérielle, stricte, etc).

Séance du 1er juillet

Vendredi 1er juillet 2011

Vers une définition de stratégie sans hypothèse métalogique

Pierre Cardascia

De 11h à 13h, Maison de la Recherche - salle 104.

Il s'agit de la dernière séance de l'année universitaire 2010-2011.

Résumé :

Andreas Blass, dans l'article A Game Semantics for Linear Logics, commente la règle selon laquelle "les coups à un moment p doivent appartenir à un sous-ensemble Mp de l'ensemble des coups possibles M" de la sorte :

"we regard such a rule as meaning that any play violating the rule is lost by the player responsible of the earliest violation".

Nous essayerons de défendre l'idée que cette interprétation suppose trop : une métalogique binaire (où tout ce qui n'est pas explicitement autorisé est interdit), des hypothèses sur la connaissance du jeu de chacun des joueurs (il doit pouvoir dire au tricheur: "tu triches", ou bien il doit y avoir une sorte d'arbitre "métalogique"). Puis nous avancerons quelques idées pour une définition de la stratégie qui soit plus générale, et "robuste à la triche"

Séance du 20 mai 2011 - REPORTEE

La séance du Vendredi 20 mai 2011 a été reportée au 3 juin.

Ci-dessous le titre et le résumé

Logique des Engagements Propositionnels

Sébastien Magnier

Résumé :

Si l'on aborde l'épistémologie du point de vue de l'argumentation, la notion d'engagement propositionnel devient primordiale. Encore faut-il distinguer différentes formes d'engagement. Yamada dans son article Dynamic Logic of Propositional Commitments propose une approche modèle-théorique de la notion d'engagement en distinguant les assertions des concessions. Nous présenterons la logique que Yamada développe à cet effet.

Séance du 6 mai 2011 [MaJ]

Vendredi 6 mai 2011

Higher-order vagueness

Giuseppina Ronzitti

De 11h à 13, Maison de la Recherche - salle 104.

Résumé

In this seminar I'll give a survey of the philosophical problem of vagueness, examine the possible positions concerning the problem of higher-order vagueness and argue that either vagueness is "essentially" an higher-order phenomenon or there is no higher-order vagueness.