Noun phrases with overt determiners, such as <i>some apples</i> or <i>a quantity of milk</i>, differ from bare noun phrases like <i>apples</i> or <i>milk</i> in their contribution to aspectual composition. While this has been attributed to syntactic or algebraic properties of these noun phrases, such accounts have explanatory shortcomings. We suggest instead that the relevant property that distinguishes between the two classes of noun phrases derives from two modes of existential quantification, one of which holds the values of a variable fixed (...) throughout a quantificational context while the other allows them to vary. Inspired by Dynamic Plural Logic and Dependence Logic, we propose Plural Predicate Logic as an extension of Predicate Logic to formalize this difference. We suggest that temporal <i>for</i>-adverbials are sensitive to aspect because of the way they manipulate quantificational contexts, and that analogous manipulations occur with spatial <i>for</i>-adverbials, habituals, and the quantifier <i>all</i>. (shrink)

In this paper we discuss a phenomenon we call perspectival plurality, which has gone largely unnoticed in the current debate between relativism and contextualism about predicates of personal taste. According to perspectival plurality, the truth value of a sentence containing more than one PPT may depend on more than one perspective. Prima facie, the phenomenon engenders a problem for relativism and can be shaped into an argument in favor of contextualism. We explore the consequences of perspectival plurality in depth and (...) assess several possible responses on behalf of advocates of relativism. (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)

In this paper I focus on a recently discussed phenomenon illustrated by sentences containing predicates of taste: the phenomenon of " perspectival plurality " , whereby sentences containing two or more predicates of taste have readings according to which each predicate pertains to a different perspective. This phenomenon has been shown to be problematic for (at least certain versions of) relativism. My main aim is to further the discussion by showing that the phenomenon extends to other perspectival expressions than predicates (...) of taste and by proposing a general solution to the problem raised by it on behalf of the relativist. The core claim of the solution (" multiple indexing ") is that utterances of sentences containing perspectival expressions should be evaluated with respect to (possibly infinite) sequences of perspective parameters. (shrink)

How do plurals and mass nouns refer? What kind of logic should be used in order to account for the truth-conditions of the sentences they appear in? For linguists, first-order predicate logic is adequate, provided it is supplemented by a notion of mereological sum for plurals and for mass nouns. On the contrary, according to some philosophers, new logics must be used, plural logic for plurals and mass logic for mass nouns. We survey these debates in this entry.

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 revisits Sharvy's theory of plural definite descriptions. An alternative account of plural definite descriptions building on the ideas of plural quantification and non-distributive plural predication is developed. Finally, the alternative is extrapolated to account for generic uses of definite descriptions.

A number of authors in favor of a unitary account of singular descriptions have alleged that the unitary account can be extrapolated to account for plural definite descriptions. In this paper I take a closer look at this suggestion. I argue that while the unitary account is clearly onto something right, it is in the end empirically inadequate. At the end of the paper I offer a new partitive account of plural definite descriptions that avoids the problems with (...) both the unitary account and standard Russellian analyses. (shrink)

It is sometimes argued that non-agent collectives, including what one might call the ‘global collective’ consisting of the world’s population taken as a whole, cannot be the bearers of non-distributive moral obligations on pain of violating the principle that ‘ought implies can’. I argue that one prominent line of argument for this conclusion fails because it illicitly relies on a formulation of the ‘ought implies can’ principle which is inapt for contexts which allow for the possibility of non-distributive plural (...) predications of agency, which are precisely the contexts in which we might expect non-agents to be obligation-bearers. (shrink)

Many natural languages include plural terms, i.e., terms which denote many individuals at once. Are there also superplural terms, i.e., terms which denote many pluralities of individuals at once? Some philosophers say ‘Yes’, citing a range of sentence-types which apparently can’t be analyzed in a first-order plural logic, but which can be analyzed in a superplural one. We argue that all the data presented in favor of the superplural can, in fact, be analyzed using only first-order resources. The (...) key is to add to ordinary plural logic a new notion of a generalized cover. A generalized cover reflects how interlocutors in a conversation may divide a salient plurality into many subpluralities, which can then be involved in reference and predication. With generalized covers in place, all the apparently troublesome sentences can be easily handled. Our approach can also be extended to account, not only for linguistic data which seem to favor the superplural, but also for other phenomena involving plurals. The result is a unified approach to natural language plurals on which superplurals are analyzed away. (shrink)

The notion of existence is a very puzzling one philosophically. Often philosophers have appealed to linguistic properties of sentences stating existence. However, the appeal to linguistic intuitions has generally not been systematic and without serious regard of relevant issues in linguistic semantics. This paper has two aims. On the one hand, it will look at statements of existence from a systematic linguistic point of view, in order to try to clarify what the actual semantics of such statements in fact is. (...) On the other hand, it will explore what sort of ontology such statements reflect. The first aim is one of linguistic semantics; the second aim is one of descriptive metaphysics. Philosophically, existence statements appear to reflect the distinction between endurance and perdurance as well as particular notions of abstract states and of kinds. Linguistically, statements of existence involve a particular way of drawing the distinction between eventive and stative verbs and between individual-level and stage-level predicates as well as a particular approach to the semantics of bare plurals and mass nouns. (shrink)

We argue for three main claims. First, the sentence ‘A and B ought to φ and ψ’ can express what we a call a joint-ought claim: the claim that the plurality A and B ought to φ and ψ respectively. Second, the truth-value of this joint-ought claim can differ from the truth-value of the pair of claims ‘A ought to φ’ and ‘B ought to ψ.’ This is because what A and B jointly ought to do can diverge from what (...) they individually ought to do: it may be true that A and B jointly ought to φ and ψ respectively, yet false that A ought to φ and false that B ought to ψ; and vice-versa. Third, either of two prominent semantic analyses of ‘ought’ – Mark Schroeder’s relational semantics, and Angelika Kratzer’s modal semantics – can model joint-ought claims and this difference in truth-value. (shrink)

I argues that quantificational adverbs are unselective binders over individuals. The Lewisian analysis, however, fails to recognize the ambiguity in some quantificationally modified conditionals. That the Lewisian approach cannot predict some attested reading is known as the “proportion problem.” I propose a solution based on the following ideas: (a) quantificational adverbs bind selectively; (b) a singular indefinite and its anaphoric pronoun may introduce a plural discourse referent, and (c) plural predication is elusive.

Two objections are raised against Oliver and Smiley’s analysis of the collective–distributive opposition in their 2016 book: They take it as a basic premise that the collective reading of ‘baked a cake’ corresponds to a predicate different from its distributive reading, and the same applies to all predicate expressions that admit both a collective and a distributive interpretation. At the same time, however, they argue that inflectional forms of the same lexeme reveal a univocity that should be preserved in a (...) formal representation of English. These two assumptions sit uneasily. In developing their analysis, Oliver and Smiley come to the conclusion that even a singular predication such as ‘Tom baked a cake’ must be regarded as ambiguous between a collective and a distributive reading. This is so artificial that it hardly makes sense, and yet there seems to be no way out of the difficulty unless we are prepared to give up the basic premise just mentioned. (shrink)

