Archaeology is currently bound to a series of metaphysical principles, one of which claims that reality is composed of a series of discrete objects. These discrete objects are fundamental metaphysical entities in archaeological science and posthumanist/new Materialist approaches and can be posited, assembled, counted, and consequently included in quantitative models (e.g. Big Data, Bayesian models) or network models (e.g. Actor-Network Theory). The work by Sørensen and Marila shows that archaeological reality is not that discrete, that some objects cannot be easily (...) identified, and that perhaps reality is not always necessarily composed of discrete objects. The aim of this article is to take Sørensen and Marila’s arguments to their ultimate logical consequences: most archaeological theory today operates under the illusion of a general metaphysics. This illusion dictates not only that all of reality is composed of discrete objects, but that since reality manifests in a certain way, there has to be a methodology that accurately represents that reality. A brief discussion on the notion of “conjecture,” as conceived in certain historical theories, is also presented. (shrink)

In a recent article in this journal, Achille Varzi (2009) argues that mereological universalism (U) entails mereological extensionalism (E). The thesis that U entails E (call it ‘T’) has important implications. For example, as is well known, T plays a crucial role in Peter van Inwagen’s argument against universalism (1990: 74–79). In what follows, I show that Varzi’s arguments for T rely on a tendentious assumption about parthood.

In this paper we wish to raise the following question: which conceptual obstacles need to be overcome to arrive at a scientific and theoretical understanding of the mind? In the course of this examination, we shall encounter methodological and explanatory challenges and discuss them from the point of view of the philosophy of chemistry and quantum mechanics. This will eventually lead us to a discussion of emergence and metaphysics, thereby focusing on the status of objects. The question remains whether this (...) could be interpreted in terms of a re-description or dissolution of seemingly troubling problems in the philosophy of mind, or whether it further emphasizes the problematic: the ubiquitous and irreducible role of mind and consciousness in scientific activities. (shrink)

Physicalism is usually understood as the claim that every empirical entity is or is determined by physical entities. The claim is however imprecise until it is clarified what are the physical entities in question. A sceptical argument in the form of a dilemma tries to show that this problem of formulation of physicalism cannot be adequately met. If we understand physical entities as the entities introduced by current physics, the resulting claim becomes most probably false. If we instead understand physical (...) entities as those entities introduced by some future ideal physics, the claim then becomes indeterminate in content. Both horns seem equally bad. In the first part of the paper, I survey the strengths and weaknesses of different proposed solutions to this problem of formulation. In the second part, I lay out a new formulation of physicalism, partly based on a mereological principle, which overcomes the dilemma, and argue that it is a correct formulation of physicalism to the extent that it rules out clear antiphysicalist scenarios and is compatible with clear physicalist scenarios. (shrink)

I defend the view that ordinary objects like statues are identical to the pieces of matter from which they are made. I argue that ordinary speakers assert sentences such as ‘this statue is a molded piece of clay’. This suggests that speakers believe propositions which entail that ordinary objects such as statues are the pieces matter from which they are made, and therefore pluralism contradicts ordinary beliefs. The dominant response to this argument purports to find an ambiguity in the word (...) ‘is’, such that ‘is’ in these sentences means the same as ‘constitutes or is constituted by’. I will use standard tests for ambiguity to argue that this strategy fails. I then explore and reject other responses to the argument. (shrink)

Aristotle holds that individual substances are ontologically independent from nonsubstances and universal substances but that non-substances and universal substances are ontologically dependent on substances. There is then an asymmetry between individual substances and other kinds of beings with respect to ontological dependence. Under what could plausibly be called the standard interpretation, the ontological independence ascribed to individual substances and denied of non-substances and universal substances is a capacity for independent existence. There is, however, a tension between this interpretation and the (...) asymmetry between individual substances and the other kinds of entities with respect to ontological independence. I will propose an alternative interpretation: to weaken the relevant notion of ontological independence from a capacity for independent existence to the independent possession of a certain ontological status. (shrink)

I argue for patternism, a new answer to the question of when some objects compose a whole. None of the standard principles of composition comfortably capture our natural judgments, such as that my cat exists and my table exists, but there is nothing wholly composed of them. Patternism holds, very roughly, that some things compose a whole whenever together they form a “real pattern”. Plausibly we are inclined to acknowledge the existence of my cat and my table but not of (...) their fusion, because the first two have a kind of internal organizational coherence that their putative fusion lacks. Kolmogorov complexity theory supplies the needed rigorous sense of “internal organizational coherence”. (shrink)

