Résumé:
Après une introduction qui montrera l'importance de l'étude de la logique dans l'histoire de la philosophie, depuis l'antiquité jusqu'à nos jours, ce cours quittera le domaine de l'histoire pour se consacrer à l’apprentissage des méthodes de preuves sémantiques (tables de vérité, algorithme de Quine) et syntaxiques (arbres de réfutation de Beth, déduction naturelle) du calcul propositionnel classique.
Bibliographie:
- Scholz, Esquisse d'une histoire de la logique, Aubier, Éditions Montaigne, 1968.
- Quine, W.v.O., Méthode de Logique, Paris : A. Colin, Paris, France, 1972.
- Lepage, F. Éléments de logique contemporaine, Presses de l'Université de Montréal, Montréal, Canada, 2010.
- Bell, DeVidi, Solomon, Logical Options: An Introduction to Classical and Alternative Logics, Broadview Press, Peterborough, Ont., Canada, 2001,
Enseignant:
Année:
L1
Identifiant:
UE202 EC1
Semestre:
2
Modalités de contrôle des connaissances:
Contrôle continu : deux partiels qui comptent à part égale dans le calcul de la moyenne.