๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Presupposition, Implication, and Self-Reference

โœ Scribed by van Fraasen, Bas


Year
0
Tongue
English
Weight
485 KB
Category
Fiction

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


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
Parametrized Quotation and Self-Referenc
โœ C.M.W. Little ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 206 KB

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 th

Anti-foundation and self-reference
โœ Colin McLarty ๐Ÿ“‚ Article ๐Ÿ“… 1993 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 533 KB