The goal of this paper is to raise a few questions about Bayne s mereological account of the unity of consciousness. In Section 1, I raise a few clarificatory questions about the account and the thesis that consciousness is necessarily unified. In Sections 2 and 3, I offer an alternative view of unity of consciousness and contrast it with Bayne's view. I call this view the connectivity account. These sections prepare the ground for the main question of this article: why (...) should we prefer Bayne's mereological view to the connectivity view? (shrink)

I show that a particular version of Hume's Dictum together with the falsity of Composition as Identity entails an incoherency, so either that version of Hume's Dictum is false or Composition as Identity is true. I conditionally defend the particular version of Hume's Dictum in play, and hence conditionally conclude that Composition as Identity is true. I end by suggesting an alternative way out for a persistent foe of Composition as Identity, namely mereological nihilism.

This study is in two parts. In the first part, various important principles of classical extensional mereology are derived on the basis of a nice axiomatization involving ‘part of’ and fusion. All results are proved here with full Fregean rigor. They are chosen because they are needed for the second part. In the second part, this natural-deduction framework is used in order to regiment David Lewis’s justification of his Division Thesis, which features prominently in his combination of mereology with class (...) theory. The Division Thesis plays a crucial role in Lewis’s informal argument for his Second Thesis in his book Parts of Classes. In order to present Lewis’s argument in rigorous detail, an elegant new principle is offered for the theory that combines class theory and mereology. The new principle is called the Canonical Decomposition Thesis. It secures Lewis’s Division Thesis on the strong construal required in order for his argument to go through. The exercise illustrates how careful one has to be when setting up the details of an adequate foundational theory of parts and classes. The main aim behind this investigation is to determine whether an anti-realist, inferentialist theorist of meaning has the resources to exhibit Lewis’s argument for his Second Thesis—which is central to his marriage of class theory with mereology—as a purely conceptual one. The formal analysis shows that Lewis’s argument, despite its striking appearance to the contrary, can be given in the constructive, relevant logic IR. This is the logic that the author has argued, elsewhere, to be the correct logic from an anti-realist point of view. The anti-realist is therefore in a position to regard Lewis’s argument as purely conceptual. (shrink)

Nexuses such as exemplification are the fundamental ties that structure reality as a whole. They are “formal” in the sense of constituting the form, not the matter of reality and they are “transcendental” inasmuch as they transcend the categorial distinctions between the denizens of reality, including that between existents and non-existents. I shall advocate a moderately particularist view about (external) nexuses and argue that it provides not only the best solution to Bradley’s regress, but also an elegant account of symmetrical (...) relations (both formal and material), as well as of temporal and modal change. These advantages are illustrated by the reconstruction of an Aristotelian ontology of exemplification involving substances, kinds and material attributes. (shrink)

I present a formal ontological theory where the basic building blocks of the world can be either things or events. In any case, the result is a Parmenidean worldview where change is not a global property. What we understand by change manifests as asymmetries in the pattern of the world-lines that constitute 4-dimensional existents. I maintain that such a view is in accord with current scientific knowledge.

A collection of material on Husserl's Logical Investigations, and specifically on Husserl's formal theory of parts, wholes and dependence and its influence in ontology, logic and psychology. Includes translations of classic works by Adolf Reinach and Eugenie Ginsberg, as well as original contributions by Wolfgang Künne, Kevin Mulligan, Gilbert Null, Barry Smith, Peter M. Simons, Roger A. Simons and Dallas Willard. Documents work on Husserl's ontology arising out of early meetings of the Seminar for Austro-German Philosophy.

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)

A well-rehearsed move among teleological realists in the philosophy of biology is to base the idea of genuinely teleological forms of organic self-reproduction on a type of causality derived from Kant. Teleological realists have long argued for the causal possibility of this form of causality—in which a whole is considered the cause of its parts—as well as formulated a set of teleological criteria of adequacy for it. What is missing, to date, is an account of the mereological principles that govern (...) the envisioned whole-to-part causality. When the latter principles are taken into account, we find that there is no version of whole-to-part causality that is mereologically, causally and teleologically possible all at once, as teleological realism requires. (shrink)

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.

