Languages in which self reference is possible

DOI10.2307/2964058MaRDI QIDQ5622164zbMATH OpenOpenAlexFDO

Authors Raymond M. Smullyan

Publication date 1957

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2964058

Mathematics Subject Classification ID

Gödel numberings and issues of incompleteness (03F40)

Cited in

(10)

• Uniform self-reference
• Holographic or Fourier logic
• Quantified Quinean S5
• Definability and commonsense reasoning
• The scope of Gödel's first incompleteness theorem
• Parametrized quotation and self-reference
• What Were Tarski's Truth-Definitions for?
• Gödel, Tarski, Church, and The Liar
• A step towards absolute versions of metamathematical results
• The import of hypodoxes for the liar and Russell's paradoxes

This page was built for publication: Languages in which self reference is possible

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5622164)