Type Theory and Universal Grammar
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...
Guardat en:
| Autor principal: | |
|---|---|
| Format: | Artigo |
| Idioma: | Inglês |
| Publicat: |
Université de Lorraine
2006
|
| Accés en línia: | https://doi.org/10.4000/philosophiascientiae.415 https://hdl.handle.net/20.500.13089/j15y https://journals.openedition.org/philosophiascientiae/415 |
| Etiquetes: |
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|