It is a philosophical commonplace that quantification involves, invokes, or presupposes, the relation of identity. There seem to be two major sources for this belief: the conviction that identity is implicated in the phenomenon of bound variable recurrence within the scope of a quantifier; memories of Quine’s insistence that quantification requires absolute identity for the values of variables. With respect to, I show that the only extant argument for a dependence of variable recurrence on (...) class='Hi'>identity, due to John Hawthorne, fails. I further show that the function of variable recurrence is not subsumed under that of identity, so that a dependence of the former on the latter, if any, would have to be of a rather indirect nature. With respect to, I argue that the relevant passage in Quine fails to establish a connection between quantification and the identity relation, and indeed wasn’t intended by Quine to do so. (shrink)

This work examines a number of arguments to the effect that quantification requires identity of the objects that are quantified over; the arguments concern the domain of quantification, the range of quantifiers, the collapse of the existential and the universal quantifiers, and the intelligibility of quantification. The central role of identity in quantification is identified in each case. Also considered is quantification in non-classical contexts, and it is argued that even in logics and (...) set theories that supposedly do not demand identity for quantification, identity is still presupposed. Along the way, some recent challenges to this overall approach are considered. (shrink)

Most theorists treat the ‘relation’ of identity as being more fundamental (or basic) than the ‘relation’ of (numerical) difference. Herbert Hochberg suggests, instead, that difference is to be treated as basic. My goal in this paper is to answer two related questions. First, what is it for a theorist to treat difference or identity as basic? Second, which of these two ‘relations’ is to be treated as basic? I begin by outlining four reasons that one might be motivated (...) to endorse the view that difference is to be treated as basic. Based on these reasons, I distinguish three ways of conceiving of what is involved in treating difference as basic: one conception involves the reification of the relation of difference, whereas the other two do not. Finally, I consider the theoretical consequences, particularly as concerns ontological parsimony, of treating difference as basic in these ways. My ultimate position is that there is a sense in which the second question from above is wrongheaded: difference and identity are, so to speak, features of the same ‘ideological apparatus’ (namely, that of quantification), so there is no real decision to be made about which to treat as basic. If this is correct, then the consequences for a theory's ontological parsimony that result from treating difference, identity, or both as basic are just the same as those that issue from the employment of quantification within a theory – namely, one's theory thereby incurs an ontological commitment to things. (shrink)

It is a commonplace remark that the identity relation, even though not expressible in a first-order language without identity with classical set-theoretic semantics, can be defined in a language without identity, as soon as we admit second-order, set-theoretically interpreted quantifiers binding predicate variables that range over all subsets of the domain. However, there are fairly simple and intuitive higher-order languages with set-theoretic semantics in which the identity relation is not definable. The point is that the definability (...) of identity in higher-order languages not only depends on what variables range over, but also is sensitive to how predication is construed. This paper is a follow-up to , where it has been proven that no actual axiomatization of Leśniewski’s Ontology determines the standard semantics for the epsilon connective. (shrink)

The formal semantics that we have proposed for definite and indefinite descriptions analyzes them both as variable-binding operators and as referring terms. It is the referential analysis which makes it possible to account for the facts outlined in Section 2, e.g. for the purely ‘instrumental’ role of the descriptive content; for the appearance of unusually wide scope readings relative to other quantifiers, higher predicates, and island boundaries; for the fact that the island-escaping readings are always equivalent to maximally wide scope (...) quantifiers; and for the appearance of violations of the identity conditions on variables in deleted constituents. We would emphasize that this is not a random collection of observations. They cohere naturally with each other, and with facts about other phrases that are unambigously referential.We conceded at the outset of this paper that the referential use of an indefinite noun phrase does not, by itself, motivate the postulation of a referential interpretation. Our argument has been that the behavior of indefinites in complex sentences cannot be economically described, and certainly cannot be explained, unless a referential interpretation is assumed. It could be accounted for in pragmatic terms only if the whole theory of scope relations and of conditions on deletion could be eliminated from the semantics and incorporated into a purely pragmatic theory. But this seems unlikely. (shrink)