Equality and identity. Bulletin of Symbolic Logic. 19 (2013) 255-6. (Coauthor: Anthony Ramnauth) Also see https://www.academia.edu/s/a6bf02aaab This article uses ‘equals’ [‘is equal to’] and ‘is’ [‘is identical to’, ‘is one and the same as’] as they are used in ordinary exact English. In a logically perfect language the oxymoron ‘the numbers 3 and 2+1 are the same number’ could not be said. Likewise, ‘the number 3 and the number 2+1 are one number’ is just as bad from a logical point (...) of view. In normal English these two sentences are idiomatically taken to express the true proposition that ‘the number 3 is the number 2+1’. Another idiomatic convention that interferes with clarity about equality and identity occurs in discussion of numbers: it is usual to write ‘3 equals 2+1’ when “3 is 2+1” is meant. When ‘3 equals 2+1’ is written there is a suggestion that 3 is not exactly the same number as 2+1 but that they merely have the same value. This becomes clear when we say that two of the sides of a triangle are equal if the two angles they subtend are equal or have the same measure. -/- Acknowledgements: Robert Barnes, Mark Brown, Jack Foran, Ivor Grattan-Guinness, Forest Hansen, David Hitchcock, Spaulding Hoffman, Calvin Jongsma, Justin Legault, Joaquin Miller, Tania Miller, and Wyman Park. -/- ► JOHN CORCORAN AND ANTHONY RAMNAUTH, Equality and identity. Philosophy, University at Buffalo, Buffalo, NY 14260-4150, USA E-mail: corcoran@buffalo.edu The two halves of one line are equal but not identical [one and the same]. Otherwise the line would have only one half! Every line equals infinitely many other lines, but no line is [identical to] any other line—taking ‘identical’ strictly here and below. Knowing that two lines equaling a third are equal is useful; the condition “two lines equaling a third” often holds. In fact any two sides of an equilateral triangle is equal to the remaining side! But could knowing that two lines being [identical to] a third are identical be useful? The antecedent condition “two things identical to a third” never holds, nor does the consequent condition “two things being identical”. If two things were identical to a third, they would be the third and thus not be two things but only one. The plural predicate ‘are equal’ as in ‘All diameters of a given circle are equal’ is useful and natural. ‘Are identical’ as in ‘All centers of a given circle are identical’ is awkward or worse; it suggests that a circle has multiple centers. Substituting equals for equals [replacing one of two equals by the other] makes sense. Substituting identicals for identicals is empty—a thing is identical only to itself; substituting one thing for itself leaves that thing alone, does nothing. There are as many types of equality as magnitudes: angles, lines, planes, solids, times, etc. Each admits unit magnitudes. And each such equality analyzes as identity of magnitude: two lines are equal [in length] if the one’s length is identical to the other’s. Tarski [1] hardly mentioned equality-identity distinctions (pp. 54-63). His discussion begins: -/- Among the logical concepts […], the concept of IDENTITY or EQUALITY […] has the greatest importance. -/- Not until page 62 is there an equality-identity distinction. His only “notion of equality”, if such it is, is geometrical congruence—having the same size and shape—an equivalence relation not admitting any unit. Does anyone but Tarski ever say ‘this triangle is equal to that’ to mean that the first is congruent to that? What would motivate him to say such a thing? This lecture treats the history and philosophy of equality-identity distinctions. [1] ALFRED TARSKI, Introduction to Logic, Dover, New York, 1995. [This is expanded from the printed abstract.] . (shrink)

Propositionalism is the view that intentional attitudes, such as belief, are relations to propositions. Propositionalists argue that propositionalism follows from the intuitive validity of certain kinds of inferences involving attitude reports. Jubien (2001) argues powerfully against propositions and sketches some interesting positive proposals, based on Russell’s multiple relation theory of judgment, about how to accommodate “propositional phenomena” without appeal to propositions. This paper argues that none of Jubien’s proposals succeeds in accommodating an important range of propositional phenomena, such as the (...) aforementioned validity of attitude-report inferences. It then shows that the notion of a predication act-type, which remains importantly Russellian in spirit, is sufficient to explain the range of propositional phenomena in question, in particular the validity of attitude-report inferences. The paper concludes with a discussion of whether predication act-types are really just propositions by another name. (shrink)

This paper argues for an ontological distinction between two kinds of universals, 'kinds of tropes' such as 'wisdom' and properties such as 'the property of being wise'. It argues that the distinction is parallel to that between two kinds of collections, pluralities such as 'the students' and collective objects such as 'the class'. The paper argues for the priortity of distributive readings with pluralities on the basis of predicates of extent or shape, such 'large' or 'long'.

Upward monotonic semantics for necessity modals give rise to Ross’s Puzzle: they predict that □φ entails □(φ ∨ ψ), but common intuitions about arguments of this form suggest they are invalid. It is widely assumed that the intuitive judgments involved in Ross’s Puzzle can be explained in terms of the licensing of ‘Diversity’ inferences: from □(φ ∨ ψ), interpreters infer that the truth of each disjunct (φ, ψ) is compatible with the relevant set of worlds. I introduce two pieces of (...) data that this analysis fails to explain. Analyzing this data, I argue, suggests that necessity modals with embedded disjunctions license ‘Independence’ inferences: from the truth of □(φ ∨ ψ), interpreters infer that φ-without-ψ and ψ-without-φ are each compatible with the relevant set of worlds. I outline a bilateral inquisitive semantics for necessity modals that predicts the validity of the Independence inferences. I then argue that the resulting theory should be understood as one on which disjunctions denote pluralities of propositions, and necessity modals behave like collective predicates applied to these pluralities. (shrink)

I relate plural quantification, and predicate logic where predicates do not need a fixed number of argument places, to the part-whole relation. For more on these themes see later work by Boolos, Lewis, and Oliver & Smiley.

I will present and criticise the two theories of truthmaking David Armstrong offers us in Truth and Truthmakers (Armstrong 2004), show to what extent they are incompatible and identify troublemakers for both of them, a notorious – Factualism, the view that the world is a world of states of affairs – and a more recent one – the view that every predication is necessary. Factualism, combined with truthmaker necessitarianism – ‘truthmaking is necessitation’ – leads Armstrong to an all-embracing totality (...) state of affairs that necessitates not only everything that is the case but also everything else – that which is not the case, that which is merely possible or even impossible. All the things so dear to realists – rocks, natural properties, real persons – become mere abstractions from this ontological monster. The view that every predication is necessary does in some sense the opposite: it does away with totality states of affairs and, arguably, also with states of affairs. We have particulars and universals, partially identical and necessarily connected to everything else. Just by the existence of anything, everything is necessitated – the whole world mirrored in every monad. Faced with the choice between these two equally unappealing alternatives, I suggest returning to Armstrong’s more empiricist past: the world is not an all-inclusive One, nor necessitated by every single particular and every single universal, but a plurality of particulars and universals, interconnected by a contingent and internal relation of exemplification. While a close variant, truthmaker essentialism, can perhaps be saved, this means giving up on truthmaker necessitarianism. This, I think, what it takes to steer a clear empiricist course between the Scylla of Spinozist general factness and the Charybdis of a Leibnizian overdose of brute necessities. (shrink)

