A Framework for Riddles about Truth that do not involve Self-Reference

Studia Logica 98 (3):445-482 (2011)
  Copy   BIBTEX


In this paper, we present a framework in which we analyze three riddles about truth that are all (originally) due to Smullyan. We start with the riddle of the yes-no brothers and then the somewhat more complicated riddle of the da-ja brothers is studied. Finally, we study the Hardest Logic Puzzle Ever (HLPE). We present the respective riddles as sets of sentences of quotational languages , which are interpreted by sentence-structures. Using a revision-process the consistency of these sets is established. In our formal framework we observe some interesting dissimilarities between HLPE’ s available solutions that were hidden due to their previous formulation in natural language. Finally, we discuss more recent solutions to HLPE which, by means of self-referential questions , reduce the number of questions that have to be asked in order to solve HLPE . Although the essence of the paper is to introduce a framework that allows us to formalize riddles about truth that do not involve self-reference, we will also shed some formal light on the self-referential solutions to HLPE



    Upload a copy of this work     Papers currently archived: 74,466

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

On the Behavior of True and False.Stefan Wintein - 2012 - Minds and Machines 22 (1):1-24.
The Riddle of Dreams.Nadav Matalon - 2011 - Philosophical Psychology 24 (4):517 - 536.
Truth and Paradox: Solving the Riddles.Tim Maudlin - 2004 - Oxford, England: Oxford University Press.
Self-Reference and the Languages of Arithmetic.Richard Heck - 2007 - Philosophia Mathematica 15 (1):1-29.
What Makes a Knight?Stefan Wintein - 2010 - In T. Icard & R. Muskens (eds.), Interfaces: Explorations in Logic, Language and Computation. Springer Berlin. pp. 25--37.
How to Be an Expressivist About Truth.Mark Schroeder - 2010 - In Cory D. Wright & Nikolaj J. L. L. Pedersen (eds.), New Waves in Truth. Palgrave-Macmillan. pp. 282--298.
Bilattices Are Nice Things.Melvin Fitting - 2006 - In T. Bolander, V. Hendricks & S. A. Pedersen (eds.), Self-Reference. CSLI Publications.


Added to PP

118 (#104,180)

6 months
1 (#417,143)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Stefan Wintein
Erasmus University Rotterdam

Citations of this work

No citations found.

Add more citations

References found in this work

Truth and Paradox.Anil Gupta - 1982 - Journal of Philosophical Logic 11 (1):1-60.
Truth and Paradox.Anil Gupta - 1981 - Journal of Philosophy 78 (11):735-736.
The Hardest Logic Puzzle Ever.George Boolos - 1996 - The Harvard Review of Philosophy 6 (1):62-65.

View all 6 references / Add more references