Raymond Smullyan on Self Reference

  • Melvin Fitting
  • Brian Rayman

Part of the Outstanding Contributions to Logic book series (OCTR, volume 14)

Table of contents

  1. Front Matter
    Pages i-viii
  2. Melvin Fitting
    Pages 1-22
  3. Robert L. Constable
    Pages 23-38
  4. Melvin Fitting
    Pages 47-66
  5. Henk Barendregt, Jörg Endrullis, Jan Willem Klop, Johannes Waldmann
    Pages 67-111
  6. Rick Statman
    Pages 113-122
  7. Martin Davis
    Pages 141-146
  8. Andrew G. Buchanan, John H. Conway
    Pages 165-180
  9. Raymond M. Smullyan
    Pages 191-195

About this book


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.


Raymond Smullyan death Raymond Smullyan dead Henk Barendregt Smullyan Robert Cowen Smullyan Martin Davis Smullyan Vann McGee Smullyan Richard Statman Smullyan Stephen Yablo Smullyan Bob Constable Smullyan John Conway Smullyan Andrew Buchanan Smullyan Walter Carnielli Smullyan Jorg Endrullis Smullyan Jan Willem Klop Smullyan Gödel Johannes Smullyan Self-reference logic Incompleteness logic Constructive Type Theory Recursion logic Raymond Smullyan RIP

Editors and affiliations

  • Melvin Fitting
    • 1
  • Brian Rayman
    • 2
  1. 1.City University of New York (CUNY) SystemCity University of New YorkNew York CityUSA
  2. 2.NYC Department of EducationBrooklynUSA

Bibliographic information