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.