intellectica 1996/2, n° 23: Le sémiotique - Logiques et sciences cognitives [retour table de matières]
Françoise GAYRAL, Daniel KAYSER, François LÉVY
Logique et sémantique du langage naturel : modèles et interprétation, Pages 303-325 [Texte en pdf]
Resumé: Un ensemble de formules logiques (une théorie) détermine les modèles qui le satisfont ; d'une façon “analogue”, un texte descriptif en langue naturelle détermine les situations du monde correspondant à cette description. Nous montrons dans cet article que cette “analogie”, exploitée par les travaux de sémantique formelle, est par bien des aspects fallacieuse : le processus d'interprétation est beaucoup plus riche que ce qu'en reflète la fonction d'interprétation, au sens de la logique ordinaire. Nous illustrons ce processus sur des textes descriptifs d'un corpus particulier : les comptes-rendus d'accident de la route. Nous expliquons que ce processus est gouverné par des règles, représentables dans une logique, mais que cette dernière s'écarte de celle qui a été mise au point pour formaliser le raisonnement mathématique.
Logic and Natural Language Semantics: models and interpretation
Abstract: A set of logical formulas (i.e. a theory) determines the models which satisfy it; in an “analogous” way, a descriptive text determines the situations in the world which correspond to the description. We show in this paper that this “analogy”, which underlies the works in formal semantics, is in many respects a fallacy: the interpretive process is much richer than the part reflected in the interpretation function of ordinary logic. We illustrate this process on descriptive texts of a specific corpus : the car-crash reports. We explain that the interpretive process is governed by rules, that these rules are expressible in a logic, but that the required logic diverges from the kind of logic which has been developped to cope with mathematical reasoning.
|
