Languages with self-reference I: foundations (or: we can have everything in first-order logic])
Artificial Intelligence
A first order theory of planning, knowledge, and action
Proceedings of the 1986 Conference on Theoretical aspects of reasoning about knowledge
The consistency of syntactical treatments of knowledge
Proceedings of the 1986 Conference on Theoretical aspects of reasoning about knowledge
The knower's paradox and representational theories of attitudes
Proceedings of the 1986 Conference on Theoretical aspects of reasoning about knowledge
Paradoxes and semantic representation
Proceedings of the 1986 Conference on Theoretical aspects of reasoning about knowledge
The liar; an essay in truth and circularity
The liar; an essay in truth and circularity
Expressing Belief Flow in Assertion Networks
Logic, Language, and Computation
Hi-index | 0.00 |
In the traditional approach to semantics truth values are assigned to sentence types. Moreover, the meaning of linguistic expressions is given through a map which associates with them extralinguistic entities, in such a way that the meaning of a complex expression is derivable from that of its components. By treating equally all tokens of the same expression such an approach makes for an enormous reduction in complextiy. Sometimes modifications are needed: The interpretation of indexicals, expressions such as 'I', 'now' etc., is determined not only by type but by context dependent parameters: a token of 'I' denotes the person uttering it. But these additional parameters can be specified and made explicit, resulting in a picture which is still within the scope of the original conception.