Mikaël Cozic > enseignements 2011-2012 > approfondissements en logique formelle

Approfondissements en logique formelle

 

 

 

Horaires : le lundi, 11h-13h, salle 215

Présentation : L’objectif de ce cours est d’introduire aux concepts, techniques et résultats de la logique formelle. L’essentiel du semestre sera consacré à la logique propositionnelle (appelée également parfois “calcul des propositions”), qui est la partie la plus élémentaire de la logique contemporaine. Nous exposerons le langage de la logique propositionnelle, sa sémantique (et la méthode des tables de vérités) et l’une de ses syntaxes existantes (au choix, la déduction naturelle ou la méthode des arbres). Nous envisagerons quelques enrichissements de ce formalisme élémentaire (logique du premier ordre et logique modale) et donnerons quelques aperçus philosophiques pertinents. De brefs exercices d’application seront donnés chaque semaine.

Syllabus : syllabus.pdf




Transparents Exercices
23/01
introduction

T1
exos1

30/01 logique propositionnelle, 1
morphologie
T2 exos2
06/02 logique propositionnelle, 2
sémantique
T3 exos3
13/02 logique propositionnelle, 3
syntaxe
T4 exos4
20/02



05/03

12/03



19/03

26/03



02/04



09/04
30/05



07-11/05 PARTIEL



Retour à l'accueil