Navigation – Plan du site

Type Theory and Universal Grammar

Aarne Ranta
p. 115-131


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 électronique

Aarne Ranta, « Type Theory and Universal Grammar », Philosophia Scientiæ [En ligne], CS 6 | 2006, mis en ligne le 01 septembre 2009, consulté le 24 février 2018. URL : ; DOI : 10.4000/philosophiascientiae.415

Haut de page


Aarne Ranta

Chalmers University of Technology and Göteborg University

Haut de page

Droits d’auteur

Tous droits réservés

Haut de page