A universal approach to self-referential paradoxes, incompleteness and fixed points

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


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



    Upload a copy of this work     Papers currently archived: 89,764

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles


Added to PP

290 (#61,824)

6 months
19 (#102,314)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Mereology and time travel.Carlo Proietti & Jeroen Smid - 2020 - Philosophical Studies 177 (8):2245-2260.
Category theory.Jean-Pierre Marquis - 2008 - Stanford Encyclopedia of Philosophy.
Abstract logical structuralism.Jean-Pierre Marquis - 2020 - Philosophical Problems in Science 69:67-110.

View all 17 citations / Add more citations

References found in this work

Existence and feasibility in arithmetic.Rohit Parikh - 1971 - Journal of Symbolic Logic 36 (3):494-508.
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.
Understanding the Infinite.Stewart Shapiro - 1996 - Philosophical Review 105 (2):256.

View all 10 references / Add more references