This paper concerns an epistemological objection against mathematical platonism, due to Hartry Field.The argument poses an explanatory challenge – the challenge to explain the reliability of our mathematical beliefs – which the platonist, it’s argued, cannot meet. Is the objection compelling? Philosophers disagree, but they also disagree on (and are sometimes very unclear about) how the objection should be understood. Here I distinguish some options, and highlight some gaps that need to be filled in on the potentially most compelling version (...) of the argument. (shrink)

Presentiamo qui la traduzione di un lungo saggio sull’ontologia e i sistemi informativi. Abbiamo tradotto la parte più generale con le distinzioni base tra ontologia, metafisica e scienza. L’autore, fornendo un suo punto di vista peculiare sull’ontologia, descrive le diverse questioni e distinzioni connesse all’impresa ontologica, considerando sia il punto di vista dei filosofi che degli informatici.

The proper sensible criterion of sensory individuation holds that senses are individuated by the special kind of sensibles on which they exclusively bear about (colors for sight, sounds for hearing, etc.). H. P. Grice objected to the proper sensibles criterion that it cannot account for the phenomenal difference between feeling and seeing shapes or other common sensibles. That paper advances a novel answer to Grice's objection. Admittedly, the upholder of the proper sensible criterion must bind the proper sensibles –i.e. colors– (...) to the common sensibles –i.e. shapes– so as to account for the visual phenomenal character of shapes. But, as Grice rightly objected, neither association, nor ontological dependence will do –I spend some time isolating why dependence is a bad answer here, basically because the dependence of shape on colors is generic, and that genericity is arguably not part of the phenomenal content of perception. -/- Grice is wrong, however, to think that once association and dependence have been rebutted, there is no other way to attach color to extension. The right way to connect proper and common sensibles is rather trivial, although it seems to have been widely neglected: proper sensibles FILL common ones. To see a shape, by contrast to feeling it, is to perceived as filled by some color. To feel a shape, is to perceive it as, say, filled by pressure. Filling in is the phenomenal connection between proper and common sensibles. -/- One important corollary of that proposal is that proper sensibles –color, pressure, noise, taste...– have to belong to the category of stuffs, in the sense of uncountable entities. Against the widespread view that colors are properties, which have countable instances, the last part of the paper argues that colors are phenomenal stuffs, which fill some visual area. One commits a category mistake in asking: "How many tropes/instances of this determinate redness is there on that ladybird". One should rather ask "How much of this determinate redness is there on that ladybird". (shrink)

Our aim in this paper is to bring to light two sources of tension for Christian theists who endorse the principle of unrestricted composition, that necessarily, for any objects, the xs, there exists an object, y, such that the xs compose y. In Value, we argue that a composite object made of wholly valuable parts is at least as valuable as its most valuable part, and so the mereological sum of God and a wholly valuable part would be at least (...) as valuable as God; but Christian theism arguably demands that no concrete object other than God can be as valuable as God. And in Creation, we argue that the conjunction of theism and unrestricted composition, together with the claim that every concrete entity that is numerically distinct from God is created by God, implies that God is created by God. We conclude by examining the prospects of restricting the thesis of unrestricted composition to the domain of material or spatiotemporal objects as a way to sidestep the above arguments against the conjunction of Christian theism and unrestricted composition. (shrink)

Kotarbiński is one of the leading figures in the Lvov-Warsaw school of Polish philosophy. We summarize the development of Kotarbiński’s thought from his early nominalism and ‘pansomatistic reism’ to the later doctrine of ‘temporal phases’. We show that the surface clarity and simplicity of Kotarbiński’s writings mask a number of profound philosophical difficulties, connected above all with the problem of giving an adequate account of the truth of contingent (tensed) predications. The paper will examine in particular the attempts to resolve (...) these difficulties on the part of Leśniewski. It will continue with an account of the relations of Kotarbińskian reism to the ontology of things or entia realia defended by the later Brentano. Kotarbiński’s identification of Brentano as a precursor of reism is, it will be suggested, at least questionable, and the paper will conclude with a more careful attempt to situate the Brentanian and Kotarbińskian ontologies within the spectrum of competing ontological views. (shrink)

