Switch to: References

Citations of:

Gödel, Tarski, Church, and the Liar

György Serény

Bulletin of Symbolic Logic 9 (1):3-25 (2003)

Add citations

You must login to add citations.

Unity, truth and the liar: the modern relevance of medieval solutions to the liar paradox.Shahid Rahman, Tero Tulenheimo & Emmanuel Genot (eds.) - 2008 - New York: Springer.details This volume includes a target paper, taking up the challenge to revive, within a modern (formal) framework, a medieval solution to the Liar Paradox which did ... Liar Paradox in Logic and Philosophy of Logic Medieval Logic in Medieval and Renaissance Philosophy $129.53 new $134.64 used $139.47 from Amazon View on Amazon.com Direct download (3 more) Export citation Bookmark 9 citations
Boolos-style proofs of limitative theorems.György Serény - 2004 - Mathematical Logic Quarterly 50 (2):211.details Boolos's proof of incompleteness is extended straightforwardly to yield simple “diagonalization-free” proofs of some classical limitative theorems of logic. Areas of Mathematics in Philosophy of Mathematics Direct download (3 more) Export citation Bookmark 3 citations

1