This paper examines two puzzles of indeterminacy. The first puzzle concerns the hypothesis that there is a unified phenomenon of indeterminacy. How are we to reconcile this with the apparent diversity of reactions that indeterminacy prompts? The second puzzle focuses narrowly on borderline cases of vague predicates. How are we to account for the lack of theoretical consensus about what the proper reaction to borderline cases is? I suggest (building on work by Maudlin) that the characteristic feature of indeterminacy is (...) alethic normative silence, and use this to explain both plurality and lack of consensus. (shrink)

According to alethic pluralism, there is more than one way of being true: truth is not unique, in that there is a plurality of truth properties, each of which pertains to a specific domain of discourse. This paper shows how such a plurality can be represented in a coherent formal framework by means of a Kripke-style construction that yields intuitively correct extensions for distinct truth predicates. The theory of truth we develop can handle at least three crucial problems that have (...) been raised in connection with alethic pluralism: mixed compounds, mixed inferences, and semantic paradoxes. (shrink)

The project of this paper is to deliver a semantics for a broad subset of bare plural generics about racial kinds, a class which I will dub 'Type C generics.' Examples include 'Blacks are criminal' and 'Muslims are terrorists.' Type C generics have two interesting features. First, they link racial kinds with ​ socially perspectival predicates ​ (SPPs). SPPs lead interpreters to treat the relationship between kinds and predicates in generic constructions as nomic or non-accidental. Moreover, in computing their (...) content, interpreters must make implicit reference to socially privileged​ ​ perspectives which are treated as authoritative about whether a given object fits into the extension of the predicate. Such deference grants these authorities influence over both the conventional meaning of these terms and over the nature of the ​ objects ​ in the social ontology that these terms purport to describe, much the way a baseball umpire is authoritative over the meaning and metaphysics of 'strike'/​ strike ​. Second, terms like 'criminal' and 'terrorist' receive default ​ racialized ​ interpretations in which these terms conventionally token racial or ethnic identities. I show that neither of these features can be explained by Sarah-Jane Leslie's influential 'weak semantics' for generics, and show how my own 'socially perspectival semantics' fares better on both counts. Finally, I give an analysis of 'Blacks are criminal' which explores the semantic mechanisms that underlie default racialized interpretations. (shrink)

The semantic function of the modifier 'together' in adnominal position has generally been considered to be that of preventing a distributive reading of the predicate. This paper will argue that this view is mistaken. The semantic function of adnominal 'together' rather is that of inducing a cumulative measurement of the group that together is associated with. The measurement-based analysis of adnominal together that I propose can also, with some modifications, be extended to adverbial occurrences of together.

The mass‐count distinction is a morpho‐syntactic distinction among nouns in English and many other languages. Tree, chair, person, group, and portion are count nouns, which come with the plural and accept numerals such as one and first; water, rice, furniture, silverware, and law enforcement are mass nouns, which lack the plural and do not accept numerals. The morpho‐syntactic distinction is generally taken to have semantic content or reflect a semantic mass‐count distinction. At the center of the semantic mass‐count (...) distinction is, in some way or another, a notion of being one or being a single entity, the basis of countability. There is little unanimity, however, of how the notion of being a single entity is to be understood and thus what the semantic mass‐count distinction consists in. The question of the content of the mass‐count distinction and thus the notion of a single object relates to broader philosophical issues, such as the question whether predicates apply to things as such or things under a part‐structure related perspective, the question whether language involves an ontology at an intermediary level distinct from that of reality or even nonlinguistic cognition, and the question whether the semantics of mass nouns requires different logical tools than the ones used in standard semantic analyses (as has been argued for plurals by proponents of plural logics). In what follows, I will give a general presentation of the phenomenon of the mass‐count distinction as well as an outline of current approaches to the mass‐count distinction that ought to be of particular interest to philosophers. The focus will be on very general features and motivations of semantic theories of the mass‐count distinction which lend themselves to more philosophical discussions, rather than the details of the various formal developments. I will mainly discuss extension‐based and integrity‐based approaches, which have been most widely adopted, but which both face significant challenges. I will briefly mention a third approach, the reference‐based approach, whose aim is to overcome those challenges, by taking mass reference to be more primitive than singular and plural reference and not to be reducible to the latter. (shrink)

The central topic of this inquiry is a cross-linguistic contrast in the interaction of conjunction and negation. In Hungarian (Russian, Serbian, Italian, Japanese), in contrast to English (German), negated definite conjunctions are naturally and exclusively interpreted as `neither’. It is proposed that Hungarian-type languages conjunctions simply replicate the behavior of plurals, their closest semantic relatives. More puzzling is why English-type languages present a different range of interpretations. By teasing out finer distinctions in focus on connectives, syntactic structure, and context, the (...) paper tracks down missing readings and argues that it is eventually not necessary to postulate a radical cross-linguistic semantic difference. In the course of making that argument it is observed that negated conjunctions on the `neither’ reading carry the expectation that the predicate hold of both conjuncts. The paper investigates several hypotheses concerning the source of this expectation. (shrink)