It seems that the theories of language of the present century can be classified into two basic groups. The approaches of the first group perceive language as a mathematical structure and understand any theory of language as a kind of application of mathematics or logic. Their ideological background is furnished by logical positivism and analytical philosophy (esp. by Russell, Carnap, Wittgenstein and their followers); and their practical output is Chomskian formal syntax and subsequent formal semantics. The approaches of the other (...) group do not approve of formalization and consider a theory of language closer to psychology than to mathematics. The specific position within this group is occupied by the so-called structuralists (de Saussure, Hjelmslev, Derrida). (shrink)

Although Aristotle does not explicitly address persistence, his account of persisting may be derived from a careful consideration of his account of change. On my interpretation, he supposes that motions are mereological unities of their potential temporal parts – I dub such mereological unities ‘lasting’. Aristotle’s persisting things, too, are lasting, I argue. Lasting things are unlike enduring things in that they have temporal parts; and unlike perduring things in that their temporal parts are not actual, but rather are potential. (...) Lasting, that is Aristotle’s persisting, is thus a distinctive alternative to enduring and perduring. I assess this alternative showing it to be attractive. (shrink)

In this paper, I argue that the spatiotemporalist approach way of modeling the fundamental constituents, structure, and composition of the world has taken a wrong turn. Spatiotemporalist approaches to fundamental structure take the fundamental nature of the world to be spatiotemporal: they take the category of spatiotemporal to be fundamental. I argue that the debates over the nature of the fundamental space in the physics show us that (i) the fact that it is conceivable that the manifest world could be (...) exactly as it appears to us, even though spatiotemporal entities are not fundamental, means that a central premise of spatiotemporalism, that we may assume, given ordinary experience, that the world is fundamentally spatiotemporal, is false. (ii) Spatiotemporalism must be seen as a contingent, a posteriori physical truth. Finally, (iii) I argue that a metaphysically deeper conclusion follows from the debate over the nature of the fundamental space. The debate in physics over which sort of space is the fundamental space suggests that physicists have discovered that, even if a spacetime is an actual constituent of the world-space category, there is a world-space category that is more fundamental than the category of spacetime. (shrink)

Weatherson argues that whoever accepts classical logic, standard mereology and the difference between vague objects and any others, should conclude that there are no vague objects. Barnes and Williams claim that a supporter of vague objects who accepts classical logic and standard mereology should recognize that the existence of vague objects implies indeterminate identity. Even though it is not clearly stated, they all seem to be committed to the assumption that reality is ultimately constituted by mereological atoms. This assumption is (...) not granted by standard mereology which instead remains silent on whether reality is atomic or gunky; therefore, I contend that whoever maintains classical logic, standard mereology and the difference between vague objects and any others, is not forced to conclude with Weatherson that there are no vague objects; nor is she compelled to revise her point of view according to Barnes and Williams’s proposal and to accept that the existence of vague objects implies indeterminate identity. (shrink)

In this paper I shall explore a novel alternative to these familiar views. In his recent book Sub ects of Ex erience, E. J. Lowe argues, as many others have done before, that you and I are not animals. It follows from this, he says, that we must be simple substances without parts. That may sound like Cartesian dualism. But Lowe is no Cartesian. He argues from premises that many present-day materialists accept. And he claims that our being mereologically simple (...) is consistent with our having such paradigmatically physical properties as being six feet tall and weighing 160 pounds. You and I, he claims, are mereological atoms shaped like human beings. (shrink)

The purpose of this paper is to propose a satisfying model-theoretic account of the notions of singularity, collective plurality, and distributive plurality expressed by both the nouns and the verbs of Papago according to Mathiot (1983). The approach will be algebraic in the sense of Link (1983). Informally, our proposal is that while English has only one form of plurality, Papago has two: one based on identity and the other on equivalence. The identity-based plural is one that Papago shares with (...) English and other Indo-European languages; the equivalence-based plural, on the other hand, is characteristic of Papago and other Native American languages. The extreme elaboration of the notion of multiplicity expressed in Papago follows from this proposal, given sufficiently rich models and independently motivated principles governing the semantics of roots (Wackernagel 1920; Ojeda 1993; Eschenbach 1993), markedness (Jakobson 1957), and verbs (Davidson 1967; Parsons 1990). (shrink)

