Two type-theoretical approaches to privative modificationReport as inadecuate




Two type-theoretical approaches to privative modification - Download this document for free, or read online. Document in PDF available to download.

(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: http://hdl.handle.net/1854/LU-802714



Author: Giuseppe Primiero and Bjorn Jespersen

Source: https://biblio.ugent.be/publication/802714



DOWNLOAD PDF




Related documents