This paper provides a detailed comparison between discourse representation theory and dependent type semantics, two frameworks for discourse semantics. Although it is often stated that DRT and those frameworks based on dependent types are mutually exchangeable, we argue that they differ with respect to variable handling, more specifically, how substitution and other operations on variables are defined. This manifests itself in two recalcitrant problems posed for DRT; namely, the overwrite problem and the duplication problem. We will see that these problems (...) still pose a challenge for various extended compositional systems based on DRT, while they do not arise in a framework of DTS where substitution and other operations are defined in the standard type-theoretic manner without stipulating any additional constraints. We also compare the notions of contexts underlying these two kinds of frameworks, namely, contexts represented as assignment functions and contexts represented as proof terms, and see what different predictions they make for some linguistic examples. (shrink)

The effects of utterances such as cue phrases, keep-turn markers, and grounding signals cannot be characterized as changes to a shared record of the propositions under discussed: the simplest (and arguably most natural) way of characterizing the meaning of these utterances is in terms of a theory in which the conversational score is seen as a record of the discourse situation, or at least of the speech acts that have been performed. The problem then becomes to explain how discourse entities (...) are accessible. We consider three hypotheses about the dynamics of a speech act-based theory of the conversational score, and argue that they could be implemented with relatively minor modifications to the technical tools already introduced in theories such as Compositional DRT. (shrink)

This paper offers a semantically-based solution to the problem of predicting whether a verb will display the subjective conjugation or the objective conjugation in Hungarian. This alternation correlates with the definiteness of the object, but definiteness is not a completely reliable indicator of the subjective/objective alternation, nor is specificity. A prominent view is that the subjective/objective alternation is conditioned by the syntactic category of the object, but this view has also been shown to be untenable. This paper offers a semantic (...) solution: If the referential argument of a phrase is lexically specified as familiar/new, then the phrase bears the feature [+DEF]/[−DEF], and this feature governs the conjugations. The notions of novelty and familiarity are made precise using a compositional version of DRT in the context of a suitably large fragment of Hungarian, including local and non-local personal pronouns, demonstratives, definite and indefinite articles, quantifiers, wh-words, numerals, and possessives. (shrink)

The paper argues that two distinct and independent notions of plurality are involved in natural language anaphora and quantification: plural reference (the usual non-atomic individuals) and plural discourse reference, i.e., reference to a quantificational dependency between sets of objects (e.g., atomic/non-atomic individuals) that is established and subsequently elaborated upon in discourse. Following van den Berg (PhD dissertation, University of Amsterdam, 1996), plural discourse reference is modeled as plural information states (i.e., as sets of variable assignments) in a new dynamic system (...) couched in classical type logic that extends Compositional DRT (Muskens, Linguistics and Philosophy, 19, 143-186, 1996). Given the underlying type logic, compositionality at sub-clausal level follows automatically and standard techniques from Montague semantics become available. The idea that plural info states are semantically necessary (in addition to non-atomic individuals) is motivated by relative-clause donkey sentences with multiple instances of singular donkey anaphora that have mixed (weak and strong) readings. At the same time, allowing for non-atomic individuals in addition to plural info states enables us to capture the intuitive parallels between singular and plural (donkey) anaphora, while deriving the incompatibility between singular (donkey) anaphora and collective predicates. The system also accounts for empirically unrelated phenomena, e.g., the uniqueness effects associated with singular (donkey) anaphora discussed in Kadmon (Linguistics and Philosophy, 13, 273-324, 1990) and Heim (Linguistics and Philosophy, 13, 131-177, 1990) among others. (shrink)

The paper proposes an account of the contrast (noticed in Karttunen 1976) between the interpretations of the following two discourses: Harvey courts a girl at every convention. {She is very pretty. vs. She always comes to the banquet with him.}. The initial sentence is ambiguous between two quantifier scopings, but the first discourse as a whole allows only for the wide-scope indefinite reading, while the second allows for both. This cross-sentential interaction between quantifier scope and anaphora is captured by means (...) of a new dynamic system couched in classical type logic, which extends Compositional DRT (Muskens 1996) with plural information states (modeled, following van den Berg 1996, as sets of variable assignments). Given the underlying type logic, compositionality at sub-clausal level follows automatically and standard techniques from Montague semantics become available. The paper also shows that modal subordination (A wolf might come in. It would eat Harvey first) can be analyzed in a parallel way, i.e. the system captures the anaphoric and quantificational parallels between the individual and modal domains argued for in Stone (1999) (among others). In the process, we see that modal / individual-level quantifiers enter anaphoric connections as a matter of course, usually functioning simultaneously as both indefinites and pronouns. (shrink)

