A general method of solving Smullyan's puzzles

Logic and Logical Philosophy 4:97-103 (1996)
  Copy   BIBTEX

Abstract

In this paper we present a general method of solving Smullyan’s puzzles. We do this by showing how a puzzle is translated into Classical Propositional Calculus

Categories

Keywords

Reprint years

2003

DOI

10.12775/llp.1996.004

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,440

External links

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

Through your library

My notes

Similar books and articles

To Mock a Mockingbird: And Other Logic Puzzles.Raymond M. Smullyan - 1985 - New York: Oxford University Press.
To mock a mocking bird and other logic puzzles: including an amazing adventure in combinatory logic.Raymond Merrill Smullyan - 1985 - New York: Knopf.
Russell, Frege and the Puzzle of Denoting.Aloysius P. Martinich - 1975 - International Studies in Philosophy 7:145-154.
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.
Clinical pragmatism: A method of moral problem solving.Joseph J. Fins, Matthew D. Bacchetta & Franklin G. Miller - 1997 - Kennedy Institute of Ethics Journal 7 (2):129-143.
Understanding Kripke's puzzles about belief.Michael McGlone - 2009 - Philosophy Compass 4 (3):487-514.
Reasoning About Agent Types and the Hardest Logic Puzzle Ever.Fenrong Liu & Yanjing Wang - 2013 - Minds and Machines 23 (1):123-161.
The method of consequences.Arthur Smullyan - 1963 - Philosophical Review 72 (1):48-56.
Some thoughts about the hardest logic puzzle ever.Tim S. Roberts - 2001 - Journal of Philosophical Logic 30 (6):609-612.
The relative complexity of analytic tableaux and SL-resolution.André Vellino - 1993 - Studia Logica 52 (2):323 - 337.
Tracking truth and solving puzzles.Olav Gjelsvik - 1997 - Inquiry: An Interdisciplinary Journal of Philosophy 40 (2):209 – 224.
A simple and general method of solving the finite axiomatizability problems for Lambek's syntactic calculi.Wojciech Zielonka - 1989 - Studia Logica 48 (1):35 - 39.
Assessing clinical pragmatism.Lynn A. Jansen - 1998 - Kennedy Institute of Ethics Journal 8 (1):23-36.
Problem-solving in general practice.Jacobus Ridderikhoff - 1993 - Theoretical Medicine and Bioethics 14 (4).
Aquinas and the Ship of Theseus: Solving Puzzles about Material Objects. [REVIEW]Peter Volek - 2010 - Studia Neoaristotelica 7 (1):96-99.

Analytics

Added to PP
2013-11-24

Downloads
44 (#364,333)

6 months
7 (#441,834)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references