Navigation – Plan du site

AccueilCahiers spéciauxCS 6Type Theory and Universal Grammar

Résumé

The paper takes a look at the history of the idea of universal grammar and compares it with multilingual grammars, as formalized in the Grammatical Framework, GF. The constructivist idea of formalizing math­ematics piece by piece, in a weak logical framework, rather than trying to reduce everything to one single strong theory, is the model that guides the development of grammars in GF.

Haut de page

Notes de l’auteur

This paper is based on a talk given at Nordiskt Filosofimöte in Helsinki, October 2002, and the Type Theory Workshop in Leiden, February 2004. The author is grateful to Per Martin-Löf and Bengt Nordström for comments. The work was supported from grant 2002-4879, Records, Types and Computational Dialogue Semantics, from Vetenskapsrådet.

Pour citer cet article

Référence papier

Aarne Ranta, « Type Theory and Universal Grammar »Philosophia Scientiæ, CS 6 | 2006, 115-131.

Référence électronique

Aarne Ranta, « Type Theory and Universal Grammar »Philosophia Scientiæ [En ligne], CS 6 | 2006, mis en ligne le 01 septembre 2009, consulté le 19 avril 2024. URL : http://journals.openedition.org/philosophiascientiae/415 ; DOI : https://doi.org/10.4000/philosophiascientiae.415

Haut de page

Auteur

Aarne Ranta

Chalmers University of Technology and Göteborg University

Haut de page

Droits d’auteur

Le texte et les autres éléments (illustrations, fichiers annexes importés), sont « Tous droits réservés », sauf mention contraire.

Haut de page
Rechercher dans OpenEdition Search

Vous allez être redirigé vers OpenEdition Search