Pragmatisme Dialogique

Groupe de Travail 2011-2012

2011-11-07T12:06:00.001+02:00

Le Groupe de Travail "Dialogique" reprend en novembre pour l'année 2011-2012.

Reportez-vous au blog du GdT pour plus d'informations.

Reprise du Groupe de Travail

2010-10-28T09:12:00.003+02:00

Le Groupe de Travail reprend ses activités en novembre.

Trois séances son programmées pour le mois de novembre : rendez-vous sur le blog du GdT pour plus d'informations.

Rappel : Pour toute question, ou pour proposer une intervention pendant une séance du GdT : contacter Tero Tulenheimo.

Soutenance de thèse - Décembre 2010

2010-10-20T14:53:00.004+02:00

Cette année, c'est Gildas Nzokou qui soutiendra sa thèse.

Vendredi 3 décembre 2010, 15 heures (Maison de la Recherche, salle 009).

Gildas Nzokou.

Formes logiques et structures ontologiques dans quelques langues Bantu.

Problèmes de quantification, de temporalité et considérations autour de quelques constantes logiques.

Le jury sera composé de :

Pr. P. Nzinzi (président du jury)

Pr. B. Mvé Ondon

Pr. P. Gochet

Pr. M. Crubellier

Pr. S. Rahman (Directeur de thèse)

Publications

2010-10-13T16:42:00.003+02:00

En attendant une mise à jour plus complète des informations sur le blog, voici l'annonce de deux publications (une effective et l'autre en cours)

- V. Fiutek, H. Rückert and S. Rahman, "A Dialogical Semantics for Bonanno's System of Belief Revision". In P.E. Bour, M. Rebuschi, L. Rollet (eds.), Construction. Festschrift for Gerhard Heinzmann. College Publications, Coll. "Tributes" (vol. 14), 2010, pp. 315-334.

- N. Clerbout, M.-H. Gorisse and S. Rahman, "Context-Sensitivity in Jain Philosophy. A Dialogical Study of Siddharsigani's Commentary on the Handbook of Logic". Special Issue of the Journal of Philosophical Logic. In print.

15 septembre : Hans van Ditmarsch & Tiago de Lima

2010-09-13T16:33:00.005+02:00

L'année 2010-2011 commence déjà pour l'équipe, et elle commence bien.

Nous aurons en effet le plaisir de recevoir Hans van Ditmarsch et Tiago de Lima le mercredi 15 septembre.

Ils interviendront de 15h à 17h à l'UFR de Philosophie, salle A3.305.

Voici les titres de leurs interventions:

- Hans van Ditmarsch, "Everything is Knowable".

- Tiago de Lima, "A Tableau Method for Public Announcement Logic".

(Les abstracts seront mis en ligne sous peu)

Les cours de Tero Tulenheimo

2010-05-06T23:18:00.005+02:00

Vous trouverez sur sa page personnelle de nombreux documents accompagnant les cours assurés par Tero Tulenheimo cette année (L1, L2, L3 et M1).

Notez qu'on y trouve aussi des exercices pour garder la main.

Pour accéder directement à la page des cours, c'est par ici.

