Laurent Dion (Sorbonne) 

Les logiques abstraites : une approche mathématique de la notion de conséquence logique. 

Les logiques abstraites, qui ont émergé en Pologne dans les années 1970 à partir de la caractérisation tarskienne de la notion conséquence logique, sont des structures mathématiques particulières se trouvant au cœur d’une théorie qui propose une approche unifiée et générale pour décrire une large classe de systèmes logiques. Nous introduirons cette notion ainsi que plusieurs résultats fondamentaux dont l’interprétation philosophique demeure problématique.