This paper outlines a novel solution to the problem of the many and a conception of ordinary objects that implies it. The solution is that many collections of particles can simultaneously constitute a single object. The proposed conception of ordinary objects maintains that they are fundamentally subjects of change: the changes an object is able to survive explain its constitution.

I defend a one category ontology: an ontology that denies that we need more than one fundamental category to support the ontological structure of the world. Categorical fundamentality is understood in terms of the metaphysically prior, as that in which everything else in the world consists. One category ontologies are deeply appealing, because their ontological simplicity gives them an unmatched elegance and spareness. I’m a fan of a one category ontology that collapses the distinction between particular and property, replacing it (...) with a single fundamental category of intrinsic characters or qualities. We may describe the qualities as qualitative charactersor as modes, perhaps on the model of Aristotelian qualitative (nonsubstantial) kinds, and I will use the term “properties” interchangeably with “qualities”. The qualities are repeatable and reasonably sparse, although, as I discuss in section 2.6, there are empirical reasons that may suggest, depending on one’s preferred fundamental physical theory, that they include irreducibly intensive qualities. There are no uninstantiated qualities. I also assume that the fundamental qualitative natures are intrinsic, although physics may ultimately suggest that some of them are extrinsic. On my view, matter, concrete objects, abstract objects, and perhaps even spacetime are constructed from mereological fusions of qualities, so the world is simply a vast mixture of qualities, including polyadic properties (i.e., relations). This means that everything there is, including concrete objects like persons or stars, is a quality, a qualitative fusion, or a portion of the extended qualitative fusion that is the worldwhole. I call my view mereological bundle theory. (shrink)

Can identity itself be vague? Can there be vague objects? Does a positive answer to either question entail a positive answer to the other? In this paper we answer these questions as follows: No, No, and Yes. First, we discuss Evans’s famous 1978 argument and argue that the main lesson that it imparts is that identity itself cannot be vague. We defend the argument from objections and endorse this conclusion. We acknowledge, however, that the argument does not by itself establish (...) either that there cannot be vague objects or that there cannot be identity statements that are indeterminate for ontic reasons. And we further acknowledge that it does not by itself establish that there cannot be identity statements that are indeterminate in virtue of the existence of vague objects. We then go on to argue that, despite this, one who believes in vague objects cannot endorse Evans’s argument. To establish this we offer supplementary arguments that show that if vague objects exist then identity is vague, and that if identity is vague then vague objects exist. Finally we draw attention to an argument parallel to that of Evans’s, but safer, which can be employed against the putative ontic indeterminacy in identity of vague objects which can be differentiated by identity-free properties. (shrink)

This is my entry on natural language ontology in the Stanford Encyclopedia of Philosophy.

Formal ontology as a main branch of metaphysics investigates categories of being. In the formal ontological approach to metaphysics, these ontological categories are analysed by ontological forms. This analysis, which we illustrate by some category systems, provides a tool to assess the clarity, exactness and intelligibility of different category systems or formal ontologies. We discuss critically different accounts of ontological form in the literature. Of ontological form, we propose a character- neutral relational account. In this metatheory, ontological forms of entities (...) are their standings in internal relations whose holding is neutral on the character of their relata. These relations are “formal ontological relations”. Entities belong to ontological categories because they stand in the same formal ontological relations. We hold a nominalist relationalism about ontological categories and forms. We conclude by showing that our metatheory is useful for understanding categorial fundamentality/non- fundamentality, different formal ontologies, and for unifying metaphysical questions. (shrink)