This book is a survey of the most important developments in Austrian philosophy in its classical period from the 1870s to the Anschluss in 1938. Thus it is intended as a contribution to the history of philosophy. But I hope that it will be seen also as a contribution to philosophy in its own right as an attempt to philosophize in the spirit of those, above all Roderick Chisholm, Rudolf Haller, Kevin Mulligan and Peter Simons, who have done so much (...) to demonstrate the continued fertility of the ideas and methods of the Austrian philosophers in our own day. For some time now, historians of philosophy have been gradually coming to terms with the idea that post-Kantian philosophy in the German-speaking world ought properly to be divided into two distinct traditions which we might refer to as the German and Austrian traditions, respectively. The main line of the first consists in a list of personages beginning with Kant, Fichte, Hegel and Schelling and ending with Heidegger, Adorno and Bloch. The main line of the second may be picked out similarly by means of a list beginning with Bolzano, Mach and Meinong, and ending with Wittgenstein, Neurath and Popper. As should be clear, it is the Austrian tradition that has contributed most to the contemporary mainstream of philosophical thinking in the Anglo-Saxon world. For while there are of course German thinkers who have made crucial contributions to the development of exact or analytic philosophy, such thinkers were outsiders when seen from the perspective of native German philosophical culture, and in fact a number of them found their philosophical home precisely in Vienna. When, in contrast, we examine the influence of the Austrian line, we encounter a whole series of familiar and unfamiliar links to the characteristic concerns of more recent philosophy of the analytic sort. As Michael Dummett points out in his Origins of Analytic Philosophy, the newly fashionable habit of referring to analytic philosophy as "Anglo-American" is in this light a "grave historical distortion". If, he says, we take into account the historical context in which analytic philosophy developed, then such philosophy "could at least as well be called "Anglo-Austrian" (1988, p. 7). Much valuable scholarly work has been done on the thinking of Husserl and Wittgenstein, Mach and the Vienna Circle. The central axis of Austrian philosophy, however, which as I hope to show in what follows is constituted by the work of Brentano and his school, is still rather poorly understood. Work on Meinong or Twardowski by contemporary philosophers still standardly rests upon simplified and often confused renderings of a few favoured theses taken out of context. Little attention is paid to original sources, and little effort is devoted to establishing what the problems were by which the Austrian philosophers in general were exercised -- in spite of the fact that many of these same problems have once more become important as a result of the contemporary burgeoning of interest on the part of philosophers in problems in the field of cognitive science. (shrink)

An account of the ontological nature of collectives would be useful for several reasons. A successful theory would help to show us a route through the thicket of views known as “methodological individualism”. It would have a bearing on the plausibility of legal positivism. It would be relevant to the question whether collectives are capable of acting. The debate about the ontology of collectives is therefore important for such fields as the theory of action, social and political philosophy, the philosophy (...) of law and the philosophy of social science. I hope to contribute to the debate by proposing an account of collectives, and by showing its theoretical soundness and utility. In its essentials, my proposal is that collectives are “mereological sums” of “stages” of persons linked by a “unity relation”. The influence on this account of some theories of personal identity will perhaps be obvious. But the motivation is different, for it lies at least as much in the ability of the theory to help us deal with the issues already mentioned as in problems concerning the identity of collectives over time. I acknowledge that my proposal is not commonsensical; however, I believe that no account could be both commonsensical and adequate. I will begin by introducing some constraints on a theory of collectives. (shrink)

