Shahid Rahman Appreciation Society

Oyez, oyez, pragmadialogiciennes et pragmadialogiciens!

Aujourd'hui marque la date officielle de création de la Shahid Rahman Appreciation Society, qui fait ses débuts (modestes) sur FaceBook. Soyez nombreux à la rejoindre, et attention, car maintenant, on peut effectivement compter ses amis!

Mardi 26 février - Cours de L3

Dans le cadre du cours de Licence 3, Nicolas Clerbout fera une petite présentation du traitement de l'irréel et du contrefactuel en logique modale, ce mardi 26 février, pendant le cours de L3.

Tutorats

Pour les raisons que l'on sait, les cours n'ont pas pu être correctement assurés au premier semestre. Or, pour les licence 3 du parcours Philosophie, le cours de Shahid Rahman du deuxième semestre en "Philosophie du Langage" suppose un certain nombre de connaissances qui auraient du être assimilées au premier semestre.
C'est pourquoi des tutorats sont mis en place, pendant lesquels nous étudierons les trois premiers chapitres du volume 1 et du volume 2 de la série "Logic, Language, and Meaning" par L.T.F. Gamut.
Ces tutorats sont adressés en priorité aux étudiants de licence 3, mais tous ceux souhaitant voir ou revoir ces chapitres sont bienvenus.

Voici les premières séances prévues (les salles ne sont pas encore connues. Elles seront précisées sur ce blog et affichées à l'UFR de Philosophie) :
- Lundi 21 janvier, de 9h à 11h.
- Mardi 22 janvier, de 14h30 à 16h30
- Mercredi 23 janvier, de 14h30 à 16h30
- Jeudi 24 janvier, de 14h30 à 16h30

Speed Pointing

Le groupe a maintenant sa série :
Speed Pointing, 10 mn pour convaincre.

Retrouvez nos héros sous pression maximale, prêts à tout pour avoir le dernier mot. Les news sont ici.

Blog "Outils formels"

Le blog consacré au séminaire "Outils formels..." a été mis en ligne.
Pour tout savoir sur cette activité, rendez-vous ici.

Activités 2007-2008

Bonjour à tous
Je suis l'impulsion du post précédent pour vous résumer l'ensemble des activités organisées par le groupe.

- Séminaire "Référence", organisé par Shahid Rahman, Marie-Hélène Gorisse et avec la collaboration de Justine Jacot. Consultez régulièrement le blog mis en ligne par Marie-Hélène et Justine pour tout savoir

- Séminaire "Sémantique formelle", organisé par Shahid Rahman et Laurent Keiff. Dans la continuité du séminaire "sDRT" de l'an dernier, l'étude sera élargie à toutes les approches dynamiques de la sémantique. Un blog existe pour vous tenir informé.

- Séminaire "Outils formels en philosophie du langage", organisé par Shahid Rahman et Nicolas Clerbout. Pour ce séminaire également, un blog sera mis en ligne prochainement pour vous tenir informé...

- Séminaire "Epistémologie formelle et philosophie des sciences". Organisé par Shahid Rahman et Emmanuel Genot. Plus d'informations à venir...

- Séminaire "Théories formelles de la dynamique des croyances". Organisé par Shahid Rahman, Laurent Keiff et Nicolas Clerbout, ce séminaire MSH est la continuation de celui de l'année dernière qui avait été initié par Laurent Keiff et Cédric Dégremont. Le séminaire est prévu pour le deuxième semestre. En attendant, vous trouverez des informations sur cette page.

Séminaire Référence

Le groupe PragmaDial reprend du service !
Un séminaire consacré à la notion de référence est organisé cette année.
Vous trouverez des infos sur le séminaire ici.

Bonne rentrée à tous !

Séminaire Dynamique des Croyances

Le séminaire sur les théories formelles de la dynamique des croyances s'achèvera en beauté le 15 juin, avec une journée d'études dont l'invité d'honneur sera D. Makinson. Le matin, nous aurons trois conférences par Sonja Smets (http://www.vub.ac.be/CLEA/sonja/), Kristof de Clerq (http://logica.ugent.be/kristof/pmwiki/) et un dernier invité qui reste à déterminer.

Venez nombreux...

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.