Friends of states of affairs and structural universals appeal to a relation, structure-making, that is allegedly a kind of composition relation: structure-making ?builds? facts out of particulars and universals, and ?builds? structural universals out of unstructured universals. D. M. Armstrong, an eminent champion of structures, endorses two interesting theses concerning composition. First, that structure-making is a composition relation. Second, that it is not the only (fundamental) composition relation: Armstrong also believes in a mode of composition that he calls mereological, and (...) which he takes to be the only kind of composition recognized by his philosophical adversaries, such as David Lewis. Armstrong, accordingly, is a kind of pluralist about compositional relations: there is more than one way to make wholes from parts. In this paper, I critically evaluate Armstrong's compositional pluralism. (shrink)

Se examina una de las maneras más naturales e intuitivas de entender las nociones de entidad fundamental y dependencia ontológica. Se argumenta que quienes adoptan estas nociones enfrentan serios problemas y se recomienda abandonarlas, lo que no quiere decir que no haya otra forma plausible de entender estos conceptos.

De um modo geral, queríamos mostrar que a filosofia tem suas próprias áreas, mas tem também subáreas em interdisciplinaridade com as ciências. As ciências e as disciplinas acadêmicas em geral têm problemas, cuja a solução pode ser encontrada empiricamente, por meio de experimentos, entrevistas, documentos, ou formalmente, por meio de cálculos etc, porém os problemas das filosofias dessas disciplinas são justamente os problemas mais fundamentais dessas disciplinas, que fundam o quadro conceitual e de pesquisa das mesmas, e que só poderiam (...) ser respondidos por meio de uma extensa argumentação. A filosofia de cada uma dessas disciplinas é uma mistura (a) de metafísica da disciplina, perguntando-se qual a natureza e justificação das entidades que formam o quadro teórico da disciplina, i.e., quais delas realmente existem na realidade (não sendo meros instrumentos para obter resultados) e quais as suas categorizações fundamentais, naturezas e funções teóricas, (b) de epistemologia dessa disciplina, ao nos perguntarmos sobre como tal área poderia obter conhecimento de modo confiável e se ela de fato o faz, e (c) de teorias do valor, ao nos perguntarmos, por exemplo, sobre qual o valor moral do desenvolvimento de uma certa disciplina e, finalmente, (d) a lógica, que perpassa tudo, ao nos perguntarmos sobre a consistência das teses assumidas pela disciplina. Não é à toa que falamos que a filosofia é mãe de todas as ciências. Ela é mãe tanto num sentido geracional, pois a maioria das ciências foram desenvolvimentos particulares, empíricos ou de cálculo, das questões filosóficas sobre um certo tema, quanto num sentido fundamental, pois é a filosofia que fornece os fundamentos mais gerais, metafísicos, epistêmicos, valorativos e lógicos, na construção do quadro teórico de cada ciência e na qualidade dos métodos para se aproximar da verdade que a disciplina utiliza. A biologia, por exemplo, foi criada por Aristóteles, tal como os primeiros desenvolvimentos da meteorologia (na verdade, esta começa com os pré-socráticos), e grande parte do fundamento da física atual jaz nas discussões de filosofia da física. Sendo você filósofo ou cientista de outra área, a filosofia promete te dar as bases para uma reflexão geral ou sobre sua área, que seja muito mais informada e profunda do que aquilo que você poderia realizar sem ela. /// In general, we wanted to show that philosophy has its own areas, but it also has subareas in interdisciplinarity with the sciences. The sciences and academic disciplines in general have problems, the solution of which can be found empirically, through experiments, interviews, documents, or formally, through calculations etc., but the problems of the philosophies of these disciplines are precisely the most fundamental problems. of these disciplines, which build their conceptual and research framework, and which could only be answered through extensive argumentation. The philosophy of each of these disciplines is a mixture (a) of metaphysics of the discipline, asking what is the nature and justification of the entities that form the theoretical framework of the discipline, ie, which ones really exist in reality (not being mere instruments for achieving results) and what are its fundamental categorizations, natures and theoretical functions, (b) the epistemology of this discipline, when we ask ourselves how such an area could obtain knowledge reliably and if it does, and (c) theories of value, when we ask ourselves, for example, about the moral value of the development of a certain discipline and, finally, (d) the logic, which permeates everything, when we ask ourselves about the consistency of the theses assumed by the discipline. It is not for nothing that we say that philosophy is the mother of all sciences. It is a mother both in a generational sense, as most sciences were particular empirical or formal developments of philosophical questions on a certain topic, and in a fundamental sense, as it is philosophy that provides the most general, metaphysical, epistemic, evaluative and logical foundations, in the construction of the theoretical framework of each science and in the quality of the methods to approach the truth that the discipline uses. Biology, for example, was created by Aristotle, like the first developments in meteorology (in fact, it starts with the pre-Socratics), and much of the foundation of current physics lies in discussions of the philosophy of physics. Whether you are a philosopher or scientist from another area, philosophy promises to give you the basis for a general reflection or about your area, which is much more informed and profound than what you could accomplish without it. (shrink)

