Raymond Smullyan on Self Reference

1. Introduction
Melvin Fitting

2. Formal Systems, Logics, and Programs
Robert L. Constable

3. Adaptive Fault Diagnosis using Self-Referential Reasoning
Robert Cowen

4. Russell’s Paradox, Gödel’s Theorem
Melvin Fitting

5. Dance of the Starlings
Henk Barendregt, Jörg Endrullis, Jan Willem Klop, Johannes Waldmann

6. Some Tweets About Mockingbirds
Rick Statman

7. Knights, Knaves, Truth, Truthfulness, Grounding, Tethering, Aboutness, and Paradox
Stephen Yablo

8. What I Tell You Three Times Is True
Martin Davis

9. Gödel, Lucas, and the Soul-Searching Selfie
Vann McGee

10. An Island Tale for Young Anthropologists
Andrew G. Buchanan, John H. Conway

11. Making The ‘Hardest Logic Puzzle Ever’ a Bit Harder
Walter Carnielli

12. Bibliography of Raymond Smullyan
Raymond M. Smullyan

Avainsanat: Philosophy, Logic, Mathematical Logic and Foundations, Theory of Computation