The standard way to represent anaphoric dependencies is to co-index the anaphor with its antecedent in the syntactic input to semantic rules, which then interpret such indices as variables. Dynamic theories (e.g. Kamp’s DRT, Heim’s File Change Semantics, Muskens’s Compositional DRT, etc) combine syntactic co-indexation with semantic left-to-right asymmetry. This captures the fact that the anaphor gets its referent from the antecedent and not vice versa. Formally, a text updates the input state of information to the output state. In (...) particular, an indexed antecedent updates the entity assigned to its index, and the output entity is then picked up as the referent by any subsequent co-indexed anaphor. (shrink)

The paper focuses on the semantics of distributivity, grammatical number, and cardinality predicates. I argue that constructions involving so-called ‘dependent plurals’, i.e. plurals lacking cardinality predicates occurring in the scope of certain quantificational items such as all and most, pose a challenge to familiar semantic frameworks that distinguish between two sources of multiplicity: mereological plurality and distributive quantification. I argue that dependent plural readings should be analysed as distinct both from cumulative readings and distributive readings, in the classical sense. I (...) demonstrate how this can be accomplished in a semantic framework where expressions are evaluated relative to sets of assignments, or plural info states Proceedings of the 7th Amsterdam Colloquium, ILLC, University of Amsterdam, Amsterdam, 1990, in Dekker and Stokhof Proceedings of the 9th Amsterdam Colloquium, ILLC, University of Amsterdam, Amsterdam, 1994, Some aspects of the Internal Structure of Discourse. The Dynamics of Nominal Anaphora. PhD thesis, University of Amsterdam, 1996). The specific formal implementation is based on a modified version of Brasoveanu’s :129–209. https://doi.org/10.1007/s10988-008-9035-0, 2008) Plural Compositional DRT. In this framework we are able to distinguish between two types of distributivity: weak distributivity across the assignments in a single plural info state and strong distributivity across multiple info states. I argue that both of these types of distributivity play a role in the semantics of natural language, accounting for the contrasting properties of ‘singular quantifiers’, such as each and every, and ‘plural quantifiers’, such as all and most. The contrasting properties of bare plurals and plurals involving cardinality modifiers are analysed in terms of the distinction between state-level and assignment-level plurality. (shrink)

There are two kinds of semantic theories of anaphora. Some, such as Heim’s File Change Semantics, Groenendijk and Stokhof’s Dynamic Predicate Logic, or Muskens’ Compositional DRT (CDRT), seem to require full coindexing of anaphora and their antecedents prior to interpretation. Others, such as Kamp’s Discourse Representation Theory (DRT), do not require this coindexing and seem to have an important advantage here. In this squib I will sketch a procedure that the first group of theories may help themselves to so (...) that they can interleave interpretation and coindexing in DRT’s way. (shrink)

In Groenendijk & Stokhof [1989] a system of dynamic predicate logic (DPL) was developed, as a compositional alternative for classical discourse representation theory (DRT ). DPL shares with DRT the restriction of being a first-order system. In the present paper, we are mainly concerned with overcoming this limitation. We shall define a dynamic semantics for a typed language with λ-abstraction which is compatible with the semantics DPL specifies for the language of first-order predicate logic. We shall propose to use (...) this new logical system as the semantic component of a Montague-style grammar (referred to as dynamic Montague grammar, DMG), which will enable us to extend the compositionality of DPL to the subsentential level. Furthermore, we shall extend this analysis also in this sense that we shall add new, dynamic interpretations for logical constants which in DPL were treated in a static fashion. This will substantially increase the descriptive coverage of DMG. (shrink)

