Languages with self-reference I: foundations (or: we can have everything in first-order logic])
Artificial Intelligence
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Hi-index | 0.00 |
Many researchers in Computer Science, Linguistics, Logic, and Philosophy have been discovering in various ways that analogues of the Liar paradox pose deep foundational problems for intensional semantics. In this survey paper I state my own view of what the problems are, and try to provide a broad perspective on the issues, with many references to the literature. Although the paper concentrates on developments in Philosophical Logic, I hope that the paper will help all researchers concerned with these problems to locate their concerns in a broad, interdisciplinary framework.