Les math\'ematiques de la langue : l'approche formelle de Montague

We present a natural language modelization method which is strongely relying on mathematics. This method, called "Formal Semantics," has been initiated by the American linguist Richard M. Montague in the 1970's. It uses mathematical tools such as formal languages and grammars, first-order logic, type theory and $\lambda$-calculus. Our goal is to have the reader discover both Montagovian formal semantics and the mathematical tools that he used in his method. ----- Nous pr\'esentons une m\'ethode de mod\'elisation de la langue naturelle qui est fortement bas\'ee sur les math\'ematiques. Cette m\'ethode, appel\'ee {\guillemotleft}s\'emantique formelle{\guillemotright}, a \'et\'e initi\'ee par le linguiste am\'ericain Richard M. Montague dans les ann\'ees 1970. Elle utilise des outils math\'ematiques tels que les langages et grammaires formels, la logique du 1er ordre, la th\'eorie de types et le $\lambda$-calcul. Nous nous proposons de faire d\'ecouvrir au lecteur tant la s\'emantique formelle de Montague que les outils math\'ematiques dont il s'est servi.Comment: 14 pages, in French. Will appear in the journal Quadrature (http://www.quadrature.info) in 201

La constitution du TAL: Étude historique des dénominations et des concepts

Several terms have been in competition as names for the theoretical and applieddiscipline that lies in the intersection of linguistics, mathematics, computer sciences andcognitive sciences and which developed out of early experiments in Machine Translation.They include Computational Linguistics and Natural Language Processing in English, andTraitement automatique des langues, Informatique linguistique and Linguistique informatiquein French. This paper traces the history of these terms and considers whether theterminological variation may be a symptom of the conflicts at work in the field, concerningthe institutional, economical, theoretical and conceptual issues.Pour désigner le champ d'investigations et d'applications à l'intersection de lalinguistique, des mathématiques, de l'informatique et des sciences cognitives hérité desexpériences pionnières en traduction automatique, plusieurs termes sont ou ont été enconcurrence, Computational Linguistics ou Natural Language Processing dans le domaineanglo-américain, Traitement automatique des langues, Informatique linguistique ouLinguistique informatique en France. Cet article se propose, en retraçant le parcourshistorique de ces dénominations, de montrer que le flottement sur les termes estsymptomatique des tensions à l'oeuvre dans le domaine, sur le plan des enjeux institutionnels,économiques, théoriques et conceptuels

L’interaction sociale comme fondement de la signification logique

Our article aims to show, on the one hand, the preeminence of the interactive paradigm as a determining element in the process of constitution of logical meaning and, on the other hand, to examine the contents of the linguistic expressions of pragmatic semantics. To do this, we expose three major figures of the logic of mathematical obedience in particular those of Gottfreid Leibniz, George Boole and Gottlob Frege. If this approach to mathematical logic has seen meritorious progress, it should be pointed out that it does not favor the emphasis on epistemic and interactive aspects in the notions of logical consequences and inference. Our contribution is therefore to demonstrate that these weaknesses can be solved with the revolutionary approach of Robert Brandom based on the framework that promotes the interactive game of supply and demand of reasons. This analysis leads to the idea that interactive play is the basis of contemporary logical approaches.Notre article ambitionne de montrer, d’une part, la prééminence du paradigme interactif comme élément déterminant dans le processus de constitution de la signification logique et, d’autre part, de scruter les contenus des expressions linguistiques des sémantiques pragmatiques.Pour ce faire, nous exposons trois grandes figures de la logique d’obédience mathématique notamment celles de Gottfreid Leibniz, George Boole et Gottlob Frege. Si cette approche de la logique mathématique a connu des progrès méritoires, il faut signaler qu’elle ne favorise pas la mise en exergue des aspects épistémiques et interactifs dans les notions de conséquences logiques et d’inférence.Notre contribution vise donc à démontrer que ces faiblesses peuvent être solutionnées avec l’approche révolutionnaire de Robert Brandom basée sur le cadre qui promotionne le jeu interactif de l’offre et de la demande des raisons. Cette analyse aboutit, ainsi, à l’idée que le jeu interactif est le socle des approches logiques contemporaines

Raisonner avec des diagrammes : perspectives cognitives et computationnelles

31 pagesInternational audienceDiagrammatic, analogical or iconic representations are often contrasted with linguistic or logical representations, in which the shape of the symbols is arbitrary. The aim of this paper is to make a case for the usefulness of diagrams in inferential knowledge representation systems. Although commonly used, diagrams have for a long time suffered from the reputation of being only a heuristic tool or a mere support for intuition. The first part of this paper is an historical background paying tribute to the logicians, psychologists and computer scientists who put an end to this formal prejudice against diagrams. The second part is a discussion of their characteristics as opposed to those of linguistic forms. The last part is aimed at reviving the interest for heterogeneous representation systems including both linguistic and diagrammatic representations

Quel programme de recherche en mathématique et phonologie ?

International audienceNous proposons un état des lieux, à la fois dans les interrogations actuelles que soulève la rencontre des deux disciplines et dans l’histoire de leurs relations, depuis les propositions fondatrices de Troubetzkoy jusqu’à aujourd’hui. Il se conclut par une réflexion sur le défi que constitue pour la mathématique la confrontation à un objet qui lui est peu familier et sur les clivages qui mettent à l’épreuve les capacités d’analyse et de modélisation (langage vs. langues, forme mentale vs. forme symbolique, signal vs. écriture galiléenne)

Analogie et littéralité à la lumière de la traduction

Polysémiques et "indéfinissables", les concepts d'analogie et de traduction peuvent s'éclairer l'un par l'autre. Alors que le littéralisme étroit des "sourciers" s'en tient à une analogie formelle mimant les signifiants du texte original, la raison "cibliste" travaille à une analogie substantielle entre la plénitude des effets mis en œuvre par l'original et sa traduction. En règle générale, le traducteur est confronté au théorème de dichotomie dans la mesure où il devra choisir entre deux (ou plus) solutions approximatives, puisqu'aussi bien il lui faut faire son deuil d'une identité exacte avec l'original. S'ensuivent quelques applications concrètes (et plusieurs principes).The concepts of analogy and translation, which are polysemous and "indefinable", can elucidate one another. While the strict literalism of the sourcerers ("sourciers") limits itself to a formal analogy imitating the signifiers of the original text, the targeteers' ("ciblistes") approach seeks to find a substantial analogy between the fullness of the effects brought into play by the original work and its translation. As a general rule, the translator is confronted to the dichotomy theorem ("théorème de dichotomie") insofar as he/she will have to choose between two (or more) approximate solutions, since he must also forgo, as in mourning, a perfect replica of the identity of the original work. There follows from this analysis a number of practical applications (and several principles)