Logique formelle - Modélisation du raisonnement

Objectifs d'apprentissage

• Maîtriser les fondements de la logique formelle et ses différents systèmes (calcul des propositions, calcul des prédicats).
• Comprendre la formalisation du raisonnement à travers des exemples concrets (arithmétique, syllogismes, diagrammes de Venn).
• Appliquer des méthodes de preuve formelle (systèmes axiomatiques, calcul des séquents).
• Analyser les limites des différents formalismes logiques et leurs applications en modélisation.
• Développer une pensée critique et structurée pour résoudre des problèmes complexes.

Public cible

Ce cours s'adresse aux étudiants en mathématiques, informatique, philosophie ou sciences cognitives, ainsi qu'aux professionnels souhaitant approfondir leurs compétences en raisonnement formel. Aucun prérequis avancé n'est nécessaire, mais une familiarité avec les concepts mathématiques de base est recommandée.

Contenu détaillé

Introduction : Formalisation du raisonnement | les logiques
Ce module introduit la notion de système formel comme outil de modélisation du raisonnement. Vous explorerez comment les logiques structurent la pensée et permettent une analyse rigoureuse des arguments.

1. Systèmes formels : exemples introductifs
   1. Génération de théorèmes de l'arithmétique : comprendre comment des règles simples permettent de construire des vérités mathématiques.
   2. Calcul d'intégrales : illustration d'un système formel appliqué à l'analyse.
   3. Arithmétique de Peano : étude d'un système axiomatique fondateur pour les nombres naturels.
2. Calcul des propositions
   1. Introduction aux connecteurs logiques (ET, OU, NON, IMPLIQUE).
   2. Syntaxe : règles de formation des formules bien construites.
   3. Vérité d'une formule : tables de vérité et sémantique.
   4. Equivalences classiques : lois de De Morgan, distributivité, etc.
   5. Systèmes axiomatiques : preuves formelles et théorèmes de complétude.
   6. Calcul des séquents : approche alternative pour la déduction.
3. Calcul des prédicats : exemples introductifs
   1. Le syllogisme ou les catégories d'Aristote : analyse des raisonnements par classes.
   2. Diagrammes de Venn : représentation visuelle des relations entre ensembles.
   3. Limites du calcul des propositions : nécessité d'une logique plus expressive.
   4. Limites des diagrammes de Venn : cas où cette méthode devient insuffisante.
4. Calcul des prédicats (logique du premier ordre)
   1. Introduction aux quantificateurs (∀, ∃) et aux variables.
   2. Syntaxe : termes, formules atomiques et formules complexes.
   3. Interprétation des formules : modèles et satisfiabilité.
   4. Equivalences classiques : négation des quantificateurs, etc.
   5. Systèmes axiomatiques : généralisation des méthodes vues en calcul des propositions.
   6. Calcul des séquents : adaptation pour la logique du premier ordre.
5. Glossaire et définitions
   Référence rapide des termes techniques et concepts clés.
6. Bibliographie
   Ouvrages et articles pour approfondir les thématiques abordées.

Approche pédagogique

Le cours combine théorie et pratique : chaque concept est illustré par des exemples concrets et des exercices d'application. Des études de cas historiques (comme les syllogismes d'Aristote) montrent l'évolution des idées en logique. Des outils interactifs (générateurs de preuves, visualiseurs de formules) seront utilisés pour renforcer l'apprentissage.

Compétences acquises

• Capacité à formaliser un raisonnement complexe en expressions logiques.
• Maîtrise des techniques de preuve formelle (déduction naturelle, résolution).
• Analyse critique des limites des différents systèmes logiques.
• Application à des domaines comme l'intelligence artificielle ou la vérification de programmes.