Sayyid Sadr al-din Mohammad Dashtaki Shirazi is the inventor of the division of composition into unified composition and composition by join. With this division, Dashtaki has expressed a new theory about the composition of the material object from first matter and form, as well as the composition of man from soul and body, and considers these compositions as an alliance and unification, not simply the parts joining to each other. In this paper, we will present Dashtaki’s arguments on the theory (...) of unified composition. We will also examine three objections to this theory and responses to them. Finally, we will examine the background of this theory in Bahmanyar's phrases. Dashtaki believes that when the components in the compound have a real plurality, i.e. each one exists separately from the other, a composition by join is created, such as the composition of a house from numerous clays. But if the components in the compound are united and none of them are separate from the others and exists actually, the resulting composition will be an alliance and union. He believes that in the unified composition, every component is identical to any other component and is identical to the whole. Accordingly, Reza is a unique being, both human and writer. In order to achieve a composition, a plurality is needed and in order to form a single composition, there must be plural components related to each other. An important question is that, principally how is a composition possible, if unified composition comes to existence only when the components are made united with each other and with the whole? In other words, unified composition is not possible, because the first condition of the acquisition of the composition, i.e., the plurality of the constituent components, is not satisfied. Dashtaki strives to express a difference between the components in the union compound. He believes that the conditions of the realization and the survival of the components are different, and that is enough for them to be different. In Dashtaki's point of view, in the unified composition the components are analytical, not being separate and plural, in reality. In other words, the components do not have actual and "in-the-world" plurality, which means that it is our intellect that separates them and looks at them as independent objects. Therefore, unity and identity are in-the-world and plurality and discernibility are analytical and in the mind. Dashtaki's first argument for his theory in general is as follows: the three major material objects (solid, plant and animal) are undoubtedly real compounds. But in these compositions, components exist potentially, and in a unified composition, components do not exist actually. Therefore, these objects are unified compounds. The second argument is that the accuracy of predication implies unity. In the unified composition, the components are identical with the whole, and therefore, the components can be predicated to the composition. In Dashtaki's view, if A is predicated to B, then it could be concluded that they are identical and unified. The first objection to this theory is that the unity is incompatible with causality. From the perspective of the Peripatetics, form is the cause of the matter, and this is incompatible with the union of the two. Dashtaki states that in case of causality, there is no need for cause and effect to be two different and discernible entities, but a single entity may be from one aspect the cause and, from another, the effect. In other words, the foresaid causality is analytical causality. When mind analyses something, and then finds analytical components, it can see between those analytical and intellectual components, causality, and find some of them as the cause of the others. The second objection is the incorrectness of the unity in compounds with components not being similar. only in the compounds having similar parts, one can accept the unity of matter and form. For example, in compounds such as horses, it is not possible to accept the union of matter and form, because in horses, there are components with different natures, such as bones, flesh and nerves. Unity of These parts with each other and with the whole is not plausible. Dashtaki’s respond is that the horse is also a natural unit and has no actual plurality. Components having similar or different natures does not make any difference. According to the theory of unified composition, the horse's components are united with the horse's form and have only analytical plurality. Horse’s components are just analytical components, not actual, independent ones. The third objection is the incompatibility of the actual existence of components with their unity. But Dashtaki maintains that a unique actual personal entity cannot have actual plural components. He states that compounds such as horses exist objectively, but objective and real existing is divided into two kinds: dependent existence, and independent existence as a single real thing. Therefore, the two characteristics of "being a component" and "being independent" are incompatible and do not come together in a real being. Dashtaki has also quoted phrases from Bahmanyar to confirm his point of view. Bahmanyar says that the properties of an animal belong to the whole and compound, not to each component. For example, it is a horse that feels, not its bone or brain, as the eye is also a compound, but seeing is the work of the eye, not the work of any of its components. Therefore, the animal, which is something compound, has characteristics that none of its components have. So the animal is something over and above its components. Bahmanyar thinks the components in the animal are potential. Then he states a general rule: any compound in which unity is real, its components do potentially exist. Therefore, Bahmanyar considers the body parts of the living organism as a potential being and generally believes that the components of any compound that have true unity are potential. The potentiality of the components in a real compound does not that mean that the components are destroyed and a new thing is produced. The components are also available, but they do not have the effects they had separately before the composition comes into existence. In other words, the components have found a unique identity together and therefore have a new effect.. It seems that Bahmanyar has expressed the same idea that Dashtaki is looking for in the theory of unified composition. Therefore, it can be said that before Dashtaki, Bahmanyar has come up with the thought of a unity. Of course, Bahmanyar has not explained much about this, and Dashtaki is the first who has organized and completed this idea as a philosophical theory. (shrink)

The representations of deep convolutional neural networks (CNNs) are formed from generalizing similarities and abstracting from differences in the manner of the empiricist theory of abstraction (Buckner, Synthese 195:5339–5372, 2018). The empiricist theory of abstraction is well understood to entail infinite regress and circularity in content constitution (Husserl, Logical Investigations. Routledge, 2001). This paper argues these entailments hold a fortiori for deep CNNs. Two theses result: deep CNNs require supplementation by Quine’s “apparatus of identity and quantification” in order to (1) (...) achieve concepts, and (2) represent objects, as opposed to “half-entities” corresponding to similarity amalgams (Quine, Quintessence, Cambridge, 2004, p. 107). Similarity amalgams are also called “approximate meaning[s]” (Marcus & Davis, Rebooting AI, Pantheon, 2019, p. 132). Although Husserl inferred the “complete abandonment of the empiricist theory of abstraction” (a fortiori deep CNNs) due to the infinite regress and circularity arguments examined in this paper, I argue that the statistical learning of deep CNNs may be incorporated into a Fodorian hybrid account that supports Quine’s “sortal predicates, negation, plurals, identity, pronouns, and quantifiers” which are representationally necessary to overcome the regress/circularity in content constitution and achieve objective (as opposed to similarity-subjective) representation (Burge, Origins of Objectivity. Oxford, 2010, p. 238). I base myself initially on Yoshimi’s (New Frontiers in Psychology, 2011) attempt to explain Husserlian phenomenology with neural networks but depart from him due to the arguments and consequently propose a two-system view which converges with Weiskopf’s proposal (“Observational Concepts.” The Conceptual Mind. MIT, 2015. 223–248). (shrink)

