Premium
Solving Multimodal Paradoxes
Author(s) -
Pailos Federico,
Rosenblatt Lucas
Publication year - 2015
Publication title -
theoria
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.34
H-Index - 16
eISSN - 1755-2567
pISSN - 0040-5825
DOI - 10.1111/theo.12052
Subject(s) - modal operator , modal , sort , predicate (mathematical logic) , computer science , type (biology) , operator (biology) , type theory , philosophy of language , modal logic , epistemology , philosophy , metaphysics , programming language , ecology , biochemistry , chemistry , repressor , biology , transcription factor , polymer chemistry , gene , information retrieval
Abstract Recently, it has been observed that the usual type‐theoretic restrictions are not enough to block certain paradoxes involving two or more predicates. In particular, when we have a self‐referential language containing modal predicates, new paradoxes might appear even if there are type restrictions for the principles governing those predicates. In this article we consider two type‐theoretic solutions to multimodal paradoxes. The first one adds types for each of the modal predicates. We argue that there are a number of problems with most versions of this approach. The second one, which we favour, represents modal notions by using the truth predicate together with the corresponding modal operator. This way of doing things is not only useful because it avoids multimodal paradoxes, but also because it preserves the expressive capacity of the language. As an example of the sort of theory we have in mind, we provide a type‐theoretic axiomatization that combines truth with necessity and knowledge.