This paper aims to characterise properly entanglement as an external relation obtaining between multiple quantum degrees of freedom. In particular, we argue that the entanglement relation is a unique relation fully characterised by mutual information, i.e. a quantity standardly used as a measure of entanglement. This analysis leads us to propose a new metaphysical account of entanglement, which we call Relational Entanglement Tesseract. Such an account characterises entanglement for both bipartite and multipartite cases, and, at the same time, it satisfies (...) what we argue are three important desiderata of any metaphysical account of entanglement. (shrink)

I formulate a theory of groups based on pluralities and counterparts: roughly put, a group is a plurality of entities at a time. This theory comes with counterpart-theoretic semantics for modal and temporal sentences about groups. So this theory of groups is akin to the stage theory of material objects: both take the items they analyze to exist at a single time, and both use counterparts to satisfy certain conditions relating to the modal properties, temporal properties, and coincidence properties of (...) those items. (shrink)

A number of natural language constructions seem to provide access to structured pluralities — that is, pluralities of pluralities. A body of semantic work has debated how to model this additional structure and the extent to which it depends on pragmatics. In this article, after controlling for the distinction between ambiguity and underspecification, we present new data showing that structured pluralities are sometimes but not always available, depending on the form of the plural noun phrase used. We show that these (...) results challenge two longstanding theories of plurality. We sketch two different ways to account for these data and describe some of the diverging predictions they make. (shrink)

According to ‘composition as identity’, a composite object is identical to all its parts taken together. Thus, a plurality of composite objects is identical to the plurality of those objects’ parts. This has the consequence that, e.g., the bricks which compose a brick wall are identical to the atoms which compose those bricks, and hence that the plurality of bricks must include each of those atoms. This consequence of CAI is in direct conflict with the standard analysis of plural definite (...) descriptions. According to that analysis, the denotation of ‘the bricks’ can include only bricks. It seems, then, that if CAI is true, ‘the bricks’ doesn’t denote anything; more generally, if CAI is true, there are fewer pluralities than we ordinarily think. I respond to this argument by developing an alternative analysis of plural descriptions which allows the denotation of ‘the bricks’ to include non-bricks. Thus, we can accept CAI, while still believing in all the pluralities we could want. As a bonus, my approach to plural descriptions and plural comprehension blocks recent arguments to the effect that CAI entails compositional nihilism. (shrink)

We say that each social group is identical to its members. The group just is them; they just are the group. This view of groups as pluralities has tended to be swiftly rejected by social metaphysicians, if considered at all, mainly on the basis of two objections. First, it is argued that groups can change in membership, while pluralities cannot. Second, it is argued that different groups can have exactly the same members, while different pluralities cannot. We rebut these objections, (...) and argue that our plural view is superior to alternative reductive proposals which would identify social groups with the sets or fusions of their members. Finally we deal with some further potential challenges for the view of groups as pluralities. Thus we aim to establish it as a serious contender in the metaphysics of groups. (shrink)

Leibniz often refers to the Principle of Sufficient Reason (PSR) as something like a first principle. In some texts, however, he attempts to give positive arguments in its favor. I examine two such arguments, and find them wanting. The first argument has two defects. First, it is question-begging; and second, when the question-begging step is excised, the principle one can in fact derive is highly counter-intuitive. The second argument is valid, but has the defect of only reaching a nearly trivial (...) conclusion. (shrink)

Plural expressions found in natural languages allow us to talk about many objects simultaneously. Plural logic — a logical system that takes plurals at face value — has seen a surge of interest in recent years. This book explores its broader significance for philosophy, logic, and linguistics. What can plural logic do for us? Are the bold claims made on its behalf correct? After introducing plural logic and its main applications, the book provides a systematic analysis of the relation between (...) this logic and other theoretical frameworks such as set theory, mereology, higher-order logic, and modal logic. The applications of plural logic rely on two assumptions, namely that this logic is ontologically innocent and has great expressive power. These assumptions are shown to be problematic. The result is a more nuanced picture of plural logic's applications than has been given thus far. Questions about the correct logic of plurals play a central role in the final chapters, where traditional plural logic is rejected in favor of a "critical" alternative. The most striking feature of this alternative is that there is no universal plurality. This leads to a novel approach to the relation between the many and the one. In particular, critical plural logic paves the way for an account of sets capable of solving the set-theoretic paradoxes. (shrink)