The concept of universal in Aristotle’s philosophy has several aspects. 1) Universal and plurality Aristotle posits universal (καθόλου) versus particular (καθ᾿ ἕκαστον) each covering a range of elements: some elements are universal while others are particulars. Aristotle defines universal as ‘that which by nature is predicated (κατηγορεῖσθαι) of many subjects’ and particular as ‘that which is not’ so. (OI ., I, 7, 17a38-b1) The plurality of possible subjects of universal is what Aristotle insists on. The inclusion of the notion of (...) ‘plurality’ in the definition of universal might make us expect to have ‘singularity’ in the definition of particular. So, when Aristotle says that universal is that which is naturally predicable of many subjects, we expect him to define the particular as ‘that which is predicable of one subject only.’ Nonetheless, Aristotle does not and indeed cannot define it this way. We cannot find a text in which he defines particular as such simply because particulars are not predicable of any subject unless we regard their predication of themselves a predication, which Aristotle does not, at least in a genuine sense. Thus, he defines a particular only negatively. Hence, the capability of predication of a plurality is indeed the capability of predication itself because the particular cannot be predicated of anything. A particular is that which cannot be predicated of anything (or: of anything else, if saying of a thing of itself is to be considered as predication). It is ‘numerically one’ and what of which the universal is predicated (Met., B, 999b34-1000a1). Those that cannot be predicated of anything, or particulars, are of two kinds: primary substances and individual accidents. Besides Categories we can hardly find a text where Aristotle discusses individual accidents maybe because they are of much less importance for him compared with substances. However, substances are what he mentions repeatedly so that we can confine particulars to substances. In fact, it is substance that Aristotle considers so repeatedly as what cannot be predicated. As the main particulars and individuals, substances are posited as the main things that are not universal. The closeness of the two concepts of ‘substance’ and ‘unpredicability’ is to the extent that he ignores individual accidents and makes these concepts equal and as the opposite of universal: ‘what is not predicated of a subject is said a substance (οὐσία λέγετα τὸ μὴ καθ᾿ ὑποκειμένου) but what is always said of some subject is called a universal.’ (Met., Z, 1038b15-16. cf. Met., B, 1003a7-9) Therefore, since particulars cannot be predicated of any subject and, thus, every predication is necessarily a predication of a plurality of subjects, the inclusion of ‘plurality’ in the definition of universal is either i) in the sense of ‘representation’ or it must be regarded as ii) an unnecessary addition mentioned just for clarification or iii) only for avoiding cases where something is predicated of itself. By the first we mean this: though a substance is not said of anything, it represents some one thing and there is some one thing that is that substance. A universal, on the other hand, can represent a plurality of things. There is, however, a third possibility that has no essential difference with the sense of representation. Aristotle might have ‘arbitrary predication’ in mind when he suses ‘plurality’ in the definition of universal: while a particular can be the arbitrary predicate of just one thing, a universal can be predicated, both really and arbitrarily, of many things. Whatever Aristotle’s intention was, what is important for our investigation is this: Aristotle uses the notion of plurality in the definition of universal in spite of the fact that it is not necessary. What this implies is that this notion is so important for Aristotle that albeit every predictability is a predictability of a possible plurality, he adds the notion of plurality. What makes this notion important, I believe, is that he has something like a class in mind when he defines a universal because the notion of plurality is indistinguishable from a class. 2) Universal and whole; particular and part In Aristotle, the concepts of universal and whole are so close: ‘That which is true of a whole class and is said to hold good as a whole (which implies that it is a kind of whole) is true of a whole in the sense that it contains many things by being predicated of each, and that each and all of them, e.g. man, horse, god, are one because all are living things (τὸ μὲν γὰρ καθόλου καὶ τὸ ὃλως λεγόμενον ὡς πολλὰ περιέχον τῷ κατηγορεῖσθαι καθ’ ἑκάστου καὶ ἓν ἃπαντα εἶναι ὡς ἑκαστον, ...). Phil Corkum points to Aristotle’s distinction between quantitative and integral wholes in Met., 5, 26, 1023b26-33 where a quantitative whole is called homoiomerous, as the sum of animal while an integral whole, e.g. a house, is called heteromerous. He links the notion of homoiomerous to the notion of indivisibility of individuals (in 1b6-9 and 3b10-18) and indivisibility of universals. He believes that in PrA., I, 4, 25b32-26a2 it is the transitivity of mereological containment that is discussed. 3) Universal is common between instances Universal is common (κοινόν) between all the plurality of subjects it can be predicated of because what belongs to more than one thing must be common between them. (Met., Z, 1038b10-12) In the Same way, what is common cannot be a particular and, thus, a substance. (Met., Z, 1040b23-24) An individual or substance is a ‘this’ and a ‘this’ cannot be what common indicates simply because it is here in ‘this’ and can be nowhere else while common must be common between several things. In fact, what can be indicated by a common is indeed a ‘such.’ (Met., B, 1003a7-9) 4) Universal is the same in its instances We have a universal i) in all of its instances and ii) in the same way (ταὐτὸ ἐπὶ πὰντων). (Met, Γ, 1005a9-10) While the first point is evident (otherwise how could it be their universal?), the second point might seem not only ambiguous but the cause of many problems. For Aristotle, therefore, a universal must be ‘one’ in number and not many. This numerically one universal is the very universal for all its instances. It is the same universal that is predicated on each of its instances. This sameness is not, however, a mere homonymous sameness or the sameness of a homonymous word. All these three points, namely oneness, sameness and rejection of mere homonymous sameness are asserted in Aristotle’s own words τι ἕν καὶ τὸ αὐτὸ ἐπὶ πλειόνων μη ὁμώνυμον. (PsA., A, 11, 77a8-9) This non-homonymous unity is asserted also in PsA., A, 24, 85b15-16. 5) Universal as predicate Contrary to substance that cannot be a predicate, universal is what cannot be prevented from being in the place of predicate. Therefore, Aristotle distinguishes universal from subject because while the latter must necessarily be capable of being a predicate, though it might take the position of subject as well, the latter does not necessarily have such a capability especially when it is a this because it cannot be a predicate in such a case: ‘For the subject and universal differ in being or not being a ‘this’; like man and body and soul are the subject of accidents while the accident is something like musical or white.’ (Met., Θ, 1049a27-30) This indicates that a universal is basically different from subject and although it can be posited in the place of subject, it is the position of predicate that is its position as a universal. In Metaphysics, Z, 13, Aristotle asserts that ‘no universal can be substance.’ The same is asserted in Met., I, 1053b16-17 cf. 1060b21. As James H. Lesher points out, Aristotle’s position is that ‘nothing predicated universally is a substance.’ 6) Universal in substance In Met., 10388b8-9 Aristotle says that no universal is a substance. While a universal cannot be a substance in the way essence (to ti en einai) is, it is, Aristotle asserts, ‘in’ it (ἐν τούτῳ δὲ ἐνυπάρχειν) (Met., Ζ, 1038b16-18). Aristotle’s examples are: animal in man and horse. A universal is ‘in’ the thing it is its universal. But in what sense a universal can be in a thing? It cannot be in it as ‘in a subject’, which is denied in Categories for secondary substances. If we check the senses of being in, we can find some other senses of ‘being in’ some of which are compatible with this sense of ‘being in.’ Michael J. Loux believes that contrary to his earlier works like Peri Ideaon and Organon in which the immanence of universals signals a reproduction of the platonic two worlds picture, in his later works like Physics and Metaphysics, when Aristotle tells us that universals are in particulars he means that they are ‘components of or ingredients in sensible particulars.’ In Metaphysics (Δ, 1014b3-9) Aristotle compares elements with universals and call them ‘the most universal things because elements are present either in all or in many things. 7) Logos is of universal Not only universals have logos (Met., Z, 1038b18-19) but ‘Every logos and every science is of universals and not of particulars.’ (Met., K, 1059b25-26) The reason is that they are the same: the logos of the unjiversal ‘circle’ is nothing but ‘being circle’ and the logos of the universal ‘soul’ is ‘being soul.’ (Met., Z, 1035b33-1036a2) The same is said about definition. (Met, Z, 1036a27-29) 8) Universal: in the soul Contrasting individuals, universals are in the soul (So., 3, 5, 417b22-23; cf. PsA., B, 19, 100a6-7). Aristotle also says that the form, i.e. the essence, of the artwork is in the soul. (met., Z, 1032a32-b2) Moreover, as Michael J. Loux points out, ‘the Peri Ideon tells us that we need universals to serve as the objects of noetic acts.’ 9) Universal: not beside individual In spite of the fact that demonstration creates the opinion that demonstrating is based on the existence of universals as existing among the existing things, they do not have existence besides individuals (PsA., A, 24, 85a31-35; Met, Λ, 1071a19-23). Aristotle believes that universals of a P-series (B203, 71) are not παρὰ τὰ εἴδη: 999a6ff. Also check De Anima, II, 3, 414b20-25 10) Primary or commensurate universal Aristotle distinguishes ‘πρῶτον καθόλού’ (PsA., B, 17, 99a33-35) literally meaning ‘primary universal’ but mostly, and truly, translated as commensurate universal. While a universal merely ‘μὴ ἀντιςτρέφει,’ a primary universal ‘ᾧ ἓκαςτον μὲν μὴ ἀντιςτρέφει’ (PsA., B, 17, 99a33-35). Aristotle mentions three conditions for a commensurate universal. It is an attribute that i) belongs to every instance of its subject (without exception!!!), and this belonging is ii) essentially and iii) qua that subject itself (ᾗ αύτό). (PsA., A, 4, 73b26-28) However, he insists that the second and the third conditions are indeed the same. (PsA., A, 4, 73b28-30) The first condition he paraphrases as ‘to belong to any random instance of that subject’ and the second and the third as ‘when the subject is the first thing to which it can be shown to belong.’ (PsA., A, 4, 73b32-74a3) Aristotle’s example is ‘the equality of its angles to two right angles’. This attribute is not a commensurate universal of figure due to the first condition: it cannot be demonstrated of any figure. Nonetheless, though it can be demonstrated of every isosceles because every isosceles has angles equal to two right angles, it is not a commensurate universal of isosceles due to the other conditions: it is not predicated of isosceles qua isosceles but qua triangle. These conditions seem to be like regulators: they organize everything to match to the right group. The method of finding commensurate universal is like test and error method based on elimination: you must eliminate each of the higher or lower universals and check if the attribute remains or not. The commensurate universal is that which remains in between eliminated universals. (cf. PsA., A, 5, 74a37-b4) Brad Inwoodpresents an understanding of commensurate universal that is different from what I have understood and, thus, must be checked: ‘These universals are propositions in which, for example, ‘all A are B’ is true and which are still true universal statements if converted: ‘all B are A’ is also true.’ -/- . (shrink)

