Online research in philosophy

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.

Gödel, Tarski, Church, and the Liar , by György Serény, pages 3–25. From foundations to ludics , by Jean-Yves Girard, pages 131 -- 168. Symmetry and interactivity in programming , by P.-L. Curien, pages 169 -- 180. Two spaces looking for a geometer , by Giorgio Parisi, pages 181 -- 196. Model theory: Geometrical and set-theoretic aspects and prospects , by Angus Macintyre, pages 197 -- 212. Foundations and applications: axiomatization and education , by F. William Lawvere, pages 213 -- (...) 224. Differential calculus and nilpotent real numbers , by Anders Kock, pages 225 -- 230. The empty set, the singleton, and the ordered pair , by Akihiro Kanamori, pages 273 -- 298. Computable and continuous partial homomorphisms on metric partial algebras , by Viggo Stoltenberg-Hansen and John V. Tucker, pages 299 -- 334. Survey of the Steinhaus tiling problem , by Steve Jackson and R. Daniel Mauldin, pages 335 -- 361. A universal approach to self-referential paradoxes, incompleteness and fixed points , by Noson S. Yanofsky, pages 362 -- 386. On the philosophical development of Kurt Gödel , by Mark van Atten and Juliette Kennedy, pages 425 — 476. Identity of proofs based on normalization and generality , by Kosta Došen, pages 477 — 503. (shrink)