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.

Séance du 8 avril

Vendredi 8 avril, de 11h à 13h :

Choix de primitives et perspectives ontologiques dans la théorie artefactuelle

Matthieu Fontaine

Maison de la Recherche, salle 104.

Résumé :

Thomasson défend une ontologie fondée sur trois primitives (relations de dépendances ontlogiques, objets réel et étais mentaux) en vue de définir différentes catégories d'objets abstraits. En proposant un système de catégorie en termes de relations de dépendances à des objets concrets d'une part et à des états mentaux d'autre part, elle défend ainsi l'existence d'objets abstraits contingents parmi lesquels les artefacts abstraits. A contrario, la sémantique proposée par Rahman et Tulenheimo caractérise les artefacts abstraits sur base de relations de dépendances ontologiques à des objets dont on ne précise pas la nature (sans restreindre la relation à des objets réels ou à des états mentaux). Ces deux approches sont-elles réellement compatibles ? Plus que de répondre à cette question, l'enjeu de cette présentation sera d'engager une discussion critique en vue de répondre à certaines objections formulées contre l'une et l'autre des approches.

Séance du 25 mars 2011

Vendredi 25 mars de 11h à 13h :

First-Order Dialogical Games and Tableaux

Nicolas Clerbout

Maison de la Recherche, salle 008.

Résumé :

This talk has two purposes. The first one is to present a formulation of first-order dialogical logic where the (structural) rules are formulated in termes of repetition ranks. In particular, I will answer to the question I mentioned in a previous talk about the distinction between Classical and Intuitionistic dialogical games when formulated with repetition ranks. Furthermore, I will (briefly) present extensive forms of games and of strategies.

The second and main purpose of the talk is to study the connection between dialogical games and tableaux. The point is to prove the following theorem for Classical Logic:

There is a winning P strategy in the dialogical game for a formula if, and only if, there is a tableau proof for that formula.

As for the proof of this theorem, I will present the main features of the proof of the "left-to-right" direction (that is, from to strategies to tableaux proofs) and the state of the art for the proof of the "right-to-left" direction.

Changement d'horaire pour la séance du 11 mars

Attention !

La séance de cette semaine (11 mars), n'aura finalement pas lieu de 11h à 13h, mais de 13h à 15h.

Du fait de ce changement d'horaire, le lieu sera très probablement différent également. Ce message sera mis à jour quand le nouveau lieu sera connu.

Séance du 11 mars 2011

Prochaine séance du Groupe de Travail :

vendredi 11 mars, de 11h à 13h,

Fonctions d'individus dans la théorie artéfactuelle

Matthieu Fontaine

Lieu : Maison de la Recherche, salle 104.

Résumé :

Le point est de présenter une sémantique qui combine théorie artéfactuelle et fonctions d'individus pour un langage modal avec opérateur de fictionnalité.

Les dates pour Mars-Juillet 2011

Bien que quelques changements soient possibles, les dates de réunion du Groupe de Travail pour les mois de Mars à Juillet 2011 devraient être les suivantes. Notez que nous quittons la salle D. Corbin.

Attention, deux des réunions auront lieu dans une salle différente.

11 mars : 11h-13h ; salle 104 Maison de la Recherche,

25 mars : 11h-13h ; salle 008 Maison de la Recherche,

08 avril : 11h-13h ; salle 104 Maison de la Recherche,

06 mai : 11h-13h ; salle 104 Maison de la Recherche,

20 mai : 11h-13h ; salle 104 Maison de la Recherche,

03 juin : 11h-13h ; salle 104 Maison de la Recherche,

17 juin : 11h-13h ; salle 008 Maison de la Recherche,

24 juin : 11h-13h ; salle 104 Maison de la Recherche,

01 juillet : 11h-13h ; salle 104 Maison de la Recherche.