Logic, Language, and Computation

TitleAlleged assassins: realist and constructivist semantics for modal modification
Publication TypeBook Chapter (with title)
Year of Publication2013
AuthorsJespersen, B, Primiero, G
Book TitleLogic, Language, and Computation
SeriesLecture Notes in Computer Science
Volume7758
Pages94–114
PublisherSpringer
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.

DOI10.1007/978-3-642-36976-6_8
Citation Keyjespersen2013alleged
Download PDF (Author PDF)
PDF author (public):