mercredi, octobre 13, 2010

Publications

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.

lundi, septembre 13, 2010

15 septembre : Hans van Ditmarsch & Tiago de Lima

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)

jeudi, mai 06, 2010

Les cours de Tero Tulenheimo

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

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

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

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

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.

mercredi, avril 28, 2010

Fontaine/Rahman(2010), in Methodos

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.

jeudi, novembre 26, 2009

Ajout d'une fonction "Recherche"

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.

mardi, novembre 24, 2009

Soutenances de thèse

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)

dimanche, novembre 15, 2009

19 novembre : Viste de Javier LeGris

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.

vendredi, novembre 13, 2009

30 novembre : Tero Tulenheimo et Manuel Rebushi

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

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.

lundi, novembre 09, 2009

Enseignements 2009-2010 semestre 1 (suite)

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

samedi, novembre 07, 2009

Enseignements 2009-2010 semestre 1

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.

vendredi, novembre 06, 2009

World Lines 10 Novembre

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

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"

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.

mardi, janvier 27, 2009

Intervention de W. Carnielli

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

mardi, janvier 13, 2009

Séminaire Interprétation

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.