Bulletin of Symbolic Logic 9 (3):362-386 (2003)

Following F. William Lawvere, we show that many self-referential paradoxes, incompleteness theorems and fixed point theorems fall out of the same simple scheme. We demonstrate these similarities by showing how this simple scheme encompasses the semantic paradoxes, and how they arise as diagonal arguments and fixed point theorems in logic, computability theory, complexity theory and formal language theory
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2178/bsl/1058448677
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 52,919
Through your library

References found in this work BETA

Existence and Feasibility in Arithmetic.Rohit Parikh - 1971 - Journal of Symbolic Logic 36 (3):494-508.
Understanding the Infinite.Stewart Shapiro - 1996 - Philosophical Review 105 (2):256.
Introduction to Mathematical Logic.D. van Dalen - 1964 - Journal of Symbolic Logic 45 (3):631-631.
Handbook of Mathematical Logic.Akihiro Kanamori - 1984 - Journal of Symbolic Logic 49 (3):971-975.
Notes on the Mathematical Aspects of Kripke's Theory of Truth.Melvin Fitting - 1986 - Notre Dame Journal of Formal Logic 27 (1):75-88.

View all 10 references / Add more references

Citations of this work BETA

The History of Categorical Logic: 1963-1977.Jean-Pierre Marquis & Gonzalo Reyes - 2011 - In Dov Gabbay, Akihiro Kanamori & John Woods (eds.), Handbook of the history of logic. Elsevier.
Mereology and time travel.Carlo Proietti & Jeroen Smid - 2020 - Philosophical Studies 177 (8):2245-2260.

View all 10 citations / Add more citations

Similar books and articles


Added to PP index

Total views
247 ( #31,785 of 2,343,525 )

Recent downloads (6 months)
13 ( #47,584 of 2,343,525 )

How can I increase my downloads?


My notes