Can we believe that there are non-existent entities without commitment to the Meinongian metaphysics? This paper argues we can. What leads us from quantification over non-existent beings to Meinongianism is a general metaphysical assumption about reality at large, and not merely quantification over the non-existent. Broadly speaking, the assumption is that every being we talk about must have a real definition. It’s this assumption that drives us to enquire into the nature of beings like Pegasus, and what our (...) relationship as thinkers is to them. However, I argue this assumption only holds if you think your language, and in particular that aspect of it to do with referring to entities works in a specific way. This is the specific way generally assumed by the discipline called ‘Semantics’. I sketch out an alternative, call it global expressivism, in which talk of referring is given an expressivist, speech-act theoretic treatment. If we accept that our talk of the non-existent works as the global expressivist tells us it does, then the question of the metaphysical nature of non-existent entities is utterly void. You might say that Pegasus is empty of any metaphysical nature. Since the non-existent lacks any metaphysical nature, the metaphysics of the non-existent, Meinongianism, as a form of inquiry, lacks a subject matter, despite the fact that we talk happily, and indeed unavoidably, of the non-existent. (shrink)

This book gathers together thirteen of Peter van Inwagen's essays on metaphysics, several of which have acquired the status of modern classics in their field. They range widely across such topics as Quine's philosophy of quantification, the ontology of fiction, the part-whole relation, the theory of 'temporal parts', and human knowledge of modal truths. In addition, van Inwagen considers the question as to whether the psychological continuity theory of personal identity is compatible with materialism, and defends the thesis (...) that possible states of affairs are abstract objects, in opposition to David Lewis's 'extreme modal realism'. A specially-written introduction completes the collection, which will be an invaluable resource for anyone interested in metaphysics. (shrink)

Epistemic modal predicate logic raises conceptual problems not faced in the case of alethic modal predicate logic : Frege’s “Hesperus-Phosphorus” problem—how to make sense of ascribing to agents ignorance of necessarily true identity statements—and the related “Hintikka-Kripke” problem—how to set up a logical system combining epistemic and alethic modalities, as well as others problems, such as Quine’s “Double Vision” problem and problems of self-knowledge. In this paper, we lay out a philosophical approach to epistemic predicate logic, implemented formally in (...) Melvin Fitting’s First-Order Intensional Logic, that we argue solves these and other conceptual problems. Topics covered include: Quine on the “collapse” of modal distinctions; the rigidity of names; belief reports and unarticulated constituents; epistemic roles; counterfactual attitudes; representational vs. interpretational semantics; ignorance of co-reference vs. ignorance of identity; two-dimensional epistemic models; quantification into epistemic contexts; and an approach to multi-agent epistemic logic based on centered worlds and hybrid logic. (shrink)

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

E. J. Lowe and others argue that there can be 'uncountable' things admitting of no numerical description. This implies that there can be something without there being at least one such thing, and that things can be identical without being one or nonidentical without being two. The clearest putative example of uncountable things is portions of homogeneous stuff or 'gunk'. The paper argues that there is a number of portions of gunk if there is any gunk at all, and that (...) the possibility of uncountable things is inadequately supported. (shrink)

In this chapter I argue that the general category of 'iatromechanics' conceals different views about how mathematics and mathematical physics should be applied in medicine, and thereby about how physiology should be quantified and mathematized. Mechanism, quantification and mathematization are indeed different, albeit interrelated, notions, which overlap without ever coming to be identical, and all of which depend upon the overall epistemological debate over the method for finding truth in science. This chapter compares the epistemological thought of the Newtonians (...) Archibald Pitcairne (1652-1713), James Keill (1673-1719) and the rationalists Yvo Gaukes (ca. 1660-1738) and Friedrich Hoffman (1660-1742). It contends that, still in the early eighteenth-century, contrasting understandings and uses of quantification in medicine related to different conceptions of the epistemological status of mathematics and its connection with experience especially. The chapter then focuses on how the experimental quantitative approach introduced in physiology by Santorio Santorio (1561-1636) is understood in these different scenarios. I argue that contrasting understandings and uses of quantification in medicine correspond not only to different conceptions about the epistemological status of mathematics, but also of its conjunction with experience. (shrink)

