It is often assumed that indeterminacy in mereological relations—in particular, indeterminacy in which collections of objects have fusions—leads immediately to indeterminacy in what objects there are in the world. This assumption is generally taken as a reason for rejecting mereological vagueness. The purpose of this paper is to examine the link between mereological vagueness and existential vagueness. I hope to show that the connection between the two forms of vagueness is not nearly so clear-cut as has been supposed.

In this paper I revive two important formal approaches to the interpretation of natural language, that of Montague and that of Karttunen and Peters. Armed with insights from dynamic semantics (Heim, Krifka) the two turn out to stand up against age-old criticisms in an orthodox fashion. The plan is mainly methodological, as I only want to illustrate the technical feasibility of the revived proposals. Even so, there are illuminating and welcome empirical consequences on the subject of scope islands (as discussed (...) by Abusch and Kratzer, among many others), as well as unintended theoretical implications in the contextualist debate (Grice, Recanati, Simons, Stanley, and many others again). (shrink)

In his paper, “Identity Statements and Essentialism,” Loux seeks to demonstrate sortal essentialism based on Frege’s thesis that all statements of number concerning a collection require that the members fall under the same sortal concept. I shall attempt to argue that a detailed analysis of Loux’s argument reveals it as failing to imply the type of sortal dependency thesis necessary for the justification of sortal essentialism. However, if one construes the transworld identity relation as no different from our run of (...) the mill identity relation, then his argument can serve as the basis for a proof of a type of nontrivial essentialism, thereby showing that the possible worlds picture of modality is indeed committed to a robust essentialism. (shrink)

P.T. Geach has maintained (see, e.g., Geach (1967/1968)) that identity (as well as dissimilarity) is always relative to a general term. According to him, the notion of absolute identity has to be abandoned and replaced by a multiplicity of relative identity relations for which Leibniz's Law - which says that if two objects are identical they have the same properties - does not hold. For Geach relative identity is at least as good as Frege's cardinality thesis which he takes to (...) be strictly connected with relative identity - according to which an ascription of cardinality is always relative to a concept which specifies what, in any particular case, counts as a unit. The idea that there is a close connection between relative identity and Frege's cardinality thesis has been issued again quite recently by Alston and Bennett in (1984). In their opinion, Frege's cardinality thesis is not only similar to relative identity - as Geach maintains - but it implies it. Moreover, they agree with Geach in claiming that a commitment to Frege's cardinality thesis forces a parallel commitment to relative identity. Against Geach, Alston and Bennett we will claim that (Tl): "Frege's cardinality thesis is similar to relative identity" is false and that therefore (T2) "Frege's cardinality thesis implies relative identity" is false as well. (shrink)

Cognitive partitions are useful. The notion of numerical identity helps us induce them. Consider, for instance, the role of identity in representing an equivalence relation like taking the same train. This expressive function of identity has been largely overlooked. Other possible functions of the concept have been over-emphasized. It is not clear that we use identity to represent individual objects or quantify over collections of them. Understanding what the concept is good for looks especially urgent in light of the fact (...) that numerical identities themselves are tangibly trifling. (shrink)

Things we can say, and the ways in which we can say them, compete with one another. And this has consequences: words we decide not to pronounce have critical effects on the messages we end up conveying. For instance, in saying Chris is a good teacher, we may convey that Chris is not an amazing teacher. How this happens is an unsolvable problem, unless a theory of alternatives indicates what counts, among all the things that have not been pronounced. It (...) is sometimes assumed, explicitly or implicitly, that any word counts, as long as that word could have replaced one that was actually pronounced. We review arguments for going beyond this powerful idea. In doing so, we argue that the level of words is not the right level of analysis for alternatives. Instead, we capitalize on recent conceptual and associated methodological advances within the study of the so-called “language of thought” to reopen the problem from a new perspective. Specifically, we provide theoretical and experimental arguments that the relation between alternatives and words may be indirect, and that alternatives are not merely linguistic objects in the traditional sense. Rather, we propose that competition in language is significantly determined by general reasoning preferences, or thought preferences. We propose that such non-linguistic preferences can be measured and that these measures can be used to explain linguistic competition, non-linguistically, and more in depth. (shrink)

