Logique épistémique et philosophie des mathématiques

Ce précis de cours expose les rapports qu'entretient la logique avec les mathématiques. La première partie est un panorama critique des travaux récents des logiciens travaillant dans le domaine de l'intelligence artificielle pour formaliser le savoir-faire. La seconde traite de la théorie des modèles pour en distinguer deux interprétations différentes et les situer à leurs places respectives dans le système des mathématiques. Chaque cours est accompagné de questions/réponses. Les auteurs sont deux spécialistes d'envergure internationale, l'un français (Philippe de Rouilhan), l'autre belge (Paul Gochet). Les «répondants» sont des universitaires spécialistes du sujet. Domaines concernés : logique formelle, fondement des mathématiques, intelligence artificielle, épistémologie, philosophie du langage.