✦ LIBER ✦

Parametrized Quotation and Self-Reference

✍ Scribed by C.M.W. Little

Publisher: Elsevier Science
Year: 2003
Tongue: English
Weight: 206 KB
Volume: 74
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80766-7

No coin nor oath required. For personal study only.

✦ Synopsis

This paper is concerned with the theoretical issues surrounding the specification of self-applicative computer programs. In particular we seek to explain the competing requirements desireable of any formal system that admits both of self-reference and quotation, and present three new solutions to the not inconsiderable problems encountered therein.

2 A self-reproducing program is properly considered an instance of self-designation. 3 The reason for the parameter g will be explained later.

📜 SIMILAR VOLUMES

Small perturbations and large self-quota

Small perturbations and large self-quotations

✍ Piero Villaggio 📂 Article 📅 2007 🏛 Springer Netherlands 🌐 English ⚖ 125 KB

Self-reference and validity

✍ Stephen Read 📂 Article 📅 1979 🏛 Springer Netherlands 🌐 English ⚖ 458 KB

Inference and self-reference

✍ Bas C. Fraassen 📂 Article 📅 1970 🏛 Springer Netherlands 🌐 English ⚖ 690 KB

Solipsism and Self-Reference

✍ O'Brien, Lucy 📂 Fiction 📅 0 🌐 English ⚖ 104 KB

Anti-foundation and self-reference

✍ Colin McLarty 📂 Article 📅 1993 🏛 Springer Netherlands 🌐 English ⚖ 533 KB

Presupposition, Implication, and Self-Re

Presupposition, Implication, and Self-Reference

✍ van Fraasen, Bas 📂 Fiction 📅 0 🌐 English ⚖ 485 KB