The result of combining classical quantificational logic with modal logic proves necessitism – the claim that necessarily everything is necessarily identical to something. This problem is reflected in the purely quantificational theory by theorems such as ∃x t=x; it is a theorem, for example, that something is identical to Timothy Williamson. The standard way to avoid these consequences is to weaken the theory of quantification to a certain kind of free logic. However, it has often been noted that in (...) order to specify the truth conditions of certain sentences involving constants or variables that don’t denote, one has to apparently quantify over things that are not identical to anything. In this paper I defend a contingentist, non-Meinongian metaphysics within a positive free logic. I argue that although certain names and free variables do not actually refer to anything, in each case there might have been something they actually refer to, allowing one to interpret the contingentist claims without quantifying over mere possibilia. (shrink)

Few would disagree that P. F. Strawson and W. V. O. Quine have been the leading figures in Anglo-American philosophy during the second half of the twentieth century. This book brings together a number of Strawson’s widely-scattered previously-published essays from the 1970s, 1980s, and 1990s. The unity of the collection is partly provided by the internal connectedness of the essays to Strawson’s most important books Individuals, The Bounds of Sense, Logico-Linguistic Papers, and Subject and Predicate in Grammar and Logic. But (...) its unity principally lies in Strawson’s consistent and vigorous opposition to Quine’s extreme extensionalism. The extensionalist says that the meanings of terms and sentences in natural languages or logical systems are strictly determined by the objects they refer to; and the Quinean extensionalist also says that those objects are ultimately whatever the natural sciences tell us they are. The intensionalist, by contrast, says that meanings in natural language and logic are underdetermined by the functions of reference and have irreducible, autonomous structures that include primitive features of generality and modality; and the Strawsonian intensionalist says that those irreducible, autonomous structures are grounded in the person-oriented world of ordinary speech-transactions and everyday common sense. In the Introduction, Strawson helpfully divides the essays into seven groups or clusters: two on identity and universals; two on quantification and properties; three on singular reference and beliefreports; two on logical form; one on epistemic modality; two on pragmatics; and four on Kant. The essays on Kant are primarily exegeticalcritical, but also have a deeper import. For Strawson’s metaphysical commonsensism and personalism can be fairly neatly derived from Kantian metaphysics by logically detaching Kant’s plausible conception of “empirical realism” from his questionable doctrine of “transcendental idealism”, and by similarly detaching Kant’s plausible conception of a self-conscious embodied empirical subject and her a priori cognitive and practical capacities from his questionable conception of a noumenal self. It is of course impossible in a very short review even to summarize all sixteen essays, far less to explicate or criticize them. So to maximize available resources I will concentrate the rest of my remarks on what seems to me to be the most important paper. In “Logical Form and Logical Constants”, Strawson addresses a fundamental and lingering problem in the philosophy of logic: How precisely to define the logical constants and to justify their introduction into a logical theory? All logicians agree that logical constants are just those terms in a formal or natural language which hold their meanings fixed under the variable interpretations of all other terms, which enter essentially into logical truths and deductions, and which are “topic-neutral”—indifferent to all special subject-matters. But these notions do not get us very far, since the meaning of any term can be held rigidly and topic-neutrally fixed over a language and also held to enter essentially into logical truths and deductions, by sheer stipulation. Strawson’s approach to solving the problem has two basic steps. First, he joins a line of thought shared by Kant, Boole, and early Wittgenstein: “[l]ogic reveals the general essence of all thought and all language”. Secondly, he borrows and exploits Wittgenstein’s idea that all the logical constants are packed into the general form of a proposition, which is simply “this is how things are.” This leads to the proposal that we can “think of standard logic as something in principle excogitatable... by pure reflection on the general nature of statement, on what is the least that is necessarily involved in the making of empirical informative statements”. Such a line of reasoning— rather like Kant’s discovery of his “table of judgments” in the first Critique —runs backward from the notion of an empirical statement to the root logical notions of general term and singular term, of compatibility and incompatibility, and of “identifiable linguistic forms or devices with conventional forces or meaning” ; and from there by gradual steps to the notions of contradiction and entailment, the truth-functions, logical truth, first-order quantification, and so forth. I have a worry about this way of excogitating logic, however. While it neatly accounts for standard logic, I cannot see how it will be able to account for nonstandard logic—whether in the form of conservative extensions of standard logic or in the form of deviant logics. In other words, the starting point for logical reflection must be something more comprehensive than the empirical statement. Now the notion of an analytic a priori statement seems like the obvious candidate: no system, standard or nonstandard, will wholly lack logical laws or logical truths. If so, then Strawson’s disinclination to deploy the notion of analyticity directly may be a concession to Quine’s attack on the analytic-synthetic distinction. On this pivotal issue, in fact, Strawson’s intensionalism has lost out to Quine’s extensionalism—the Grice-Strawson reply to “Two Dogmas of Empiricism” from ordinary-language considerations has not generally prevailed. But we are very fortunate that Strawson has been both willing and so brilliantly able to resist the Quinean juggernaut for five decades.—Robert Hanna, University of Colorado at Boulder. (shrink)

