Rebuilding Logic and Rethinking Language in Interaction terms
Affiliated symposium to the 14TH CONGRESS OF LOGIC,
METHODOLOGY AND PHILOSOPHY OF SCIENCE
NANCY, JULY 21, 2011, 10:30 to 18:30.
Amphithéâtre Geny, Faculté de Droit, 13 place Carnot, 54000 Nancy.
Statement
Logic The purpose of this symposium is to present works on a new possible way of re-building Logic and re-thinking Language starting from the concept of interaction, in the frame of Ludics, a pre-logical formalism invented by J-Y. Girard. Ludics has appeared in 2001 in the continuation of Girard’s researches on Geometry of Interaction. It is linked, on one side, to the works on focalisation of proofs in linear logic (a discovery made by J-M. Andréoli at the beginning of the nineties) and, on (…)
Program
The workshop will be held at the amphithéâtre Geny, rez-de-chaussée de la Faculté de Droit (13 place Carnot, 54000 Nancy) from 10:30 to 18:30, Thursday, July 21st 10h 30 : Presentation of the LOCI project (Alain Lecomte) 11h : Tutorial on Ludics (Lionel Vaux) 12h30 : pause lunch 14h : Towards Formal Pragmatics based on Ludics (Alain Lecomte and
Myriam
Quatrini) 15h : Applications to the web and the problem of ontologies (Christophe
Fouqueré) 16h: pause 16h 30 : Quantifiers from an (…)