Recent debates in metaphysics have highlighted the significance of type theories, such as Simple Type Theory (STT), for our philosophical analysis. In this chapter, I present the salient features of a constructive type theory in the style of Martin-Löf, termed CTT. My principal aim is to convey the flavour of this rich, flexible and sophisticated theory and compare it with STT. I especially focus on the forms of quantification which are available in CTT. A further aim is to argue that (...) a comparison between a plurality of theories is beneficial to the philosophical analysis. We may, for example, discover helpful features of one theory that we may want to import into another context, thus enriching our repertoire of formal tools. Or, through comparison with a less well-known theory, we may gain a better understanding of the characteristics of the theories we are familiar with. As argued in this chapter, CTT has much to offer in all of these respects. (shrink)

Contrary to nouns and verbs that either do not include a co-positing of parts, including nouns and some verbs, or if they are, their parts do not significate separately, a sentence (λόγος) is a ‘significant portion of speech by co-positing, its parts signify something separately, though not as a positive or negative judgment but as utterance.’ (OI ., I, 4, 16b26-28). Therefore, every utterance in language that i) includes parts, ii) its signification is based on the co-positing of its parts, (...) iii) each of its parts is separately significant but iv) the signification of its parts is the signification of an utterance and not a judgment, is a sentence. This definition distinguishes a sentence from: a) Nouns: because they do not have parts; b) Verbs: because they either do not have parts or if they have, their parts do not significate separately; c) Those co-positings of words whose significance is not based on their co-positing. Thus a co-positing like ‘wall tree house’ is not a sentence because it has no significance on the basis of its co-positing; d) Those co-positings that the signification of at least some of their parts is the signification of judgments. Thus, ‘Socrates is from Athens and is a philosopher’ is not a sentence because at least one of its parts, e.g. ‘Socrates is from Athens’ signifies a judgment. Those sentences that either of truth or falsity belongs to them are propositions (ἀπόφανσις or λόγος ἀπόφαντικὸς). (OI., I, 4, 17a2-3) It is this and only this kind of sentence that is the subject of study in philosophy. (OI., I, 4, 17a5-7) The primary forms of a proposition are, firstly, an affirmation (κατάφασις) and then a negation (ἀπόφασις). (OI., I, 4, 17a8-9) To have an affirmation or a denial and, thus, a proposition, what firstly is necessary is a verb or the tense of a verb (OI, I, 4, 17a9-12; I, 10, 19b12-13; OI, I, 4, 16b28-30) and a noun (OI, I, 10, 19b10-12). Aristotle draws a contrast between single and plural proposition: a) Single proposition: a proposition that ‘indicate a single fact, or the conjunction of the parts of which results in unity.’ (OI., I, 5, 17a15-16) b) Plural propositions: a proposition that ‘are separate and many in number, which indicate many facts, or whose parts have no conjunction.’ (OI., I, 5, 17a16-17) He also differentiates between simple and composite propositions (OI, I, 5, 17a20-22): a) Simple proposition: ‘that which asserts or denies something of something’; b) Composite propositions: ‘that which is compounded of simple propositions.’ A simple (ἁπλῆ) proposition is a statement about the belonging or not belonging of something (OI, I, 5, 17a22-24). Affirmation and denial are indeed kinds of simple proposition, one affirming the belonging and the other not belonging. An affirmation or denial may be single or non-single. A single affirmation or denial ‘signifies some one fact about some one subject. This singularity is destroyed neither by the universality of subject nor by the universal character of the statement. The only thing that destroys this singularity is that one part signifies more than one thing, which makes the proposition more than one proposition (OI, I, 8, 18a13-27). In other words, neither ‘predication of one thing of many subjects’ nor ‘many things of the same subject’ results in a unitary proposition. (OI., II, 11, 20b13-16) There is also another cause that might destroy the unity of predicate and thus the unity of proposition, namely when one of the parts of the predicate is implicit in the other. Thus, e.g. animal-man does not form a unity because the notion ‘animal’ is implicit in ‘man.’ (OI., II, 11, 21a16-18) The following are characteristics of propositions: 1. That about which an affirmation signifies something is a noun, whether definite or indefinite. (OI., I, 10, 19b5-12) Moreover, there can be no affirmation or denial without a verb. (OI., I, 10, 19b12-19) Therefore, a proposition must involve at least a noun and a verb. 2. Contrary propositions: since both belonging and not belonging of something to something is possible, we are able to make a negative proposition out of an affirmative one and vice versa. (OI., I, 5, 17a26-31) Therefore, ‘every affirmation has an opposite denial’ and vice versa. (OI., I, 6, 17a31-33) The contradictory of each proposition is made by changing the positivity or negativity of the verb ‘to be’ to its opposite but not by changing the subject to its opposite. Thus, the contradictory of ‘man is white’ is ‘man is not white’ and not ‘not-man is white.’ (OI., II, 11, 21a38-b5) What happens in the mentioned wrong form of contradictory propositions is that they change the subject while the denial must be the contrary of the affirmation about the same subject. (cf. OI., II, 14, 24b1-6) This is made plain in propositions involving a verb other than ‘to be’. What must be changed in these propositions is the verb and not the noun or the subject. Thus, the contradictory of ‘Socrates runs’ is ‘Socrates does not run’ and not ‘not-Socrates runs.’ 3. Conversion possible: ‘Out of conversion (μετατιθεμένου) of the name and the verb, the same affirmation and denial is generated. (OI., I, 10, 20b10-12) In other words, the two affirmations or denials ‘signify the same thing.’ (OI, I, 10, 20b1-2) . (shrink)