Consider two standard quantified modal languages A and P whose vocabularies comprise the identity predicate and the existence predicate, each endowed with a standard S5 Kripke semantics where the models have a distinguished actual world, which differ only in that the quantifiers of A are actualist while those of P are possibilist. Is it possible to enrich these languages in the same manner, in a non-trivial way, so that the two resulting languages are equally expressive-i.e., so that for each (...) sentence of one language there is a sentence of the other language such that given any model, the former sentence is true at the actual world of the model iff the latter is? Forbes (1989) shows that this can be done by adding to both languages a pair of sentential operators called Vlach-operators, and imposing a syntactic restriction on their occurrences in formulas. As Forbes himself recognizes, this restriction is somewhat artificial. The first result I establish in this paper is that one gets sameness of expressivity by introducing infinitely many distinct pairs of indexed Vlach-operators. I then study the effect of adding to our enriched modal languages a rigid actuality operator. Finally, I discuss another means of enriching both languages which makes them expressively equivalent, one that exploits devices introduced in Peacocke (1978). Forbes himself mentions that option but does not prove that the resulting languages are equally expressive. I do, and I also compare the Peacockian and the Vlachian methods. In due course, I introduce an alternative notion of expressivity and I compare the Peacockian and the Vlachian languages in terms of that other notion. (shrink)

Identity is a modally inflexible relation: two objects are necessarily identical or necessarily distinct. However, identity is not alone in this respect. We will look at the relation that one object bears to some objects if and only if it is one of them. In particular, we will consider the credentials of the thesis that no matter what some objects are, an object is necessarily one of them or necessarily not one of them.

Call a quantifier unrestricted if it ranges over absolutely all things: not just over all physical things or all things relevant to some particular utterance or discourse but over absolutely everything there is. Prima facie, unrestricted quantification seems to be perfectly coherent. For such quantification appears to be involved in a variety of claims that all normal human beings are capable of understanding. For instance, some basic logical and mathematical truths appear to involve unrestricted quantification, such as (...) the truth that absolutely everything is self-identical and the truth that the empty set has absolutely no members. Various metaphysical views too appear to involve unrestricted quantification, such as the physicalist view that absolutely everything is physical. (shrink)

It is common in metaphysical discourse to make claims like “Everything is self-identical” in which “everything” is intended to range over everything. This sort of “unrestricted” generality appears central to metaphysical discourse. But there is debate whether such generality, which appears to involve quantification over an all-inclusive domain, is even meaningful. To address this concern, Shaughan Lavine and Vann McGee supply competing accounts of the generality expressed by this use of “everything.” I argue that, from the perspective of the (...) metaphysician, neither of their proposals is entirely suitable. But their central insights, as well as their shortcomings, suggest an account which is suitable for metaphysical discourse, what I call “genuinely unrestricted quantification.” For while genuinely unrestricted quantification does not directly supply an account of the metaphysician's “everything,” it disentangles what are properly metaphysical issues from issues concerning how we ought to understand the quantifiers. It makes clear that whether the metaphysician's “everything” is meaningful cannot simply be resolved by supplying an appropriate account of our understanding of quantification. It depends on addressing certain substantive ontological questions. (shrink)

Book review of 'More Kinds of Being: A Further Study of Individuation, Identity, and the Logic of Sortal Terms'. By E. J. LOWE.

