Raymond Smullyan on Self Reference

Description

This book collects, for the first time in one volume, contributions honoring Professor Raymond Smullyan’s work on self-reference. It serves not only as a tribute to one of the great thinkers in logic, but also as a celebration of self-reference in general, to be enjoyed by all lovers of this field. Raymond Smullyan, mathematician, philosopher, musician and inventor of logic puzzles, made a lasting impact on the study of mathematical logic; accordingly, this book spans the many personalities through which Professor Smullyan operated, offering extensions and re-evaluations of his academic work on self-reference, applying self-referential logic to art and nature, and lastly, offering new puzzles designed to communicate otherwise esoteric concepts in mathematical logic, in the manner for which Professor Smullyan was so well known. This book is suitable for students, scholars and logicians who are interested in learning more about Raymond Smullyan's work and life. Front Matter ....Pages i-viii Introduction (Melvin Fitting)....Pages 1-22 Formal Systems, Logics, and Programs (Robert L. Constable)....Pages 23-38 Adaptive Fault Diagnosis using Self-Referential Reasoning (Robert Cowen)....Pages 39-46 Russell’s Paradox, Gödel’s Theorem (Melvin Fitting)....Pages 47-66 Dance of the Starlings (Henk Barendregt, Jörg Endrullis, Jan Willem Klop, Johannes Waldmann)....Pages 67-111 Some Tweets About Mockingbirds (Rick Statman)....Pages 113-122 Knights, Knaves, Truth, Truthfulness, Grounding, Tethering, Aboutness, and Paradox (Stephen Yablo)....Pages 123-139 What I Tell You Three Times Is True (Martin Davis)....Pages 141-146 Gödel, Lucas, and the Soul-Searching Selfie (Vann McGee)....Pages 147-163 An Island Tale for Young Anthropologists (Andrew G. Buchanan, John H. Conway)....Pages 165-180 Making The ‘Hardest Logic Puzzle Ever’ a Bit Harder (Walter Carnielli)....Pages 181-190 Bibliography of Raymond Smullyan (Raymond M. Smullyan)....Pages 191-195