This book is in honour of Professor Anna-Sofia Maurin on her 50th birthday. It consists of eighteen essays on metaphysical issues written by Swedish and international scholars.

Some philosophers have claimed that kinds can be construed as mereologically complex structural properties. This essay examines several strategies aimed at construing a certain class of natural kinds, namely isomeric chemical kinds, in accordance with this view. In particular, the essay examines views which posit structural proper parts in addition to micro-constitutive parts to individuate isomeric chemical kinds. It then goes on to argue that the phenomenon of chirality in stereochemistry gives the proponent of kinds-as-complex-properties evidence for positing the existence (...) of causal-cum-dispositional individuating proper parts, in addition to structural parts, for chemical enantiomeric kinds. (shrink)

It is a standard assumption in contemporary metaphysics that concrete objects come with a location in space and time. This applies not only to material objects and events, but also modes (such as the roundness of the apple, the softness of the pillow, Socrates' wisdom) and entities that have been called 'disturbances' (e.g. holes, folds, faults, and scratches). Taking the approach of descriptive metaphysics, I will show that modes and disturbances fail to have a bearer-independent spatial location. This allows for (...) a metaphysical explanation of the Chomskyan contrast between 'There is a fly believed to be in the bottle' and the unacceptable 'There is a flaw believed to be in the argument'. A subsidiary point this paper makes is that in their lack of a direct spatial location, modes need to be sharply distinguished from tropes as a category of foundationalist metaphysics that has been at the center of a pursuit of a one-category ontology since Williams (1953). (shrink)

It is plausible that the universe exists: a thing such that absolutely everything is a part of it. It is also plausible that singular, structured propositions exist: propositions that literally have individuals as parts. Furthermore, it is plausible that for each thing, there is a singular, structured proposition that has it as a part. Finally, it is plausible that parthood is a partial ordering: reflexive, transitive, and anti-symmetric. These plausible claims cannot all be correct. We canvass some costs of denying (...) each claim and conclude that parthood is not a partial ordering. Provided that the relevant entities exist, parthood is not anti-symmetric and proper parthood is neither asymmetric nor transitive. (shrink)

I show how existing concepts of supervenience relate to two more fundamental ontological relations: determination and dependence. Determination says that the supervenient properties of a thing are a function of its base properties, while dependence says that having a supervenient property implies having a base property. I show that most varieties of supervenience are either determination relations or determination relations conjoined with dependence relations. In the process of unpacking these connections I identify limitations of existing concepts of supervenience and provide (...) ways of overcoming them. What results is a more precise, flexible, and powerful set of tools for relating sets of properties than current concepts of supervenience provide. I apply these tools to a recalcitrant problem in the physicalism literature – the problem of extras. (shrink)

Constituent ontologies maintain that the properties of an object are either parts or something very much like parts of that object. Recently, such a view has been criticized as leading to a bizarre and problematic form of substance dualism and implying the existence of impossible objects. After briefly presenting constituent and relational ontologies, I respond to both objections, arguing that constituent ontology does not yield either of these two consequences and so is not shown to be an unacceptable ontological framework.

The problem of the many threatens to show that, in general, there are far more ordinary objects than you might have thought. I present and motivate a solution to this problem using many-one identity. According to this solution, the many things that seem to have what it takes to be, say, a cat, are collectively identical to that single cat.

A scientific explanatory project, part-whole explanation, and a kind of science, part-whole science are premised on identifying, investigating, and using parts and wholes. In the biological sciences, mechanistic, structuralist, and historical explanations are part-whole explanations. Each expresses different norms, explananda, and aims. Each is associated with a distinct partitioning frame for abstracting kinds of parts. These three explanatory projects can be complemented in order to provide an integrative vision of the whole system, as is shown for a detailed case study: (...) the tetrapod limb. My diagnosis of part-whole explanation in the biological sciences as well as in other domains exploring evolved, complex, and integrated systems (e.g., psychology and cognitive science) cross-cuts standard philosophical categories of explanation: causal explanation and explanation as unification. Part-whole explanation is itself one essential aspect of part-whole science. (shrink)

Two kinds of explanation might be put forward. The first goes like this: the necessary connection between the location of a whole and the location of its parts holds because the location of the whole is nothing but the collective location of its parts. The second style of explanation goes like this: the connection holds because what it is for a material whole to have something as a part, is (perhaps among other things) for the whole to contain the part.

In some sense, survival seems to be an intrinsic matter. Whether or not you survive some event seems to depend on what goes on with you yourself —what happens in the environment shouldn’t make a difference. Likewise, being a person at a time seems intrinsic. The principle that survival seems intrinsic is one factor which makes personal fission puzzles so awkward. Fission scenarios present cases where if survival is an intrinsic matter, it appears that an individual could survive twice over. (...) But it’s well known that standard notions of “intrinsicality” won’t do to articulate the sense in which survival is intrinsic, since ‘personhood’ appears to be a maximal property. We formulate a sense in which survival and personhood (and perhaps other maximal properties) may be almost intrinsic—a sense that would suffice, for example, to ground fission arguments. It turns out that this notion of almost-intrinsicality allows us to formulate a new version of the problem of the many. (shrink)

Worlds where things divide forever ("gunk" worlds) are apparently conceivable. The conceivability of such scenarios has been used as an argument against "nihilist" or "near-nihilist" answers to the special composition question. I argue that the mereological nihilist has the resources to explain away the illusion that gunk is possible.

I consider a grand, yet neglected proposal put forward by Shoemaker—a functionalist theory of all properties. I argue that two possible ways of developing this proposal meet with substantial objections. However, if we are prepared to endorse an ontology of tropes, one of these functionalist analyses can be developed into an original and informative theory of properties.

This paper considers the philosophical interpretation of the concept of svabhāva, sometimes translated as 'inherent existence' or 'own-being', in the Madyamaka school of Buddhist philosophy. It is argued that svabhāva must be understood as having two different conceptual dimensions, an ontological and a cognitive one. The ontological dimension of svabhāva shows it to play a particular part in theories investigating the most fundamental constituents of the world. Three different understandings of svabhāva are discussed under this heading: svabhāva understood as essence, (...) as substance, and as the true nature of phenomena (absolute svabhāva). The cognitive dimension shows svabhāva as playing an important rôle in our everyday conceptualization of phenomena. Svabhāva is here seen as a superimposition (samāropa) which the mind projects onto the world. (shrink)

Mereotopology is a theory of connected parts. The existence of boundaries, as parts of everyday objects, is basic to any such theory; but in classical mereotopology, there is a problem: if boundaries exist, then either distinct entities cannot be in contact, or else space is not topologically connected . In this paper we urge that this problem can be met with a paraconsistent mereotopology, and sketch the details of one such approach. The resulting theory focuses attention on the role of (...) empty parts, in delivering a balanced and bounded metaphysics of naive space. (shrink)

I argue that the existence of a necessary concrete being can be derived from an exceedingly weak causal principle coupled with two contingent truths one of which falls out of very popular positions in contemporary analytic metaphysics. I then show that the argument resists a great many objections commonly lodged against natural theological arguments of the cosmological variety.

Some philosophers assume that our ordinary parts-whole concepts are intuitive and univocal. Moreover, some assume that mereology—the formal theory of parts-whole relations—adequately captures these intuitive and univocal notions. Lewis, for example, maintains that mereology is “perfectly understood, unproblematic, and certain.” Following his lead, many assume that expressions such as ‘is part of’ are univocal, topic-neutral, and that compositional monism is true. This paper explores the rejection of –. I argue that our ordinary parts-whole expressions are polysemous; they have multiple distinct, (...) but related, interpretations or meanings. I canvass several criteria by which to test for polysemy, and apply these criteria to some of our parts-whole terminology. I also examine some philosophical examples involving abstracta and abstract parts, which give us additional reasons to think that our parts-whole expressions are polysemous and topic-specific. Yet if so, then compositional pluralism is true. (shrink)

It has been argued by some that the argument from vagueness is one of the strongest arguments in favor of the theory of temporal parts. I will neither support nor dispute this claim here. Rather, I will present a version of the argument from vagueness, which – if successful – commits one to the existence of modal parts. I argue that a commitment to the soundness of the argument from vagueness for temporal parts compels one to commit to the soundness (...) of the argument from vagueness for modal parts. I say compels, but not entails; an objection to one of the arguments highlights analogous ways to reject the other, making it difficult to endorse one and reject the other. This would be a significant conclusion, if true, since there are far fewer who currently commit themselves to modal parts than the many who currently commit themselves to temporal parts. (shrink)

Many of us think that ordinary objects – such as tables and chairs – exist. We also think that ordinary objects have parts: my chair has a seat and some legs as parts, for example. But once we are committed to the (seemingly innocuous) thesis that ordinary objects are composed of parts, we then open ourselves up to a whole host of philosophical problems, most of which center on what exactly the composition relation is. Composition as Identity (CI) is the (...) view that the composition relation is the identity relation. While such a view has some advantages, there are many arguments against it. In this essay, I will briefly canvass three different varieties of Composition as Identity, and suggest why one of them should be preferred over the others. Then I will outline several versions of the most common objection against CI. I will suggest how a CI theorist can respond to these charges by maintaining that some of the arguments are invalid. (In part 2, I show how a CI theorist can maintain that the remaining arguments, while valid, are unsound). (shrink)

Many of us think that ordinary objects – such as tables and chairs – exist. We also think that ordinary objects have parts: my chair has a seat and some legs as parts, for example. But once we are committed to the (seemingly innocuous) thesis that ordinary objects are composed of parts, we then open ourselves up to a whole host of philosophical problems, most of which center on what exactly this composition relation is. Composition as Identity (CI) is the (...) view that the composition relation is the identity relation. While such a view has some advantages, there are many arguments against it. In this essay, I discuss several versions of the most common objection against CI, and show how the CI theorist can maintain that these arguments – contrary their initial intuitive appeal – are nonetheless unsound. (shrink)

Many of us think that ordinary objects – such as tables and chairs – exist. We also think that ordinary objects have parts: my chair has a seat and some legs as parts, for example. But once we are committed to the thesis that ordinary objects are composed of parts, we then open ourselves up to a whole host of philosophical problems, most of which center on what exactly the composition relation is. Composition as Identity is the view that the (...) composition relation is the identity relation. While such a view has some advantages, there are many arguments against it. In this essay, I will briefly canvass three different varieties of Composition as Identity, and suggest why one of them should be preferred over the others. Then I will outline several versions of the most common objection against CI. I will suggest how a CI theorist can respond to these charges by maintaining that some of the arguments are invalid. (shrink)

In Elder-Vass’s response to my critical discussion of his social ontology, it is maintained (1) that a social object is not identical with but is merely composed of its suitably interrelated parts, (2) that a social object is necessarily indistinguishable in terms of its causal capacities from its interrelated parts, and (3) that ontological individualism lacks an adequate ontological justification. In this reply, I argue that in view of (1) the so-called redescription principle defended by Elder-Vass ought to be reformulated (...) and renamed; that the conjunction of (1) and (2) renders social objects causally redundant; and that ontological individualism can be coherently formulated and theoretically justified within Elder-Vass’s own metaphysics of objects with causal powers. (shrink)

In this paper, we describe the conceptual elusiveness of the notion of function as used in engineering practice. We argue that it should be accepted as an ambiguous notion, and then review philosophical argumentations in which engineering functions occur in order to identify the consequences of this ambiguity. Function is a key notion in engineering, yet is used by engineers systematically in a variety of meanings. First, we demonstrate that this ambiguous use is rational for engineers by considering the role (...) of functions in design methods and by analysing the ambiguity in terms of Kuhn’s notion of methodological incommensurability. Second, we discuss ontological and mereological analyses of engineering functions and describe a proof that subfunctions cannot formally be taken as parts of the functions they decompose. Engineering functions figure sometimes in philosophical work and are then typically taken as having an unambiguous, well-defined meaning. Finally, we therefore revisit work in philosophy of technology on the dual nature of technical artefacts, in philosophy of science on functional and mechanistic explanations, and in philosophy of biology on biological functions, and explore the consequences of the fact that engineering function is an ambiguous notion. It is argued that one of these consequences may be that also the notion of biological function has an ambiguous meaning. (shrink)

Peter Simons has argued that the expression ‘the universe’ is not a genuine singular term: it can name neither a single, completely encompassing individual, nor a collection of individuals. (It is, rather, a semantically plural term standing equally for every existing object.) I offer reasons for resisting Simons’s arguments on both scores.

I argue that Universalism (the thesis that mereological composition is unrestricted) entails Extensionalism (the thesis that sameness of composition is sufficient for identity) as long as the parthood relation is transitive and satisfies the Weak Supplementation principle (to the effect that whenever a thing has a proper part, it has another part disjoint from the first).

I argue that the conjunction of perdurantism (the view that objects are temporally extended) and universalism (the thesis that any old class of things has a mereological fusion) gives rise to undesired complications when combined with certain plausible assumptions concerning the semantics of tensed statements.

Mereological atomism is the thesis that everything is ultimately composed of atomic parts, i.e., parts lacking proper parts. Standardly, this thesis is characterized by an axiom that says, more simply, that everything has atomic parts. Anthony Shiver has argued that this characterization is satisfied by models that are not atomistic, and is therefore inadequate. I argue that Shiver’s conclusion can and ought to be resisted, for the models in question are atomistic in the intended sense, and even though the standard (...) characterization does not say that everything is composed of atoms, it implies so. If there is a sense in which the relevant models are problematic, it lies elsewhere. (shrink)

We tend to talk about (refer to, quantify over) parts in the same way in which we talk about whole objects. Yet a part is not something to be included in an inventory of the world over and above the whole to which it belongs, and a whole is not something to be included in the inventory over and above its constituent parts. This paper is an attempt to clarify a way of dealing with this tension which may be labeled (...) the Minimalist View: An element in the field of a part-whole relation is to be included in an inventory of the world if and only if it does not overlap any distinct element that is itself included in the inventory. (shrink)

Every criminal act ought to be matched by a corresponding punishment, or so we may suppose, and every punishment ought to reflect a criminal act. We know how to count punishments. But how do we count crimes? In particular, how does our notion of a criminal action depend on whether the prohibited action is an activity, an accomplishment, an achievement, or a state?

There are conflicting intuitions concerning the status of a boundary separating two adjacent entities (or two parts of the same entity). The boundary cannot belong to both things, for adjacency excludes overlap; and it cannot belong to neither, for nothing lies between two adjacent things. Yet how can the dilemma be avoided without assigning the boundary to one thing or the other at random? Some philosophers regard this as a reductio of the very notion of a boundary, which should accordingly (...) be treated a mere façon de parler. In this paper I resist this temptation and examine some ways of taking the puzzle at face value within a realist perspective—treating boundaries as ontologically on a par with (albeit parasitic upon) extended parts. (shrink)

Whether certain objects compose a whole at a given time does not seem to depend on anything other than the character of those objects and the relations between them. This observation suggests a far-reaching constraint on theories of composition. One version of the constraint has been explicitly adopted by van Inwagen and rules out his own answer to the composition question. The constraint also rules out the other well-known moderate answers that have so far been proposed.

Mereotopology is an extension of mereology with some relations of topological nature like contact. An algebraic counterpart of mereotopology is the notion of contact algebra which is a Boolean algebra whose elements are considered to denote spatial regions, extended with a binary relation of contact between regions. Although the language of contact algebra is quite expressive to define many useful mereological relations and mereotopological relations, there are, however, some interesting mereotopological relations which are not definable in it. Such are, for (...) instance, the relation of n-ary contact, internal connectedness and some others. To overcome this disadvantage, we introduce a generalisation of contact algebra, replacing the contact with a binary relation between finite sets of regions and a region, satisfying some formal properties of Tarski consequence relation. The obtained system is called sequent algebra, considered as an algebraic counterpart of a new mereotopology. We develop the topological representation theory for sequent algebras showing in this way certain correspondence between point-free and point-based models of space. As a by-product, we show how one logical relation in nature notion, Tarski consequence relation, may have also certain spatial meaning. (shrink)

Salmon and Soames argue against nominalism about numbers and sentence types. They employ (respectively) higher-order and first-order logic to model certain natural language inferences and claim that the natural language conclusions carry commitment to abstract objects, partially because their renderings in those formal systems seem to do that. I argue that this strategy fails because the nominalist can accept those natural language consequences, provide them with plausible and non-committing truth conditions and account for the inferences made without committing themselves to (...) abstract objects. I sketch a modal account of higher-order quantification, on which instead of ranging over sets, higher order quantifiers are used to make (logical) possibility claims about which predicate tokens can be introduced. This approach provides an alternative account of truth conditions for natural language sentences which seem to employ higher-order quantification, thus allowing the nominalist to evade Salmon’s argument. I also show how the nominalist can account for the occurrence of apparently singular abstract terms in certain true statements. I argue that the nominalist can achieve this by, first, dividing singular terms into real singular terms (referring to concrete objects) and only apparent singular terms (called onomatoids), introduced for the sake of brevity and simplicity, and then providing an account of nominalistically acceptable truth conditions of sentences containing onomatoids. I develop such an account in terms of modally interpreted abstraction principles and argue that applying this strategy to Soames’s argument allows the nominalists to defend themselves. (shrink)

Mainstream metaphysics has been preoccupied by inquiring into the nature of major kinds of entities, like objects, properties and events, while avoiding minor entities, like shadows or holes. However, one might want to hope that dealing with such minor entities could be profitable for even solving puzzles about major entities. I propose a new ontological puzzle, the Shadow of Constitution Puzzle, incorporating the old puzzle of material constitution, with shadows in the role of the minor entity to guide our approach (...) to the issues involved. I then analyze the standard answers to the original puzzle of constitution, in their role as potential solutions to the new puzzle. Finally, I discuss three views that can solve the proposed puzzle. (shrink)