Entailment and Models

Ce cours magistral, destiné à des étudiants en informatique, approfondit la sémantique de la logique du premier ordre (LPO). L’auteur commence par rappeler les composants d’un langage du premier ordre (symboles de relation, de fonction, de constante) et la notion d’interprétation sur un domaine D. Il souligne que les termes dénotent des éléments du domaine, les prédicats unaires des sous-ensembles, et les prédicats d’arité supérieure des sous-ensembles de produits cartésiens. Il illustre la sémantique ensembliste avec l’exemple ‘pour tout x, homme(x) implique mortel(x)’, équivalent à ‘homme ⊆ mortel’. Ensuite, il expose les limites expressives de la LPO : l’impossibilité de traiter directement les croyances (ex. ‘Jean croit que la Terre est plate’), le temps et le changement (problème du cadre), les notions continues comme l’eau, et l’espace. Il introduit la notion d’implication (entailment) : un ensemble de phrases S implique α si tout modèle de S est aussi un modèle de α. Il illustre la distinction syntaxe/sémantique avec deux modèles différents (entiers et chaînes de caractères) pour un même ensemble de phrases, montrant qu’un même ensemble peut avoir plusieurs modèles. Il conclut sur l’importance de spécifier suffisamment de phrases pour caractériser le modèle visé, comme les axiomes de Peano ou d’Euclide.