In this paper, we propose a framework capable of dealing with anaphora and ellipsis which is both general and algorithmic. This generality is ensured by the compination of two general ideas. First, we use a dynamic semantics which reperent effects using a monad structure. Second we treat scopes flexibly, extending them as needed. We additionally implement this framework as an algorithm which translates abstract syntax to logical formulas. We argue that this framework can provide a unified account of a large (...) number of anaphoric phenomena. Specifically, we show its effectiveness in dealing with pronominal and VP-anaphora, strict and lazy pronouns, lazy identity, bound variable anaphora, e-type pronouns, and cataphora. This means that in particular we can handle complex cases like Bach–Peters sentences, which require an account dealing simultaneously with several phenomena. We use Haskell as a meta-language to present the theory, which also consitutes an implementation of all the phenomena discussed in the paper. To demonstrate coverage, we propose a test suite that can be used to evaluate computational approaches to anaphora. (shrink)

The formalisation of Natural Language arguments in a formal language close to it in syntax has been a central aim of Moss’s Natural Logic. I examine how the Quantified Argument Calculus (Quarc) can handle the inferences Moss has considered. I show that they can be incorporated in existing versions of Quarc or in straightforward extensions of it, all within sound and complete systems. Moreover, Quarc is closer in some respects to Natural Language than are Moss’s systems – for instance, is (...) does not use negative nouns. The process also sheds light on formal properties and presuppositions of some inferences it formalises. Directions for future work are outlined. (shrink)

This is part I of a two-part essay introducing case-intensional first order logic, an easy-to-use, uniform, powerful, and useful combination of first-order logic with modal logic resulting from philosophical and technical modifications of Bressan’s General interpreted modal calculus. CIFOL starts with a set of cases; each expression has an extension in each case and an intension, which is the function from the cases to the respective case-relative extensions. Predication is intensional; identity is extensional. Definite descriptions are context-independent terms, and lambda-predicates (...) and -operators can be introduced without constraints. These logical resources allow one to define, within CIFOL, important properties of properties, viz., extensionality and absoluteness, Bressan’s chief innovation that allows tracing an individual across cases without recourse to any notion of “rigid designation” or “trans-world identity.” Thereby CIFOL abstains from incorporating any metaphysical principles into the quantificational machinery, unlike extant frameworks of quantified modal logic. We claim that this neutrality makes CIFOL a useful tool for discussing both metaphysical and scientific arguments involving modality and quantification, and we illustrate by discussing in diagrammatic detail a number of such arguments involving the extensional identification of individuals via absolute properties, essential properties, de re vs. de dicto, and the results of possible tests. (shrink)

This paper follows Part I of our essay on case-intensional first-order logic (CIFOL; Belnap and Müller (2013)). We introduce a framework of branching histories to take account of indeterminism. Our system BH-CIFOL adds structure to the cases, which in Part I formed just a set: a case in BH-CIFOL is a moment/history pair, specifying both an element of a partial ordering of moments and one of the total courses of events (extending all the way into the future) that that moment (...) is part of. This framework allows us to define the familiar Ockhamist temporal/modal connectives, most notably for past, future, and settledness. The novelty of our framework becomes visible in our discussion of substances in branching histories, i.e., in its first-order part. That discussion shows how the basic idea of tracing an individual thing from case to case via an absolute property is applicable in a branching histories framework. We stress the importance of keeping apart extensionality and moment-definiteness, and give a formal account of how the specification of natural sortals and natural qualities turns out to be a coordination task in BH-CIFOL. We also provide a detailed answer to Lewis’s well-known argument against branching histories, exposing the fallacy in that argument. (shrink)

The Analytic/Synthetic distinction did not originate in Kant, but in Port-Royal's logical theory. The key for the doctrine is the explicite recognition of two different kinds of relative clauses, e.g. explicative and determinative. In the middle eighteenth century the distinction becomes a topic within the grammars. Although we can find by grammarians different criteria for the distinction, these criteria (for which we can find medieval sources) are for the main predictable from the original theory of ideas, which was presented in (...) Port-Royal's logical writings. The topic of the two relative clauses (somewhat broader than the analytic/synthetic distinction) can be used to give empirical criteria for analyticity and also for revisiting Quine's criticism of the topic. Analyticity yet appears as a master piece of classical linguistic philosophy and not as being the empty dogma of modern empiricism. (shrink)

