Enseignement

Année universitaire 2014 - 2015

Département de Philosophie (Université Lille 3)


  • Logique modale (CM + TD)
Philosophie (Licence 3)




DS 1 : 13 novembre 2014 (17h30 - 19h30), Amphi 4

Cours le vendredi 5 décembre 2014 (15h - 17h), A3.363

DS 2 : 17 décembre 2014 (15h - 17h), A3.363



Séance 1 (17-09-2014)

Présentation générale
(Aristote, Kripke, Opérateurs modaux, Mondes possibles, Relation d'accessibilité, Identité)

Signification / Référence
(Leibniz, Loi d'indiscernabilité des identiques, Logique extensionnelle, Frege)

Analytique / Synthétique

Modalités



Séance 2 (24-09-2014) - Exercices envoyés

Rappels sur la logique propositionnelle
(Vérifonctionnalité, Syntaxe, Sémantique, Formes normales conjonctives et disjonctives, Lois de De Morgan, Distributivité)

Logique modale
(Contextes, Fonction d'évaluation, Modèle, Syntaxe)



Séance 3 (1-10-2014) - Exercices envoyés

Langage ensembliste
(Ensembles de base, Opérations sur les ensembles)

Quantificateurs

Logique modale
(Sémantique, Modèle, Structure)



Séance 4 (8-10-2014) - Exercices envoyés

Validité sur un modèle

Validité sur une structure

Réflexivité



Séance 5 (15-10-2014) - Exercices envoyés

Exemples de modèles



Séance 6 (22-10-2014)

Validité sur une structure (Exemples)

Démonstration par l'absurde

Système K (Théorèmes)

Propriétés d'une relation d'accessibilité
(Réflexive, Transitive, Symétrique, Sérielle, Euclidienne)



Séance 7 (5-11-2014) - Exercices envoyés

Démonstration de K1 dans le système K
(Par l'absurde, par contraposition)

Axiomes et structures
(Axiome T et réflexivité, Axiome B et symétrie)

Contre-exemples



Séance 8 (12-11-2014)

Systèmes formels (KT, B, S5)

Logique temporelle (Syntaxe, Traductions)



Séance 9 (19-11-2014) : Séance reportée



Séance 10 (26-11-2014) - Exercices envoyés

Logique temporelle (Sémantique, Modèles)

Relation d'accessibilité irréflexive, transitive, connectée, dense

Axiomes et structures
(Temps bouclé, Transitivité)



Séance 11 (3-12-2014) - Exercices envoyés

Logique temporelle (Principes valides démontrés par l'absurde)

Logique intensionnelle des prédicats

Modalités de Re et de Dicto

Désignation rigide (Descriptions définies)

Domaines (Variables ou constants)

Prédicat d'existence

Fonction d'interprétation (Entités individuelles ou Concepts individuels)



Rattrapage de la séance 9 (5-12-2014) : 15h - 17h (A3.363)

Désignation rigide (Kripke - Noms propres)

Présentation des lignes de mondes (Hintikka)

Exemple de sémantique (Gamut)

Fonction d'interprétation (Prédicats et variables)

Formules de Barcan



Séance 12 (10-12-2014) - Exercices envoyés

Logique dialogique propositionnelle

Présentation de la sémantique de Graham Priest
(Towards Non-Being: the Semantics and Metaphysics of Intentionality - 2005)