Some forms of defining PNC in Aristotle’s works are as follows: a) Everything must be either affirmed or denied (φάναι ἢ ἀποφάναι). (Met., B, 996b28-29) or: it will not be possible to assert and deny the same thing truly at the same time. (Met., Γ, 1008a36-b1) In other words, ‘contradictory statements (ἀντικειμένας φάσεις) are not at the same time true. (Met., Γ, 1011b13-14) Also, ‘It is impossible that contradictories (ἀντίφασιν) should be at the same time true of the same thing.’ (...) (Met., Γ, 1011b15-16) Also, ‘Opposite statements (ἀντικειμένας φάσεις) can never be true of the same subjects.’ (Met., K, 1062a33-34; 1063b15-17) Also, ‘Of all affirmation or negation one is impossible. (PsA., A, 11, 77a22) b) A thing cannot at the same time be and not be. (Met., B, 996b30-31; Γ, 1006a3-5) This can also be extended to many other similar pairs of opposites: ‘The same thing cannot at the same time be and not be, or admit any other similar pair of opposites.’ (Met., K, 1061b34-1062a2) Also, ‘It will be possible for the same thing to be and not to be, except in virtue of an ambiguity.’ (Met., Γ, 1006b18-19) This is also asserted in another similar way: it is impossible that it should be at the same time true to say the same thing is a thing and is not a thing.’ (Met., Γ, 1006b33-34) c) ‘The same attribute cannot at the same time belong (ὑπάρχειν) and not belong to the same object in the same respect.’ (Met., Γ, 1005b19-21) d) Those positive and negative propositions are said to be contradictory which have the same subject and predicate. (OI, I, 7, 17a33-35) The opposition between an affirmation and a denial makes contradictories (ἀντίφασεως). (PsA., A, 2, 72a11-14) Based on Aristotle’s definition, ‘An affirmation is opposed to a denial in the sense which I denote by the term ‘contradictory’ (ἀντίφατικως), when, while the subject remains the same, the affirmation is of universal character and the denial is not.’ (OI., I, 7, 17b16-19) 1) Characteristics of PNC a) It is the most certain (Met., Γ, 1005b22-23 and b11) and the most indisputable (Met., Γ, 1006a5-6) of all principles. b) It is impossible: to believe its contrary (Met., Γ, 1005b24-30); to be really in that position (Met., Γ, 1008b11-13); and to defend it. (OI, I, 9, 18b17-19) Nonetheless, Aristotle thinks that many of the writers about nature assert the contrary of PNC and use a language opposite to it. (Met., Γ, 1005b35-1006a3) c) It is the starting point of all the other axioms. (Met., Γ, 1005b32-34) d) It is not hypothetical. (Met., Γ, 1005b13-17) e) Contradictories are extremely opposed to each other. (Met., Γ, 1007a1-4) f) Believing in PNC saves substance and essence and not believing in it makes all attributes accidents and there will be nothing as being essentially something. The reason is that something which essentially is a being cannot avoid being that thing. (Met., Γ, 1007a20-29 and b16-18) g) PNC supports plurality of things because otherwise all things will be one: ‘If all contradictories are true of the same subject at the same time, evidently all things will be one. For the same thing will be a trireme, a wall, and a man, if it is equally possible to affirm and deny anything of anything.’ (Met., Γ, 1007b18-22) In fact, PNC supports difference: ‘For if contradictories can be predicated alike of each subject, one thing will in no wise differ from another; for if it differs, this difference will be something true and peculiar to it.’ (Met., Γ, 1008a25-27) h) To accept truth and falsity, whether in an absolute sense (e.g. A is more true than B; or C is less true than D) entails PNC. (Met., Γ, 1008b2-7 and b31-35; 1009a2-5) In fact, PNC is entailed by accepting true affirmation. (Met., K, 1062b7-11) i) Judging and choosing between at least two things entails PNC: you cannot choose one as better than another without a previous judging that one is A and the other not A. (Met., Γ, 1008b18-24) The same is true about avoiding. (Met., Γ, 1008b24-29) j) PNC guarantees speaking and saying anything intelligible because otherwise e.g. saying ‘yes’ means both yes and no. (Met., Γ, 1008b7-13) k) Contradictories do not accept intermediates that means we must either affirm or deny a predicate on a subject and there is no third option. (Met., Γ, 1011b23-24; Met., I, 1055b1-2; PsA., A, 2, 72a11-14; Met., I, 1057a33-36) l) PNC is applicable also to the future time. (OI., I, 9, 19a28-29) m) PNC is presupposed by the least semantic of words. If we accept that each word has a meaning and, thus, signifies something definite, we cannot accept that it has the contradictory meaning and signies contradictory things and this approves PNC. Thus, Aristotle asks the opponent of PNC to say just one word, a significant word and takes this as the demonstration of PNC because by saying the word e.g. ‘man’ you have already signified man and not-man. (Met., Γ, 1005a11-13 and a18-22; 1006a28-31 and b13-15) Therefore, signification entails PNC: ‘He, then, who says this is and is not denies what he affirms, so that what the word signifies, he says it does not signify; and this is impossible. Therefore, if ‘This is’ signifies something, one cannot truly assert the contradictory.’ (Met., K, 1062a16-20) He says again: ‘If the word signifies something and this can be truly asserted of it, it necessarily is this; and it is not possible that that which is necessary should ever not be: it is not possible therefore to make the opposed assertions truly of the same subject.’ (Met., K, 1062a20-23; cf. Met., K, 1062a24-31) n) At Met., 4, 3, 1005b9-10 (check???) PNC is called as principle of things (ἀρχὰς τοῦ πράγματος). (quoted from B215, 517) . (shrink)

In this dissertation, I argue that we should be pluralists about truth and in turn, eliminativists about the property Truth. Traditional deflationists were right to suspect that there is no such property as Truth. Yet there is a plurality of pluralities of properties which enjoy defining features that Truth would have, were it to exist. So although, in this sense, truth is plural, Truth is non-existent. The resulting account of truth is indebted to deflationism as the provenance of the (...) suspicion that Truth doesn't exist. But it would be hasty to simply classify the account as deflationary. Each of the 'truth-like' properties that it recognizes is highly substantive--that is, complex and explanatorily potent. So we should deflate Truth by recognizing that it doesn't exist, but we should also recognize that one of the most vital tasks in truth theory is to discover the essences of the many truth-like properties. My aim here is to do precisely this. (shrink)

In this paper I aim to defend a first‐order non‐discriminating property view concerning existence. The version of this view that I prefer is based on negative (or a specific neutral) free logic that treats the existence predicate as first‐order logical predicate. I will provide reasons why such a view is more plausible than a second‐order discriminating property view concerning existence and I will also discuss four challenges for the proposed view and provide solutions to them.

This paper defends 'plural reference', the view that definite plurals refer to several individuals at once, and it explores how the view can account for a range of phenomena that have been discussed in the linguistic literature.

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)

The U.S. election in November 2016 raised and amplified doubts about first-past-the-post (“plurality rule”) electoral systems. Arguments against plurality rule and for alternatives like preferential voting tend to be consequentialist: it is argued that systems like preferential voting produce different, better outcomes. After briefly noting why the consequentialist case against plurality rule is more complex and contentious than it first appears, I offer an expressive alternative: plurality rule produces actual or apparent dilemmas for voters in ways that are morally objectionable, (...) and avoidable under preferential voting systems. This expressive case against plurality rule is both simpler and more ecumenical than its consequentialist counterpart, and it provides strong reasons to prefer alternatives to plurality rule. Moreover, it suggests a distinct way of evaluating different alternatives like preferential voting. (shrink)

Predicativity is a notable example of fruitful interaction between philosophy and mathematical logic. It originated at the beginning of the 20th century from methodological and philosophical reflections on a changing concept of set. A clarification of this notion has prompted the development of fundamental new technical instruments, from Russell's type theory to an important chapter in proof theory, which saw the decisive involvement of Kreisel, Feferman and Schütte. The technical outcomes of predica-tivity have since taken a life of their own, (...) but have also produced a deeper understanding of the notion of predicativity, therefore witnessing the " light logic throws on problems in the foundations of mathematics. " (Feferman 1998, p. vii) Predicativity has been at the center of a considerable part of Feferman's work: over the years he has explored alternative ways of explicating and analyzing this notion and has shown that predicative mathematics extends much further than expected within ordinary mathematics. The aim of this note is to outline the principal features of predicativity, from its original motivations at the start of the past century to its logical analysis in the 1950-60's. The hope is to convey why predicativity is a fascinating subject, which has attracted Feferman's attention over the years. (shrink)

