Type 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 mathematics 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.
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 22 janvier 2025. URL : http://journals.openedition.org/philosophiascientiae/415 ; DOI : https://doi.org/10.4000/philosophiascientiae.415
Haut de pageDroits 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
Flux RSS
