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)

In this book, Zalta attempts to lay the axiomatic foundations of metaphysics by developing and applying a (formal) theory of abstract objects. The cornerstones include a principle which presents precise conditions under which there are abstract objects and a principle which says when apparently distinct such objects are in fact identical. The principles are constructed out of a basic set of primitive notions, which are identified at the end of the Introduction, just before the theorizing begins. The main reason for (...) producing a theory which defines a logical space of abstract objects is that it may have a great deal of explanatory power. It is hoped that the data explained by means of the theory will be of interest to pure and applied metaphysicians, logicians and linguists, and pure and applied epistemologists. (shrink)

The hierarchical analysis of existence attribution is Fregean in its endorsement of senses, understood as guises. Furthermore, the hierarchical analysis makes an essential use of the Russellian analysis (9′) as a means to understand what it is for a sense to present a given entity (cf. biconditional (11) above). The hierarchical analysis, on the other hand, is more general than the Russellian one and hence - in accordance with natural language usage - allows for a wider range of applications.

This essay continues my investigation of `syntactic semantics': the theory that, pace Searle's Chinese-Room Argument, syntax does suffice for semantics (in particular, for the semantics needed for a computational cognitive theory of natural-language understanding). Here, I argue that syntactic semantics (which is internal and first-person) is what has been called a conceptual-role semantics: The meaning of any expression is the role that it plays in the complete system of expressions. Such a `narrow', conceptual-role semantics is the appropriate sort of semantics (...) to account (from an `internal', or first-person perspective) for how a cognitive agent understands language. Some have argued for the primacy of external, or `wide', semantics, while others have argued for a two-factor analysis. But, although two factors can be specified–-one internal and first-person, the other only specifiable in an external, third-person way–-only the internal, first-person one is needed for understanding how someone understands. A truth-conditional semantics can still be provided, but only from a third-person perspective. (shrink)

This essay describes computational semantic networks for a philosophical audience and surveys several approaches to semantic-network semantics. In particular, propositional semantic networks are discussed; it is argued that only a fully intensional, Meinongian semantics is appropriate for them; and several Meinongian systems are presented.

The author engages a question raised about theories of nonexistent objects. The question concerns the way names of fictional characters, when analyzed as names which denote nonexistent objects, acquire their denotations. Since nonexistent objects cannot causally interact with existent objects, it is thought that we cannot appeal to a `dubbing' or a `baptism'. The question is, therefore, what is the starting point of the chain? The answer is that storytellings are to be thought of as extended baptisms, and the details (...) of this response receive attention in the paper. Once the storytelling is complete, and the characters have been baptized, a priori metaphysical principles linking the storytelling with the realm of nonexistent objects provide the referential, non-causal connection between the names used in the storytelling and the objects denoted by such names. [This is the original English version of an article that first appeared in German translation, translated into German by Arnold Günther and published in the Zeitschrift für Semiotik 9/1-2 (1987): 85-95. The version that appears here is, for the most part, unaltered.]. (shrink)

This paper serves as a kind of field guide to certain passages in the literature which bear upon the foundational theory of abstract objects. The foundational theory assimilates ideas from key philosophers in both the analytical and phenomenological traditions. I explain how my foundational theory of objects serves as a common ground where analytic and phenomenological concerns meet. I try to establish how the theory offers a logic that systematizes a well-known phenomenological kind of entity, and I try to show (...) the various ways the theory systematizes the ideas of many analytic philosophers. The ideas of Plato, Leibniz, Frege, Russell, Goedel and even Kripke become connected through those of Brentano, Meinong, Husserl, and Mally. -/- The field guide will not only document the passages in which the distinction between two kinds of predication originates, but also document the other surprising, and often unrelated, contexts where the distinction reappears in the work of others. It will also document ways in which the theory can be used to represent precisely the ideas of the philosophers mentioned above. The resulting guide will bring together the works of many different authors, including some clearly within the analytic tradition, some clearly within the phenomenological tradition, and some who straddle the divide. (shrink)

The subject of this article is the Principle of Characterization—the most controversial principle of Alexius Meinong’s Theory of Objects. The aim of this text is twofold. First of all, to show that Bertrand Russell’s well-known objection to the Principle of Characterization can be reformulated against contemporary unrestricted interpretations of it. Second, to propose an alternative formulation of this principle. This refers to the methodology of metaphysics and is based on the distinction between pre-theoretical and theoretical languages. The proposed formulation fits (...) well with every type of contemporary interpretation of the Theory of Objects and helps to overcome Russell’s criticism. (shrink)

Syntactic semantics is a holistic, conceptual-role-semantic theory of how computers can think. But Fodor and Lepore have mounted a sustained attack on holistic semantic theories. However, their major problem with holism (that, if holism is true, then no two people can understand each other) can be fixed by means of negotiating meanings. Syntactic semantics and Fodor and Lepore’s objections to holism are outlined; the nature of communication, miscommunication, and negotiation is discussed; Bruner’s ideas about the negotiation of meaning are explored; (...) and some observations on a problem for knowledge representation in AI raised by Winston are presented. (shrink)

This paper describes the SNePS knowledge-representation and reasoning system. SNePS is an intensional, propositional, semantic-network processing system used for research in AI. We look at how predication is represented in such a system when it is used for cognitive modeling and natural-language understanding and generation. In particular, we discuss issues in the representation of fictional entities and the representation of propositions from fiction, using SNePS. We briefly survey four philosophical ontological theories of fiction and sketch an epistemological theory of fiction (...) using a story operator and rules for allowing propositions to migrate into and out of story spaces. (shrink)

Konolige''s technical notion of belief based on deduction structures is briefly reviewed and its usefulness for the design of artificial agents with limited representational and deductive capacities is pointed out. The design of artificial agents with more sophisticated representational and deductive capacities is then taken into account. Extended representational capacities require in the first place a solution to the intensional context problems. As an alternative to Konolige''s modal first-order language, an approach based on type-free property theory is proposed. It considers (...) often neglected issues, such as the need for a more general account of thede dicto-de re distinction, and quasi-indicators. Extended deductive capacities require a subdivision of Konolige''s notion of belief into two distinct technical notions,potential anddispositional belief. The former has to do with what an artificial agent could in principle come to actively believe, given enough time and its specific logical competence; the latter with what an agent can be assumed to believe with respect to a specific goal to be fulfilled. (shrink)

Castañeda’s guise theory is a peculiarly interesting Neo-Meinongian approach, in virtue of its bundle-theoretic and anti-representationalist features. But it also has some problematic aspects. It crucially relies on a series of sameness relations, such as consubstantiation or consociation, but this list is incomplete. Moreover, guise theory is hindered by its view of the sameness relations as forms of predication alternative to what may be called, following Plantinga, standard predication. This paper thus proposes a revised version of guise theory that acknowledges (...) two additional sameness relations and standard predication. (shrink)