According to ‘Strong Composition as Identity’, if an entity is composed of a plurality of entities, it is identical to them. As it has been argued in the literature, SCAI appears to give rise to some serious problems which seem to suggest that SCAI-theorists should take their plural quantifier to be governed by some ‘weak’ plural comprehension principle and, thus, ‘exclude’ some kinds of pluralities from their plural ontology. The aim of this paper is to argue that, contrary to what (...) may appear at first sight, the assumption of a weak plural comprehension principle is perfectly compatible with plural logic and the common uses of plural quantification. As I aim to show, SCAI-theorists can simply claim that their theory must be understood as formulated by means of the most ‘joint-carving’ plural quantifier, thus leaving open the possibility of other, less joint-carving, ‘unrestricted’ plural quantifiers. In the final part of the paper I will also suggest that SCAI-theorists should not only allow for singular quantification over pluralities of entities, but also for plural quantification over ‘super-pluralities’ of entities. (shrink)

The notion of potential infinity dominated in mathematical thinking about infinity from Aristotle until Cantor. The coherence and philosophical importance of the notion are defended. Particular attention is paid to the question of whether potential infinity is compatible with classical logic or requires a weaker logic, perhaps intuitionistic.

The standard argument for the existence of distinctively mathematical objects like numbers has two main premises: some mathematical claims are true, and the truth of those claims requires the existence of distinctively mathematical objects. Most nominalists deny. Those who deny typically reject Quine’s criterion of ontological commitment. I target a different assumption in a standard type of semantic argument for. Benacerraf’s semantic argument, for example, relies on the claim that two sentences, one about numbers and the other about cities, have (...) the same grammatical form. He makes this claim on the grounds that the two sentences are superficially similar. I argue that these grounds are not sufficient. Other sentences with the same superficial form appear to have different grammatical forms. I offer two plausible interpretations of Benacerraf’s number sentence that make use of plural quantification. These interpretations appear not to incur ontological commitments to distinctively mathematical objects, even assuming Quine’s criterion. Such interpretations open a new, plural strategy for the mathematical nominalist. (shrink)

The resemblance nominalist says that the truthmaker of 〈Socrates is white〉 ultimately involves only concrete particulars that resemble each other. Furthermore he also says that Socrates and Plato are the truthmakers of 〈Socrates resembles Plato〉, and Socrates and Aristotle those of 〈Socrates resembles Aristotle〉. But this, combined with a principle about the truthmakers of conjunctions, leads to the apparently implausible conclusion that 〈Socrates resembles Plato and Socrates resembles Aristotle〉 and 〈Socrates resembles Plato and Plato resembles Aristotle〉 have the same truthmakers, (...) namely, Socrates, Plato and Aristotle. I shall argue that the resemblance nominalist can say that those conjunctions have the same truthmakers but these truthmakers make them true in different ways. I shall also use this view to account for the truthmakers of propositions like 〈Socrates is white〉, and respond to previous objections by Cian Dorr and Jessica Wilson. (shrink)

Composition as Identity claims that a composite object is identical to its parts taken collectively. This is often understood as reducing the identity of composite objects to the identity of their parts. The author argues that Composition as Identity is not such a reduction. His central claim is that an intensional notion of composition, which is sensitive to the arrangement of the composing objects, avoids criticisms based on an extensional understanding of composition. The key is to understand composition as an (...) intensional kind of identity relation, many-one identity. Eventually, the author suggests an arrangement condition for many-one identity that allows him to distinguish between composite objects, even if they have the same parts. (shrink)