The meanings of donkey sentences cannot be captured using a procedure which, like Montague’s, uses the existential quantifiers of classical logic to translate indefinites and the variables to translate pronouns. The treatment of these examples requires meanings which depend on the context in which sentences appear, and thus necessitates a logic which models this context to some extent. If context is represented as the information conveyed in discourse, and the meanings of pronouns are enriched to depend on this information, the (...) result is the E-Type approach (ETA) adapted by Heim (1990) from proposals in Evans (1980) and Cooper (1979). If the context is represented as a list of potential referents, and the meanings of indefinites are enriched to introduce new referents into this list, the result is a compositional formulation like Groenendijk and Stokhof’s (1990) of the discourse representation theory (DRT) of Kamp (1981) and Heim (1982). Either tack suffices to capture the way in which the referents of he and it systematically correspond to the alternative possibilities described by the antecedent. Disjunction offers a parallel way of introducing alternatives in the antecedent of a conditional, as shown in (2). (shrink)

Both formal semantics and cognitive semantics are the source of important insights about language. By developing precise statements of the rules of meaning in fragmentary, abstract languages, formalists have been able to offer perspicuous accounts of how we might come to know such rules and use them to communicate with others. Conversely, by charting the overall landscape of interpretations, cognitivists have documented how closely interpretations draw on the commonsense knowledge that lets us make our way in the world. There is (...) no opposition between these insights. Sooner or later we will have a semantics that responds to both. However, developing such a semantics is profoundly difficult, because there are certain tensions to be overcome in reconciling the two perspectives. For one thing, the overall landscape of meaning does seem to be characterized by a much richer ontology and more dynamic categories than are exhibited by the fragments typically studied in the formal tradition. One sign of strain is the recent tendency to talk of “procedural”, “non-compositional”, or “computational” semantics, as in Hamm, Kamp and van Lambalgen 2006, hereafter HK&vL. We think such locutions can serve as useful reminders to keep semantics fixed on the central question of how language allows us to share information that some have and others need to get. However, there is some danger that formalists will merely by put off by an idea that, taken literally, may not be such a good one. In this short article, we want to explore and defend the traditional realist view attributed by HK&vL to Lewis among others. In fact, this view offers a well-developed, extremely straightforward and robust account of the relation between semantics and cognition. Moreover, while the realist view has ways of accommodating the representationalist insights of DRT (Lewis 1979; Thomason 1990; Stalnaker 1998), it remains unclear how “computational” semantics can account for the key data for the realist view: cases where we judge interlocutors to be ignorant about aspects of meaning in their native language (Kripke 1972; Putnam 1975; Stalnaker 1979; Williamson 1994).. (shrink)

In this note, we reconstruct some results of the DRT analysis of presupposition projection within the theory of local contexts of Schlenker (2009). The latter offered a way to annotate every sentence with variables that denote the various local context sets that play a crucial role in Heim’s satisfaction theory (Heim 1983). In standard satisfaction theories, a presupposition must be entailed by its local context. Here we allow a presupposition to be indexed with other local contexts, and we propose, following (...) van der Sandt (1992) and Zeevat (1992), that presuppositions are preferably anaphoric to the highest possible context. The resulting analysis emulates some desirable results of DRT—notably its solution to the ‘Proviso Problem’ (Geurts 1999). But it arguably improves on DRT in some respects: it can generate genuine conditional presuppositions; and it yields more adequate results for some quantified examples. Several limitations of the theory—some of them quite severe—are also discussed. (shrink)

Composition as identity, as I understand it, is a theory of the composite structure of reality. The theory’s underlying logic is irreducibly plural; its fundamental primitive is a generalized identity relation that takes either plural or singular arguments. Strong versions of the theory that incorporate a generalized version of the indiscernibility of identicals are incompatible with the framework of plural logic, and should be rejected. Weak versions of the theory that are based on the idea that composition is merely analogous (...) to identity are too weak to be interesting, lacking in metaphysical consequence. I defend a moderate version according to which composition is a kind of identity, and argue that the difference is metaphysically substantial, not merely terminological. I then consider whether the notion of generalized identity, though fundamental, can be elucidated in modal terms by reverse engineering Hume’s Dictum. Unfortunately, for realists about possible worlds, such as myself,... (shrink)

