Recherche Avancée

Thèse soutenue

Étude des rapports entre linguistique et logique concernant la dimension temporelle : un modèle de transition

FR  |  
EN
Auteur / Autrice : Florencio Edmundo Palacios Pastrana
Direction : Laurent Trilling
Type : Thèse de doctorat
Discipline(s) : Sciences cognitives
Date : Soutenance en 1998
Etablissement(s) : Université Joseph Fourier (Grenoble, Isère, France ; 1971-2015)

Résumé

FR

Le but general de cette these est de developper un langage formel susceptible de modeliser certains traits du langage naturel ayant une relation forte avec le temps. En particulier nous sommes interesse par la notion linguistique de l'aspect et de ses consequences logiques possibles. Nous basons notre analyse sur deux perspectives : linguistique et logique. Pour la premiere nous analysons les concepts pertinents lies a la categorie grammaticale de l'aspect, qui, avec la categorie du temps grammatical, a une relation directe avec la notion de temps. Pour la seconde perspective, nous analysons les notions logiques mises en jeu dans des systemes formels deductifs et leur relations avec le temps : la logique temporelle. Comme il est etabli, les langages formels bases sur les notions definies par frege ne sont pas suffisants pour exprimer toutes les composantes temporelles du langage naturel. Toutefois il y a d'autres formalismes etendus qui prennent en compte certains concepts linguistiques comme l'aspect. Une telle proposition a ete faite par galton qui introduit des operateurs pour certaines des notions aspectuelles les plus courantes en anglais comme la perfectivite et la progressivite. Notre proposition introduit des notions topologiques pour representer la structure de l'ensemble dans lequel un enonce prend une certaine valeur de verite. De plus nous traitons aussi du concept de sigma-signification pour representer certains concepts theoriques non ensemblistes en rapport avec la signification des enonces.