The surviving sources on the Stoic theory of division reveal that the Stoics, particularly Chrysippus, believed that bodies, places and times were such that all of their parts themselves had proper parts. That is, bodies, places and times were composed of gunk. This realisation helps solve some long-standing puzzles about the Stoic theory of mixture and the Stoic attitude to the present.

A view of individuals as constituted of quantities of matter, both understood as continuants enduring over time, is elaborated in some detail. Constitution is a three-place relation which can't be collapsed to identity because of the place-holder for a time and because individuals and quantities of matter have such a radically different character. Individuals are transient entities with limited lifetimes, whereas quantities are permanent existents undergoing change in physical and chemical properties from time to time. Coincidence, considered as a matter (...) of occupying the same place, is developed, alongside sameness of constitutive matter, as a criterion of identity for individuals. Quantities satisfy the mereological criterion of identity, applicable to entities subject to mereological relations and operations such as regions of space and intervals of time. A time-dependent analogue of mereological parthood is defined for individuals, in terms of which analogues of the other mereological relations can be defined. But it is argued that there is no analogue of the mereological operation of summation for individuals. (shrink)

Ontology is the philosophical discipline which aims to understand how things in the world are divided into categories and how these categories are related together. This is exactly what information scientists aim for in creating structured, automated representations, called 'ontologies,' for managing information in fields such as science, government, industry, and healthcare. Currently, these systems are designed in a variety of different ways, so they cannot share data with one another. They are often idiosyncratically structured, accessible only to those who (...) created them, and unable to serve as inputs for automated reasoning. This volume shows, in a nontechnical way and using examples from medicine and biology, how the rigorous application of theories and insights from philosophical ontology can improve the ontologies upon which information management depends. (shrink)

It is often claimed that principles of individuation imply essential properties of the things individuated. For example, sets are individuated by their members, hence sets have their members essentially. But how does this inference work? First I discuss the form of such inferences, and conclude that the essentialist inference is not a purely formal matter: although there is a form which all principles of individuation have in common, it is not true that any statement of that form is a principle (...) of individuation, and hence there is no valid inference based purely on that form. However, I argue that there is a viable version of the essentialist inference nonetheless. The resources for a proper reconstruction of this type of inference can be gathered from reflections upon the role principles of individuation play in the project of the ontologist: such principles turn out to carry a modal weight similar to that of definitions or conceptual truths. It follows that, no matter how austere the ontology, some portion of essentialist modality is inevitable. (shrink)

Puzzles about persistence and change through time, i.e., about identity across time, have foundered on confusion about what it is for ‘two things’ to be have ‘the same thing’ at a time. This is most directly seen in the dispute over whether material objects can occupy exactly the same place at the same time. This paper defends the possibility of such coincidence against several arguments to the contrary. Distinguishing a temporally relative from an absolute sense of ‘the same’, we see (...) that the intuition, ‘this is only one thing’, and the dictum, ‘two things cannot occupy the same place at the same time’, are individuating things at a time rather than absolutely and are therefore compatible with coincidence. Several other objections philosophers have raised ride on this same ambiguity. Burke, originating what has become the most popular objection to coincidence, argues that if coincidence is possible there would be no explanation of how objects that are qualitatively the same at a time could belong to different sorts. But we can explain an object’s sort by appealing to its properties at other times. Burke’s argument to the contrary equivocates on different notions of ‘cross-time identity’ and ‘the statue’. From a largely negative series of arguments emerges a positive picture of what it means to say multiple things coincide and of why an object’s historical properties explain its sort rather than vice versa – in short, of how coincidence is possible. (shrink)

The fission of a person involves what common sense describes as a single person surviving as two distinct people. Thus, say most metaphysicians, this paradox shows us that common sense is inconsistent with the transitivity of identity. Lewis’s theory of overlapping persons, buttressed with tensed identity, gives us one way to reconcile the common sense claims. Lewis’s account, however, implausibly says that reference to a person about to undergo fission is ambiguous. A better way to reconcile the claims of common (...) sense, one that avoids this ambiguity, is to recognize branching persons, persons who have multiple pasts or futures. (shrink)

