Modal modifiers such as Alleged oscillate between being subsective and being privative. If individual a is an alleged assassin (at some parameter of evaluation) then it is an open question whether a is an assassin (at that parameter). Standardly, modal modifiers are negatively defined, in terms of failed inferences or non-intersectivity or non-extensionality. Modal modifiers are in want of a positive definition and a worked-out logical semantics. This paper offers two positive definitions. The realist definition is elaborated within Tichý’s Transparent Intensional Logic (TIL) and builds upon Montague’s model-theoretic semantics for adjectives as representing mappings from properties to properties. The constructivist definition is based on an extension of Martin-Löf’s Constructive Type Theory (CTT) so as to accommodate partial verification. We show that, and why, “a is an alleged assassin” and “Allegedly, a is an assassin” are equivalent in TIL and synonymous in CTT.
Alleged assassins: Realist and constructivist semantics for modal modification / B. Jespersen, G. Primiero (LECTURE NOTES IN COMPUTER SCIENCE). - In: Logic, Language, and Computation / [a cura di] G. Bezhanishvili, S. Löbner, V. Marra, F. Richter. - [s.l] : Springer, 2013. - ISBN 9783642369759. - pp. 94-114 (( Intervento presentato al 9. convegno TbiLLC tenutosi a Kutaisi nel 2011 [10.1007/978-3-642-36976-6_8].
Alleged assassins: Realist and constructivist semantics for modal modification
G. Primiero
2013
Abstract
Modal modifiers such as Alleged oscillate between being subsective and being privative. If individual a is an alleged assassin (at some parameter of evaluation) then it is an open question whether a is an assassin (at that parameter). Standardly, modal modifiers are negatively defined, in terms of failed inferences or non-intersectivity or non-extensionality. Modal modifiers are in want of a positive definition and a worked-out logical semantics. This paper offers two positive definitions. The realist definition is elaborated within Tichý’s Transparent Intensional Logic (TIL) and builds upon Montague’s model-theoretic semantics for adjectives as representing mappings from properties to properties. The constructivist definition is based on an extension of Martin-Löf’s Constructive Type Theory (CTT) so as to accommodate partial verification. We show that, and why, “a is an alleged assassin” and “Allegedly, a is an assassin” are equivalent in TIL and synonymous in CTT.File | Dimensione | Formato | |
---|---|---|---|
modal.pdf
accesso riservato
Tipologia:
Publisher's version/PDF
Dimensione
289.67 kB
Formato
Adobe PDF
|
289.67 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.