Mikaël Cozic > enseignements > introduction à la logique

Introduction à la logique.

Présentation :

Ce cours est une introduction à la logique mathématique à destination des philosophes.Nous aborderons la logique propositionnelle (LP) et la logique du premier ordre (LPO). Aucun pré-requis logique ou mathématique n'est exigé ; nous introduirons les éléments de théorie des ensembles nécessaires.

Horaires :

Le cours a lieu, au premier semestre, le mardi de 14h à 16 h en salle Beckett.

 

    Document d'accompagnement Feuille d'exercices
12/X Préliminaires

Morphologie de LP

DA n°1

DA n°2

FE n°1

FE n°2

19/X Morphologie de LP

Sémantique de LP

DA n°3 FE n°3
26/X Sémantique de LP

Intermède ensembliste

DA n°4 FE n°4
2/XI Intermède ensembliste

Sémantique de LP

   
9/XI Sémantique de LP DA n°5 FE n°5
16/XI Syntaxe de LP (tableaux) DA n°6 FE n°6
23/XI Syntaxe de LP (DN)    
30/XI Syntaxe de LP (DN)

Conclusion sur LP : logique et jeux

   
7/XII Introduction à LPO DA n°7 FE n°7
14/XII Morphologie de LPOM

Sémantique de LPOM

DA n°8  
4/I Sémantique de LPOM

Syntaxe de LPOM

DA n°9 FE n°9
11/I  

Syntaxe de LPOM

LPOP

DA n°10  

 

 

Liens utiles :

 

 

Retour à l'accueil