(Pour rappel, d'autres supports de cours sont disponibles sur la page de Shahid Rahman)

Ressources en ligne

2010-05-06T19:31:00.008+02:00

Nouveau sur le blog de PragmaDial : la mise à disposition de diverses ressources. Les libellés vous aideront à vous repérer.
Pour commencer, deux preprint de travaux fortement liés aux recherches de l'équipe.

Le premier, de Thierry Coquand qui résume ainsi son point dans l'introduction : "In this paper, we reformulate Gentzen’s and Novikoff’s “finitist sense” of an arithmetic proposition as a winning strategy for a game associated to it."

Télécharger le document.
La version révisée a été publiée en 1995 dans Journal of Symbolic Logic 60, pp. 325-337.

Deuxième preprint, de Pierre-Louis Curien. Celui-ci concerne les arbres de Böhm.
Télécharger le document.
La version révisée a été publiée en 1998 dans Mathematical Structures in Computer Sciences 8(6), pp. 559-591.

Logique et Epistémologie Indienne à Hamburg

2010-05-06T19:16:00.003+02:00

Dans le cadre des activités du groupe au sein de DDAHL, Marie-Hélène Gorisse et Laurent Keiff participeront au Workshop interdisciplinaire "Modern Formalisms for Pre-Modern Indian Logic and Epistemology" à Hamburg du 4 au 6 juin 2010.

Informations complémentaires sur le site du Workshop.

L'argumentaire de l'évènement :
"The Indian traditions of logic and epistemology do not fit into the deductive paradigm of mathematical logic which forms the foundations of a large part of current philosophical logic. Instead, intersubjectivity and interaction play an important role. In this respect, they are similar to large parts of the Western medieval and early modern logic traditions (e.g., the obligationes or the Logique du Port Royal).

In the past decades, logicians focused on the interactive paradigm and investigated logics of knowledge, belief and communication. These logics have been successfully used in the formalization of Western medieval texts. We expect that similar successes are possible in the field of Indian logic and epistemology. Our workshop will be an encounter between the two relevant research communities."

PragmaDial investit Séville

2010-05-06T19:10:00.004+02:00

Pas moins de 6 membres de l'équipe participeront au Symposium International "Argumentation in Intentional Contexts: Knowledge, Belief, Dialogues", co-organisé par STL et le Grupo de Logica Lenguaje et Informacion. L'évènement se tiendra à Séville du 20 au 22 mai.

[MàJ] Les titres des interventions de quelques autres intervenants
A. Nepomuceno (Univ. Sevilla), "Information, Knowledge and Logic".
H. van Ditmarsch (Univ. Sevilla), "Dynamic Epistemic Logic, the Moore Sentence, and the Fitch Paradox".
J.L. Suarez (Univ. Western Ontario), "Humanidades Digitales: Como la Matematicas y la Computacion Pueden Ayudar a Entender la Cultura".

Les interventions des 6 lillois :
N. Clerbout, "The Dialogical Outlook on Modal Validity"
M. Fontaine, "To Be is to Be Chosen. A Dialogical Understanding of Ontological Commitment"
L. Keiff, "Dialogues on pseudo-logical constants"
S. Magnier, "PAC vs. DEMAL"
A. Popek, "Logical Dialogues for Middle Ages"
T. Tulenheimo, "Divisibility of Time: A Modal Logical Perspective"

(P.S. : Toutes nos excuses à nos amis hispanophones à propos des accents)

Séances de travail MetaDialogique

2010-05-06T18:37:00.004+02:00

Notez que certaines séances du Groupe de travail Dialogique seront consacrées à la production et publication de preuves metalogiques.

Premier sujet à traiter : soundness avec formulation de la "no delaying tactic rules" d'après les rangs, et sans la règle de split.

Des informations complémentaires seront données très prochainement.

Fontaine/Rahman(2010), in Methodos

2010-04-28T15:33:00.004+02:00

Après une période de creux, il est grand temps de relancer le blog.

Et justement voilà une belle occasion : la publication de

Fontaine, M. et Rahman, S., "Fiction, Creation and Fictionality: An Overview", Methodos 10; 2010. (pas de pagination connue)

L'article peut être consulté en ligne sur le site de la revue : http://methodos.revues.org/.

Abstract :
La réflexion philosophique sur la non-existence est une thématique qui a été abordée au commencement même de la philosophie et qui suscite, depuis la publication en 1905 de « On Denoting » par Russell, les plus vifs débats en philosophie analytique. Cependant, le débat féroce sur la sémantique des noms propres et des descriptions définies qui surgirent suite à la publication du « On Referring » par Strawson en 1950 n’engagea pas d’étude systématique de la sémantique des fictions. En fait, le développement systématique d’un lien qui articule approches logiques, philosophiques et littéraires de la fiction devait attendre les travaux de John Woods publiés en 1974 dans son livre The Logic of Fiction : A Philosophical Sounding of Deviant Logic. Un des enjeux les plus excitants du livre de Woods se situe au niveau de l’interaction entre les points de vue internalistes ou interne-à-l’histoire (principalement pragmatiques) et les points de vue externalistes ou externe-à-la-fiction (principalement sémantiques). Sur ce point, Woods fut le premier à formuler une sémantique pour l’opérateur de fiction à lire comme « selon l’histoire… » en relation à la notion logique de portée, ce qui permettait l’étude de l’internalisme et de l’externalisme. Suite au livre de Woods, loin de s’essouffler, les débats trouvaient une nouvelle impulsion. Le fait pertinent pour notre article est que la tradition phénoménologique également, l’étude de la fiction a joué un rôle central. En effet, l’une des problématiques les plus sujettes à controverses dans l’intentionnalité est celle de l’indépendance à l’existence, c’est-à-dire le fait que les actes intentionnels n’ont pas besoin d’être forcément dirigés vers un objet existant. Influencée par les travaux de Roman Ingarden (1893-1970), l’un des plus importants disciples de Husserl, Amie L. Thomasson développe le concept phénoménologique de dépendance ontologique en vue d’expliquer les processus de références inter- et transfictionnels – dans le contexte de l’interprétation littéraire par exemple. L’enjeu essentiel de cet article est de proposer une reconstruction multimodale bi-dimensionnelle de la théorie des personnages fictionnels de Ingarden-Thomasson. Cette théorie qui entend prendre au sérieux le fait que les fictions sont des créations montre la voie pour une articulation entre les approches internalistes et externalistes. Nous motivons certains changements quant à l’approche artéfactuelle - incluant une sémantique appropriée pour l’opérateur de fictionalité qui, nous l’espérons, éveillera l’intérêt des théoriciens de la littérature. L’article est à d’autres égards un panorama de la façon dont différents concepts d’intentionnalité pourraient fonder différentes sémantiques formelles pour la fictionalité. Nous proposerons enfin un cadre dialogique qui est une extension modale d’un certain système de preuve développé par Matthieu Fontaine et Juan Redmond. Le cadre dialogique développe la contrepartie inférentielle de la sémantique bi-dimensionnelle introduite par Shahid Rahman et Tero Tulenheimo dans un article récent.

Ajout d'une fonction "Recherche"

2009-11-26T09:34:00.004+02:00

Les informations sont postées sur ce blog dans l'ordre dans lequel elles me parviennent.
Pour l'instant, je n'ai pas encore trouvé le moyen de les classer par date d'évènement plutôt que par date de post...

En attendant, j'ai donc intégré la fonction "Recherche" dans les menus à droite. Avec cette fonction, vous pouvez rechercher l'information qui vous intéresse non seulement sur ce blog, mais également sur les sites mentionnés sur notre blog.

Soutenances de thèse

2009-11-24T08:59:00.003+02:00

Le mois de décembre sera marqué par les soutenances de thèses de deux membres du groupe, Emmanuel Genot et Alexandre Thiercelin.
Voici les annonces :

Samedi 5 décembre, 14 heures 30. Salle I.1.2

Emmanuel Genot.

Jeux d'Enquête. Le modèle interrogatif d'Enquête et la théorie de la Révision des Croyances.

Le jury se composera de :
Pr. A. Fuhrmann
Pr. E.J. Olsson
Pr. G. Sandu
Pr. C. Thiercelin
Pr. S. Rahman (directeur de thèse)

Mardi 8 décembre, 15 heures. Maison de la Recherche, salle des colloques.

Alexandre Thiercelin.

La théorie juridique leibnizienne des conditions.

Ce que la logique fait au droit, ce que le droit fait à la logique.

Le jury se composera de :
Pr. P. Canivez
Pr. M. Crubellier
Pr. F. Duchesneau
Pr. M. Herberger
MCF J.-B. Rauzy
Pr. S. Rahman (directeur de thèse)

19 novembre : Viste de Javier LeGris

2009-11-15T00:00:00.005+02:00

La semaine sera marquée par deux séances du séminaire "Interprétation".

C'est Javier LeGris qui interviendra pendant la deuxième. Son intervention concernera le thème d'une sémantique antiréaliste pour le langage. De ce fait, l'intervention sera intéressante pour les philosophes de la logique, les linguistes, et les étudiants travaillant sur Wittgenstein dans le cadre de la préparation à l'Agreg.

Horaire : Jeudi 19 novembre, 10h-12h.
Lieu : salle 020 (Maison de la Recherche).

Vous trouverez un avant-goût sur le blog du séminaire.

30 novembre : Tero Tulenheimo et Manuel Rebushi

2009-11-13T14:54:00.004+02:00

Notez que Tero Tulenheimo et Manuel Rebuschi feront une intervention commune le 30 novembre.

Horaire : 14h-16h.
Lieu : Maison de la Recherche, salle 104.

Thème de l'intervention : Une nouvelle sémantique pour les objets intentionnels.

World lines suite : 17 novembre

2009-11-13T14:50:00.003+02:00

Le séminaire de M2 du Pr. Rahman sera encore marqué par une discussion liée aux world lines ce mardi 17 novembre. Après l'intervention de Tero Tulenheimo mardi dernier, c'est au tour de Matthieu Fontaine qui abordera la solution de Priest au hooded man paradox.

Enseignements 2009-2010 semestre 1 (suite)

2009-11-09T11:00:00.002+02:00

Voici la liste des enseignements assurés par les doctorants de l'équipe.

UFR de Philosophie.
Licence 1.
- Méthodologie. Vendredi 10h-12h (Sébastien Magnier).
- Projet Professionel Etudiant. Jeudi 17h-19h (Matthieu Fontaine).

Licence 3.
- Logique (TD). Jeudi 13h-15h (Matthieu Fontaine).

Préparation à l'Agrégation.
- Wittgenstein. Mardi 15h30-17h (Nicolas Clerbout).

UFR de Psychologie.
Licence 1.
- Philosophie et Psychologie : Descartes, James, Itard, Freud. (TD) :
Mardi 8h-10h (Sébastien Magnier).
Jeudi 10h30-12h30 (Gildas Nzokou).
Vendredi 13h30-15h30 (Aude Popek).
Vendredi 15h30-17h30 (Aude Popek).
Samedi 9h-11h (Sébastien Magnier).

Enseignements 2009-2010 semestre 1

2009-11-07T15:08:00.005+02:00

L'activité du groupe consiste également pour une bonne part à assurer des enseignements à l'université Lille 3. Voici la liste des enseignements assurés au premier semestre 2009-2010 par le Pr. Dr. Shahid Rahman et par le MCF Dr. Tero Tulenheimo :

Shahid Rahman :
- Licence 3. Introduction à la révision de croyances. Mercredi 10h30-11h30.
- Master 1. Logique. Mardi 13h30-15h30.
- Master 2. Logique. Mardi 15h30-17h30.

Tero Tulenheimo :
- Licence 3. Introduction à la révision de croyances. Mercredi 11h30-13h30.

Plus de précisions sur ces enseignements prochainement.
A venir également : la liste des enseignements assurés par les doctorants de l'équipe.

World Lines 10 Novembre

2009-11-06T19:32:00.004+02:00

Le mardi 10 Novembre est un jour chargé pour l'équipe.

Tout d'abord, une séance du séminaire Interprétation, avec A. Bühler, aura lieu de 12h à 14h.

Ensuite, le séminaire de M2 de Shahid Rahman sera marqué par une session consacrée aux world lines, avec interventions de Tero Tulenheimo et de Matthieu Fontaine. Le séminaire a lieu de 15h30 à 17h30 à l'UFR.

Les autres séminaires

2009-11-06T19:23:00.003+02:00

Comme les années précédentes, l'équipe s'investit dans l'organisation de plusieurs autres séminaires ou groupes de travail.

Le séminaire "Interprétation : formes et problèmes", qui a débuté l'année dernière, continue en 2009-2010. Il a bien sûr son blog attitré, régulièrement mis à jour par Marie-Hélène.

Le groupe de travail Logique, linguistique et traitement automatique est une nouveauté du cru 2009. Il a pour but d'explorer les champs d'investigations communs aux logiciens et linguistes du laboratoire STL. Toutes les infos sur le blog tenu par Sébastien.

Groupe de travail "Dialogique"

2009-11-06T17:48:00.003+02:00

L'ancien séminaire de l'équipe renaît en 2009 sous la forme d'un groupe de travail. Celui-ci est organisé par Shahid Rahman et Tero Tulenheimo. Ils seront aidés par certains des doctorants de l'équipe (Radmila, Aude, Gildas, Nicolas, Sébastien). Les séances auront lieu le vendredi de 11h à 13h, la première est prévue pour le vendredi 13 novembre.

Un blog dédié vient de voir le jour : consultez le pour y trouver toutes les infos concernant le séminaire.

Intervention de W. Carnielli

2009-01-27T11:55:00.002+02:00

A ne pas oublier !

Walter Carnielli
Proving propositional and modal logics by handling polynominals:
Revamping the heritage of George Boole

Mercredi 4 février - 10h-12h
Maison de la Recherche - salle 019

Séminaire Interprétation

2009-01-13T16:30:00.003+02:00

Sur la proposition du groupe Pragmatisme Dialogique, un nouveau séminaire pluridisciplinaire a été monté, consacré à la notion d'interprétation.

La première séance de ce séminaire aura lieu le mardi 20 janvier. Vous trouverez toutes les informations nécessaires sur le blog de ce séminaire, qui se trouve sur cette page.

Shahid Rahman Appreciation Society

2008-03-13T15:46:00.002+02:00

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

2008-02-21T12:56:00.004+02:00

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

2008-01-16T12:53:00.000+02:00

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

2007-10-10T14:27:00.000+02:00

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"

2007-09-25T08:54:00.001+02:00

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

2007-09-20T10:24:00.000+02:00

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

2007-09-12T16:22:00.000+02:00

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

2007-06-01T11:01:00.000+02:00

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

2006-12-01T14:11:00.000+02:00

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!

2006-11-29T16:39:00.000+02:00

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...

Depuis Asher vers Rott (et dos)

2006-10-19T08:53:00.000+02:00

Donkey!

Asher est sur la route. Hans Rott Aussi. Soyez prêt.

( Le saviez-vous?
Les titres en anglais en énervent certains...)

Side-Project

2006-10-09T23:20:00.000+02:00

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

2006-10-05T21:47:00.000+02:00

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...

2006-10-02T10:30:00.000+02:00

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

Update ya agendas !

2006-09-29T19:18:00.000+02:00

Séance vitale pour le séminaire "dynamique des croyances" le MARDI 3 OCTOBRE, Maison de la recherche, salle 008.

Venez en masse.

Si vous n'étiez pas convaincu par l'intérêt du séminaire, restent deux solutions égales en dignité : LIRE (PUIS DISTRIBUER ET PLACARDER) CECI ou ENVISAGER UNE RE-ORIENTATION.

Update!

Les ateliers reprennent du service!

2006-09-20T14:19:00.000+02:00

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

2006-09-07T19:32:00.000+02:00

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.

Shahid's seminar has got its blog

2006-09-07T19:31:00.000+02:00

Le séminaire de Shahid prend forme.

http://shahid.over-blog.com/

Faites passer !

Séminaire révision des croyances

2006-07-07T20:06:00.000+02:00

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

2006-04-06T16:07:00.000+02:00

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

2006-04-06T11:20:00.000+02:00

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"

2006-04-06T00:32:00.000+02:00

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

2006-04-01T02:13:00.000+02:00

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

2006-04-01T01:26:00.000+02:00

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.