Theoria 81 (3):192-210 (2015)

Federico Pailos
Universidad de Buenos Aires (UBA)
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
Keywords semantic paradoxes  modalities  type‐theory  multimodal paradoxes  truth
Categories (categorize this paper)
DOI 10.1111/theo.12052
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,464
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Outline of a Theory of Truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
Levity.Leon Horsten - 2009 - Mind 118 (471):555-581.

View all 13 references / Add more references

Citations of this work BETA

Add more citations

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 index

Total views
60 ( #192,124 of 2,520,772 )

Recent downloads (6 months)
1 ( #405,623 of 2,520,772 )

How can I increase my downloads?


My notes