A dilemma put forward by Schein (1993) and Rayo (2002) suggests that, in order to characterize the semantics of plurals, we should not use predicate logic, but non-singular logic, a formal language whose terms may refer to several things at once. We show that a similar dilemma applies to mass nouns. If we use predicate logic and sets, we arrive at a Russellian paradox when characterizing the semantics of mass nouns. Likewise, a semantics of mass nouns based upon predicate logic (...) and mereological sums is too weak, since it cannot characterize the “intermediary” construals that sentences containing mass nouns may receive. We then develop an account where mass nouns are treated as non-singular terms, which may refer to several things at once. This semantics is faithful to the intuition that, if there are eight pieces of silverware on a table, the speaker refers to eight things at once when he says: “The silverware that is on the table comes from Italy”. We show that this account provides a satisfactory semantics for a wide range of sentences, including cases often seen as difficult, like “The gold on the table weighs seven ounces” (Bunt 1985) and “All phosphorus is either red or black” (Roeper 1983). (shrink)

A dilemma put forward by Schein (1993) and Rayo (2002) suggests that, in order to characterize the semantics of plurals, we should not use predicate logic, but plural logic, a formal language whose terms may refer to several things at once. We show that a similar dilemma applies to mass nouns. If we use predicate logic and sets when characterizing their semantics, we arrive at a Russellian paradox. And if we use predicate logic and mereoogical ums, the semantics turns out (...) to be too weak. We then develop an account where mass nouns are treated as non-singular terms. This semantics is faithful to the intuition that, if there are eight pieces of silverware on a table, the speaker refers to eight things at once when he says: "The silverware that is on the table comes from Italy." We show that this account provides a satisfactory semantics for a wide range of sentences. (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)

Languages involving modalities and languages involving vagueness have each been thoroughly studied. On the other hand, virtually nothing has been said about the interaction of modality and vagueness. This paper aims to start filling that gap. Section 1 is a discussion of various possible sources of vague modality. Section 2 puts forward a model theory for a quantified language with operators for modality and vagueness. The model theory is followed by a discussion of the resulting logic. In Section 3, the (...) framework will permit us to address a puzzle raised by Elizabeth Barnes and Robert Williams. (shrink)

Plural logic is widely assumed to have two important virtues: ontological innocence and determinacy. It is claimed to be innocent in the sense that it incurs no ontological commitments beyond those already incurred by the first-order quantifiers. It is claimed to be determinate in the sense that it is immune to the threat of non-standard interpretations that confronts higher-order logics on their more traditional, set-based semantics. We challenge both claims. Our challenge is based on a Henkin-style semantics for plural logic (...) that does not resort to sets or set-like objects to interpret plural variables, but adopts the view that a plural variable has many objects as its values. Using this semantics, we also articulate a generalized notion of ontological commitment which enables us to develop some ideas of earlier critics of the alleged ontological innocence of plural logic. (shrink)

In a series of publications I have claimed that by contrast to standard formal languages, quantifiers in natural language combine with a general term to form a quantified argument, in which the general term's role is to determine the domain or plurality over which the quantifier ranges. In a recent paper Zoltán Gendler Szabó tried to provide a counterexample to this analysis and derived from it various conclusions concerning quantification in natural language, claiming it is often ‘bare’. I show that (...) Szabó's example fails, and that even if it were successful his conclusions would not be supported by it. (shrink)

Gödel claimed that Zermelo-Fraenkel set theory is 'what becomes of the theory of types if certain superfluous restrictions are removed'. The aim of this paper is to develop a clearer understanding of Gödel's remark, and of the surrounding philosophical terrain. In connection with this, we discuss some technical issues concerning infinitary type theories and the programme of developing the semantics for higher-order languages in other higher-order languages.

This paper examines the ontological commitments of the second-order language of arithmetic and argues that they do not extend beyond the first-order language. Then, building on an argument by George Boolos, we develop a Tarski-style definition of a truth predicate for the second-order language of arithmetic that does not involve the assignment of sets to second-order variables but rather uses the same class of assignments standardly used in a definition for the first-order language.

