STIG ANDUR PEDERSEN
ISBN 1575865165 (paperback)
Order from Amazon:
This is a book that every logician will want to read. The well-worn
topics of self-reference and the paradoxes have been given new life
in these papers by a distinguished group of logicians.
- Elliot Mendelson
For over 2000 years, self-reference, in the form of the Liar's
Paradox, was considered a philosophical oddity. In 1902,
self-referential set-theoretic paradoxes triggered a foundational
crisis in mathematics.
self-reference has continued to play a key role in philosophical and
mathematical logic, as well as, more recently, in theoretical
computer science. This thought-provoking volume contains a
collection of cutting-edge articles on this important topic.
Moshe Y. Vardi
This false statement is not self-referential. The following,
however,is true as well as self-referential.
Here is an anthology of previously unpublished essays on
from some of the most outstanding scholars in philosophy,
mathematics, and computer science.
This volume is accessible to students and compelling for scholars as
it re-examines the latest theories of self-reference, including
those that attempt to explain and resolve the semantic and
A thorough introduction by the editors sets the stage for original
contributions from Andrea Cantini, Melvin Fitting, Anil Gupta, Vann
McGee, Don Perlis, Graham Priest, Raymond M. Smullyan, and Stephen
Introduction / T. Bolander, V.F. Hendricks, and S.A. Pedersen
2 Fixed Point Constructions / Andrea Cantini
3 Bilattices are Nice Things / Melvin Fitting
4 Finite Circular Definitions /Anil Gupta
5 In Praise of the Free Lunch / Vann McGee
6 Theory and Application of Self-Reference /Don Perlis
7 The Paradoxes of Denotation / Graham Priest
8 Self-Reference in All Its Glory! / Raymond M. Smullyan
9 Circularity and Paradox / Stephen Yablo