Prompted by the "Panel Discussion of Grünbaum's Philosophy of Science" (Philosophy of Science 36, December, 1969) and other recent literature, this essay ranges over major issues in the philosophy of space, time and space-time as well as over problems in the logic of ascertaining the falsity of a scientific hypothesis. The author's philosophy of geometry has recently been challenged along three main distinct lines as follows: (i) The Panel article by G. J. Massey calls for a more precise and more (...) coherent account of the Riemannian conception of an intrinsic as opposed to an extrinsic metric, which the author has invoked as his basis for the distinction between non-conventional and convention-laden ascriptions of metrical equality and inequality; (ii) the latter distinction has been claimed to suffer from the liabilities of the so-called "standard conception" of scientific theories [36]; and (iii) pursuant to H. Putnam's "An Examination of Grünbaum's Philosophy of Geometry" [56], J. Earman [16, 17] and R. Swinburne [65] have contended that the difference between intrinsic and extrinsic metrics is scientifically unilluminating, and that the associated distinction between non-conventional and convention-laden metrical comparisons does not have the kind of relevance to extant scientific theories that the author has claimed for it. The essay consists of two installments. The present installment, comprising the Introduction and Part A, is devoted to the clarification, correction and further development of the author's prior writings on the philosophy of geometry. Its main objective is constructive elaboration rather than offering polemics. But rebuttals to Earman, [16, 17], Swinburne [65] and Demopoulos [13] are included, because their inclusion conduced to clarity in giving the new exposition. Part B is to appear in a subsequent issue and will be devoted to replies to critiques contained in the Panel Discussion and in other recent literature. It will range over issues in the philosophy of geometry and in the logic of ascertaining the falsity of a scientific hypothesis. By way of merely elliptical anticipation of much more precise statements given in Part A, section 3(ii), the Introduction dissociates the notion of convention-ladenness developed in Part A from the quite different notion integral to the so-called "standard conception" of scientific theories. Thereby, the Introduction prepares the ground for seeing, as a corollary to Part A, section 3(ii), that the notion advocated in the present essay has nothing to fear from the following fact, noted by C. G. Hempel ([36]; cf. also his 1970 Carus Lectures): "even though a sentence may originally be introduced as true by stipulation, it soon joins the club of all other member-statements of the theory and becomes subject to revision in response to further empirical findings and theoretical developments." Part A, which begins with a fairly detailed table of contents, endeavors to meet the aforementioned three-fold challenge to the author's philosophy of geometry. Massey's call for the provision of clear and detailed characterizations of intrinsic and extrinsic metrics is answered with the invaluable aid rendered personally by Massey himself. These characterizations are shown to permit a precise explication of the portions of Riemann's Inaugural Dissertation relevant to (1) Riemann's brilliant anticipation of Einstein's dynamical conception of physical geometry, and (2) the author's philosophical characterization of the metrics and geometries of space, time, and space-time {section 2(c)}. A byproduct of the analysis is to raise two major philosophical doubts concerning Clifford's sketch of a so-called "space-theory of matter" as elaborated in J. A. Wheeler's relativistic geometrodynamics. That theory's vision of understanding matter as a manifestation of empty curved space is questioned in regard to (1) the existence of an intra-geometrodynamic basis for individuating the metrically homogeneous world points of its space-time manifold {section 1(a)}, and (2) the compatibility of the theory with the Riemannian metrical philosophy apparently espoused by its proponents {section 2(c)(i)}. (shrink)

1. 1. PROGRAM It will be our aim to reconstruct, with precision, certain views which have been traditionally associated with nominalism and to investigate problems arising from these views in the construction of interpreted formal systems. Several such systems are developed in accordance with the demand that the sentences of a system which is acceptable to a nominalist must not imply the existence of any entities other than individuals. Emphasis will be placed on the constructionist method of philosophical analysis. To (...) follow this method is to introduce the central notions of the subject-matter to be investigated into a system governed by exact rules. For example, the constructionist method of investigating the properties of geometric figures may consist in formulating a system of postulates and definitions which, together with the apparatus of formal logic, generates all necessary truths concerning geometric figures. Similarly, a constructionist analysis of the notion of an individual may take the form of an axiomatic theory whose provable assertions are just those which seem essential to the role played by the concept of an individual in system atic contexts. Such axiomatic theories gain in interest if they are supple mented by precise semantical rules specifying the denotation of all terms and the truth conditions of all sentences of the theory. (shrink)

