Logique II: Logique
[FILO1250]
[45h + 15h] 5 crédits
Enseignants : Marcel Crabbé
Langue d'enseignement : Français
Niveau : Premier cycle
Objectifs (en termes de compétences)
Objet de l'activité (principaux thèmes à aborder)
Les aborder ensuite par la théorie de la démonstration.
Montrer enfin que ces deux approches sont équivalentes quant au résultat.
Résumé : Contenu et Méthodes
Le cours commence par tenter d'élucider les notions de vérité du jugement et de validité du raisonnement de manière sémantique, en les ramenant à celles de modèle, d'énoncé et de vérité.
L'examen du paradoxe du menteur, dont on adopte la solution orthodoxe, imposera de
distinguer langue et métalangue. Moyennant cette précaution, les définitions des notions de base pourront être explicitement données dans le cadre des langages propositionnels et prédicatifs.
Il développe parallèlement une approche prouvabiliste du raisonnement en étudiant, d'abord, le calcul des séquents de Gentzen, à nouveau pour les langages propositionnels et prédicatifs et, ensuite, la notion de système axiomatique à la façon de Hilbert.
Quelques-uns des résultats fondamentaux de la logique du 20ième siècle seront énoncés et expliqués, comme la complétude, la compacité et le théorème de Löwenheim-Skolem.
La logique sera comparée à la rhétorique en vue d'en être clairement distinguée. Après une introduction à la rhétorique et à la théorie de l'argumentation, on insistera donc sur les rôles du locuteur et de l'allocutaire dans cette discipline ainsi que sur son caractère enthymématique.
Autres informations (Pré-requis, Evaluation, Support, ...)
Support: syllabus complet
Est pleinement équivalent avec COPS1112