In this paper I argue that composition as identity entails unrestricted composition. I also briefly consider a new take on the special composition question.

The information conveyed by any utterance is a motley ensemble. Utterances carry content about the world as it is according to the speaker, but also about speakers’ attitudes, the way they speak, what has been said before, and so on. There are many kinds of information that are conveyed by way of language, and differences in kind correlate with differences in status. Presupposed information exhibits a distinctive projection behaviour; conversational implicatures are cancellable in a way that asserted information is not; (...) a pronoun’s gender may help to determine a referent, but is otherwise truth-conditionally inert; and so on. (shrink)

The paper is an extended discussion of what I call the ‘dismissive attitude’ towards metaphysical questions. It has three parts. In the first part, I distinguish three quite different versions of dismissivism. I also argue that there is little reason to think that any of these positions is correct about the discipline of metaphysics as a whole; it is entirely possible that some metaphysical disputes should be dismissed and others should not be. Doing metametaphysics properly requires doing metaphysics first. I (...) then put two particular disputes on the table to be examined in the rest of the paper: the dispute over whether composite objects exist, and the dispute about whether distinct objects can be colocated. In the second part of the paper, I argue against the claim that these disputes are purely verbal disputes. In the third part of the paper, I present a new version of dismissivism, and argue that it is probably the correct view about the two disputes in question. They are not verbal disputes, and the discussion about them to date has not remotely been a waste of time. At this stage, however, our evidence has run out. I argue that neither side of either dispute is simpler than the other, and that the same objections in fact arise against both sides. (For example, the compositional nihilist does not in fact escape the problem of the many, and the one-thinger does not in fact escape the grounding problem.). (shrink)

Many say that ontological disputes are defective because they are unimportant or without substance. In this paper, we defend ontological disputes from the charge, with a special focus on disputes over the existence of composite objects. Disputes over the existence of composite objects, we argue, have a number of substantive implications across a variety of topics in metaphysics, science, philosophical theology, philosophy of mind, and ethics. Since the disputes over the existence of composite objects have these substantive implications, they are (...) themselves substantive. (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)

This collection of essays is the first of its kind to focus on the relationship between composition and identity. Twelve original articles--written by internationally renowned scholars and rising stars in the field--argue for and against the controversial doctrine that composition is identity.--Provided by publisher.

In this paper, I present the thesis of Composition as Identity as I think it should be understood, and reply to some objections to it. My aim is not to argue that CAI is true, but to show how CAI can be true, and push the debate forward in the direction I think it must and should go in light of some new objections.

In this paper, I argue that the debate on Composition as Identity—the thesis that any composite object is identical to its parts—is deadlocked because both the defenders and the detractors of the claim have so far failed to take its philosophical core at face value and have, as a result, defended and criticized respectively something that is not Composition as Identity. After establishing how Composition as Identity should properly be understood and proposing for it a new interpretation centered around the (...) novel notion of metaphysical information, I set forth a strategy to defend it that crucially rests on the indefinite extensibility of the domain of quantification. I eventually suggest that “Composition as Analysis” is a name that better reflects the content and theoretical proposal of the thesis that Composition as Identity is supposed to be. (shrink)

I argue that composition as identity is incompatible with the possibility of emergent properties (as characterized in the paper) and so should be rejected.

‘Restricted composition’ says that there are some composite objects. And it says that some objects jointly compose nothing at all. The main threat to restricted composition is the influential and widely defended Vagueness Argument. We shall see that the Vagueness Argument fails. In seeing how this argument fails, we shall discover a new focus for the debate over composition's extent.

This chapter contains sections titled: 1 A Question about Composition 2 Some Answers 3 How Shall We Decide? 4 Common Sense and Unrestricted Composition 5 Common Sense and Compositional Nihilism 6 Compositional Nihilism and the Self 7 The Appeal to Science 8 Problem or Pseudoproblem? What To Do?

