Alleged assassins: realist and constructivist semantics for modal modification

Authors:
Bjørn Jespersen;Giuseppe Primiero
Affiliations:
Institute of Philosophy, Department of Logic, Czech Academy of Sciences, Prague, Czech Republic, Department of Computer Science, Technical University of Ostrava, Czech Republic;Centre for Logic and Philosophy of Science, Ghent University, Belgium
Venue:
TbiLLC'11 Proceedings of the 9th international conference on Logic, Language, and Computation
Year:
2011

Citing 5
Cited 0

Basic modal logic

Handbook of logic in artificial intelligence and logic programming (vol. 1)
A judgmental reconstruction of modal logic

Mathematical Structures in Computer Science
Lectures on the Curry-Howard Isomorphism, Volume 149 (Studies in Logic and the Foundations of Mathematics)

Lectures on the Curry-Howard Isomorphism, Volume 149 (Studies in Logic and the Foundations of Mathematics)
Two kinds of procedural semantics for privative modification

JSAI-isAI'09 Proceedings of the 2009 international conference on New frontiers in artificial intelligence
Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic

Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic

Quantified Score

Hi-index	0.00

Visualization

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.