Centre d’Élaboration de Matériaux et d’Etudes Structurales (UPR 8011)


Accueil > Actualités

Séminaire Louis Féraud

"Les séminaires du CEMES" - Séminaire ouvert à tous - venez nombreux

Dr. Louis Féraud

IRIT (Toulouse)

"Un bref panorama des logiques non classiques"

 

Cet exposé débutera par un bref rappel de la logique classique. Les logiques non standard seront ensuite introduites en montrant leur pouvoir expressif pour formaliser certaines questions ou aborder certains domaines scientifiques. Ainsi, la logique intuitionniste permet la mise en oeuvre de mathématiques constructives ; avec la logique floue il est possible de raisonner sur l’imprécis et l’incertain. Les logiques modales sont des outils élégants et efficaces pour exprimer des propriétés relatives à la connaissance ( logiques épistémiques),au temps ( logiques temporelles) , à la morale (logiques déontiques).... La notion de modèle de Kripke, sous bassement commun à ces formalismes, sera brièvement décrite.

 

Un café+croissant sera servi dans le hall à partir de 10h45.

 

Contacts

frederic.mompiou chez cemes.fr

thierry.ondarcuhu chez cemes.fr

masseboeuf chez cemes.fr