Relative to any reasonable frame, satisfiability of modal quantificational formulae in which “= ” is the sole predicate is undecidable; but if we restrict attention to satisfiability in structures with the expanding domain property, satisfiability relative to the familiar frames (K, K4, T, S4, B, S5) is decidable. Furthermore, relative to any reasonable frame, satisfiability for modal quantificational formulae with a single monadic predicate is undecidable ; this improves the result of Kripke concerning formulae with two monadic predicates.

This paper investigates the truth conditions of sentences containing indefinite noun phrases, focusing on occurrences in attitude reports, and, in particular, a puzzle case due to Walter Edelberg. It is argued that indefinites semantically contribute the (thought-)object they denote, in a manner analogous to attributive definite descriptions. While there is an existential reading of attitude reports containing indefinites, it is argued that the existential quantifier is contributed by the de re interpretation of the indefinite (as the de re reading adds (...) existential quantification to the interpretation of definites on Kaplan’s analysis). (shrink)

The book's aim is to give a working representation of what metaphysics is today. The historical contributions reveal the roots of metaphysical themes and how today's methods are linked to their Aristotelian and Leibnizian past. The volume also touches on the relationships between ontological and linguistic analysis, the questions of realism and ontological commitment, the nature of abstract objects, the existential meaning of particular quantification, the primitiveness of identity, the question of epistemic versus ontological vagueness, the necessity of (...) origin, the nature of natural necessity, the possibility of intermittent existence, the notion of a temporal part and its place in an account of persistence, the question of identity and change across time and possible worlds, and many more. Readership: A toolbox for any researcher in metaphysics and an essential source for any PhD student with ontological interests. (shrink)

I am a friend of supervaluationism. A statement lacks a definite truth value if, and only if, it comes out true on some admissible ways of precisifying the semantics of the relevant vocabulary and false on others. In this paper, I focus on the special case of identity statements. I take it that such statements, too, may occasionally suffer a truth-value gap, including philosophically significant instances. Yet there is a potentially devastating objection that can be raised against the supervaluationist (...) treatment of such cases—in fact two objections. Luckily, both can be resisted. But seeing how requires that we take a closer look at the ontological presuppositions of supervaluationism, allowing for more leeway than is usually supposed. (shrink)

0. Logic is sometimes conceived as metaphysically neutral, so that nothing controversial in metaphysics is logically valid. That conception devastates logic. Just about every putative principle of logic has been contested on metaphysical grounds. According to some, future contingencies violate the law of excluded middle; according to others, the set of all sets that are not members of themselves makes a contradiction true. Even the structural principle that chaining together valid arguments yields a valid argument has been rejected in response (...) to sorites paradoxes. In each case, a deviant metaphysics corresponds to the deviant logic. Of course, if one is trying to persuade deviant metaphysicians of the error of their ways, one is unlikely to get far by relying on logical principles that they reject. But that obvious dialectical exigency stably marks out no realm of logic. Each logical principle has persuasive force in some dialectical contexts and not in others. We do better to admit that logic has metaphysically contentious implications, and embrace them ─ if we know what they are. (shrink)

Arc there cases in which an object x is thc same F as an object y but x is not the same G as y, cvcn though x is a G? A11 aihrmativc answer will have drastic repercussions 011 0ne’s account of identity and on one’s quantification theory. For suppose that the expression ‘x is the same F as y’ can be understood as ‘x is an F and y is an F and x is identical with y’, (...) and that ‘x is not the same G as y’ can be understood as ‘it is not the case that x is a G and y is a G and x is identical with y’. Then one may reason as follows. (shrink)

The events of 9/11 have underlined the relevance of the thought of Georgio Agamben in so far as he attempts to explain the genesis of an authoritarianism that increasingly implements extraordinary measures and enhanced surveillance. This can be understood in terms of the expansion of a biopolitical regime. Biometric analysis: finger printing, iris and retina scans etc., are to be understood in their relation to the individual as bare life, the individual stripped of his/her political legal identity and thus (...) identified without reference to the latter. The camp, according to Agamben, is said to be the ultimate space, a lawless zone, where questions of legality and illegality become irrelevant. However, this paper argues that Agamben fails to underline the importance of the Cartesian legacy that initiated a form of conceptualization in which the ordering of reality replaced qualitative distinctions with mathematical quantification. Biometric analysis, which relies heavily on mathematized quantification of biological features, is integral to the biopolitical regime, as described by Michel Foucault and Agamben. This paper argues that a rejection of this Cartesian inheritance is necessary if we are to overcome insidious forms of control based on surveillance, biometric identification or even managerial oversight through supposedly quantifiable metrics of performance. (shrink)

