In this paper we present two kinds of procedural semantics for 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 procedural semantics; the second is to extend Martin-Lof's Constructive Type Theory to privative modification, which is characteristic of natural language; the third reason is to sketch a positive characterization of privation.
Two kinds of procedural semantics for privative modification / G. Primiero, B. Jespersen - In: New Frontiers in Artificial Intelligence / [a cura di] K. Nakakoji, Y. Murakami, E. McCready. - [s.l] : Springer, 2010. - ISBN 9783642148873. - pp. 252-271 (( Intervento presentato al 6. convegno International Workshop on Logic and Engineering of Natural Language Semantics tenutosi a Tokyo nel 2009.
Two kinds of procedural semantics for privative modification
G. Primiero
;
2010
Abstract
In this paper we present two kinds of procedural semantics for 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 procedural semantics; the second is to extend Martin-Lof's Constructive Type Theory to privative modification, which is characteristic of natural language; the third reason is to sketch a positive characterization of privation.File | Dimensione | Formato | |
---|---|---|---|
Primiero-Jespersen2010_Chapter_TwoKindsOfProceduralSemanticsF.pdf
accesso riservato
Tipologia:
Publisher's version/PDF
Dimensione
271.26 kB
Formato
Adobe PDF
|
271.26 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.