Aller au contenu

Logique formelle/Présentation de la leçon

Une page de Wikiversité, la communauté pédagogique libre.
Version datée du 9 avril 2017 à 14:00 par Anne Bauval (discussion | contributions) (réparé maladresse (?) d'IP du 13/11/11)

La logique est le domaine des mathématiques qui se rapproche le plus de la philosophie, elle est donc très sujette à controverses. Ce cours a pour but d'exposer tout d’abord la logique sous son jour le plus précis et le plus formel, pour expliquer ensuite comment rattacher cette théorie à celle de la vérité mathématique.