Daniel Vanderveken

Le professeur Daniel Vanderveken (U. du Québec à Trois-Rivières) interviendra dans le séminaire de notre groupe le vendredi 15 décembre de 10h à 12h en Bibliothèque de Recherche (UFR Philosophie, Lille 3).
Il présentera un papier intitulé :
"Towards a Formal Pragmatics of Discourse".

Ne manquez pas cette séance!

Pragmatique?... Pragmatics!

Bien qu'étant quasiment certain que vous êtes déjà tous informés, je tiens tout de même, juste pour la forme, à signaler dans ces colonnes le nouvel article "Pramatics" de la SEP, dont je vous laisse découvrir les auteurs...

Side-Project

Un petit mot pour faire un peu de pub à un "projet parallèle": essayez donc d'aller faire un petit tour là...

Les "responsables" (un bien grand mot, tant la démarche est encore informelle) vous ont peut-être oublié dans les invitations; si vous pensez être qualifiés pour y laisser des messages (et non seulement des commentaires), n'hésitez pas à nous écrire.

TRC 10-10

La prochaine séance du séminaire Dynamique des croyances aura lieu le Mardi 10 Octobre de 12:15 à 14:30 à la Maison de la Recherche de Lille 3, dans la salle de séminaire 008.

Sébastien Konieczny (CRIL, Lens) présentera le paradigme AGM de la révision des croyances. Vous trouverez des matériaux permettant de préparer la séance à cette addresse : http://www.cril.univ-artois.fr/~konieczny/sebastien.php?page=revision

Merci de transmettre l'information, car il est possible que certains aient été oubliés de la liste de diffusion. Ceux-ci peuvent dès à présent s'inscrire en envoyant un mail à revision-subscribe@cril.fr.

Changement d'horaire...

L'atelier "Techniques Formelles" se tient désormais tous les jeudis de 14h à 16h, UFR de philosophie, bibliothèque de recherche.

Les ateliers reprennent du service!

L'atelier "Techniques Formelles" se tiendra chaque mercredi de 13h30 à 15h30.
Au programme : (poursuite de) la métathéorie de la logique de premier ordre, avec l'inépuisable Smullyan, First-Order Logic, Dover.

Prochaine séance : mercredi 27 septembre. Reprise à la partie II, p.41.

Révision des Croyances

L'été s'est avéré propice. Avec Cédric l'infatigable, nous avons mis sur pied un programme qui promet une année aussi riche que studieuse :

Mardi 19 septembre 2006 Séance Préliminaire (présentation du séminaire, objectifs, organisation)
Mardi 3 octobre 2006 Séance introductive 1 : AGM (S. Konieczny)
Mardi 17 octobre 2006 Séance introductive 2a : AGM (S. Konieczny)
Mardi 24 octobre 2006 Séance introductive 2b : AGM (S. Konieczny)
Mardi 31 octobre 2006 Séance introductive 3 : Approche de la révision de croyances de l'apprentissage rationnel en économie (F. Jouneau)
Mardi 14 novembre 2006 Séance introductive 4 : Logiques de la conversation, SDRT [veille de la Toussaint] déplaçable le lundi 30.. (L. Keiff)
Mardi 21 novembre 2006 Séance introductive 5 : Révision et jeux (B. Walliser, sous réserve)
Mardi 28 novembre 2006 Séance introductive 5 : Fusion des croyances (S. Konieczny)
Mardi 12 décembre 2006 Séance introductive 6 : Révision itérée (S. Konieczny)
Mardi 16 janvier 2007 Séances récapitulatives et de présentation du cycle de conférences à suivre [période d'examen, session 1] déplaçable le 16 janvier
Mardi 23 janvier 2007 Première conférence : Erik Olsson
Mardi 6 février 2007 Deuxième conférence : Gabriella Pigozzi
Mardi 20 février 2007 Troisième conférence : Frédéric Jouneau
Mardi 6 [ou 13] mars 2007 Quatrième conférence : Nicholas Asher (sous réserve) [Période d'examen, session 2] (déplaçable le 13 mars).
Mardi 20 mars 2007 Cinquième conférence : Salem Benferhat
Mardi 3 avril 2007 Sixième conférence : Philippe Preux
Mercredi 11 avril 2007 Septième conférence : S. Konieczny et P. Marquis
Mercredi 2 mai 2007 : Révision et jeux (sous réserve) (B. Walliser)
Mardi 15 mai 2007 [période d'examen!] : Fréderic Jouneau
Mardi 29 mai 2007 [Dispositif pédagogique] : M. Cozic
Mardi 12 juin 2007 Closing lecture (sous réserve) [Dispositif pédagogique] : David Makinson, Johan van Benthem, Hans Rott, Shahid Rahman

Je comprends votre émotion. Vous avez de la chance, vous êtes à Lille 3.

Séminaire révision des croyances

Cédric et moi sommes en train de mettre la touche finale à un séminaire intitulé "Théories formelles de la révision des croyances" : c'est ici sur le site de STL.
Ce sera pour les motivés, mais ça promet d'être bien. Frédéric Jouneau (le patron du GREMARS) viendra faire une intervention dont le titre est "Belief revisions, an economic viewpoint" et dont l'abstract sera disponible incessament.
Mikael Cozic (IHPST) devrait venir aussi.
Nous avons contacté David Makinson, qui n'a pas dit non...

Groupe de discussion (2) : LICENCE

J'ai créé un deuxième groupe, spécifique aux (nombreux) élèves des différents niveaux de la Licence. Cela nous permet de doubler la capacité de stockage des documents, et de disposer d'un outil de communication ciblé.
Je suis très content d'annoncer que ce groupe est déjà actif, et qu'il semble qu'il y ait une réelle motivation. C'est parfait, pourvu que ça dure.
Merci à Nicolas (que j'ai bombardé modo) de s'être dévoué pour donner donner de précieuses explications.

Groupe de discussion

Ce blog est maintenant associé à un groupe de discussion qui servira aussi de base de donnée en ligne. Vous y trouverez les supports d'enseignement des cours de logique.
Nota: il faut être inscrit au groupe pour avoir accès aux fichiers.

Atelier "Techniques Formelles"

Je vous rappelle que Tero Tulenheimo continue à assurer l'encadrement de l'atelier "Techiques Formelles", le mercredi de 13h30 à 15h30. Programme : métathéorie de la logique de premier ordre.
Ouvrage de référence : Smullyan, First-Order Logic, Dover.

Prochaine séance : mercredi 12 avril. Reprise au §3, p. 57.

Demi-journées débloquées

Le mercredi 5 et le jeudi 6 avril, les portes de l'université seront ouvertes pour accueillir et informer les étudiants sur la poursuite des enseignements après le blocage.
Des supports de travails seront disponibles en-ligne.

L'équipe de logique souhaite insister sur le fait que le déficit de formation compromet sérieusement la qualité de la formation sur l'ensemble du parcours, et invite les étudiants intéressés par la mention "Logique,..." à prendre contact avec Laurent Keiff pour l'organisation des cours de (re)mise à niveau.

Naissance

Le blog "Pragmatisme Dialogique" a pour vocation d'être une plateforme de diffusion des informations concernant les activités du groupe de recherche du même nom de l'université Lille 3.
Le groupe s'articule autour du Pr. Shahid Rahman.


On trouvera ici des informations concernant (i) les cours de logique L1 et L2 en tronc commun; (ii) les cours de la mention "Logique, épistémologie et histoire de sciences" et (iii) les activités de recherche du groupe.