Orthodoxy says that the thesis that composition is identity (CAI) entails universalism: the claim that any collection of entities has a sum. If this is true it counts in favour of CAI, since a thesis about the nature of composition that settles the otherwise intractable special composition question (SCQ) is desirable. But I argue that it is false: CAI is compatible with the many forms of restricted composition, and SCQ is no easier to answer given CAI than otherwise. Furthermore, in (...) seeing why this is the case we reveal an objection to CAI: that it allows for the facts concerning what there is to be settled whilst leaving open the question about what is identical to what. (shrink)

Some strange cases have gripped philosophers of mind. They have been deployed against materialism about human persons, functionalism about mentality, the possibility of artificial intelligence, and more. In this paper, I cry “foul”. It’s not hard to think that there’s something wrong with the cases. But what? My proposal: their proponents ignore questions about composition. And ignoring composition is a mistake. Indeed, materialists about human persons, functionalists about mentality, and believers in the possibility of artificial intelligence can plausibly deploy moderate (...) theories of composition in defense of their views. And as it turns out, these strange cases are an interesting source of evidence for moderate theories of composition. (shrink)

When some objects are the parts of another object, they compose that object and that object is composite. This article is intended as an introduction to the central questions about composition and a highly selective overview of various answers to those questions. In §1, we review some formal features of parthood that are important for understanding the nature of composition. In §2, we consider some answers to the question: which pluralities of objects together compose something? As we will see, the (...) dominant answers are all of them and none of them. In §§3-4, we examine one of the main arguments that has driven philosophers to these extreme answers: the argument from vagueness. In §5, we turn to the question of whether composition is unique: is it sometimes the case that some things compose more than one thing? Finally, in §6, we turn from the question of which composites exist to the question of which composites exist fundamentally. (shrink)

I argue that Composition as Identity blocks the plural version of Cantor's Theorem, and that therefore the plural version of Cantor's Theorem can no longer be uncritically appealed to. As an example, I show how this result blocks a recent argument by Hawthorne and Uzquiano.

David Lewis (1986) criticizes moderate views of composition on the grounds that a restriction on composition must be vague, and vague composition leads, via a precisificational theory of vagueness, to an absurd vagueness of existence. I show how to resist this argument. Unlike the usual resistance, however, I do not jettison precisificational views of vagueness. Instead, I blur the connection between composition and existence that Lewis assumes. On the resulting view, in troublesome cases of vague composition, there is an object, (...) which definitely exists, about which it is vague whether the relevant borderline parts compose it. (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)

Part I -- Scientific Composition and the New Mechanism. - 1. Laura Franklin-Hall: New Mechanistic Explanation and the Need for Explanatory Constraints. - 2. Kenneth Aizawa: Compositional Explanation: Dimensioned Realization, New Mechanism, and Ground. - 3. Jens Harbecke: Is Mechanistic Constitution a Version of Material Constitution?. - 4. Derk Pereboom: Anti-Reductionism, Anti-Rationalism, and the Material Constitution of the Mental. Part II -- Grounding, Science, and Verticality in Nature. - 5. Jonathan Schaffer: Ground Rules: Lessons from Wilson. - 6. Jessica (...) Wilson: The Unity and Priority Arguments for Grounding. - 7. Carl Gillett: The Metaphysics of Nature, Science, and the Rules of Engagement. - 8. Andrew Melnyk: Grounding and the Formulation of Physicalism. - 9. Alyssa Ney: Grounding in the Philosophy of Mind: A Defense. (shrink)

According to strong composition as identity, the logical principles of one–one and plural identity can and should be extended to the relation between a whole and its parts. Otherwise, composition would not be legitimately regarded as an identity relation. In particular, several defenders of strong CAI have attempted to extend Leibniz’s Law to composition. However, much less attention has been paid to another, not less important feature of standard identity: a standard identity statement is true iff its terms are coreferential. (...) We contend that, if coreferentiality is dropped, indiscernibility is no help in making composition a genuine identity relation. To this aim, we analyse as a case study Cotnoir’s theory of general identity, in which indiscernibility is obtained thanks to a revisionary semantics and true identity statements are allowed to connect non-coreferential terms. We extend Cotnoir’s strategy for indiscernibility to the relation of comaternity, and we show that, neither in the case of composition nor in that of comaternity, indiscernibility contibutes to show that they are genuine identity relations. Finally, we compare Cotnoir’s approach with other versions of strong CAI endorsed by Wallace, Bøhn, and Hovda, and canvass the extent to which they violate coreferentiality. The comparative analysis shows that, in order to preserve coreferentiality, strong CAI is forced to adopt a non-standard semantic treatment of the singular/plural distinction. (shrink)

