Two type-theoretical approaches to privative modificationReportar como inadecuado

Two type-theoretical approaches to privative modification - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

(2009)p.239-258 Mark abstract In this paper we apply two kinds of procedural semantics to the problem of privative modification. We do this for three reasons. The first reason is to launch a tough test case to gauge the degree of substantial agreement between a constructivist and a realist interpretation of a procedural semantics; the second is to extend Martin-Lof's Type Theory to privative modification, which is characteristic of natural language; the third reason is to sketch a positive characterization of privation.

Please use this url to cite or link to this publication:

Autor: Giuseppe Primiero and Bjorn Jespersen



Documentos relacionados