According to contextualism, the extension of claims of personal taste is dependent on the context of utterance. According to truth relativism, their extension depends on the context of assessment. On this view, when the taste preferences of a speaker change, so does the truth value of a previously uttered taste claim, and the speaker might be required to retract it. Both views make strong empirical assumptions, which are here put to the test in three experiments with over 740 participants. It (...) turns out that the linguistic behaviour of ordinary English speakers is consistent with contextualist predictions and inconsistent with the predictions of the most widely discussed form of truth relativism advocated by John MacFarlane. (shrink)

It has been argued that quantum mechanics forces us to accept the existence of metaphysical, mind-independent indeterminacy. In this paper we provide an interpretation of the indeterminacy involved in the quantum phenomena in terms of a view that we call Plural Metaphysical Supervaluationism. According to it, quantum indeterminacy is captured in terms of an irreducibly plural relation between the actual world and various misrepresentations of it.

According to indexical contextualism, the perspectival element of taste predicates and epistemic modals is part of the content expressed. According to nonindexicalism, the perspectival element must be conceived as a parameter in the circumstance of evaluation, which engenders “thin” or perspective-neutral semantic contents. Echoing Evans, thin contents have frequently been criticized. It is doubtful whether such coarse-grained quasi-propositions can do any meaningful work as objects of propositional attitudes. In this paper, I assess recent responses by Recanati, Kölbel, Lasersohn and MacFarlane (...) to the “incompleteness worry”. None of them manages to convince. Particular attention is devoted to an argument by John MacFarlane, which states that if perspectives must be part of the content, so must worlds, which would make intuitively contingent propositions necessary. I demonstrate that this attempt to defend thin content views such as nonindexical contextualism and relativism conflates two distinct notions of necessity, and that radical indexicalist accounts of semantics, such as Schaffer’s necessitarianism, are in fact quite plausible. (shrink)

Various syntacticians have argued that coordinate structures involve a three-dimensional syntactic structure. This paper proposes an interpretation of three-dimensional syntactic structures in terms of plural reference and argues that such structures give further support for plural reference, the view that plural terms refer to several entities at once, rather than referring to a single plural individual.

Plurality implies a public sphere in which different worldviews (e.g. Secular Humanist, Christian, Jewish, Muslim and others) coexist respecting each other. Banning the presence of one or several of them from the public sphere is questionable in principle, and divisive in practice.

Recent political developments cast doubt on the wisdom of democratic decision-making. Brexit, the Colombian people's (initial) rejection of peace with the FARC, and the election of Donald Trump suggest that the time is right to explore alternatives to democracy. In this essay, I describe and defend the epistocratic system of government which is, given current theoretical and empirical knowledge, most likely to produce optimal political outcomes—or at least better outcomes than democracy produces. To wit, we should expand the suffrage as (...) wide as possible and weight citizens’ votes in accordance with their competence. As it turns out, the optimal system is closely related to J. S. Mill's plural voting proposal. I also explain how voters’ competences can be precisely determined, without reference to an objective standard of correctness and without generating invidious comparisons between voters. (shrink)

This paper replies to Himmelreich's ‘The Paraphrase Argument Against Collective Actions’ [2017], which presents three putative counterexamples to the multiple agents analysis of plural action sentences. The paper shows that the argument from the first example, the discursive dilemma, fails because it relies crucially on a simplification of the target analysis, and that the others don't bear on the question because they turn out on examination to be about individual rather than group action sentences.

Forests, cars and orchestras are very different ontological entities, and yet very similar in some aspects. The relationships they have with the elements they are composed of is often assumed to be reducible to standard ontological relations, like parthood and constitution, but how this could be done is still debated. This paper sheds light on the issue starting from a linguistic and philosophical analysis aimed at understanding notions like plurality, collective and composite, and propos- ing a formal approach to characterise (...) them. We conclude the presentation with a discussion and analysis of social groups within this framework. (shrink)

One reason to think that names have a predicate-type semantic value is that they naturally occur in count-noun positions: ‘The Michaels in my building both lost their keys’; ‘I know one incredibly sharp Cecil and one that's incredibly dull’. Predicativism is the view that names uniformly occur as predicates. Predicativism flies in the face of the widely accepted view that names in argument position are referential, whether that be Millian Referentialism, direct-reference theories, or even Fregean Descriptivism. But names are predicates (...) in all of their occurrences; they are predicates that are true of their bearers. When a name appears as a bare singular in argument position, it really occupies the predicate position of what in this essay is called a denuded definite description: a definite description with an unpronounced definite article. Sloat provided good evidence for this. The definite article is sometimes pronounced with names in the singular: ‘The Ivan we all love doesn't feel well’. Sloat proposed a disjunctive generalization of when the definite article must be pronounced with a singular name. This essay shows that by slightly revising Sloat's generalization, we arrive at a simple, nondisjunctive, syntactic rule that governs the overt appearance of the definite article with singular names. But Ivan does not necessarily bear the name ‘Ivan’, so one might worry that the sentence “Ivan might not have had ‘Ivan’ as a name” would incorrectly be predicted false. This essay shows that Predicativism does not have this consequence by showing that incomplete definite descriptions in general and incomplete denuded descriptions, such as ‘Øthe Ivan’, in particular are rigid designators. (shrink)

The counterfactual comparative account of harm faces problems in cases that involve overdetermination and preemption. An influential strategy for dealing with these problems, drawing on a suggestion made by Derek Parfit, is to appeal to _plural harm_—several events _together_ harming someone. We argue that the most well-known version of this strategy, due to Neil Feit, as well as Magnus Jedenheim Edling’s more recent version, is fatally flawed. We also present some general reasons for doubting that the overdetermination and preemption problems (...) for the counterfactual comparative account can be satisfactorily solved by appealing to plural harm. (shrink)

Kit Fine (2000) breaks with tradition, arguing that, pace Russell (e.g., 1903: 228), relations have neither directions nor converses. He considers two ways to conceive of these new "neutral" relations, positionalism and anti-positionalism, and argues that the latter should be preferred to the former. Cody Gilmore (2013) argues for a generalization of positionalism, slot theory, the view that a property or relation is n-adic if and only if there are exactly n slots in it, and (very roughly) that each slot (...) may be occupied by at most one entity. Slot theory (and with it, positionalism) bears the full brunt of Fine's (2000) symmetric completions and conflicting adicities problems. I fully develop an alternative, plural slot theory (or pocket theory), which avoids these problems, key elements of which are first considered by Yi (1999: 168 ff.). Like the slot theorist, the pocket theorist posits entities (pockets) in properties and relations that can be occupied. But unlike the slot theorist, the pocket theorist denies that at most one entity can occupy any one of them. As a result, she must also deny that the adicity of a property or relation is equal to the number of occupiable entities in it. By abandoning these theses, however, the pocket theorist is able to avoid Fine's problems, resulting in a stronger theory about the internal structure of properties and relations. Pocket theory also avoids a serious drawback of anti-positionalism. (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)