The bulk of Duhem's writing which bears on the understanding of mixtures suggests he adopted an Aristotelian position which he opposed only to the atomic view. A third view from antiquity-that of the Stoics-seems not to be taken into account. But his lines of thought are not always as explicit as could be wished. The Stoic view is considered here from a perspective which Duhem might well have adopted. This provides a background against which his somewhat unorthodox Aristotelianism might be (...) understood. (shrink)

According to standard, pre-philosophical intuitions, there are many composite objects in the physical universe. There is, for example, my bicycle, which is composed of various parts - wheels, handlebars, molecules, atoms, etc. Recently, a growing body of philosophical literature has concerned itself with questions about the nature of composition.1 The main question that has been raised about composition is, roughly, this: Under what circumstances do some things compose, or add up to, or form, a single object? It turns out that (...) it is surprisingly difficult to give a satisfactory answer to this question that accords with standard, pre-philosophical intuitions about the universe's composite objects. In fact, the three rival views in response to this question that have received the most support in the literature are (i) that there are no objects composed of two or more parts (which means that there are no stars, chairs, humans, or bicycles);2 (ii) that the only objects composed of two or more parts are living organisms (which still means no stars. (shrink)

We can see mereology as a theory of parthood and topology as a theory of wholeness. How can these be combined to obtain a unified theory of parts and wholes? This paper examines various non-equivalent ways of pursuing this task, with specific reference to its relevance to spatio-temporal reasoning. In particular, three main strategies are compared: (i) mereology and topology as two independent (though mutually related) chapters; (ii) mereology as a general theory subsuming topology; (iii) topology as a general theory (...) subsuming mereology. Some more speculative strategies and directions for further research are also considered. (shrink)

This is a revised and extended version of the formal theory of holes outlined in the Appendix to the book "Holes and Other Superficialities". The first part summarizes the basic framework (ontology, mereology, topology, morphology). The second part emphasizes its relevance to spatial reasoning and to the semantics of spatial prepositions in natural language. In particular, I discuss the semantics of ‘in’ and provide an account of such fallacious arguments as “There is a hole in the sheet. The sheet is (...) in the drawer. Ergo *there is a hole in the drawer”. (shrink)

Mereotopology is today regarded as a major tool for ontological analysis, and for many good reasons. There are, however, a number of open questions that call for an answer. Some are philosophical, others have direct applicative import, but all are crucial for a proper assessment of the strengths and limits of mereotopology. This paper is an attempt to put sum order in this area.

where ‘aa’ is a plural term, and ‘F’ a plural predicate. Following George Boolos (1984) and others, many philosophers and logicians also think that plural expressions should be analysed as not introducing any new ontological commitments to some sort of ‘plural entities’, but rather as involving a new form of reference to objects to which we are already committed (for an overview and further details, see Linnebo 2004). For instance, the plural term ‘aa’ refers to Alice, Bob and Charlie simultaneously, (...) and the plural predicate ‘F’ is true of some things just in case these things cooperate. A natural question that arises is whether the step from the singular to the plural can be iterated. Are there terms that stand to ordinary plural terms the way ordinary plural terms stand to singular terms? Let’s call such terms superplural. A superplural term would thus, loosely speaking, refer to several ‘pluralities’ at once, much as an ordinary plural term refers to several objects at once.1 Further, let’s call a predicate superplural if it can be predicated of superplural terms. It is reasonably straightforward to devise a formal logic of superplural terms, superplural predicates, and even superplural quantifiers (see Rayo 2006). But does this formal logic reflect any features of natural languages? In particular, does ordinary English contain superplural terms and predicates? The purpose of this article is to address these questions. We examine some earlier arguments for the existence of superplural expressions in English and find them to be either.. (shrink)