Some claim that Composition as Identity (CI) entails Mereological Essentialism (ME). If this is right, then we have an effective modus tollens against CI: ME is clearly false, so CI is, too. Rather than deny the conditional, I will argue that a CI theorist should embrace ME. I endorse a theory of modal parts such that ordinary objects are spatially, temporally, and modally extended. Accepting modal parts is certainly beneficial to CI theorists, but it also provides elegant solutions to the (...) traditional puzzles of constitution, making it a competitive move in its own right. (shrink)

A ubiquitous assumption about composite material objects is that—if they exist at all—they are single things. This chapter articulates and defends manyism, which rejects that assumption. According to manyism, each composite object is simply its many parts. Since manyism accepts the existence of composite objects, it is distinct from nihilism; since manyism denies that composite objects are each one in number in addition to being many in number, it is distinct from the view known as composition as identity (CAI). What’s (...) more, manyism is both coherent and attractive. Manyism is coherent because it can be underwritten by a defensible quasi-Quinean metaontology, and because it’s not analytic that objects are each one in number. Manyism is attractive because it shares all of the benefits of CAI without having to join CAI in objectionably positing many–one identities, and without incurring other serious costs. (shrink)

This paper offers a composite portrait of the concept of magnanimity in nineteenth-century America, focusing on Ralph Waldo Emerson, Margaret Fuller, and Henry David Thoreau. A composite portrait, as a method in the history of philosophy, is designed to bring out characteristic features of a group's philosophizing in order to illuminate characteristic features that may still resonate in today's philosophy. Compared to more standard methods in the historiography of philosophy, the construction of a composite portrait de-privileges the views of individual (...) authors. These philosophers saw the virtue of magnanimity as a remedy for a number of modern ills. American philosophers suggest that the best sort of magnanimity is acquired by adopting the correct relation to the natural world, including new forms of inquiry, or by adopting a life of voluntary poverty. Magnanimous individuals are critics of capitalism and offer themselves as exemplars of a better, experimental life. (shrink)

Composition is Identity is the thesis that a whole is, strict and literally, its parts considered collectively. Mereological Nihilism is the thesis that there are no composite objects whatsoever instead. This paper argues that they are equivalent, at least insofar as Composition is Identity is phrased in a particular way. It then addresses some consequences of such equivalence.

According to the so-called strong variant of Composition as Identity (CAI), the Principle of Indiscernibility of Identicals can be extended to composition, by resorting to broadly Fregean relativizations of cardinality ascriptions. In this paper we analyze various ways in which this relativization could be achieved. According to one broad variety of relativization, cardinality ascriptions are about objects, while concepts occupy an additional argument place. It should be possible to paraphrase the cardinality ascriptions in plural logic and, as a consequence, relative (...) counting requires the relativization either of quantifiers, or of identity, or of the is one of relation. However, some of these relativizations do not deliver the expected results, and others rely on problematic assumptions. In another broad variety of relativization, cardinality ascriptions are about concepts or sets. The most promising development of this approach is prima facie connected with a violation of the so-called Coreferentiality Constraint, according to which an identity statement is true only if its terms have the same referent. Moreover - even provided that the problem with coreferentiality can be fixed - the resulting analysis of cardinality ascriptions meets several difficulties. (shrink)

Composition as Identity is the thesis that a whole is, strictly and literally, identical to its parts, considered collectively. McDaniel [2008] argues against CAI in that it prohibits emergent properties. Recently Sider [2014] exploited the resources of plural logic and extensional mereology to undermine McDaniel’s argument. He shows that CAI identifies extensionally equivalent pluralities – he calls it the Collapse Principle – and then shows how this identification rescues CAI from the emergentist argument. In this paper I first give a (...) new generalized version of both the arguments. It is more general in that it does not presuppose an atomistic mereology. I then go on to argue that the consequences of CP are rather radical. It entails mereological nihilism, the view that there are only mereological atoms. I finally show that, given a mild assumption about property instantiation, namely that there are no un-instantiated properties, this argument entails that CAI and emergent properties are incompatible after all. (shrink)

