jeudi, octobre 28, 2010

Reprise du Groupe de Travail

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.

mercredi, octobre 20, 2010

Soutenance de thèse - Décembre 2010

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)

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.