Journal of Philosophical Logic 44 (3):287-308 (2015)

Since Montague’s work it is well known that treating a single modality as a predicate may lead to paradox. In their paper “No Future”, Horsten and Leitgeb show that if the two temporal modalities are treated as predicates paradox might arise as well. In our paper we investigate whether paradoxes of multiple modalities, such as the No Future paradox, are genuinely new paradoxes or whether they “reduce” to the paradoxes of single modalities. In order to address this question we develop a notion of reducibility based on a version of Smoryński Diagonalized Operator Logic. We show that there are reducible multimodal paradoxes as well as irreducible paradoxes of interaction. In particular, we show the No Future paradox to be an irreducible paradox according to our notion of reducibility
Keywords Modal paradox  Multimodal paradoxes  Paradoxes of interaction  Syntactical treatments of modalities  Modal logic  Liar paradox  Theories of truth  Fixed-points  Fixed-point logic
Categories (categorize this paper)
DOI 10.1007/s10992-014-9319-5
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: 62,343
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

Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2002 - Cambridge University Press.
The Logic of Provability.George S. Boolos - 1993 - Cambridge University Press.
A Paradox Regained.D. Kaplan & R. Montague - 1960 - Notre Dame Journal of Formal Logic 1 (3):79-90.
Self-Reference and Modal Logic.George Boolos & C. Smorynski - 1988 - Journal of Symbolic Logic 53 (1):306.

View all 16 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

The Knower Paradox in the Light of Provability Interpretations of Modal Logic.Paul Égré - 2004 - Journal of Logic, Language and Information 14 (1):13-48.
Paradoxes of Intensionality.Dustin Tucker & Richmond H. Thomason - 2011 - Review of Symbolic Logic 4 (3):394-411.
What the Liar Taught Achilles.Gary Mar & Paul St Denis - 1999 - Journal of Philosophical Logic 28 (1):29-46.
An Order-Theoretic Account of Some Set-Theoretic Paradoxes.Thomas Forster & Thierry Libert - 2011 - Notre Dame Journal of Formal Logic 52 (1):1-19.
Mind and Paradox.Paul Saka - 2013 - Journal of Experimental and Theoretical Artificial Intelligence 25 (3):377-87.
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.
The Liar Paradox in New Clothes.Jeff Snapper - 2012 - Analysis 72 (2):319-322.
Alethic Vengeance.Kevin Scharp - 2007 - In J. C. Beall (ed.), Revenge of the Liar: New Essays on the Paradox. Oxford University Press.


Added to PP index

Total views
49 ( #216,109 of 2,445,324 )

Recent downloads (6 months)
1 ( #457,131 of 2,445,324 )

How can I increase my downloads?


My notes