Edward Zalta

Many philosophers, including direct reference theorists, appeal to naively to 'modes of presentation' in the analysis of belief reports. I show that a variety of such appeals can be analyzed in terms of a precise theory of modes of presentation. The objects that serve as modes are identified intrinsically, in a noncircular way, and it is shown that they can function in the required way. It is a consequence of the intrinsic characterization that some objects are well-suited to serve as modes that present individuals and while others are well-suited to serve as modes that present properties (though such modes do not `determine' the objects they present---there is no necessary connection between a mode m and the individual x or property F that it presents). Moreover, it is also a consequence that the modes for properties and individuals can be organized into complexes that are structurally identical to Russellian propositions having the represented properties and individuals as constituents. Not only is the relationship between modes and Fregean senses and modes of presentation explored in the paper, but also the idea that the theory of modes of presentation developed in the paper can serve as a theory of concepts.

The author revises the formulation of propositional modal logic by interposing a domain of structured propositions between the modal language and the models. Interpretations of the language (i.e., ways of mapping the language into the domain of propositions) are distinguished from models of the domain of propositions (i.e., ways of assigning truth values to propositions at each world), and this contrasts with the traditional formulation. Truth and logical consequence are defined, in the first instance, as properties of, and relations among, propositions.

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.

The modal object calculus is the system of logic which houses the (proper) axiomatic theory of abstract objects. The calculus has some rather interesting features in and of itself, independent of the proper theory. The most sophisticated, type-theoretic incarnation of the calculus can be used to analyze the intensional contexts of natural language and so constitutes an intensional logic. However, the simpler second-order version of the calculus couches a theory of fine-grained properties, relations and propositions and serves as a framework for defining situations, possible worlds, stories, and fictional characters, among other things. In the present paper, we focus on the second-order calculus. The second-order modal object calculus is so-called to distinguish it from the second-order modal predicate calculus. Though the differences are slight, the extra expressive power of the object calculus significantly enhances its ability to resolve logical and philosophical concepts and problems.

In the debate about the nature and identity of possible worlds, philosophers have neglected the parallel questions about the nature and identity of moments of time. These are not questions about the structure of time in general, but rather about the internal structure of each individual time. Times and worlds share the following structural similarities: both are maximal with respect to propositions (at every world and time, either p or p is true, for every p); both are consistent; both are closed (every modal consequence of a proposition true at a world is also true at that world, and every tense-theoretic consequence of a proposition true at a time is also true at that time); just as there is a unique actual world, there is a unique present moment; and just as a proposition is necessarily true iff true at all worlds, a proposition is eternally true iff true at all times. In this paper, I show that a simple extension of my theory of worlds yields a theory of times in which the above structural similarities between the two are consequences.

The Tarski T-Schema has a propositional version. If we use ϕ as a metavariable for formulas and use terms of the form that-ϕ to denote propositions, then the propositional version of the T-Schema is: that-ϕ is true if and only if ϕ. For example, that Cameron is Prime Minister is true if and only if Cameron is Prime Minister. If that-ϕ is represented formally as [λ ϕ], then the T-Schema can be represented as the 0-place case of λ-Conversion. If we interpret [λ…] as a truth-functional context, then using traditional logical techniques, one can prove that the propositional version of the T-Schema is a tautology, literally. Given how well-accepted these logical techniques are, we conclude that the T-Schema, in at least one of its forms, is a not just a logical truth but a tautology at that