Type Theory and Universal Grammar

Philosophia Scientiae:115-131 (2006)
  Copy   BIBTEX

Abstract

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,881

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Type Theory and Universal Grammar.Aarne Ranta - 2006 - Philosophia Scientiae:115-131.
Type-theoretical Grammar.Aarne Ranta - 1994 - Oxford, England: Oxford University Press on Demand.
Type Logical Grammar: Categorial Logic of Signs.G. V. Morrill - 2012 - Dordrecht, Netherland: Springer Verlag.
Syntactic calculus with dependent types.Aarne Ranta - 1998 - Journal of Logic, Language and Information 7 (4):413-431.
Universal grammar is dead.Michael Tomasello - 2009 - Behavioral and Brain Sciences 32 (5):470-471.

Analytics

Added to PP
2016-02-04

Downloads
18 (#832,773)

6 months
2 (#1,198,900)

Historical graph of downloads
How can I increase my downloads?