What follows is an investigation of the ontology of Franz Brentano with special reference to Brentano's later and superficially somewhat peculiar doctrine to the effect that the substances of the material world are three dimensional places. Taken as a whole, Brentano's philosophy is marked by three, not obviously compatible, trait. In the first place, his work is rooted in the metaphysics of Aristotle, above all in Aristotle's substance/accident ontology and in the Aristotelian theory of categories. In the second place, Brentano (...) embraced a Cartesian epistemology. He saw the source of all knowledge as residing in our direct awareness of our own mental phenomena and in our capacity to grasp evident incompatibilities in the realm of concepts.) Thirdly, he regarded the existence of an external world as at most probable, and denied outright the existence of a world similar to the world that is given in experience. Finally, and in some sense linking together these opposing strands, he propagated an idea of what he called "descriptive psychology", a discipline which would on the one hand yield exact knowledge of the structures and categories of mental life, and on the other hand provide an epistemologically sure foundation for other branches of philosophy. As we shall see, it is this psychological aspect of Brentano's philosophy which leads him to his conception of the substantiality of place. Surprisingly, however, the psychological considerations which underlie Brentano's thinking will be shown to raise a series of questions strictly ontological in nature, questions which are not without a systematic interest of their own. (shrink)

I thank my commentators for their kind words, and for their close reading and challenging criticisms of my book. I have chosen selective and substantive replies. Those criticisms I ignore, I ignore because I have little more to say, not because they are unworthy of discussion.

I argue for a property mereology and for mereological bundle theory. I then apply this theory to the one over many problem (universals) and puzzles concerning persistence and material constitution.

The discovery of the importance of mereology follows and does not precede the formalisation of the theory. In particular, it was only after the construction of an axiomatic theory of the part-whole relation by the Polish logician Stanisław Leśniewski that any attempt was made to reinterpret some periods in the history of philosophy in the light of the theory of parts and wholes. Secondly, the push for formalisation - and the individuation of mereology as a specific theoretical field - arise (...) from several particular theories, first from biology and then from psychology. Mereological considerations were explicitly developed within the school of Brentano, by Brentano himself- starting from the problem of the unity of consciousness - and by his students, particularly Stumpl, Twardowski and the Gestaltists. The most complete result of this tradition is undoubtedly the third of Husserl's Logical Investigations, called "the single most important contribution to realist (Aristotelian) ontology in the modern period". (shrink)

