Séance du 17 décembre

A partir du 17 décembre, nous travaillerons en logique modale, avec comme support l'excellent Modal Logic de Blackburn, de Rijke et Venema chez Cambridge University Press.

Nous prendrons un moment à la fin de la séance pour réfléchir à la suite des réjouissances (organisation des prochaines séances, etc).

Lundi 10 décembre

Pas de séance de l'atelier Outils formels, car Graham Priest fera une intervention dans le cadre du séminaire "Référence". Venez nombreux !

Pour rappel, le blog du séminaire référence se trouve ici

Lundi 3 décembre

La séance était initialement prévue pour un exposé de Marie-Hélène Gorisse sur la dialogique standard de premier ordre.
Mais toutes les personnes présentes étaient familières avec ce sujet.
C'est pourquoi la séance a consisté en une discussion intéressante et riche sur certains systèmes modaux étudiés par Laurent Keiff dans sa thèse et sur les dialogues qu'il a développé pour ces systèmes.

Séance du 19 novembre

Matthieu Fontaine nous parlera des approches substitutionnelle et objectuelle en logique de premier ordre, concernant l'interprétation des termes.
Comme prévu, cela se passera en salle A3.305 de 13h à 15h.

Modifications

Exceptionnellement, la première séance (5 novembre) n'aura pas lieu de 13h à 15h, mais de 10h à 12h. Normalement, la salle devrait être la même, nous attendons confirmation sur ce point.

Horaires et salle

La salle est confirmée : nous nous réunirons en salle A3. 305 (dans la partie de l'UFR de Philosophie où se trouve le secrétariat).

J'en profite pour vous rappeler que nous nous réunirons de 13 heures à 15 heures.

Pour un planning des premières séances (dates, etc), voir ci-dessous.

Premières séances

Voici les sujets que nous aborderons pendant les premières séances :

5 novembre : introduction à la logique de Premier Ordre (syntaxe, sémantique) + introduction de la méthode des arbres (Nicolas Clerbout)

19 novembre : Interprétation par substitution/Interprétation par assignation en logique de Premier Ordre (Matthieu Fontaine)

3 décembre : Séance consacrée à la revue/correction d'exercices

17 décembre : Dialogique standard pour Logique de Premier Ordre (Marie-Hélène Gorisse)


Vous remarquerez au passage que j'ai ajouté le précieux "Mathematical Methods in Linguistics" dans la bibliographie. Vous trouverez dans ce manuel bon nombre de notions fondamentales (ne seraient-ce que les deux premières parties)

En attendant d'autres informations, j'ai placé une liste bibliographique vous indiquant le matériel avec lequel nous allons travailler. Selon l'organisation définitive du séminaire, cette liste peut être complétée ou modifiée.

Nous nous concentrerons sans doute d'abord sur la logique de premier ordre. Eventuellement, nous ferons quelques brefs rappels sur le langage propositionnel. Dans tous les cas, vous pouvez vous (re)familiariser avec la logique propositionnelle en utilisant ce document.

Premier semestre 2007

Cette année, le travail est organisé sous la forme d'un séminaire de l'UMR 8163 "Savoirs, Textes, Langage".
Pour le premier semestre 2007, les séances auront lieu le lundi après-midi, de 13h à 15h, une semaine sur deux. La première séance est prévue pour le lundi 5 novembre. La salle n'est pas encore tout à fait fixée, mais l'information sera donnée sur ce blog dès que possible.

Enfin, nous sommes en train d'élaborer un planning indicatif pour les premières séances.

Naissance du blog

Le groupe de recherche "Pragmatisme Dialogique", dirigé par le Pr. Shahid Rahman (Université Charles-de-Gaulle Lille 3), organise et participe à de nombreuses activités notamment dans les domaines de l'épistémologie, de la philosophie des sciences, de la logique et de la philosophie de la logique.
L'une de ses activités consiste à permettre aux personnes intéressées de se former et/ou de se perferctionner dans l'utilisation des outils et techniques formelles liées à ces différents domaines.

Ce blog est conçu pour diffuser les informations relatives à cette partie de l'activité du groupe "Pragmatisme Dialogique".