Mikaël Cozic > enseignements 2009-2010 > introduction aux théories de la rationalité

Introduction aux théories de la rationalité

 

 

 

Horaires : Le cours a lieu au second semestre

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
28/01 introduction T1 Exo1

LOGIQUE PROPOSITIONNELLE

04/02 LP, 1 : langage T2 Exo2
11/02 LP, 2 : sémantique T3 Exo3
18/02
25/02  
04/03 LP, 3: déduction naturelle T4 Exo4
11/03
LOGIQUE DU PREMIER ORDRE
18/03 LPO, 1: introduction T5 REMISE DU DM n°1
25/03 LPO, 2: théorie des ensembles T6 Exo5
01/04 LPO, 3: langage T7  
08/04 LPO, 4: sémantique T8 Exo6
15/04 REMISE DU DM n°2
06/05 PARTIELS, 9h-12h30

 

Retour à l'accueil