In §54 of the Grundlagen, Frege advances an interesting proposal on how to distinguish among different sorts of concepts, only some of which he thinks can be associated with number. This paper is devoted to an analysis of the two criteria he offers, isolation and non-arbitrary division. Both criteria say something about the way in which a concept divides its extension; but they emphasize different aspects. Isolation ensures that a concept divides its extension into discrete units. I offer two construals (...) of this: isolation as discreteness, i.e. absence of overlap, between the objects to be counted; and isolation as the drawing of conceptual boundaries. Non-arbitrary division concerns the internal structure of the units we count: it makes sure that we cannot go on dividing them arbitrarily and still find more units of the kind. Non-arbitrary division focuses not only on how long something can be divided into parts of the same kind; it also speaks to the way in which these divisions are made, arbitrarily or non-arbitrarily, as well as to the compositional structure of the objects divided. (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.

Equality of welfare among persons has no intrinsic value. This follows from three axiological principles: (i) a principle of the indifference of the distribution of utility across time within an individual’s life, (ii) a strong supervenience principle for value, and (iii) a principle of the additivity of value across disjoint time periods. (iii) is the most likely target for attack by the egalitarian; but the rejection of (iii) creates decision-theoretic paradoxes.

What are the relationships between an entity and the space at which it is located? And between a region of space and the events that take place there? What is the metaphysical structure of localization? What its modal status? This paper addresses some of these questions in an attempt to work out at least the main coordinates of the logical structure of localization. Our task is mostly taxonomic. But we also highlight some of the underlying structural features and we single (...) out the interactions between the notion of localization and nearby notions, such as the notions of part and whole, or of necessity and possibility. A theory of localization—we argue—is needed in order to account for the basic relations between objects and space, and runs afoul a pure part-whole theory. We also provide an axiomatization of the relation of localization and examine cases of localization involving entities different from material objects. (shrink)

If an object has a property essentially, it has that property in every possible world according to which it exists.2 If an object has a property accidentally, it does not have that property in every possible world according to which it exists. Claims about an object’s essential or accidental properties are de re modal claims, and essential and accidental properties are de re modal properties. Take an object’s modal profile to specify its essential properties and the range of its accidental (...) properties. Note that “world” as I am using it is a term of art: a modal realist believes that there are many concrete worlds, while the actualist believes in only one concrete world, the actual world. The ersatzist is an actualist who takes nonactual possible worlds and their contents to be abstracta. Essentialism is the view that objects have properties essentially, but one should distinguish deep essentialism from shallow essentialism. Deep essentialists take the (nontrivial) essential properties of an object to determine its nature— such properties give sense to the idea that an object has a unique and distinctive character, and make it the case that an object has to be a certain way in order for it to be at all.3 As Stephen Yablo (1987, 297) describes it, the essence of a thing is “an assortment of properties in virtue of which it is the entity in question,” as well as “a measure of what is required for it to be that thing.” Intuitively, on the deep essentialist picture, an ordinary object has essential properties, and it must have its essential properties in order for it to exist. On this view, objects’ essential properties are absolute, i.e., are not determined by contexts of describing (or thinking, etc.) about the object, and truths about such properties are absolute truths.4 Shallow essentialists oppose deep essentialists: they reject the view that objects can be said to have essential properties independently of contexts of description or evaluation, and so substitute context-dependent truths for the deep essentialist’s context-independent ones.. (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)

The paper outlines a model-theoretic framework for investigating and comparing a variety of mereotopological theories. In the first part we consider different ways of characterizing a mereotopology with respect to (i) the intended interpretation of the connection primitive, and (ii) the composition of the admissible domains of quantification (e.g., whether or not they include boundary elements). The second part extends this study by considering two further dimensions along which different patterns of topological connection can be classified - the strength of (...) the connection and its multiplicity. (shrink)

Abstract: Friends of plural logic—like Oliver & Smiley (2001), Rayo (2002), Yi (2005), and McKay (2006)—have argued that a semantics of plurals based on mereological sums would be too weak, and they have adduced several examples in favor of their claim. However, they have not considered various possible counter-arguments. So how convincing are their own arguments? We show that several of them are easily answered, while some others are more problematic. Overall, the case against mereological singularism—the idea that mereological sums (...) can serve as the semantic values of plurals—turns out to be much less strong than what it is usually presented to be. (shrink)

Online collection of papers by Devitt, Dretske, Guarino, Hochberg, Jackson, Petitot, Searle, Tye, Varzi and other leading thinkers on philosophy and the foundations of cognitive Science. Topics dealt with include: Wittgenstein and Cognitive Science, Content and Object, Logic and Foundations, Language and Linguistics, and Ontology and Mereology.

In this paper I propose a defense of a posteriori materialism.Problems with a posteriori identity materialism are identified,and a materialism based on composition, not identity, is proposed.The main task for such a proposal is to account for the relationbetween physical and phenomenal properties. Composition does notseem to be fit as a relation between properties, but I offer apeculiar way to understand property-composition, based on somerecent ideas in the literature on ontology. Finally, I propose amaterialist model for the mind-body relation that (...) is able to resistthe attack from conceivability arguments. (shrink)

Classical mereology is a formal theory of the part-whole relation, essentially involving a notion of mereological fusion, or sum. There are various different definitions of fusion in the literature, and various axiomatizations for classical mereology. Though the equivalence of the definitions of fusion is provable from axiom sets, the definitions are not logically equivalent, and, hence, are not inter-changeable when laying down the axioms. We examine the relations between the main definitions of fusion and correct some technical errors in prominent (...) discussions of the axiomatization of mereology. We show the equivalence of four different ways to axiomatize classical mereology, using three different notions of fusion. We also clarify the connection between classical mereology and complete Boolean algebra by giving two "neutral" axiom sets which can be supplemented by one or the other of two simple axioms to yield the full theories; one of these uses a notion of "strong complement" that helps explicate the connections between the theories. (shrink)

In this paper, using a propositional modal language extended with the window modality, we capture the first-order properties of various mereological theories. In this setting,$\Box \varphi $readsall the parts(of the current object)are$\varphi $, interpreted on the models with awhole-partbinary relation under various constraints. We show that all the usual mereological theories can be captured by modal formulas in our language via frame correspondence. We also correct a mistake in the existing completeness proof for a basic system of mereology by providing (...) a new construction of the canonical model. (shrink)

I propose a version of the act‐type theory of propositions, following Hanks and Soames. According to the theory, propositions are types of act of predication. The content of a sentence is the type of such act performed when that sentence is uttered. A consequence of this theory is that the structure of the content of a sentence will mirror the structure of that sentence. I defend this consequence of the theory from two important objections. I then argue that this theory (...) is well motivated because it can be part of a theory of what is said. (shrink)

It is usually accepted that deductions are non-informative and monotonic, inductions are informative and nonmonotonic, abductions create hypotheses but are epistemically irrelevant, and both deductions and inductions can’t provide new insights. In this article, I attempt to provide a more cohesive view of the subject with the following hypotheses: (1) the paradigmatic examples of deductions, such as modus ponens and hypothetical syllogism, are not inferential forms, but coherence requirements for inferences; (2) since any reasoner aims to be coherent, any inference (...) must be deductive; (3) a coherent inference is an intuitive process where the premises should be taken as sufficient evidence for the conclusion, which on its turn should be viewed as necessary evidence for the premises in some modal range; (4) inductions, properly understood, are abductions, but there are no abductions beyond the fact that in any inference the conclusion should be regarded as necessary evidence for the premises; (5) monotonicity is not only compatible with the retraction of past inferences given new information, but it is a requirement for it; (6) this explanation of inferences holds true for discovery processes, predictions and trivial inferences. (shrink)

If two self-connected individuals are connected, it follows in classical extensional mereotopology that the sum of those individuals is self-connected too. Since mainland Europe and mainland Asia, for example, are both self-connected and connected to each other, mainland Eurasia is also self-connected. In contrast, in non-extensional mereotopologies, two individuals may have more than one sum, in which case it does not follow from their being self-connected and connected that the sum of those individuals is self-connected too. Nevertheless, one would still (...) expect it to follow that a sum of connected self-connected individuals is self-connected too. In this paper, we present some surprising countermodels which show that this conjecture is incorrect. (shrink)

It is well-known that the entangled quantum state of a composite object cannot be reduced to the states of its parts. This quantum holism provides a peculiar challenge to formulate an appropriate mereological model: When a system is in an entangled state, which objects are there on the micro and macro level, and which of the objects carries which properties? This paper chooses a modeling approach to answer these questions: It proceeds from a systematic overview of consistent mereological models for (...) entangled systems and discusses which of them is compatible with the quantum mechanical evidence (where quantum states are understood realistically). It reveals that entangled quantum systems neither describe undivided wholes nor objects that stand in irreducible relations. The appropriate model assumes that the entangled property is an irreducible non-relational plural property carried collectively by the micro objects, while there is no macro object. In this sense, quantum holism is an instance of property holism, not of object holism. (shrink)

In linguistics, the dominant approach to the semantics of plurals appeals to mereology. However, this approach has received strong criticisms from philosophical logicians who subscribe to an alternative framework based on plural logic. In the first part of the article, we offer a precise characterization of the mereological approach and the semantic background in which the debate can be meaningfully reconstructed. In the second part, we deal with the criticisms and assess their logical, linguistic, and philosophical significance. We identify four (...) main objections and show how each can be addressed. Finally, we compare the strengths and shortcomings of the mereological approach and plural logic. Our conclusion is that the former remains a viable and well-motivated framework for the analysis of plurals. (shrink)

Maureen Donnelly’s (2016) relative positionalism correctly handles any fixed arity relation with any symmetry such a relation can have, yielding the intuitively correct way(s) in which that relation can apply. And it supplies an explanation of what is going on in the world that makes this the case. But it has at least one potential shortcoming — one that its opponents are likely to seize upon: it can only handle relations with fixed arities. It is unable to handle relations with (...) variable arities. I argue that, all else being equal, relative positionalism ought nonetheless to be preferred to its closest competitors — at least to the extent that the explanation it supplies of relational application is plausible — even though those competitors can handle variable arity relations in addition to fixed arity relations. (shrink)

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)