Dear all,
tomorrow we will have our next LIRa session.
Speaker: Pierre Cardascia
Date and Time: Friday, March 24th 2017, 15:30-17:00
Venue: ILLC Seminar Room F1.15, Science Park 107.
Title: The dialogic of matrices -- Technical aspects of the actualism in game semantic.
Abstract. The game semantics and more specially the dialogical logic are logical frameworks designed to follow the dynamics of information into interactive structure such as dialogues or programs. The natural interpretations of their semantics are pragmatist ones and develop the idea that it is the use which makes the sense of analysed sentences rather than a calculus on pre-given truth-values or an external denotations. But philosophically, this internalism suffers of his own success : in everyday's life, we didn't work on time-closed interactions, the whole history of the uses of a word is never available, and never required. To overcome this problem and some subsequent issues, we propose a brand new analysis, which change the ``localisation" of interactions. Instead of focusing on the history of the dialogue (and so the history of the uses), the justification of each move or action has to be found in the actual trace of the past events into the ``present state of the dialogue": the position (which is a matrice).
Hope to see you there!
The LIRa team