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. (shrink)

In this paper, the author derives the Dedekind-Peano axioms for number theory from a consistent and general metaphysical theory of abstract objects. The derivation makes no appeal to primitive mathematical notions, implicit definitions, or a principle of infinity. The theorems proved constitute an important subset of the numbered propositions found in Frege's *Grundgesetze*. The proofs of the theorems reconstruct Frege's derivations, with the exception of the claim that every number has a successor, which is derived from a modal axiom that (...) (philosophical) logicians implicitly accept. In the final section of the paper, there is a brief philosophical discussion of how the present theory relates to the work of other philosophers attempting to reconstruct Frege's conception of numbers and logical objects. (shrink)

In this paper, I respond to D. Jacquette's paper, "Mally's Heresy and the Logic of Meinong's Object Theory" (History and Philosophy of Logic, 10 (1989): 1-14), in which it is claimed that Ernst Mally's distinction between two modes of predication, as it is employed in the theory of abstract objects, is reducible to, and analyzable in terms of, a single mode of predication plus the distinction between nuclear and extranuclear properties. The argument against Jacquette's claims consists of counterexamples to his (...) reductions and analyses. Reasons are offered for thinking that no such reduction/analysis of the kind Jacquette proposes could be successful. (shrink)

In this paper, the author shows how one can independently prove, within the theory of abstract objects, some of the most significant claims, hypotheses, and background assumptions found in Kripke's logical and philosophical work. Moreover, many of the semantic features of theory of abstract objects are consistent with Kripke's views — the successful representation, in the system, of the truth conditions and entailments of philosophically puzzling sentences of natural language validates certain Kripkean semantic claims about natural language.

Some recently-proposed counterexamples to the traditional definition of essential property do not require a separate logic of essence. Instead, the examples can be analysed in terms of the logic and theory of abstract objects. This theory distinguishes between abstract and ordinary objects, and provides a general analysis of the essential properties of both kinds of object. The claim ‘x has F necessarily’ becomes ambiguous in the case of abstract objects, and in the case of ordinary objects there are various ways (...) to make the definition of ‘F is essential to x’ more fine-grained. Consequently, the traditional definition of essential property for abstract objects in terms of modal notions is not correct, and for ordinary objects the relationship between essential properties and modality, once properly understood, addresses the counterexample. (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)

There is a puzzle concerning the essences of fundamental entities that arises from considerations about essence, on one hand, and fundamentality, on the other. The Essence-Dependence Link (EDL) says that if x figures in the essence of y, then y is dependent upon x. EDL is prima facie plausible in many cases, especially those involving derivative entities. But consider the property negative charge. A negatively charged object exhibits certain behaviors that a positively charged object does not: it moves away from (...) other negatively charged objects, towards positively charged objects, etc. It is commonly thought that negative charge disposes its bearer to move away from other negatively charged objects, towards positively charged objects, etc. But if negative charge is fundamental, then no other entities—including the property positive charge—can figure in its essence. We thus have a prima facie puzzle: How can we say anything interesting about the essences of fundamental entities without running afoul of EDL? In this paper, I present and discuss the consequences of EDL for the debate between causal essentialists and quidditists about properties, and propose solutions to the puzzle. (shrink)

According to Crane’s schematicity thesis (ST) about intentional objects, intentionalia have no particular metaphysical nature qua thought-of entities; moreover, the real metaphysical nature of intentionalia is various, insofar as it is settled independently of the fact that intentionalia are targets of one’s thought. As I will point out, ST has the ontological consequence that the intentionalia that really belong to the general inventory of what there is, the overall domain, are those that fall under a good metaphysical kind, i.e., a (...) kind such that its members figure (for independent reasons) in such an inventory. Negatively put, if there are no things of a certain metaphysical kind, thoughts about things of that kind are not really committed to such things. Pace Crane, however, this does not mean that the intentionalia that are really there are only those that exist. For existence, qua first-order property, is no metaphysical kind. Thus, there may really be intentionalia that do not exist, provided that they belong to good metaphysical kinds. (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)

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)

This paper is about intentional identity, the phenomenon of intentional attitudes having a common focus. I present an argument against an approach to explaining intentional identity, defended by Nathan Salmon, Terence Parsons and others, that involves positing exotic objects. For example, those who adopt this sort of view say that when two astronomers had beliefs about Vulcan, their attitudes had a common focus because there is an exotic object that both of their beliefs were about. I argue that countenancing these (...) exotic objects does not help us explain intentional identity. (shrink)

Neo-Russellianism, which incorporates both Millianism (with regard to proper names) and the thesis of singular Russellian propositions, has widely been defended after the publication of Kripke's Naming and Necessity. The view, however, encounters various problems regarding empty names, names that do not have semantic referents. Nathan Salmon and Scott Soames have defended neo-Russellianism against such problems in a novel way; to account for various intuitions of competent and rational speakers regarding utterances of sentences containing empty names, Salmon and Soames appeal (...) neither to entities similar to Fregean senses, e.g. propositional guises or modes of presentation, nor to Gricean implicatures. In this paper, however, I argue that their view slips into neo-Meinongianism; it is committed to nonexistent objects, assigns various properties to them, and allows quantifiers range over such entities. This, I conclude, makes Salmon and Soames' view less appealing, if not implausible. (shrink)