In recent literature on plurals the claim has often been made that the move from singular to plural expressions can be iterated, generating what are occasionally called higher-level plurals or superplurals, often correlated with superplural predicates. I argue that the idea that the singular-to-plural move can be iterated is questionable. I then show that the examples and arguments intended to establish that some expressions of natural language are in some sense higher-level plurals fail. Next, I argue that these and some (...) other expressions should instead be classified as plurals whose reference is articulated, an idea explained and elaborated in the paper. I also show that the related categories of plural and superplural predicates collapse to that of ordinary predicates. In the process we also see that the law of substitutivity salva veritate should be elaborated for cases involving expressions more complex than singular ones. (shrink)

We speak of products in two senses: in one, we speak of types of products, in the other we speak of the particular objects that are instances of those types. I argue that types of products have the same ontological status as that of material stuffs, like water and gold, which have a non-particular level of existence. I also argue that the relationship between types of products and their instances is logically similar to the relation of constitution, which holds between, (...) say, gold and a ring made of gold. In my approach, types of products are concrete entities, having spatiotemporal properties. This picture fits our commonplace conception of types of products better than alternative approaches according to which types of products are universal, abstract, or mereological entities. (shrink)

1. ExpositionRichard Sharvy's ‘A more general theory of definite descriptions’ was published in 1980. Its aim was to replace Russell's paradigm by " a general theory of definite descriptions, of which definite mass descriptions, definite plural descriptions, and Russellian definite singular count descriptions are species. … We have an account of the generic ‘the’ along these same lines. " By now his theory has attained the status of a new paradigm. Even a casual trawl of the literature throws up over (...) a score of citations and endorsements, and no rebuttals of its central contention that the primary use of ‘the’ is to indicate totality . We shall argue that it is wrong for mass description, wrong for singular description, wrong for plural description and wrong for generic ‘the’. Sharvy would have approved: his obituary says that his car displayed the slogan ‘Subvert the Dominant Paradigm’.He follows Russell in treating descriptions as incomplete symbols, but nothing in his paper turns on this aspect of it, and we can bypass the issue by considering them in the context of complete sentences. Where Russell translates F into the predicate calculus as Formula Sharvy translates it as Formula Here ≤ is supposed to stand for some or other species of part of relation. His other governing idea is of a predicate's being cumulative. G is cumulative if any number of things that satisfy G have a sum, i.e. a least upper bound with respect to ≤ which also satisfies G. The meanings of ≤, sum and cumulativity vary according to the different kinds of description, which we take in the order in which Sharvy presents them. Meanwhile, we note that he originally defined ‘sum’ to mean simply the l.u.b. , but subsequently redefined …. (shrink)

Survey of issues pertaining to the semantics of mass and plural nouns.

Almost all philosophers interested in parthood and composition think that a composite object is a further thing, numerically distinct from the objects that compose it. Call this the orthodox view. I argue that the orthodox view is false, and that a composite object is identical to the objects that compose it (collectively). This view is known as composition as identity. -/- I argue that, despite its unpopularity, there are many reasons to favour com- position as identity over the orthodox view. (...) First, defenders of the orthodox view have not offered complete theories of composition. For instance, they have not given adequate accounts of heterogeneous properties like being black and white in composite objects. Nor have they given satisfactory explanations for the necessary connections that hold between composite objects and their proper parts. -/- Second, there appears to be no good way for defenders of the orthodox view to remedy this. Any account of the heterogeneous properties of composite objects which is compatible with the orthodox view faces serious problems, as does any account of the necessary connections between an object and its proper parts. Composition as identity, on the other hand, is compatible with intuitive responses to both of these challenges. -/- Third, there are a number of strong arguments in favour of composition as identity. For example, composition as identity fits our evidence about the way the world is better than the orthodox view does. It also allows us to easily maintain that composition sometimes occurs and sometimes does not—i.e., it allows us to easily maintain that composition is restricted. The orthodox view does not. The theories of composition put forward by most philosophers are at best incomplete or in need of improvement. At worst, they are false and composition as identity is true. (shrink)