Extension of the system that includes the key substrates for sensation, perception, emotion, volition, and cognition, and all representational sources for cognition, supports the view that there is an extended mind and an extended body. These intellectual views can be made practical in a humanist system based on extensions and in religious systems based on extensions. Independently, there is also an institutional extension of secularism. Hence, I maintain, there are five principal forms of extension.

A material object is constituted by a sum of parts all of which are essential to the sum but some of which seem inessential to the object itself. Such object/sum of parts pairs include my body/its torso and appendages and my desk/its top, drawers, and legs. In these instances, we are dealing with objects and their components. But, fundamentally, we may also speak, as Locke does, of an object and its constitutive matter—a “mass of particles”—or even of that aggregate and (...) the sum of subatomic particles ‘making it up’. The “problem of material constitution” (henceforth, PMC) is generated by assuming inter alia that the members of any such pair are numerically identical, that is, that the constituted and the constituting are one and the same thing. (shrink)

Desires matter. What are desires? Many believe that desire is a motivational state: desiring is being disposed to act. This conception aligns with the functionalist approach to desire and the standard account of desire's role in explaining action. According to a second influential approach, however, desire is first and foremost an evaluation: desiring is representing something as good. After all, we seem to desire things under the guise of the good. Which understanding of desire is more accurate? Is the guise (...) of the good even right to assume? Should we adopt an alternative picture that emphasizes desire's deontic nature? What do neuroscientific studies suggest? -/- Essays in the first section of the volume are devoted to these questions, and to the puzzle of desire's essence. In the second part of the volume, essays investigate some implications that the various conceptions of desire have on a number of fundamental issues. For example, why are inconsistent desires problematic? What is desire's role in practical deliberation? How do we know what we want? -/- This volume will contribute to the emergence of a fruitful debate on a neglected, albeit crucial, dimension of the mind. (shrink)

The thesis defended, the “guise of the ought”, is that the formal objects of desires are norms (oughts to be or oughts to do) rather than values (as the “guise of the good” thesis has it). It is impossible, in virtue of the nature of desire, to desire something without it being presented as something that ought to be or that one ought to do. This view is defended by pointing to a key distinction between values and norms: positive and (...) negative norms (obligation and interdiction) are interdefinable through negation; positive and negative values aren’t. This contrast between the norms and values, it is argued, is mirrored, within the psychological realm, by the contrast between the desires and emotions. Positive and negative desires are interdefinable through negation, but positive and negative emotions aren’t. The overall, Meinongian picture suggested is that norms are to desires what values are to emotions. (shrink)

Bishop sentences such as “If a bishop meets a bishop, he blesses him” have long been considered problematic for the descriptivist (or E-type) approach of donkey anaphora (e.g. Evans, 1977; Heim, 1990; and Neale, 1990). Elbourne (2005) offers a situational descriptivist analysis that allegedly solves the problem, and furthermore extends its explanatory coverage to bishop sentence with coordinate subjects. However, I throw serious doubts on Elbourne’s analysis. Specifically, I argue that the purported solution is committed to the use of unbound (...) anaphora, and it cannot sustain the claimed empirical adequacy. (shrink)

This chapter offers a logical, linguistic, and philosophical account of modern quantification theory. Contrasting the standard approach to quantifiers (according to which logical quantifiers are defined by enumeration) with the generalized approach (according to which quantifiers are defined systematically), the chapter begins with a brief history of standard quantifier theory and identifies some of its logical, linguistic, and philosophical strengths and weaknesses. It then proceeds to a brief history of generalized quantifier theory and explains how it overcomes the weaknesses of (...) the standard theory. One of the main philosophical advantages of the generalized theory is its philosophically informative criterion of logicality. The chapter describes the work done so far in this theory, highlights some of its central logical results, offers an overview of its main linguistic contributions, and discusses its philosophical significance. (shrink)

