This paper maintains (following Yougrau 1987; 2000 and Hinchliff 1996) that the dead and other former existents count as examples of non-existent objects. If the dead number among the things there are, a further question arises: what is it to be dead—how should the state of being dead be characterised? It is argued that this state should be characterised negatively: the dead are not persons, philosophers etc. They lack any of the (intrinsic) qualities they had while they lived. The only (...) facts involving the dead are facts about the relations they stand in—including the relations they bear to the qualities they formerly instantiated, and the intentional relations they stand in to us. Given an appropriate conception of qualities the dead can be said to be quality-less objects: bare particulars. The ‘Bare Particular Theory’ of individuals, it is argued, is coherent if and only if it concedes that the bare particulars it allows for don’t exist. The account of the dead and other former existents as bare particulars does justice to the misfortune of death, and points the way to a general theory of nonexistent objects. (shrink)

Abstractionist programs in the philosophy of mathematics have focused on abstraction principles, taken as implicit definitions of the objects in the range of their operators. In second-order logic (SOL) with predicative comprehension, such principles are consistent but also (individually) mathematically weak. This paper, inspired by the work of Boolos (Proceedings of the Aristotelian Society 87 , 137–151, 1986) and Zalta (Abstract Objects, vol. 160 of Synthese Library, 1983), examines explicit definitions of abstract objects. These axioms state that there is a (...) unique abstract encoding all concepts satisfying a given formula φ(F), with F a concept variable. Such a system is inconsistent in full SOL. It can be made consistent with several intricate tweaks, as Zalta has shown. Our approach in this article is simpler: we use a novel method to establish consistency in a restrictive version of predicative SOL. The resulting system, RPEAO, interprets first-order PA in extensional contexts, and has a natural extension delivering a peculiar interpretation of PA2. (shrink)

Thanks to the Inlaks Foundation in India, I was able to do my doctoral research on Our Talk About Nonexistents at Oxford in the early eighties. The two greatest philosophers of that heaven of analytical philosophy - Peter Strawson and Michael Dummett - supervised my work, reading and criticising all the fledgling philosophy that I wrote during those three years. At Sir Peter's request, Gareth Evans, shortly before his death, lent me an unpublished transcript of Kripke's John Locke Lectures. Work (...) on the Appendix about Indian Philosophy was supervised by the late Professor Bimal Krishna Matilal with whom informal but intense philosophical conversations used to spill over into dinner at his place almost every other day. It was Professor Matilal who sent me, over a summer, to study a tough Navya-Nyaya text under his own Nyaya teacher Pandit Visvabandhu Tarkatirtha at Calcutta. All four of these teachers were as kind to me as my life-long mentor in philosophy Professor Pranab Kumar Sen, whose clarity and depth remain the unreachable regu lative ideal of my intellect. When I came back to India, my life became blissfully free of the agonising anxiety to publish, until, after a conference at Jadavpur University where I gave an impromptu paper, ironically enough, on Non-doings, I met Derek Parfit. He had a six-hour conversation with me, explicitly planning my life. Five years had already elapsed since I had finished my D. Phil, but Derek read my thesis and liked it. (shrink)

2020 update of the entry "Properties".

According to Richard Routley, a comprehensive theory of fiction is impossible, since almost anything is in principle imaginable. In my view, Routley is right: for any purported logic of fiction, there will be actual or imaginable fictions that successfully counterexample the logic. Using the example of ‘impossible’ fictions, I test this claim against theories proposed by Routley’s Meinongian contemporaries and also by Routley himself and his 21st century heirs. I argue that the phenomenon of impossible fictions challenges even today’s modal (...) Meinongians. (shrink)

The authors provide an object-theoretic analysis of two paradoxes in the theory of possible worlds and propositions stemming from Russell and Kaplan. After laying out the paradoxes, the authors provide a brief overview of object theory and point out how syntactic restrictions that prevent object-theoretic versions of the classical paradoxes are justified philosophically. The authors then trace the origins of the Russell paradox to a problematic application of set theory in the definition of worlds. Next the authors show that an (...) object-theoretic analysis of the Kaplan paradox reveals that there is no genuine paradox at all, as the central premise of the paradox is simply a logical falsehood and hence can be rejected on the strongest possible grounds—not only in object theory but for the very framework of propositional modal logic in which Kaplan frames his argument. The authors close by fending off a possible objection that object theory avoids the Russell paradox only by refusing to incorporate set theory and, hence, that the object-theoretic solution is only a consequence of the theory’s weakness. (shrink)

of my axiomatic theory of abstract objects.¹ The theory asserts the ex- istence not only of ordinary properties, relations, and propositions, but also of abstract individuals and abstract properties and relations. The.

Regardless or independent of any actuality or actualization and exempt from spatiotemporal and causal conditions, each individual possibility is pure. Actualism excludes the existence of individual pure possibilities, altogether or at least as existing independently of actual reality. In this paper, I demonstrate, on the grounds of my possibilist metaphysics—panenmentalism—how some of the most fascinating scientific discoveries in chemistry could not have been accomplished without relying on pure possibilities and the ways in which they relate to each other . The (...) discoveries are the following: Dan Shechtman’s discovery of quasicrystals; Linus Pauling’s alpha helix; the discovery of F. Sherwood Rowland and Mario J. Molina concerning the destruction of the atmospheric ozone layer; and Neil Bartlett’s noble gas compounds. On the grounds of the analysis of these cases, actualism must fail, whereas panenmentalism gains support. (shrink)

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

The arguments of the dialetheists for the rejection of the traditional law of noncontradiction are not yet conclusive. The reason is that the arguments that they have developed against this law uniformly fail to consider the logic of encoding as an analytic method that can resolve apparent contradictions. In this paper, we use Priest [1995] and [1987] as sample texts to illustrate this claim. In [1995], Priest examines certain crucial problems in the history of philosophy from the point of view (...) of someone without a prejudice in favor of classical logic. For each of these problems, the logic of encoding offers an alternative explanation of the phenomena---this alternative is not considered when Priest describes what options there are in classical logic for analyzing the problem at hand. (shrink)

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)

This paper introduces a new method of interpreting complex relation terms in a second-order quantified modal language. We develop a completely general second-order modal language with two kinds of complex terms: one kind for denoting individuals and one kind for denoting n-place relations. Several issues arise in connection with previous, algebraic methods for interpreting the relation terms. The new method of interpreting these terms described here addresses those issues while establishing an interesting connection between λ and ε calculi. The resulting (...) semantics provides a precise understanding of the theory of relations. (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)

Varios filósofos han propuesto un enfoque “algebraico” de los universales de acuerdo con el cual hay operaciones de universales a universales. No es obvio, sin embargo, cómo estas operaciones deban ser interpretadas y qué impacto tengan para las condiciones de identidad de los universales. Hay dos interpretaciones principales del álgebra de universales. Por una parte, se ha interpretado como formas de “construir” universales complejos. Por otra, ha sido interpretada como “morfismos” o “mapeos” entre universales, pero no como algo que “construye” (...) universales complejos desde otros más básicos. En este trabajo se evalúan las ventajas comparativas de las dos concepciones, y se ofrecen razones para preferir la segunda. (shrink)