This paper is based on a criterion recently proposed by Richard Fumerton for demarcating philosophy of mind and cognitive science. I suggest to extend it to a demarcation criterion between philosophy and science in general, and put it in the context of the historical changes of boundaries between the philosophical and the scientifi c fi eld. I point to a number of philosophical claims and approaches that have been made utterly obsolete by the advancement of science, and conjecture that a (...) similar thing may happen in the future with today’s philosophy of mind: under the supposition that cognitive science manages to progress very successfully in a certain direction, our concepts for mental states could change, and the type of philosophical interest we put in them, thus reshaping thewhole debate on the subject. (shrink)

A distinction is introduced between itemized and non-itemized plural predication. It is argued that a full-fledged system of plural logic is not necessary in order to account for the validity of inferences concerning itemized collective predication. Instead, it is shown how this type of inferences can be adequately dealt with in a first-order logic system, after small modifications on the standard treatment. The proposed system, unlike plural logic, has the advantage of preserving completeness. And as a result, inferences such as (...) ‘Dick and Tony emptied the bottle, hence Tony and Dick emptied the bottle’ are shown to be first-order. (shrink)

This paper develops a formal system, consisting of a language and semantics, called serial logic ( SL ). In rough outline, SL permits quantification over, and reference to, some finite number of things in an order , in an ordinary everyday sense of the word “order,” and superplural quantification over things thus ordered. Before we discuss SL itself, some mention should be made of an issue in philosophical logic which provides the background to the development of SL , and with (...) respect to which I wish to contend that the system permits progress. (shrink)

‘Instantiation-directed slot theorists’ believe that properties/relations have slots which are filled by their instances/relata e.g., where Abigail is taller than Bronia, there are two slots in the relation Taller Than such that Abigail fills the first slot and Bronia fills the second. This crude statement of the theory runs into ‘The Problem of Filling’, whereby a natural understanding of the relation between slots, filling, and instantiation leads to absurd results. This paper examines a variety of solutions to that problem, one (...) of which is an extension of slot theory that adds an additional category of entities, ‘slotites’. (shrink)

Plural Logic is an extension of First-Order Logic which has, as well as singular terms and quantifiers, their plural counterparts. Analogously, Higher-Level Plural Logic is an extension of Plural Logic which has, as well as plural terms and quantifiers, higher-level plural ones. Roughly speaking, higher-level plurals stand to plurals like plurals stand to singulars; they are pluralised plurals. Allegedly, Higher-Level Plural Logic enjoys the expressive power of a simple type theory while committing us to nothing more than the austere ontology (...) of First-Order Logic. Were this true, Higher-Level Plural Logic would be a useful tool, with various applications in philosophy and linguistics. However, while the notions of plural reference and quantification enjoy widespread acceptance today, their higher-level counterparts have been received with a lot of scepticism. In this paper, I argue for the legitimacy of Higher-Level Plural Logic by providing evidence to the effect that natural languages contain higher-level plural expressions and showing that it is likely that they do so in an indispensable manner. Since the arguments I put forward are of the same sort advocates of Plural Logic have employed to defend their position, I conclude that the commonly held view that Plural Logic is legitimate, but not so its higher-level plural extensions is untenable. (shrink)

Recently, some philosophers have argued that we should take quantification of any (finite) order to be a legitimate and irreducible, sui generis kind of quantification. In particular, they hold that a semantic theory for higher-order quantification must itself be couched in higher-order terms. Øystein Linnebo has criticized such views on the grounds that they are committed to general claims about the semantic values of expressions that are by their own lights inexpressible. I show that Linnebo’s objection rests on the assumption (...) of a notion of semantic value or contribution which both applies to expressions of any order, and picks out, for each expression, an extra-linguistic correlate of that expression. I go on to argue that higher-orderists can plausibly reject this assumption, by means of a hierarchy of notions they can use to describe the extra-lingustic correlates of expressions of different orders. (shrink)