I develop a novel argument against the claim that ordinals are sets. In contrast to Benacerraf’s antireductionist argument, I make no use of covert epistemic assumptions. Instead, my argument uses considerations of ontological dependence. I draw on the datum that sets depend immediately and asymmetrically on their elements and argue that this datum is incompatible with reductionism, given plausible assumptions about the dependence profile of ordinals. In addition, I show that a structurally similar argument can be made against the claim (...) that cardinals are sets. (shrink)

One of the standard puzzles in ordinary-object metaphysics concerns what happens when an object and one of its undetached parts apparently begin to coincide. I distinguish two versions of this puzzle: the problem of extraordinary undetached parts and the problem of ordinary undetached parts. Then I present a novel phasalist solution to the problem of ordinary undetached parts. My solution is designed to supplement the recently-defended view that ordinary undetached parts exist but extraordinary ones do not.

While there are reasons to believe that both component forces and a resultant force operate on a body in combined circumstances, the threat of overdetermination largely prevents adoption of this view. Accordingly, a lively debate has arisen over which force actually exists and which force is eliminated in combined circumstances, the components or the resultant. In this article I present a non-reductive model of resultant force which ensures the existence of both the resultant force and the component forces without overdetermination. (...) According to the non-reductive model, the resultant force is the summation of component forces, where summation is interpreted as meaning that the component forces, when temporally and spatially overlapping, form a superposed mixture which is the resultant force, but which is not identical to the conjunction of component forces taken with temporal and spatial independence. (shrink)

The principle of Summation, which is a technically sharpened version of the familiar claim that a whole is a sum of its parts, is presented by Peter van Inwagen as a trivial truth. I argue to the contrary, that it is incompatible with the natural assumption that a whole may gain or lose parts non-instantaneously. For, as I show, the latter assumption implies that something can be determinately a whole without being determinately a sum of parts, and this, in turn, (...) indicates the falsity of Summation. I point out that the tension between Summation and the possibility of non-instantaneous gain or loss of parts compels us to rethink the relations between the concepts of whole and sum, and may have far reaching consequences for the mereology of physical objects. (shrink)

This paper aims to motivate a new beginning in metaphysical thinking about persistence by drawing attention to the disappearance of change in current accounts of persistence. I defend the claim that the debate is stuck in a dilemma which results from neglecting the constructive role of change for persistence. Neither of the two main competing views, perdurantism and endurantism, captures the idea of persistence as an identity through time. I identify the fundamental ontological reasons for this, namely the shared commitment (...) to what I call ‘thing ontology’: an ontology that gives the ontological priority to static things. I conclude by briefly indicating how switching to a process ontological framework that takes process and change to be ontologically primary may allow for overcoming the dilemma of persistence. (shrink)

Compliments have received only cursory attention from speech act theorists and are usually characterised as run-of-the-mill illocutionary acts. Yet both intentionalist and conventionalist theories of illocutionary force struggle to accommodate ordinary language uses of ‘compliment’. I argue that this is because there are in fact two kinds of compliment: illocutionary compliments and perlocutionary compliments. This account illuminates the practice of complimenting, as well as its converse, insulting, and illustrates the complex relationship between illocutionary force and perlocutionary effect.

