Solving Multimodal Paradoxes

Theoria 81 (3):192-210 (2014)
  Copy   BIBTEX


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



    Upload a copy of this work     Papers currently archived: 86,403

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Paradoxes of Interaction?Johannes Stern & Martin Fischer - 2015 - Journal of Philosophical Logic 44 (3):287-308.
Reference, paradoxes and truth.Michał Walicki - 2009 - Synthese 171 (1):195 - 226.
Semantic Paradoxes and Transparent Intensional Logic.Jiri Raclavsky - 2012 - The Logica Yearbook 2011 (College Publications):239-252.
Definability and the Structure of Logical Paradoxes.Haixia Zhong - 2012 - Australasian Journal of Philosophy 90 (4):779 - 788.
An Order-Theoretic Account of Some Set-Theoretic Paradoxes.Thomas Forster & Thierry Libert - 2011 - Notre Dame Journal of Formal Logic 52 (1):1-19.
Truth, Revenge, and Internalizability.Kevin Scharp - 2014 - Erkenntnis 79 (S3):597-645.
Paradoxes and Hypodoxes of Time Travel.Peter Eldridge-Smith - 2007 - In Jan Lloyd Jones, Paul Campbell & Peter Wylie (eds.), Art and Time. Australian Scholarly Publishing. pp. 172--189.


Added to PP

67 (#207,841)

6 months
4 (#244,740)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Federico Pailos
Universidad de Buenos Aires (UBA)
Lucas Rosenblatt
Universidad de Buenos Aires (UBA)