Plural Logic is an extension of First-Order Logic with plural terms and quantifiers. When its plural terms are interpreted as denoting more than one object at once, Plural Logic is usually taken to be ontologically innocent: plural quantifiers do not require a domain of their own, but range plurally over the first-order domain of quantification. Given that Plural Logic is equi-interpretable with Monadic Second-Order Logic, it gives us its expressive power at the low ontological cost of a first-order language. This (...) makes it a valuable tool in various areas of philosophy. Some authors believe that Plural Logic can be extended into an even more expressive logic, Higher-Level Plural Logic, by adding higher-level plural terms and quantifiers to it. The basic idea is that second-level plurals stand to plurals like plurals stand to singulars. Allegedly, Higher-Level Plural Logic enjoys the expressive power of type theory while, again, committing us only to the austere ontology of a first-order language. Were this really the case, Higher-Level Plural Logic would be a very useful tool, extending and strengthening some of the applications of Plural Logic. However, while the notions of plural reference and quantification enjoy widespread acceptance today, their higher-level counterparts have been received with scepticism. The main objection raised against them is that higher-level plural reference is unintelligible. This has been argued, among others, on the grounds that there are no higher-level plurals in natural language and that, if there were any, they could be eliminated. In this thesis, after introducing the debate on plurals in Chapters 1 and 2, I turn to defending the legitimacy of the notion of higher-level plural reference. To this end, in Chapter 3, I present and elucidate the notion. Next, in Chapter 4, I show that some natural languages clearly contain these expressions and that they do so in an ineliminable manner. Finally, in Chapters 5 and 6, I develop a semantics for higher-level plurals that employs only devices previously well-understood by English speakers. To finish, in Chapter 7, I describe an application of Higher-level Plural Logic: a strengthening of the neo-Fregean programme. After describing my proposal, I turn to the issue of the logical status of this formalism and defend an optimistic take on the matter. (shrink)

Perhaps the most pressing challenge for singularism—the predominant view that definite plurals like ‘the students’ singularly refer to a collective entity, such as a mereological sum or set—is that it threatens paradox. Indeed, this serves as a primary motivation for pluralism—the opposing view that definite plurals refer to multiple individuals simultaneously through the primitive relation of plural reference. Groups represent one domain in which this threat is immediate. After all, groups resemble sets in having a kind of membership-relation and iterating: (...) we can have groups of groups, groups of groups of groups, etc. Yet there cannot be a group of all non-self-membered groups. In response, we develop a potentialist theory of groups according to which we always can, but do not have to, form a group from any sum. Modalizing group-formation makes it a species of potential, as opposed to actual or completed, infinity. This allows for a consistent, plausible, and empirically adequate treatment of natural language plurals, one which is motivated by the iterative nature of syntactic and semantic processes more generally. (shrink)

Since the linguistic turn, many have taken semantics to guide ontology. Here, I argue that semantics can, at best, serve as a partial guide to ontological commitment. If semantics were to be our guide, semantic data and semantic treatments would need to be taken seriously. Through an examination of plurals and their treatments, I argue that there can be multiple, equally semantically adequate, treatments of a natural language theory. Further, such treatments can attribute different ontological commitments to a theory. Given (...) this, I argue that semantics can fail to deliver determinate ontological commitments and determinate answers to ontological questions, more generally. (shrink)

In previous work, Hellman and Shapiro present a regions-based account of a one-dimensional continuum. This paper produces a more Aristotelian theory, eschewing the existence of points and the use of infinite sets or pluralities. We first show how to modify the original theory. There are a number of theorems that have to be added as axioms. Building on some work by Linnebo, we then show how to take the ‘potential’ nature of the usual operations seriously, by using a modal language, (...) and we show that the two approaches are equivalent. (shrink)