Hilbert’s choice operators τ and ε, when added to intuitionistic logic, strengthen it. In the presence of certain extensionality axioms they produce classical logic, while in the presence of weaker decidability conditions for terms they produce various superintuitionistic intermediate logics. In this thesis, I argue that there are important philosophical lessons to be learned from these results. To make the case, I begin with a historical discussion situating the development of Hilbert’s operators in relation to his evolving program in the (...) foundations of mathematics and in relation to philosophical motivations leading to the development of intuitionistic logic. This sets the stage for a brief description of the relevant part of Dummett’s program to recast debates in metaphysics, and in particular disputes about realism and anti-realism, as closely intertwined with issues in philosophical logic, with the acceptance of classical logic for a domain reflecting a commitment to realism for that domain. Then I review extant results about what is provable and what is not when one adds epsilon to intuitionistic logic, largely due to Bell and DeVidi, and I give several new proofs of intermediate logics from intuitionistic logic+ε without identity. With all this in hand, I turn to a discussion of the philosophical significance of choice operators. Among the conclusions I defend are that these results provide a finer-grained basis for Dummett’s contention that commitment to classically valid but intuitionistically invalid principles reflect metaphysical commitments by showing those principles to be derivable from certain existence assumptions; that Dummett’s framework is improved by these results as they show that questions of realism and anti-realism are not an “all or nothing” matter, but that there are plausibly metaphysical stances between the poles of anti-realism and realism, because different sorts of ontological assumptions yield intermediate rather than classical logic; and that these intermediate positions between classical and intuitionistic logic link up in interesting ways with our intuitions about issues of objectivity and reality, and do so usefully by linking to questions around intriguing everyday concepts such as “is smart,” which I suggest involve a number of distinct dimensions which might themselves be objective, but because of their multivalent structure are themselves intermediate between being objective and not. Finally, I discuss the implications of these results for ongoing debates about the status of arbitrary and ideal objects in the foundations of logic, showing among other things that much of the discussion is flawed because it does not recognize the degree to which the claims being made depend on the presumption that one is working with a very strong logic. (shrink)

This thesis advances and defends a novel two-category ontology of objects and dimensions, latterly conceived as respects of comparability. The proposed 'dimensionist' ontology is set out and brought to bear on discussions of determinables and determinates, the problem of universals, fact ontologies, and nomic governance. Dimensionism is argued to fare well in comparison to a range of rival ontological accounts of property possession. A metametaphysical framework is set out to undergird the discussion, which draws on both realist and pragmatist resources.

Kim has defended a solution to the exclusion problem which deploys the «causal inheritance principle» and the identification of instantiations of mental properties with instantiations of their realizing physical properties. I wish to argue that Kim's putative solution to the exclusion problem rests on an equivocation between instantiations of properties as bearers of properties and instantiations as property instances. On the former understanding, the causal inheritance principle is too weak to confer causal efficacy upon mental properties. And on the latter (...) understanding, the identification of mental and physical instantiations is simply untenable. (shrink)

Discourse Representation Theory is a specific name for the work of Hans Kamp in the area of dynamic interpretation of natural language. Also, it has gradually become a generic term for proposals for dynamic interpretation of natural language in the same spirit. These proposals have in common that each new sentence is interpreted in terms of the contribution it makes to an existing piece of interpreted discourse. The interpretation conditions for sentences are given as instructions for updating the representation of (...) the discourse. (shrink)

Over the last two decades, semantic theory has been marked by a continuing shift from a static view of meaning to a dynamic one. The increasing interest in extending semantic analysis from isolated sentences to larger units of discourse has fostered the intensive study of anaphora and coreference, and this has engendered a shift from viewing meaning as truth conditions to viewing it as the potential to change the "informational context".

I show that the contemporary dominant analysis of natural language quantifiers that are one-place determiners by means of binary generalized quantifiers has failed to explain why they are, according to it, conservative. I then present an alternative, Geachean analysis, according to which common nouns in the grammatical subject position are plural logical subject-terms, and show how it does explain that fact and other features of natural language quantification.