The views of David Lewis and the Meinongians are both often met with an incredulous stare. This is not by accident. The stunned disbelief that usually accompanies the stare is a natural first reaction to a large ontology. Indeed, Lewis has been explicitly linked with Meinong, a charge that he has taken great pains to deny. However, the issue is not a simple one. "Meinongianism" is a complex set of distinctions and doctrines about existence and predication, in addition to the (...) famously large ontology. While there are clearly non-Meinongian features of Lewis' views, it is our thesis that many of the characteristic elements of Meinongian metaphysics appear in Lewis' theory. Moreover, though Lewis rejects incomplete and inconsistent Meinongian objects, his ontology may exceed that of a Meinongian who doesn't accept his possibilia. Thus, Lewis explains the truth of "there might have been talking donkeys" by appealing to possibilia which are talking donkeys. But the Meinongian need not accept that there exist things which are talking donkeys. Indeed, we show that a Meinongian even need not accept that there are nonexistent things which are talking donkeys! (shrink)

In this paper, the authors describe their initial investigations in computational metaphysics. Our method is to implement axiomatic metaphysics in an automated reasoning system. In this paper, we describe what we have discovered when the theory of abstract objects is implemented in PROVER9 (a first-order automated reasoning system which is the successor to OTTER). After reviewing the second-order, axiomatic theory of abstract objects, we show (1) how to represent a fragment of that theory in PROVER9's first-order syntax, and (2) how (...) PROVER9 then finds proofs of interesting theorems of metaphysics, such as that every possible world is maximal. We conclude the paper by discussing some issues for further research. (shrink)

The consistent formalization of Meinong's object theory in recent mathematical logic requires either plural modes of predication, or distinct categories of nuclear or constitutive and extranuclear or nonconstitutive properties. The plural modes of predication approach is rejected because it is reducible to the nuclear extranuclear property distinction, but not conversely, and because the nuclear extranuclear property distinction offers a more satisfactory solution to object theory paradoxes.

My purpose here is purely historical. It is not an attempt to resolve the question as to whether Russell did or did not countenance nonclassical logics, and if so, which nonclassical logics, and still less to demonstrate whether he himself contributed, in any manner, to the development of nonclassical logic. Rather, I want merely to explore and insofar as possible document, whether, and to what extent, if any, Russell interacted with the various, either the various candidates or their, ideas that (...) Dejnožka and others have proposed as potentially influential in Russell’s intellectual reactions to nonclassical logic or to the philosophical concepts that might contribute to his reactions to nonclassical logics. (shrink)

In this paper, the authors discuss Frege's theory of "logical objects" and the recent attempts to rehabilitate it. We show that the 'eta' relation George Boolos deployed on Frege's behalf is similar, if not identical, to the encoding mode of predication that underlies the theory of abstract objects. Whereas Boolos accepted unrestricted Comprehension for Properties and used the 'eta' relation to assert the existence of logical objects under certain highly restricted conditions, the theory of abstract objects uses unrestricted Comprehension for (...) Logical Objects and banishes encoding formulas from Comprehension for Properties. The relative mathematical and philosophical strengths of the two theories are discussed. Along the way, new results in the theory of abstract objects are described, involving: the theory of extensions, the theory of directions and shapes, and the theory of truth values. (shrink)

In this entry I present one of the most hotly debated issues in contemporary analytic philosophy regarding the nature of fictional entities and the motivations that might be adduced for and against positing them into our ontology. The entry is divided in two parts. In the first part I offer an overview of the main accounts of the metaphysics of fictional entities according to three standard realist views, fictional Meinongianism, fictional possibilism and fictional creationism. In the second part I describe (...) two main kinds of arguments for or against positing fictional entities into our ontology. The first kind is traditionally inspired by the linguistic data coming from our talk about fictional characters. The second kind is more recent and it builds on genuine ontological considerations. (shrink)

Intentionality may be dealt with in two different ways: either ontologically, as an ordinary relation to some extraordinary objects, or epistemologically, as an extraordinary relation to some ordinary objects. This paper endorses the epistemological view in order to provide a model of semiotic intentionality defined as the meaning-and-cognizing process that constitutes to power of the mind to be about something on the basis of a semiotic system. After a short introduction that presents the components of semiotic intentionality (viz. sign, act, (...) content, referent) along with their division into an intending and a fulfilling side (Sect. 1), the first main part of the paper analyzes semiotic intentionality at its primary level (a.k.a. 'concrete intentionality') as a real and subjective relation between meaning-intending and meaning-fulfilling acts grounded in the manipulation of some semiotic system (Sect. 2). Then, building on such concrete intentionality, the second main part of the paper analyzes semiotic intentionality at its secondary level (a.k.a. 'abstract intentionality') as an ideal and objective relation between intentional and fulfillment contents, which in turn: (i) proceed from an abstraction performed on the intending and fulfilling acts, respectively, and (ii) retroactively categorize the intending and fulfilling acts, respectively (Sect. 3). Finally, from this combination of an act-based conception of content with a presentationalist account of intentionality, the conclusion of this paper produces the intended model of semiotic intentionality in such a way that knowledge and truth are then respectively defined in it as the subjective correspondence between the two acts of concrete intentionality and as the objective correspondence between the two contents of abstract intentionality (Sect. 4). (shrink)

In this paper, I explore a line of argument against one form of realism about fictional characters : abstract artifact theory, the view according to which fictional characters like Harry Potter are part of our reality, but, they are abstract objects created by humans, akin to the institution of marriage and the game of soccer. I will defend artifactualism against an objection that Mark Sainsbury considers decisive against it: the category-mistake objection. The objection has it that artifactualism attributes to people (...) who produce and process sentences and thoughts about Harry Potter massive error, indeed, a category mistake about what kind of thing Harry Potter is; for an abstract object isn’t the sort of thing that can wear glasses, ride a double-decker bus, attend school. Given problems with this objection, artifactualism, I shall conclude, remains a tenable contender. (shrink)