Quine and others have put many problems to quantified modal logic. Their purpose is to show the logic to be paradoxical or at least very peculiar. Many of these problems center around the interplay between modality, quantification and identity.

Identity is arguably one of the most fundamental concepts in metaphysics. There are several reasons why this is the case: Identity is presupposed in every conceptual system: without identity, it is unclear that any conceptual system can be formulated. Identity is required to characterize an individual: nothing can be an individual unless it has well-specified identity conditions. Identity cannot be defined: even in systems that allegedly have the resources to define identity. Identity (...) is required for quantification: the intelligibility of quantification presupposes the identity of the objects that are quantified over. These are only four considerations in support of identity's fundamental role. In this paper, I examine and defend them. I then examine a challenge that has been raised against identity's fundamentality: one from the metaphysics of physics—based on a significant interpretation of non-relativist quantum mechanics—according to which certain quantum particles lack identity conditions. After responding to this challenge, I consider the nature of the commitment to identity, and argue that it turns out to be very minimal. In fact, a very deflationary form of metaphysics can accommodate it. In arguing that identity is fundamental, one need not overstep the boundaries of even a very minimal empiricist metaphysics. Or so I argue. (shrink)

Processes of globalization and decentralization are changing the relationship among statistical knowledge production, nation, and state. This article explores these changes through a comparison of five projects to design and implement indicators of sustainable development to replace conventional measures of economic welfare and social demographics—community sustainability indicators, Metropatterns, greening the gross domestic product, the Living Planet Index, and standardized accounting rules for inventorying greenhouse gas emissions. Drawing on a coproductionist idiom, the article argues that these projects constitute experiments in modifying (...) the civic epistemologies of democratic societies, transforming not only knowledge production but also political identities, relationships, and institutions. (shrink)

Many systems of quantified modal logic cannot be characterised by Kripke's well-known possible worlds semantic analysis. This book shows how they can be characterised by a more general 'admissible semantics', using models in which there is a restriction on which sets of worlds count as propositions. This requires a new interpretation of quantifiers that takes into account the admissibility of propositions. The author sheds new light on the celebrated Barcan Formula, whose role becomes that of legitimising the Kripkean interpretation of (...) quantification. The theory is worked out for systems with quantifiers ranging over actual objects, and over all possibilia, and for logics with existence and identity predicates and definite descriptions. The final chapter develops a new admissible 'cover semantics' for propositional and quantified relevant logic, adapting ideas from the Kripke-Joyal semantics for intuitionistic logic in topos theory. This book is for mathematical or philosophical logicians, computer scientists and linguists. (shrink)

This anthology opens up new stimulating perspectives on a broad variety of Barcan Marcus s concerns ranging from quantified modal logic, identity, extensionality, direct reference, substitutional and objectual quantification, essentialism and possible worlds to epistemic and deontic modalities, belief, rationality and moral dilemmas. The contributions demonstrate that her philosophy has had a formative influence on current philosophical debates.".

Lines of identity in Peirce's existential graphs are logically complex structures that comprise both identity and existential quantification. Yet geometrically they are simple: linear continua that cannot have “furcations” or cross “cuts.” By contrast Peirce's “ligatures” are geometrically complex: they can both have furcations and cross cuts. Logically they involve not only identity and existential quantification but also negation. Moreover, Peirce makes clear that ligatures are composed of lines of identity by virtue of the (...) fact that such lines can be “connected” with one another and can “abut upon” one another at a cut. This paper shows in logical detail how ligatures are composed and how they relate to identity, existential quantification, and negation. In so doing, it makes use of Peirce's non-standard account of the linear continuum, according to which, when a linear continuum is separated into two parts, the parts are symmetric rather than asymmetric, and the one point at which separation occurs actually becomes two points, each of which is a Doppelgänger of the other. (shrink)

