Abstract
Liar puzzles have been popularized by Raymond Smullyan in several books. This paper presents a logical and diagrammatic examination of such puzzles in terms of a epistemic truth values. Also, non-monotonic reasoning may occur as new information is learned about a puzzle. This paper presents a way to think about such non-monotonic reasoning which does not involve the use of a non-monotonic logic but instead utilizes context shifts among static logics. The information coming from the presented diagrams is timeless, it is a monotonic back-bone of the whole non-monotonic knowledge.
This research was conducted while the second author was at Indiana University and while on his own time with NRL.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Barwise, J., Etchemendy, J.: The Liar: An Essay on Truth and Circularity. Oxford University Press, Oxford (1987)
Belnap, N.D.: How a computer should think, pp. 30–56. Oriel Press, Stocksfield (1975)
Belnap, N.D.: A useful four–valued logic, pp. 8–37. D. Reidel, Dortrect (1976)
Barwise, J., Seligman, J.: Information Flow: The Logic of Distributed Systems. Cambridge Tracts in Theoretical Computer Science, vol. 44. Cambridge University Press, Cambridge (1997)
Nagy, B.: Truth-teller-liar puzzles and their graphs. Central European Journal of Operations Research 11, 57–72 (2003)
Smullyan, R.: What is the Name of This Book: The Riddle of Dracula and Other Logical Puzzles. Prentice-Hall, Inc., Englewood Cliffs (1978)
Smullyan, R.: The Riddle of Scheherazade: And Other Amazing Puzzles, Ancient and Modern. Harvest Books (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nagy, B., Allwein, G. (2004). Diagrams and Non-monotonicity in Puzzles. In: Blackwell, A.F., Marriott, K., Shimojima, A. (eds) Diagrammatic Representation and Inference. Diagrams 2004. Lecture Notes in Computer Science(), vol 2980. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25931-2_10
Download citation
DOI: https://doi.org/10.1007/978-3-540-25931-2_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21268-3
Online ISBN: 978-3-540-25931-2
eBook Packages: Springer Book Archive