The representation of propositional attitudes (beliefs, desires, etc.) and the analysis of natural-language, propositional-attitude reports presents difficult problems for cognitive science and artificial intelligence. In particular, various representational approaches to attitudes involve the incorrect “imputation,” to cognitive agents, of the use of artificial theory-laden notions. Interesting cases of this problem are shown to occur in several approaches to attitudes. The imputation problem is shown to arise from the way that representational approaches explicate properties and relationships, and in particular from the (...) way they explicate propositional attitudes themselves. Another factor contributing to imputation is the compositional nature of typical semantic approaches to propositional-attitude reports. Some strategies for avoiding undesirable imputation are examined. One of the main conclusions is that the importance of imputations that arise in a representation scheme depends strongly on the use to which the scheme is put -- on whether, for instance, the scheme is used as part of a formal, objective account of natural language, or is used rather as a representational tool within an agent. (shrink)

This essay presents a philosophical and computational theory of the representation of de re, de dicto, nested, and quasi-indexical belief reports expressed in natural language. The propositional Semantic Network Processing System (SNePS) is used for representing and reasoning about these reports. In particular, quasi-indicators (indexical expressions occurring in intentional contexts and representing uses of indicators by another speaker) pose problems for natural-language representation and reasoning systems, because--unlike pure indicators--they cannot be replaced by coreferential NPs without changing the meaning of the (...) embedding sentence. Therefore, the referent of the quasi-indicator must be represented in such a way that no invalid coreferential claims are entailed. The importance of quasi-indicators is discussed, and it is shown that all four of the above categories of belief reports can be handled by a single representational technique using belief spaces containing intensional entities. Inference rules and belief-revision techniques for the system are also examined. (shrink)

An integrated statement is made concerning the semantic status of nodes in a propositional semantic network, claiming that such nodes represent only intensions. Within the network, the only reference to extensionality is via a mechanism to assert that two intensions have the same extension in same world. This framework is employed in three application problems to illustrate the nature of its solutions.The formalism used here utilizes only assertional information and no structural, or definitional, information. This restriction corresponds to many of (...) the psychologically motivated network models. Some of the psychological implications of network processes called node merging and node splitting are discussed. Additionally, it is pointed out that both our networks and the psychologically based networks are prone to memory confusions about knowing unless augmented by domain‐specific inference processes, or by structural information. (shrink)

Definite descriptions, I shall argue, have two possible functions. 1] They are used to refer to what a speaker wishes to talk about, but they are also used quite differently. Moreover, a definite description occurring in one and the same sentence may, on different occasions of its use, function in either way. The failure to deal with this duality of function obscures the genuine referring use of definite descriptions. The best known theories of definite descriptions, those of Russell and Strawson, (...) I shall suggest, are both guilty of this. Before discussing this distinction in use, I will mention some features of these theories to which it is especially relevant. (shrink)