Many of those who accept the universalist thesis that mereological composition is unrestricted also maintain that the folk typically restrict their quantifiers in such a way as to exclude strange fusions when they say things that appear to conflict with universalism. Despite its prima facie implausibility, there are powerful arguments for universalism. By contrast, there is remarkably little evidence for the thesis that strange fusions are excluded from the ordinary domain of quantification. Furthermore, this reconciliatory strategy seems hopeless when applied (...) to the more fundamental conflict between universalism and the intuitions that tell against it. (shrink)

The article presents the chess composition as a logical art, with concrete examples. It began with Arabic mansuba, and later evolved to new-strategy designed by Italian Alberto Mari. The redefinition of mate (e.g. mate with a free field) or a theme to quasi-pseudo theme, opens the new space for combinations, and enables to connect it with other fields like computer science. The article was exhibited in Holland Park, W8 6LU, The Ice House between 18. Oct - 3. Nov. 2013.

This paper proposes and examines an answer to the special composition question—complex objects compress information about their parts. I start by defending fastenation for material objects and then extract from fastenation the idea that the conjoinment of parts establishes correlations among the locations and motions of those parts. I move from this to the proposal that entities are parts of some object when that object allows for the efficient, if lossy, compression of information about those parts.

There is widespread disagreement as to what the facts are concerning just when a collection of objects composes some further object; but there is widespread agreement that, whatever those facts are, they are necessary. I am unhappy to simply assume this, and in this paper I ask whether there is reason to think that the facts concerning composition hold necessarily. I consider various reasons to think so, but find fault with each of them. I examine the theory of composition as (...) identity, but argue that the version of this doctrine that entails universalism is implausible. I consider the claim that the a priority of such facts leads to their necessity, but give a defence of substantial contingent a priori truths. I ask whether the contingency of such facts would lead to unwelcome possibilities, but argue that the worrying looking possibilities can be blocked if it is desired. Next, I argue against the thought that the Lewis-Sider argument against restricted composition might give us reason to accept the necessity of universalism. Lastly, I respond to two objections from the 2006 BSPC. I conclude in favour of the contingency of the facts concerning when some things compose some thing. (shrink)

On the grounds that there are no mereological composites, mereological nihilists deny that ordinary objects exist. Even if nihilism is true, however, I argue that tables and chairs exist anyway: for I deny that ordinary objects are the mereological sums the nihilist rejects. Instead, I argue, ordinary objects have a different nature; they are arrangements, not composites. My argument runs as follows. First, I defend realism about ordinary objects by showing that there is something that plays the role of ordinary (...) objects in perception and discourse, and that ordinary objects are whatever plays this role. Next, I argue that it is arrangements that play this role. It follows that ordinary objects exist- even if mereological nihilism is true. (shrink)

This paper defends a realist account of the composition of Newtonian forces, dubbed ‘residualism’. According to residualism, the resultant force acting on a body is identical to the component forces acting on it that do not prevent each other from bringing about its acceleration. Several reasons to favor residualism over alternative accounts of the composition of forces are advanced. (i) Residualism reconciles realism about component forces with realism about resultant forces while avoiding any threat of causal overdetermination. (ii) Residualism provides (...) a systematic semantics for the term ‘force’ within Newtonian mechanics. (iii) Residualism allows us to precisely apportion the causal responsibility of each component force in the ensuing acceleration. (iv) Residualism handles special cases such as null forces, single forces, and antagonistic forces in a natural way. (v) Residualism provides a neat picture of the causal powers of forces: each force essentially has two causal powers⎯the power to bring about accelerations (sometimes together with other co-directionnal forces) and the power to prevent other forces from doing so⎯exactly one of which is manifested at a time. (vi) Residualism avoids commitment to unobservable effects of forces: forces cause either stresses (tensile or compressive) or accelerations. (shrink)