mardi 15 décembre 2009

Séance du 17 decembre

Prochaine séance du Groupe de travail aura lieu le jeudi 17 décembre à la Maison de la Recherche, salle 104, de 11h-13h.

Au cours de cette séance, nous écouterons Aude Popek
(résumé ci-dessous).

"Les disputes dialectiques connues sous le nom d'obligationes étaient très populaires au cours du XIVème siècle. Elles se déroulent entre deux participants: un Opposant et un Répondant.

L’opposant commence la dispute en introduisant une proposition ou thèse appelée aussi obligatum que le répondant considère comme vraie, fausse ou encore douteuse uniquement dans le cadre de

la dispute, à moins qu’elle ne soit contradictoire. L’opposant poursuit la dispute

en introduisant successivement de nouvelles propositions que le répondant concède, rejette ou met en doute en fonction des relations d’inférence entre celles-ci

et la thèse. S’il n’existe aucunes relations d'inférence, le répondant y répond sur la base d’un ensemble de connaissances communes partagées avec l’opposant.

Je me focaliserai ici sur la plus connue des obligationes appelée positio.

Deux théories majeures se sont affrontées au cours du XIVème siècles concernant les règles gouvernant le déroulement de la dispute. La théorie de Walter Burley d'une part et celle de Roger Swyneshed.

Je me focaliserai ici sur la plus connue des obligationes appelée positio. Je présenterai alors les règles données par Walter Burley dans son Tractatus de Obligationibus datant de 1302."

lundi 7 décembre 2009

Séance du 11 décembre

Vendredi 11 décembre, Marie-Hélène Gorisse et Nicolas Clerbout feront une présentation concernant la logique jaine (résumé ci-dessous).

La présentation aura lieu à la Maison de la Recherche, salle 008, de 11h à 13h.


Dans l'Inde classique, les philosophes Jains ont développé une "théorie des points de vue" (nayavada) permettant de tenir leur thèse selon laquelle aucun jugement ne doit être considéré comme universellement valide : un jugement est toujours contextualisé et dépend de considérations théoriques et matérielles propres au point de vue auquel il appartient. A la théorie des points de vue s'ajoute la "théorie des sept modes de prédications" (saptabhangi, syadvada) dans laquelle intervient l'opérateur syât qui semble tenir le rôle d'opérateur sur les contextes.
Pour le logicien, cette théorie évoque le recours à une logique modale pour formaliser la théorie jain. Priest(2008) propose une approche propositionnelle où vérité, conséquence logique et validité sont relativisées aux contextes ; et Humberstone(2008) propose une axiomatisation du système modal obtenu. Dans l'approche de Priest, syât est traité à peu près comme un opérateur de possibilité du langage-objet, et les sept modes de prédication sont traités en termes de combinaisons de trois valeurs de vérité.

Dans notre article, nous visons un traitement de la théorie jain au premier ordre dans le cadre de la logique dialogique. La réflexion en terme de dialogique indique que l'approche de Priest ne convient pas sous plusieurs respects. (i) Considérer "syât" comme un opérateur modal "habituel" apparaît problématique. (ii) De plus, si les "sept valeurs" de Priest semblent pertinentes au niveau propositionnel, le passage au premier ordre ainsi que la perspective dialogique permettent un traitement formel plus fidèle encore à la théorie jain.

Au cours de la présentation de vendredi, nous présenterons les éléments de la théorie jain sur lesquels porte l'article, nos arguments "contre" les traitements de Priest et Humberstone, et les prémices de l'approche dialogique et de ses intérêts.

mardi 24 novembre 2009

La séance du 27 novembre

Vendredi, 27 novembre de 11h-13h en salle 104 à la Maison de la recherche on ecoutera l'intervention de Emmanuel Genot sur

JEUX D'ENQUÊTE ET IDÉALISATIONS EN ÉPISTÉMOLOGIE FORMELLE

" La modélisation de certains types de raisonnement, en épistémologie formelle, justifie "localement" certains postulats, axiomes, ou constructions sémantiques. Une fois généralisés à l'état épistémique "global" d'un agent, ils conduisent à des idéalisations souvent contre-intuitives. Pourtant, les agents "réels" correspondent aux agents "idéaux" à l'échelle locale.
Deux réactions sont possible: accepter les axiomes et postulats valant "localement", et donner une justification pour leurs conséquences contre-intuitives (Levi, Rott, van Ditmarsh et al.); ou les abandonner, y compris localement, pour ne pas les imposer au niveau global (Fuhrmann, Hansson). Aucune des deux options ne rend justice à performance "locale" des agents.
Je discuterai les idéalisations, dans deux cadres formels complémentaires: la logique épistémique, et la théorie de la révision des croyance. Je prendrai, comme exemple dans la première, le problème de l'omniscience logique, et de l'introspection parfaite; et dans la deuxième, la consistance et la clôture déductive des croyances. Je montrerai que les jeux d'enquêtes de Hintikka, pourvus d'une sémantique adéquate (liée à la GTS et à la dialogique, et fondée sur la théorie des jeux) permet d'expliquer la satisfaction locale de certaines propriétés. La généralisation de ces propriétés ne requiert pas, sous cette interprétation, d'idéalisation, mais oblige à réinterpréter les structures étudiées en épistémologie formelle."

samedi 7 novembre 2009

Première séance (13/11)

La première séance du groupe de travail aura lieu le vendredi 13 novembre, de 11h à 13h en salle A3 229, avec l'intervention de Gildas Nzokou

"Je parlerai, à cette occasion, des premisses de mes recherches sur le modèle de l'argumentation dans les traditions orales africaines avec usage des proverbes. Je m'appesantirai naturellement sur la manifestation de la nonmonotonie dans ces inférences et les mécanismes de défection des arguments."

vendredi 6 novembre 2009

Ouverture

L'équipe "Pragmatisme Dialogique", réunie autour du Pr. Dr. Shahid Rahman, lance un nouveau blog. (Qui a dit : "encore !" ?).

En cette saison 2009-2010, l'équipe relance des réunions régulières de "groupe de travail". Celles-ci sont organisées par Shahid Rahman et Tero Tulenheimo - avec l'aide de quelques autres membres de l'équipe. Les sessions du groupe se tiendront le vendredi de 11h à 13h (au moins en ce qui concerne le premier semestre). Les annonces de session (date, lieu, intervenant) seront faites sur ce blog.