Intuitivamente, la realidad está formada por entidades y hechos existentes y concretos. Sin embargo, nuestro lenguaje y pensamiento versa también sobre hechos meramente posibles, sobre cosas inexistentes y entidades abstractas. ¿Cómo es esto posible? ¿Significa ello que cuando hablamos y pensamos de estas otras cosas no hablamos de nada real? ¿o mas bien la realidad está mas poblada de lo que pensábamos y hay diferentes maneras de formar parte de la realidad además de la de existir de manera positiva y (...) concreta? En este libro trataremos de arrojar luz a estas y otras preguntas similares, poniendo atención a las estrategias argumentativas generales que suelen esgrimirse en esta rama de la filosofía. (shrink)

One might well wonder—is there a category under which every thing falls? Offering an informative account of such a category is no easy task. For nothing would distinguish things that fall under it from those that don’t—there being, after all, none of the latter. It seems hard, then, to say much about any fully general category; and it would appear to do no carving or categorizing or dividing at all. Nonetheless there are candidates for such a fully general office, including (...) thing, being, entity, item, existent, and—especially—object.[ It is not obvious that there is any fully general category (whether object or otherwise). Accordingly, not all accounts of object assign it to a fully general category, instead allowing that there are non-objects. On those views, object does indeed divide. Accounts of object, then, differ with respect to whether there are non-objects. And this is not the only fault line. Other dimensions of difference include what objects there are and what objects are. Accordingly, this entry will survey three broad questions about the category object: What, if any, is its contrast or complement? What is its extension? What is its nature? (shrink)

Some philosophers have recently suggested that the reason mathematics is useful in science is that it expands our expressive capacities. Of these philosophers, only Stephen Yablo has put forward a detailed account of how mathematics brings this advantage. In this article, I set out Yablo’s view and argue that it is implausible. Then, I introduce a simpler account and show it is a serious rival to Yablo’s. 1 Introduction2 Yablo’s Expressionism3 Psychological Objections to Yablo’s Expressionism4 Introducing Belief Expressionism5 Objections and (...) Replies5.1 Yablo’s likely response5.2 Charity6 Conclusion. (shrink)

I defend Joseph Melia’s nominalist account of mathematics from an objection raised by Mark Colyvan.

An encyclopedia entry which covers various revisionary conceptions of which macroscopic objects there are, and the puzzles and arguments that motivate these conceptions: sorites arguments, the argument from vagueness, the puzzles of material constitution, arguments against indeterminate identity, arguments from arbitrariness, debunking arguments, the overdetermination argument, and the problem of the many.

It is often supposed that, unlike typical axioms of mathematics, the Continuum Hypothesis (CH) is indeterminate. This position is normally defended on the ground that the CH is undecidable in a way that typical axioms are not. Call this kind of undecidability “absolute undecidability”. In this paper, I seek to understand what absolute undecidability could be such that one might hope to establish that (a) CH is absolutely undecidable, (b) typical axioms are not absolutely undecidable, and (c) if a mathematical (...) hypothesis is absolutely undecidable, then it is indeterminate. I shall argue that on no understanding of absolute undecidability could one hope to establish all of (a)–(c). However, I will identify one understanding of absolute undecidability on which one might hope to establish both (a) and (c) to the exclusion of (b). This suggests that a new style of mathematical antirealism deserves attention—one that does not depend on familiar epistemological or ontological concerns. The key idea behind this view is that typical mathematical hypotheses are indeterminate because they are relevantly similar to CH. (shrink)

In The Principles of Mathematics, Russell writes: Whatever may be an object of thought, or may occur in any true or false proposition, or can be counted as one, I call a term. This, then, is the widest word in the philosophical vocabulary. I shall use as synonymous with it the words unit, individual and entity. The first two emphasize the fact that every term is one, while the third is derived from the fact that every term has being, i.e. (...) is in some sense. A man, a moment, a number, a class, a relation, a chimera, or anything else that can be mentioned, is sure to be a term'. Now in this remark, a certain extremely general, topic-neutral use of ‘object’ is singled out, a use in which the expression is treated as equivalent to (equally neutral) uses of ‘term’, ‘entity’, ‘unit’, ‘individual’, and ‘thing’. In addition, a claim is made to the effect that the content of the expression, with its emphasis on one, is such as to be adequate to comprehend the sum-total of existence, to include whatever there may be. The paper addresses the question of what this claim means, and whether it might be true. (shrink)

Quantified expressions in natural language generally are taken to act like quantifiers in logic, which either range over entities that need to satisfy or not satisfy the predicate in order for the sentence to be true or otherwise are substitutional quantifiers. I will argue that there is a philosophically rather important class of quantified expressions in English that act quite differently, a class that includes something, nothing, and several things. In addition to expressing quantification, such expressions act like nominalizations, introducing (...) a new domain of objects that would not have been present in the semantic structure of the sentence otherwise. The entities those expressions introduce are of just the same sort as those that certain ordinary nominalizations refer to (such as John's wisdom or John's belief that S), namely they are tropes or entities related to tropes. Analysing certain quantifiers as nominalizing quantifiers will shed a new light on philosophical issues such as the status of properties and the nature of propositional attitudes. (shrink)

Being an "untimely review", this paper reviews Aristotle's 'Categories' as if they were published today, in the era of computerised information, where categorisation becomes more and more essential for information retrieval. I suggest a systematic ordering of Aristotle's list of categories and argue that Aristotle's discussion of ontological dependency and his focus on concrete entities are still a source of new insight and can indeed be read as a contribution to the emerging field of applied ontology and ontological engineering.

According to the cluster of theories in the metaphysics of properties known as ‘trope’ theories, properties are collections of particular qualitative instances. Though increasingly influential, the cluster is sufficiently diverse for there to be little agreement as to the prospects of its members. The present essay articulates and defends a conception of tropes as primitively qualitatively complex, somewhat in the vein of Quinean nominalist objects. After clarifying the relationships among tropes, properties, property exemplification, and property conferral, the essay discusses the (...) benefits of this new ‘ostrich’ trope theory. Specifically, the theory explains better than prior trope theories both the spatiotemporal status of tropes and the capacity tropes have to confer properties onto objects. Moreover, the theory is immune to many of the concerns that threaten more orthodox trope ontologies. (shrink)

States of affairs involving a non-symmetric relation such as loving are said to have a relational order, something that distinguishes, for instance, Romeo’s loving Juliet from Juliet’s loving Romeo. Relational order can be properly understood by appealing to o-roles, i.e., ontological counterparts of what linguists call thematic roles, e.g., agent, patient, instrument, and the like. This move allows us to meet the appropriate desiderata for a theory of relational order. In contrast, the main theories that try to do without o-roles, (...) proposed by philosophers such as Russell, Hochberg, and Fine, are in trouble with one or another of these desiderata. After discussing some alternatives, it is proposed that o-roles are best viewed as very generic properties characterizable as ways in which objects jointly exemplify a relation. This makes for exemplification relations understood as complex entities having o-roles as building blocks. (shrink)

Properties come in clusters. It seems impossible, for instance, that a mass could float free, unattached to any other property. David Armstrong takes this as a reductio of the bundle theory and an argument for substrata, while Peter Simons and Arda Denkel reply by supplementing the bundle theory with accounts of property interdependencies. I argue against both views. Virtually all plausible ontologies turn out to be committed to the existence of free masses.

This paper argues for an ontological distinction between two kinds of universals, 'kinds of tropes' such as 'wisdom' and properties such as 'the property of being wise'. It argues that the distinction is parallel to that between two kinds of collections, pluralities such as 'the students' and collective objects such as 'the class'. The paper argues for the priortity of distributive readings with pluralities on the basis of predicates of extent or shape, such 'large' or 'long'.

What is arguably the central criticism of Hegel’s philosophical system by the Continental tradition, a criticism which represents a unifying thread in the diverse work of Schelling, Feuerbach, Kierkegaard, Nietzsche and Adorno, is that Hegel fails to adequately do justice to the notion of individuality. My aim in this paper is to counter the claim that Hegel’s idea of the concrete universal fails to properly explain the real uniqueness of individuals. In what follows, I argue that whilst the Continental critique (...) (as it is particularly expressed by Adorno) is prima facie attractive, it is ultimately misguided. This is because the critics of Hegel fail to correctly understand (i) his principal argument in Sense-Certainty; (ii) crucial features of his logico-metaphysics; and (iii) his notion of wholeness. I contend that carefully explicating these important parts of the Hegelian system not only shows that Hegel’s metaphysical commitments are not those which do not leave meaningful room for or make adequate sense of individuality, but that they also reveal a sophisticated treatment of the interdependency between the categories of individuality, particularity and universality in a way which conceives of individuality robustly. (shrink)