| Titre | Formes opératoires et topologiques en linguistique | |
|---|---|---|
| Auteur | Jean-Pierre Desclés | |
 |
Revue | Mathématiques et sciences humaines |
| Numéro | no 193, printemps 2011 | |
| Page | 99-117 | |
| Résumé |
L'alternance géométrique-topologique / algébrique-logique qui traverse les mathématiques est mise en œuvre dans l'analyse formelle des langues naturelles. Les relations entre topologie et modalités épistémiques ont été mises en évidence par l'algèbre de Kuratowski. Les types fonctionnels de Church et la logique combinatoire de Curry, qui est une logique des opérateurs et des compositions intrinsèques d'opérateurs par des combinateurs, permettent d'analyser en profondeur la syntaxe et la sémantique des langues. La topologie étant un langage des approximations, les catégories aspecto-temporelles des langues sont des exemples d'approximations formalisées par des opérateurs topologiques. Les combinateurs se présentent comme des outils formels qui articulent explicitement des représentations topologiques avec des représentations métalinguistiques symboliques où des opérateurs aspectuels et temporels sont composés entre eux. Pour formaliser certaines situations sémantiques, il semble nécessaire de développer une formalisation mathématique de lieux abstraits quasi-topologiques. Source : Éditeur (via OpenEdition Journals) |
|
| Résumé anglais |
The opposition geometry-topology / algebraic- logic pass through the field of mathematics; it is used in an analysis of language. The relations between topology and epistemic modalities are clearly manifested with the Kuratowski's algebra. Church's functional types and Curry's combinatory, which is considered as a logic of operators and intrinsic compositions of operator by combinators, are applicative formalisms useful for a deep analysis of the syntax and semantic of language. Topology being a language of approximations, the aspecto-temporal categories are examples of such approximations analysed and formalised by topological operators. The combinators are useful tools to articulate topological representations with formal metalinguistic representations where aspectual and temporal operators are composed together. To formalize some semantic situations of language, it is necessary to develop a mathematic formalisation of quasi-topological abstract places. Source : Éditeur (via OpenEdition Journals) |
|
| Article en ligne | http://msh.revues.org/11928 |