We demonstrate how to validly quantify into hyperintensional contexts involving non-propositional attitudes like seeking, solving, calculating, worshipping, and wanting to become. We describe and apply a typed extensional logic of hyperintensions that preserves compositionality of meaning, referential transparency and substitutivity of identicals also in hyperintensional attitude contexts. We specify and prove rules for quantifying into hyperintensional contexts. These rules presuppose a rigorous method for substituting variables into hyperintensional contexts, and the method will be described. We prove the following. First, it (...) is always valid to quantify into hyperintensional attitude contexts and over hyperintensional entities. Second, factive empirical attitudes validate, furthermore, quantifying over intensions and extensions, and so do non-factive attitudes, both empirical and non-empirical , provided the entity to be quantified over exists. We focus mainly on mathematical attitudes, because they are uncontroversially hyperintensional. (shrink)

This paper offers a semantic study in multi-relational semantics of quantified N-Monotonic modal logics with varying domains with and without the identity symbol. We identify conditions on frames to characterise Barcan and Ghilardi schemata and present some related completeness results. The characterisation of Barcan schemata in multi-relational frames with varying domains shows the independence of BF and CBF from well-known propositional modal schemata, an independence that does not hold with constant domains. This fact was firstly suggested for classical modal (...) systems by Stolpe, 557–575, 2003), but unfortunately that work used only models and not frames. (shrink)

This chapter considers Geach's claims solely as pertaining to the philosophy of language and philosophical logic, though much of the interest of the concept of relative identity concerns its applicability to other areas: the metaphysical controversy about personal identity and the debate in philosophical theology on the doctrine of the Trinity. It describes Geach's views under six headings: the non‐existence of absolute identity; the sortal relativity of identity; the derelativization thesis; the counting thesis; the thesis of (...) the irreducibility of restricted quantification; and the 'name for an A'/'name of an A' distinction. The sortal relativity thesis depends for its significance on the distinction between sortal terms and non‐sortal terms. An important component of Geach's position is his thesis that for any sortal term 'A' there is a distinction between restricted quantification over As and unrestricted quantification over things that are As. (shrink)

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

Mares and Goldblatt, 163–187, 2006) provided an alternative frame semantics for two quantified extensions of the relevant logic R. In this paper, I show how to extend the Mares-Goldblatt frames to accommodate identity. Simpler frames are provided for two zero-order logics en route to the full logic in order to clarify what is needed for identity and substitution, as opposed to quantification. I close with a comparison of this work with the Fine-Mares models for relevant logics with (...) identity and a discussion of constant and variable domains. (shrink)

Composition as Identity is, roughly, the thesis that the parts of a whole, taken collectively, are in some sense identical with the whole. Einar Duenger Bohn argues for Universalism from CAI. Universalism says that composition is totally unrestricted: wherever two or more objects occur, an instance of composition occurs, however unnatural or gerrymandered. Bohn’s argument relies on inferences with generic quantifiers, but he does not provide a clear account of generic quantification. My argument is that on the most (...) plausible approach to thinking about such inferences, the argument fails. (shrink)

Contemporary orthodoxy affirms that singular terms cannot be predicates and that, therefore, ‘is’ is ambiguous as between predication and identity. Recent attempts to treat names as predicates do not challenge this orthodoxy. The orthodoxy was built into the structure of modern formal logic by Frege. It is defended by arguments which I show to be unsound. I provide a semantical account of atomic sentences which draws upon Mill's account of predication, connotation and denotation. I show that singular terms may (...) be predicates, that it is highly implausible that there is an ‘is’ of identity in natural languages, and that modern formal logic is deficient in that it cannot recognize sentences, including singular existentials, in which singular terms are predicates, or inferences which depend upon the logical role rather than the logical category of expressions. (shrink)

The article attempts to resolve the problem raised by richard sharvey's arguments supporting the thesis that temporal contexts present difficulties for quantification similar to those presented by alethic modal contexts. to this end a concept of temporally relativized identity for physical objects is introduced and explicated within a four-dimensional space-time view of the world. this in turn permits the introduction of the notion of "restricted" physical objects and the notion of "extended" physical objects. it is then shown how (...) the use of the introduced concepts together with careful attention to the details of temporal predication may permit the solution of the problem. (shrink)