I argue that a solution to puzzles concerning the relationship ofobjects and their properties – a version of the `bundle' theory ofparticulars according to which ordinary objects are mereologicalfusions of monadic and relational tropes – is also a solution topuzzles of material constitution involving the allegedco-location of material objects. Additionally, two argumentsthat have played a prominent role in shaping the current debate,Mark Heller's argument for Four Dimensionalism and Peter vanInwagen's argument against Mereological Universalism, are shownto be unsound given this version (...) of the bundle theory. (shrink)

In this paper, I argue that Spinoza holds a perspectivalist view of mereological composition, a form of anti-realism. The paper has two parts: In the first half of the paper, I introduce interpretive puzzles for the standard realist reading of Spinoza’s mereology. In the second half of the paper, I discuss Spinoza’s positive view on mereological composition and present a perspectivalist reading that avoids the interpretive puzzles.

This paper defends the possibility of admitting occurrents in a presentist ontology. Two ways of doing so are proposed, the first one involves Meinongian presentism. By using the notion of non-existent object and coherently modifying some mereological principle, it is argued, the presentist can allow for occurrents. The second proposal involves ex-concrete objects. Ex-concrete objects, i.e. objects that are contingently not concrete, have been used by Linsky and Zalta, 431-458, 1994), Williamson in the modal metaphysics debate, by Orilia, 589-607, 2016) (...) in the presentism-eternalism debate, and by Longenecker, 5091-5111, 2018) in the debate about material constitution. I argue that, just by admitting ex-concrete objects, it is possible to have occurrents even for the presentist. Of course, in order to do so we must modify our definitions of occurrent and continuant. Nevertheless, I argue that my theory is metaphysically sound, at least for the presentist persuaded by the intuitive claim that there are occurrents, which otherwise she must reject. (shrink)

What distinguishes a whole from an arbitrary sum of elements? I suggest a temporal and causal oriented approach. I defend two connected claims. The former is that existence is, by every means, coextensive with being the cause of a causal process. The latter is that a whole is the cause of a causal process with a joint effect. Thus, a whole is something that takes place in time. The approach endorses an unambiguous version of Restricted Composition that suits most commonsensical (...) intuitions about wholes. (shrink)

In order to avoid the problems faced by standard realist analyses of the “relation” of instantiation, Baxter and, following him, Armstrong each analyze the instantiation of a universal by a particular in terms of their partial identity. I introduce two related conceptions of partial identity, one mereological and one non-mereological, both of which require at least one of the relata of the partial identity “relation” to be complex. I then introduce a second non-mereological conception of partial identity, which allows for (...) both relata to be simple. I take these three conceptions to exhaust the plausible ways of construing two entities as being partially identical. I then argue that there is no analysis (including those offered by Baxter and Armstrong) of a universal and a particular as being partially identical consistent with any of these three conceptions that (i) is coherent, (ii) is consistently realist, (iii) does not lead to absurd consequences, and (iv) offers a “solution” to the problem of instantiation that avoids the problems with the other standard realist responses. In so arguing, I offer a criticism of the analysis of instantiation as partial identity that is independent of the standard criticism that it entails the necessity of predication. (shrink)

Two mereological theories are presented based on a primitive apartness relation along with binary relations of mereological excess and weak excess, respectively. It is shown that both theories are acceptable from the standpoint of constructive reasoning while remaining faithful to the spirit of classical mereology. The two theories are then compared and assessed with regard to their extensional import.

In the literature on mereology it is often accepted that mereological universalism entails extensionalism. More precisely, many accept that, if parthood is assumed to be a partial order, the thesis that every plurality of entities has a mereological fusion entails the thesis that different composite entities have different proper parts. Central to this idea is the principle known as ‘Weak Supplementation’ which many take to impose an important constraint on the relation of proper parthood. In this paper I argue that (...) this claim is false as the principle that I will call ‘Minimal Supplementation’ appears to be capable of doing all the work done by Weak Supplementation but without entailing extensionalism if conjoined with universalism and core mereology. (shrink)

The paper proposes a novel solution to the problem of the time of a killing (ToK), which persistently besets theories of act-individuation. The solution proposed claims to expose a crucial wrong-headed assumption in the debate, according to which ToK is essentially a problem of locating some event that corresponds to the killing. The alternative proposal put forward here turns on recognizing a separate category of dynamic occurents, viz. processes. The paper does not aim to mount a comprehensive defense of process (...) ontology, relying instead on extant defenses. The primary aim is rather to put process ontology to work in diagnosing the current state of play over ToK, and indeed in solving it. (shrink)

The literature suggests two main answers to the question of what it is for a material object to be located at a region of spacetime. Both have a number of virtues. However, both suffer from well-known problems. According to one answer, location is a primitive relation with no informative metaphysical analysis. But this makes a number of necessary truths seem mysterious and leaves them unexplained. According to the other answer, to be located at a region is just to be identical (...) to that region. But this is inconsistent with a number of independently plausible theses about material objects and their locations. In this paper, I explore a new theory of location and argue that it has the virtues of these familiar theories but not their vices. I then explore some further connections the new theory has with some contemporary issues in metaphysics. (shrink)

Mereological universalists and nihilists disagree on the conditions for composition. In this paper, we show how this debate is a function of one’s chosen semantics for plural quantifiers. Debating mereologists have failed to appreciate this point because of the complexity of the debate and extraneous theoretical commitments. We eliminate this by framing the debate between universalists and nihilists in a formal model where these two theses about composition are contradictory. The examination of the two theories in the model brings clarity (...) to a debate in which opponents frequently talk past one another. With the two views stated precisely, our investigation reveals the dependence of the mereologists’ ontological commitments on the semantics of plural quantifiers. Though we discuss the debate with respect to a simplified and idealized model, the insights provided will make more complex debates on composition more productive and deflationist criticisms of the debate less substantial. (shrink)

‘Space does not exist fundamentally: it emerges from a more fundamental non-spatial structure.’ This intriguing claim appears in various research programs in contemporary physics. Philosophers of physics tend to believe that this claim entails either that spacetime does not exist, or that it is derivatively real. In this article, I introduce and defend a third metaphysical interpretation of the claim: reductionism about space. I argue that, as a result, there is no need to subscribe to fundamentality, layers of reality and (...) emergence in order to analyse the constitution of space by non-spatial entities. It follows that space constitution, if borne out, does not provide empirical evidence in favour of a stratified, Aristotelian in spirit, metaphysics. The view will be described in relation to two particular research programs in contemporary physics: wave function realism and loop quantum gravity. (shrink)

This paper addresses questions of universality related to ontological engineering, namely aims at substantiating (negative) answers to the following three basic questions: (i) Is there a ‘universal ontology’?, (ii) Is there a ‘universal formal ontology language’?, and (iii) Is there a universally applicable ‘mode of reasoning’ for formal ontologies? To support our answers in a principled way, we present a general framework for the design of formal ontologies resting on two main principles: firstly, we endorse Rudolf Carnap’s principle of logical (...) tolerance by giving central stage to the concept of logical heterogeneity, i.e. the use of a plurality of logical languages within one ontology design. Secondly, to structure and combine heterogeneous ontologies in a semantically well-founded way, we base our work on abstract model theory in the form of institutional semantics, as forcefully put forward by Joseph Goguen and Rod Burstall. In particular, we employ the structuring mechanisms of the heterogeneous algebraic specification language HetCasl for defining a general concept of heterogeneous, distributed, highly modular and structured ontologies, called hyperontologies. Moreover, we distinguish, on a structural and semantic level, several different kinds of combining and aligning heterogeneous ontologies, namely integration, connection, and refinement. We show how the notion of heterogeneous refinement can be used to provide both a general notion of sub-ontology as well as a notion of heterogeneous equivalence of ontologies, and finally sketch how different modes of reasoning over ontologies are related to these different structuring aspects. (shrink)

Although mathematical philosophy is flourishing today, it remains subject to criticism, especially from non-analytical philosophers. The main concern is that even if formal tools serve to clarify reasoning, they themselves contribute nothing new or relevant to philosophy. We defend mathematical philosophy against such concerns here by appealing to its metaphysical foundations. Our thesis is that mathematical philosophy can be founded on the phenomenological theory of ideas as developed by Roman Ingarden. From this platonist perspective, the “unreasonable effectiveness of mathematics in (...) philosophy”—to adapt Wigner’s phrase—is analogous to that of mathematical explanations in science. As success-criteria for mathematical philosophy, we propose that it should be correct, responsive, illuminating, promising, relevant, and adequate. (shrink)

In a series of publications, Tamar Gendler has argued for a distinction between belief and what she calls ?alief?. Gendler's argument for the distinction is a serviceability argument: the distinction is indispensable for explaining a whole slew of phenomena, typically involving ?belief-behaviour mismatch?. After embedding Gendler's distinction in a dual-process model of moral cognition, I argue here that the distinction also suggests a possible (dis)solution of what is perhaps the organizing problem of contemporary moral psychology: the apparent tension between the (...) inherently motivational role of moral judgments and their manifestly objectivistic phenomenology. I argue that moral judgments come in two varieties, moral aliefs and moral beliefs, and it is only the former that are inherently motivating and only the latter that have an objectivistic phenomenology. This serves to both bolster the case for the alief/belief distinction and shed new light on otherwise well-trodden territory in metaethics. I start with an exposition of the moral-psychological problem (?1) and a discussion of Gendler's alief/belief distinction (?2). I then apply the latter to moral judgments in an attempt to dissolve the former (?3). I close with discussion of the upshot for our understanding of moral thought, moral motivation, and moral phenomenology (?4). (shrink)

In this paper I consider some logical and mathematical aspects of the discussion of the identity and individuality of quantum entities. I shall point out that for some aspects of the discussion, the logical basis cannot be put aside; on the contrary, it leads us to unavoidable conclusions which may have consequences in how we articulate certain concepts related to quantum theory. Behind the discussion, there is a general argument which suggests the possibility of a metaphysics of non-individuals, based on (...) a reasonable interpretation of quantum basic entities. I close the paper with a suggestion that consists in emphasizing that quanta should be referred to by the cardinalities of the collections to which they belong, for which an adequate mathematical framework seems to be possible. (shrink)

Many philosophers embrace grounding, supposedly a central notion of metaphysics. Grounding is widely assumed to be irreflexive, but recently a number of authors have questioned this assumption: according to them, it is at least possible that some facts ground themselves. The primary purpose of this paper is to problematize the notion of self-grounding through the theoretical roles usually assigned to grounding. The literature typically characterizes grounding as at least playing two central theoretical roles: a structuring role and an explanatory role. (...) Once we carefully spell out what playing these roles includes, however, we find that any notion of grounding that isn’t irreflexive fails to play these roles when they are interpreted narrowly, and is redundant for playing them when they are interpreted more broadly. The upshot is that no useful notion of grounding can allow a fact to ground itself. (shrink)

Along with many other languages, English has a relatively straightforward grammatical distinction between mass-occurrences of nouns and their countoccurrences. As the mass-count distinction, in my view, is best drawn between occurrences of expressions, rather than expressions themselves, it becomes important that there be some rule-governed way of classifying a given noun-occurrence into mass or count. The project of classifying noun-occurrences is the topic of Section II of this paper. Section III, the remainder of the paper, concerns the semantic differences between (...) nouns in their mass-occurrences and those in their count-occurrences. As both the name view and the mixed view are, in my opinion, subject to serious difficulties discussed in Section III.1,I defend a version of the predicate view. Traditionally, nouns in their singular count-occurrences are also analyzed as playing the semantic role of a predicate. How, then, does the predicate view preserve the intuitive difference between nouns in their mass- and those in their count-occurrences? I suggest, in Section III.2, that there are different kinds of predicates: mass-predicates, e.g. ‘is hair’, singular count-predicates, e.g. ‘is a hair’, and plural count-predicates, e.g. ‘are hairs’. Mass-predicates and count-predicates, in my view, are not reducible to each other. The remainder of Section III takes a closer look at the differences and interrelations between these different kinds of predicates. Mass-predicates and count-predicates differ from each other truth-conditionally, and these truth-conditional differences turn out to have interesting implications, in particular concerning the part-whole relation and our practices of counting. But mass- and count-predicates are also related to each other through systematic entailment relations; these entailment relations are examined in Section III.4. (shrink)

In his excellent book, Four-Dimensionalism: An Ontology of Persistence and Time (Sider, 2001), Theodore Sider defends a version of four-dimensionalism which he calls the ‘stage-theory’. This paper focuses on Sider's argument from vagueness and argues that, due to the problematic nature of the argument from vagueness, Sider’s case in favor of four-dimensionalism is in the end not successful.

After drawing attention to the basic importance of Goodman's workThe Structure of Appearance, this paper turns to a critical analysis of Goodman's claims concerning worldmaking. It stresses that Goodman's acceptance of a multiplicity of actual worlds doesnot involve the belief in an unknowable underlying reality; but that it is due to the non-mysterious fact that constructional systems allow for a multiplicity of disagreeing, right versions. However, from the point of view of truthmaker ontology, most worlds of constructional systems are not (...) genuine worlds; and so far it hasnot been shown that there are genuine truthmaker worlds that disagree.It is suggested that the construction of systems usually involves three conflicting aims: the logical, the ontological, and the psychological. Considering the current interest in cognitive psychology and phenomenology, the implications of the psychological aim, too, deserve to be reexamined. (shrink)

Recently, we have been presented with an argument against the intrinsicality of shape that appeals to a plausible Humean principle. According to the argument, if shape is intrinsic and the location relation is fundamental, then we cannot explain the necessary correlation between an object’s shape and the shape of its location. And, it is claimed, the Humean principle tells us that an unexplained necessary correlation like this one is unacceptable. In this paper I respond to this argument by rejecting the (...) favoured interpretation of the Humean principle. I claim that sometimes there are truths about what it means to stand in a given relation, even when that relation has no analysis.. These truths sometimes entail that the relata of the relation have certain features. And it is not problematic for truths about what it means to stand in a relation to be unexplained. I argue that it is plausible to take is located at to be such a relation; an object’s having exactly the same shape as the region it is located at is part of what it means to be located at that region. I conclude with an amended formulation of the Humean claim that still captures the spirit of the principle without threatening the intrinsicality of shape. (shrink)

Current formulations of Four-Dimensionalism may be objected to on grounds that they are too inflexible: the formulations do not seem to allow for enough variety in the views they are paired with. For instance, Kit Fine has noted that formulations of Four-Dimensionalism in terms of instantaneous parts may be too demanding for Four-Dimensionalists who believe nothing is instantaneous. And Trenton Merricks has argued that one can think something persists four-dimensionionally without taking it to have proper temporal parts, and claims that (...) our formulation of Four-Dimensionalism should be revised to allow for this. I will add my own worries to those of Fine and Merricks. I will note that current formulations of Four-Dimensionalism are not sufficiently neutral with respect to the structure of time, with respect to how liberally objects decompose into parts, and with respect to whether objects and the regions they fill match in mereological structure. I will show that we can formulate Four-Dimensionalism in a sufficiently neutral way, while still producing a view that can do the work we typically require of Four-Dimensionalism. (shrink)

In this paper, I argue against the claim recently defended by Josh Weisberg that a certain version of the self-representational approach to phenomenal consciousness cannot avoid a set of problems that have plagued higher-order approaches. These problems arise specifically for theories that allow for higher-order misrepresentation or—in the domain of self-representational theories—self-misrepresentation. In response to Weisberg, I articulate a self-representational theory of phenomenal consciousness according to which it is contingently impossible for self-representations tokened in the context of a conscious mental (...) state to misrepresent their objects. This contingent infallibility allows the theory to both acknowledge the (logical) possibility of self-misrepresentation and avoid the problems of self-misrepresentation. Expanding further on Weisberg’s work, I consider and reveal the shortcomings of three other self-representational models—put forward by Kreigel, Van Gulick, and Gennaro—in order to show that each indicates the need for this sort of infallibility. I then argue that contingent infallibility is in principle acceptable on naturalistic grounds only if we attribute (1) a neo-Fregean kind of directly referring, indexical content to self-representational mental states and (2) a certain ontological structure to the complex conscious mental states of which these indexical self-representations are a part. In these sections I draw on ideas from the work of Perry and Kaplan to articulate the context-dependent semantic structure of inner-representational states. (shrink)

This essay considers implications of formal mereologies and ontologies for medical metaphysics. Edward Fried’s extensional mereological account of the human body is taken as representative of a prominent strand in analytic metaphysics that has close affinities with medical positivism. I show why such accounts fail. First, I consider how Fried attempts to make sense of the medical case of Barney Clark, the first recipient of an artificial heart, and show that his analytic metaphysical categories do not have the right kind (...) of fit with the case. A proper medical metaphysic should involve a richer two way dialogue with medicine, and it should not just “apply” formal accounts worked out in other settings. Second, I argue that any effort to account for real wholes with extensional mereological sums requires all sorts of ad hoc, supplementary mechanisms that do the real work, and the full repertoire of these mechanisms involves inconsistencies and semantic shifts. Finally, I consider an alternative strand of work on non-extensional whole/part relations that is closer to medicine and that can deepen reflection on some core problems in bioethics, for example, associated with the determination of death when an organism ceases to function as a whole. In addition to the utility such formal ontologies have for addressing traditional problems such as the determination of death, philosophers of medicine should appreciate the increasingly influential role such formal tools are playing in the development of data system ontologies. Assumptions integral to these ontologies have far reaching implications for the way future research and practice in medicine will be conducted, and much greater critical reflection is needed on the full range of issues associated with the development and use of such medical ontologies. (shrink)