Lewisian Genuine Realism about possible worlds is often deemed unable to accommodate impossible worlds and reap the benefits that these bestow to rival theories. This thesis explores two alternative extensions of GR into the terrain of impossible worlds. It is divided in six chapters. Chapter I outlines Lewis’ theory, the motivations for impossible worlds, and the central problem that such worlds present for GR: How can GR even understand the notion of an impossible world, given Lewis’ reductive theoretical framework? Since (...) the desideratum is to incorporate impossible worlds into GR without compromising Lewis’ reductive analysis of modality, Chapter II defends that analysis against objections. The rest of the thesis is devoted to incorporating impossible worlds into GR. Chapter III explores GR-friendly impossible worlds in the form of set-theoretic constructions out of genuine possibilia. Then, Chapters IV-VI venture into concrete impossible worlds. Chapter IV addresses Lewis’ objection against such worlds, to the effect that contradictions true at impossible worlds amount to true contradictions tout court. I argue that even if so, the relevant contradictions are only ever about the non-actual, and that Lewis’ argument relies on a premise that cannot be nonquestion- beggingly upheld in the face of genuine impossible worlds in any case. Chapter V proposes that Lewis’ reductive analysis can be preserved, even in the face of genuine impossibilia, if we differentiate the impossible from the possible by means of accessibility relations, understood non-modally in terms of similarity. Finally, Chapter VI counters objections to the effect that there are certain impossibilities, formulated in Lewis’ theoretical language, which genuine impossibilia should, but cannot, represent. I conclude that Genuine Realism is still very much in the running when the discussion turns to impossible worlds. (shrink)

In Parts of Classes David Lewis attempts to draw a sharp contrast between mereology and set theory and he tries to assimilate mereology to logic. For him, like logic but unlike set theory, mereology is “ontologically innocent”. In mereology, given certain objects, no further ontological commitment is required for the existence of their sum. On the contrary, by accepting set theory, given certain objects, a further commitment is required for the existence of the set of them. The latter – unlike (...) the sum of the given objects – seems to be an abstract entity whose existence is not directly entailed by the existence of the objects themselves. The argument for the innocence of mereology is grounded on the thesis of composition as identity. In our paper we argue that: arguments for the ontological innocence of mereology are not conclusive. Some arguments against the ontological innocence of mereology show a certain ambiguity in the innocence thesis itself. The innocence thesis seems to depend on a general conception of the nature of objects and on how the notion of ontological commitment is understood. Specifically, we think that the thesis is the manifesto of a realistic conception of parts and sums. Quine‟s notorious criticism of the set-theoretical interpretation of second order logic seems to be reproducible against Lewis‟defence of mereology. To the purpose we construct a mereological model of a substantive fragment of set theory, adequate to ground the set-theoretical semantics of second order logic. (shrink)

Trinitarians claim there are three Divine persons each of which is God, and yet there is only one God. It seems they want three to equal one. It just so happens, some metaphysicians claim exactly that. They accept Composition as Identity: each fusion is identical to the plurality of its parts. I evaluate Composition as Identity's application to the doctrine of the Trinity, and argue that it fails to give the Trinitairan any options he or she didn't already have. Further, (...) while Composition as Identity does give us a new way to assert polytheism, its help requires us to endorse a claim that undercuts any Trinitarian motivation for the view. (shrink)

Divers (2014) argues that a Lewisian theory of modality which includes both counterpart theory and modal realism cannot account for the truth of certain intuitively true modal sentences involving cross-world comparatives. The main purpose of this paper is to defend the Lewisian theory against Divers’s challenge by developing a response strategy based on a degree-theoretic treatment of comparatives and by showing that this treatment is compatible with the theory.

Megethology is the second-order theory of the part-whole relation developed by David Lewis, and it is obtained by combining plural quantification with classical extensional mereology. It can express some hypotheses about the size of the domain such as that there are inaccessibly many atoms. This will prove enough to get the orthodox set theory. Then, megethology is a possible foundation for mathematics. This paper is an introduction to megethology.

In the thesis I offer an analysis of the metaphysical underpinnings of the extended cognition thesis via an examination of standard views of metaphysical building (or, dependence) relations. -/- In summary form, the extended cognition thesis is a view put forth in naturalistic philosophy of mind stating that the physical basis of cognitive processes and cognitive processing may, in the right circumstances, be distributed across neural, bodily, and environmental vehicles. As such, the extended cognition thesis breaks substantially with the still (...) widely held view in cognitive science and philosophy of mind, namely that cognitive processes and cognitive processing take place within the skin-and-skull of individual organisms. The standard view of metaphysical building relations can be expressed as the conjunction of two theses. First, that a metaphysical building relation – such as composition, constitution, realization, supervenience or emergence – is a relation of ontological dependence, because if a metaphysical building relation holds between X (or the Xs) and Y, then it is in virtue of X (or the Xs) that Y exists. Second, metaphysical building relations are synchronic (durationless) relations of ontological dependence. In the thesis, I propose an alternative diachronic framework by which to extend the standard synchronic accounts of metaphysical dependence relations, and by which to reformulate the metaphysical foundation of the extended cognition thesis. The project fills an important gap between analytical metaphysics (in particular, the metaphysics of dependence relations) and naturalistic philosophy of mind (especially the extended cognition thesis). To my knowledge there has been no attempt to establish a robust diachronic account of metaphysical building (or, dependence) relations such as, e.g., composition and constitution. However, this is precisely what I argue is required to properly advance and ground the metaphysics of extended cognition. Ultimately, my aim of reformulating the metaphysics of extended cognition consists in taking several steps toward a third-wave of extended cognition. (shrink)

In this paper, I develop a new defense of logicism: one that combines logicism and nominalism. First, I defend the logicist approach from recent criticisms; in particular from the charge that a cruciai principie in the logicist reconstruction of arithmetic, Hume's Principle, is not analytic. In order to do that, I argue, it is crucial to understand the overall logicist approach as a nominalist view. I then indicate a way of extending the nominalist logicist approach beyond arithmetic. Finally, I argue (...) that a nominalist can use the resulting approach to provide a nominalization strategy for mathematics. In this way, mathematical structures can be introduced without ontological costs. And so, if this proposal is correct, we can say that ultimately all the nominalist needs is logic (and, rather loosely, ali the logicist needs is nominalism). (shrink)

Abstract: Friends of plural logic—like Oliver & Smiley (2001), Rayo (2002), Yi (2005), and McKay (2006)—have argued that a semantics of plurals based on mereological sums would be too weak, and they have adduced several examples in favor of their claim. However, they have not considered various possible counter-arguments. So how convincing are their own arguments? We show that several of them are easily answered, while some others are more problematic. Overall, the case against mereological singularism—the idea that mereological sums (...) can serve as the semantic values of plurals—turns out to be much less strong than what it is usually presented to be. (shrink)

The present work explores various ways in which contingent evidence can impact metaphysics, while advocating that, just as a scientific realist allows for ampliative inferences to the unobservable, ampliative inferences from possible evidence can warrant possibility claims that lie beyond the reach of sensorial imagination. In slogan form: possible evidence is a guide to possibility. Drawing on Shoemaker’s (1969) argument for the possibility of time without change, I advocate the following principle: If there is a possible world at which the (...) observable facts make it objectively reasonable to conclude that p, then we should conclude that p is possibly true. This provides a route to contingentism in metaphysics, for, if one considers that there are worlds in which the observable facts make it objectively reasonable to conclude that p, and worlds in which the observable facts make it objectively reasonable to conclude that not-p, then my principle tells us that we should conclude that possibly-p and possibly not-p, i.e. that p is contingent. This contingency in what is reasonable to conclude, I suggest, occurs most saliently in debates where evidence of phenomenal experience and empirical science are marshalled to support one theory over another. I also explore some consequences of taking possible evidence to be a guide to possibility in this way, among them being an interesting modal analogue of the lottery paradox. (shrink)

In 1901 Russell had envisaged the new analytic philosophy as uniquely systematic, borrowing the methods of science and mathematics. A century later, have Russell’s hopes become reality? David Lewis is often celebrated as a great systematic metaphysician, his influence proof that we live in a heyday of systematic philosophy. But, we argue, this common belief is misguided: Lewis was not a systematic philosopher, and he didn’t want to be. Although some aspects of his philosophy are systematic, mainly his pluriverse of (...) possible worlds and its many applications, that systematicity was due to the influence of his teacher Quine, who really was an heir to Russell. Drawing upon Lewis’s posthumous papers and his correspondence as well as the published record, we show that Lewis’s non- Quinean influences, including G.E. Moore and D.M. Armstrong, led Lewis to an anti- systematic methodology which leaves each philosopher’s views and starting points to his or her own personal conscience. (shrink)

This thesis is composed of three essays on the perdurantist approach to persistence and identity over time. In Chapter 1, I discuss how the following papers are to be understood as parts of a unified perdurantist account of persistence over time. This chapter also outlines some of my philosophical assumptions and provides some background information about the metaphysics of persistence. In Chapter 2, I respond to the objection that the worm theory is unable to account for our intuitions about ordinary (...) counting sentences. I do this by invoking the standard linguistic phenomenon of covert quantifier domain restriction and supplementing the worm theory with situation semantics. My version of the worm theory makes our intuitive judgements come out true, and it does so well enough that there is no need to adopt the stage theory or revisionary theories of counting. Furthermore, my version of the worm theory offers a unified account of event- and object-related counting. Chapter 3 focuses on a commonly neglected difference between different kinds of perdurantism, which are differences in mereological priority. I discuss three different views: parts-first perdurantism, no-priority perdurantism, and wholes-first perdurantism. I briefly outline all three views and some of the motivations for each of them. I fend off objections from and motivations for no-priority perdurantism. I also contend that intraperdurantist debates about phenomenology ought not to be framed with respect to these forms of perdurantism. Instead, I suggest that the relativity of simultaneity presents an interesting scenario for parts-first and wholes-first perdurantists. I respond to Thomas Pashby’s arguments against the doctrine of temporal parts in Chapter 3. Pashby argues that metaphysicians ought to give an account of how quantum systems persist over time and that nonrelativistic quantum mechanics is incompatible with perdurantism. I contend that his arguments rely on controversial, non-standard assumptions about the existence and importance of time observables. I demonstrate that perdurantists have no problem giving an account of how quantum systems persist over time in reference to an external time parameter. Finally, I conclude with a summary of my arguments and some thoughts about directions for future research. (shrink)

Dans son article From Nihilism to Monism, Jonathan Schaffer montre que les partisans du Nihilisme de la Composition ont de bonnes raisons d’accepter le Monisme d’Existence plutôt que le Nihilisme. De manière analogue, nous souhaitons montrer ici que les partisans de l’Universalisme de la Composition ont de bonnes raisons d’accepter le Monisme de Priorité. Pour montrer cela, nous allons proposer et défendre l’argument suivant : Prémisse 1. Si l’Universalisme de la Composition est vrai alors le Cosmos existe. Prémisse 2. Si (...) le Cosmos existe alors le Cosmos est la seule entité concrète basique. Conclusion. Si l’Universalisme de la Composition est vrai alors le Cosmos est la seule entité concrète basique. (shrink)

Few views are as widely held as the Standard View of Identity. Here I am concerned with minority views that depart from the standard account. First, I attempt to illuminate such views and the debates concerning them by identifying the principles of identity at issue, articulating some of the assumptions underlying the debates, and presenting some of the evidence used against the Standard View of Identity. Second, I enter two of these debates myself. I first defend two Non-Standard Views of (...) Identity from the charge that they violate a principle of identity, namely the Transitivity of Identity. I then present an overlooked consequence of another Non-Standard View of Identity that challenges the view on one of its own methodological principles. Third, I draw on recent work in ontological and parthood pluralism to show how one might be led to think that there is more than one way of being identical. That is, I show how one might be an identity pluralist. (shrink)

This paper advocates a new reading of Nelson Goodman’s new riddle of induction. According to Ian Hacking, this famous problem conveys a “pure nominalism”, as it grounds Goodman’s denial regarding the existence of natural kinds. While this interpretation is somewhat convincing, it suffers the major flaw of not corresponding to what Goodman himself understood by “nominalism”. Nominalism, in a goodmanian sense, is indeed primarily a technical demand, which stems from the so-called “calculus of individuals”. I argue that this mereological definition (...) of nominalism allows to understand the new riddle of induction afresh. As a result, Goodman’s riddle is “hyper-nominalist”, i.e., nominalist in a distinct and stronger sense than what Hacking suggested. (shrink)

We can see mereology as a theory of parthood and topology as a theory of wholeness. How can these be combined to obtain a unified theory of parts and wholes? This paper examines various non-equivalent ways of pursuing this task, with specific reference to its relevance to spatio-temporal reasoning. In particular, three main strategies are compared: (i) mereology and topology as two independent (though mutually related) chapters; (ii) mereology as a general theory subsuming topology; (iii) topology as a general theory (...) subsuming mereology. Some more speculative strategies and directions for further research are also considered. (shrink)

This article aims to clarify how aspects of current chemical understanding relate to some important contemporary problems of philosophy. The first section points out that the long-running philosophical debates concerning how properties stay together in substances have neglected the important topic of structure-determining closure. The second part describes several chemically-important types of closure and the third part shows how such closures ground the properties of chemical substances. The fourth section introduces current discussions of structural realism (SR) and contextual emergence: the (...) final sections reconsider the coherence of the properties of substances and concludes that recognition that structures qualify as determinants of specific outcomes—as ‘causes’ as that designation is used in Standard English—clarifies how properties stay together in chemical entities, and by analogy, how characteristics cohere in ordinary items. (shrink)

This paper presents an account of what it is for a property or relation (or ‘attribute’ for short) to be logically simple. Based on this account, it is shown, among other things, that the logically simple attributes are in at least one important way sparse. This in turn lends support to the view that the concept of a logically simple attribute can be regarded as a promising substitute for Lewis’s concept of a perfectly natural attribute. At least in part, the (...) advantage of using the former concept lies in the fact that it is amenable to analysis, where that analysis—i.e., the account put forward in this paper—requires the adoption neither of an Armstrongian theory of universals nor of a primitive notion of naturalness, fundamentality, or grounding. (shrink)

The general hypothesis underlying this work is that mereology (the study of the relations between an entity and its parts) and topology (understood as the study of the qualitative relations of connection and compactness) may jointly constitute adequate grounds for the formal-ontological analysis of the world of ordinary experience. The analysis focuses on certain minimal (structural) principles on the basis of which different philosophical theories may be erected.

Brentano’s theory of continuity is based on his account of boundaries. The core idea of the theory is that boundaries and coincidences thereof belong to the essence of continua. Brentano is confident that he developed a full-fledged, boundary-based, theory of continuity1; and scholars often concur: whether or not they accept Brentano’s take on continua they consider it a clear contender. My impression, on the contrary, is that, although it is infused with invaluable insights, several aspects of Brentano’s account of continuity (...) remain inchoate. To be clear, the theory of boundaries on which it relies, as well as the account of ontological dependence that Brentano develops alongside his theory of boundaries, constitute splendid achievements. However, the passage from the theory of boundaries to the account of continuity is rather sketchy. This paper pinpoints some chief problems raised by this transition, and proposes some solutions to them which, if not always faithful to the letter of Brentano’s account of continua, are I believe faithful to its spirit. §1 presents Brentano’s critique of the mathematical account of the continuous. §2 introduces Brentano’s positive account of continua. §3 raises three worries about Brentano’s account of continuity. §4 proposes a Neo-Brentanian approach to continua that handles these worries. (shrink)

This is a draft for a revised edition of Mark Sharlow's book "From Brain to Cosmos." It includes most of the material from the first edition, two shorter pieces pertaining to the book, and a detailed new introduction.

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

By the 1960s many, perhaps most, philosophers had adopted 'physicalism' – the view that physical causes fully account for mental activities. However, controversy persists about what counts as 'physical causes'. 'Reductive' physicalists recognize only microphysical (elementary-particle-level) causality. Many, perhaps most, physicalists are 'non-reductive' – they hold that entities considered by other 'special' sciences have causal powers. Philosophy of chemistry can help resolve main issues in philosophy of mind in three ways: developing an extended mereology applicable to chemical combination; testing whether (...) 'singularities' prevent reduction of chemistry to microphysics; and demonstrating 'downward causation' in complex networks of chemical reactions. (shrink)

This paper is divided in five sections. Section 11.1 sketches the history of the distinction between speech act with negative content and negated speech act, and gives a general dynamic interpretation for negated speech act. “Downdate semantics” for AGM contraction is introduced in Section 11.2. Relying on semantically interpreted contraction, Section 11.3 develops the dynamic semantics for constative and directive speech acts, and their external negations. The expressive completeness for the formal variants of natural language utterances, none of which is (...) a retraction, has been proved in Section 11.4. The last section gives a laconic answer to the question posed in the title of the paper. (shrink)

This is a position article summarizing our approach to the philosophy of space and spatial representation. Our concern is mostly methodological: above all, we argue that a number of philosophical puzzles that arise in this field—puzzles concerning the nature of spatial entities, their material and mereological constitution, their relationship with the space that they occupy—stem from a confusion between semantic issues and true metaphysical concerns.

This thesis explores the possibility of composite consciousness: phenomenally conscious states belonging to a composite being in virtue of the consciousness of, and relations among, its parts. We have no trouble accepting that a composite being has physical properties entirely in virtue of the physical properties of, and relations among, its parts. But a long­standing intuition holds that consciousness is different: my consciousness cannot be understood as a complex of interacting component consciousnesses belonging to parts of me. I ask why: (...) what is it about consciousness that makes us think it so different from matter? And should we accept this apparent difference? (shrink)

‘Fusion’ is a philosophical term of art, with a variety of uses. First, it is often a synonym for ‘sum’. In this sense, a is a fusion of b, c and d iff b, c and d are parts of a, and every part of a shares a part with b, c or d. So a cat is a fusion of the cells which compose it, and the same cat is a fusion of the molecules which compose it. Relatedly, ‘fusion’ (...) can refer to the occurrence of such composition: philosophers disagree about whether fusion is widespread, about whether it can be a vague matter, and so on. (shrink)

Either from concrete examples such as tomatoes on a plate, an egg carton full of eggs and so on, or simply because of the braces notation, we come to have some intuitions about the sorts of things sets might be. (See Maddy 1990.) First we tend to think of a set of particulars as itself a particular thing.. Second, even after the distinction between settheory and mereology has been carefully explained we tend to think of the members of a set (...) as in some sense parts. And third we tend to think that there is something represented by the braces. Now if there were experts who got their intuitions from elsewhere then we could discard these rather crude ideas about egg cartons and so on. But I suspect the intuitions of experts are, just like those of the rest of us, based on notation and simple examples. (shrink)

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)

I am a realist of a metaphysical stripe. I believe in an immense realm of "modal" and "abstract" entities, of entities that are neither part of, nor stand in any causal relation to, the actual, concrete world. For starters: I believe in possible worlds and individuals; in propositions, properties, and relations (both abundantly and sparsely conceived); in mathematical objects and structures; and in sets (or classes) of whatever I believe in. Call these sorts of entity, and the reality they comprise, (...) metaphysical. In contrast, call the actual, concrete entities, and the reality they comprise, physical. Physical and metaphysical reality together comprise all that there is. In this paper, it is not my aim to defend realism about any particular metaphysical sort of entity. Rather, I ask quite generally whether and how any brand of realism about metaphysical sorts of entity could be justified? (shrink)

The truthmaker theory rests on the thesis that the link between a true judgment and that in the world to which it corresponds is not a one-to-one but rather a one-to-many relation. An analogous thesis in relation to the link between a singular term and that in the world to which it refers is already widely accepted. This is the thesis to the effect that singular reference is marked by vagueness of a sort that is best understood in supervaluationist terms. (...) In what follows we show that the supervaluationist approach to singular reference, when wedded to the truthmaker idea, yields a framework of surprising power, which offers a uniform set of solutions to a range of problems regarding identity, reference and knowledge, problems which have hitherto been dealt with on an ad hoc basis. (shrink)

The paper deals with such a modification of genuine modal realism as to accommodate impossible worlds into its ontology. First of all, the theory of modal realism is presented. Next, several motivations for the acceptance of impossible worlds are adduced. Further, Lewis’s argument against impossible worlds is presented. It is argued that the argument can be weakened by rejection of one of its premises. Finally, two objections against the proposal are countered. Although my strategy accounts for the Opinion concerning the (...) impossible, it allegedly violates another Opinion which conceives the reality classical. It seems, however, that there is no no-question-begging reason to think that reality is classical. How can we know, after all, which logic describes reality? Without a definite answer to the question, the incredibility objection then simply collapses into a statement of a possibilist dogma. (shrink)

In this thesis, I argue that physicalism should be understood to be the view that mental properties are realized by physical properties. In doing this, I explore what the realization relation might be. Since realization is the relation that should help us formulate physicalism, I suggest that the theoretical role of realization consists in explaining some of the things that physicalists wish to explain. These are: How are mental properties metaphysically necessitated by physical properties? How are mental properties causally efficacious? (...) A theory of realization should provide resources for answering these questions. Having identified the theoretical role of realization, I discuss several theories of realization, but then focus on the subset view of realization. According to the subset view, a property P realizes a property Q if and only if the causal powers of Q are a proper subset of the causal powers of P. I argue that the realization relation as it is formulated by the subset view is a promising candidate to play the theoretical role that I want realization to play. I then investigate how this theoretical role is occupied. In doing so, I provide a general metaphysical framework that the defenders of the subset view can appeal to. This framework specifies in what ways properties are related to their causal powers. Discussing some problems that the subset view faces, I propose my own version of the subset view. I argue that a property P realizes a property Q if and only if the causal powers of Q are a proper subset of the causal powers of P, and P is more fundamental than Q. Thanks to the requirement that a realized property is less fundamental than its realizers, two things that the original version of the subset view cannot explain are guaranteed: first, fundamental properties are not realized; second, arbitrary conjunctions of properties do not realize their conjuncts. By showing how a theory of realization can help us explain some of the things that physicalists typically wish to explain, I also show that a non-reductive variety of physicalism does not face the problems that it is commonly thought to face. (shrink)

Murray Gell-Mann and James Hartle have made an original proposal for a version of decoherent histories quantum mechanics which is specifically tailored so as not to imply the emergence of multiple quasi-classical worlds. I argue that there is an explanatory gap in the proposal but that there remains an important insight which might be used to tackle what can be seen as an outstanding problem for Hugh Everett III’s “relative state” interpretation of quantum mechanics, if it is understood as giving (...) ontic priority to the wavefunction. The argument employs a recent novel analysis of self-location within any sort of multiverse. (shrink)

Words have meaning. Sentences also have meaning, but their meaning is different in kind from any collection of the meanings of the words they contain. I discuss two puzzles related to this difference. The first is how the meanings of the parts of a sentence combine to give rise to a unified sentential meaning, as opposed to a mere collection of disparate meanings (UP1). The second is why the formal ontology of linguistic meaning changes when grammatical structure is built up (...) (UP2). For example, the meaning of a sentence is a proposition evaluable for truth and falsity. In contrast, a collection of the meanings of its parts does not constitute a proposition and is not evaluable for truth. These two puzzles are closely related, since change in formal ontology is the clearest sign of the unity of meaning. The most popular strategy for answering them is taking the meanings of the parts as abstractions from primitive sentence meanings. However, I argue that, given plausible psychological constraints, sentence meanings cannot be taken as explanatory primitives. Drawing on recent work in Generative Grammar and its philosophy, I suggest that the key to both unity questions is to distinguish strictly between lexical and grammatical meaning. The latter is irreducible and determines how lexical content is used in referential acts. I argue that these referential properties determine a formal ontology, which explains why and how formal ontology changes when grammatical structure is built up (UP2). As for UP1, I suggest that, strictly speaking, lexical meanings never combine. Instead, whenever grammar specifies a formal ontology for the lexical meanings entering a grammatical derivation, further lexical (or phrasal) meanings can only specify aspects of this recursive grammatical process. In this way, contemporary grammatical theory can be used to address old philosophical problems. (shrink)

This thesis comprises three main chapters—each comprising one relatively standalone paper. The unifying theme is fragmentalism about truth, which is the view that the predicate “true” either expresses distinct concepts or expresses distinct properties. -/- In Chapter 1, I provide a formal development of alethic pluralism. Pluralism is the view that there are distinct truth properties associated with distinct domains of subject matter, where a truth property satisfies certain truth-characterizing principles. On behalf of pluralists, I propose an account of logic (...) and semantics that shows how they can answer central conceptual and logical challenges for their view. -/- In Chapter 2, I motivate and develop a modal account of propositions on the basis of an iterative conception of propositions, where the modality is logico-mathematical. The modal account of propositions takes the conception to motivate an inherently potential hierarchy of propositions. I show that the account helps provide satisfying solutions to the intensional paradoxes of Russell-Myhill, Kaplan, and Prior. -/- In Chapter 3, I propose that “true” is polysemous. I suggest that “true” is initially polysemous between correspondence truth and disquotational truth, and further polysemous between the meanings corresponding to the subconcepts of the concept truth generated by the indefinite extensibility of that concept. I show that the proposal provides satisfying solutions to the semantic paradoxes. (shrink)

It is widely believed that the semantic contents of some linguistic and mental representations are determined by factors independent of a person’s bodily makeup. Arguments derived from Hilary Putnam’s seminal Twin Earth thought experiment have been especially influential in establishing that belief. I claim that there is a neglected version of the mind-body relation which undermines those arguments and also excludes the possibility of zombies. It has been neglected because it is counterintuitive but I show that it can nonetheless be (...) intelligibly worked out in detail and all obvious objections met. This suggests that we may be faced with a choice between embracing a counterintuitive interpretation of the mind-body relation or accepting that a currently very promising theory in cognitive science, Prediction Error Minimization, faces a fundamental problem. Furthermore, blocking that threat entails that any physicalist/materialst theory of mind is freed from the spectre of zombie worlds. The proposal also makes the ideas of personal teleportation of mind uploading more plausible. (shrink)

The paper is a contribution to formal ontology. It seeks to use topological means in order to derive ontological laws pertaining to the boundaries and interiors of wholes, to relations of contact and connectedness, to the concepts of surface, point, neighbourhood, and so on. The basis of the theory is mereology, the formal theory of part and whole, a theory which is shown to have a number of advantages, for ontological purposes, over standard treatments of topology in set-theoretic terms. One (...) central goal of the paper is to provide a rigorous formulation of Brentano's thesis to the effect that a boundary can exist as a matter of necessity only as part of a whole of higher dimension which it is the boundary of. It concludes with a brief survey of current applications of mereotopology in areas such as natural-language analysis, geographic information systems, machine vision, naive physics, and database and knowledge engineering. (shrink)

Modal realists face a puzzle. For modal realism to be justified, modal realists need to be able to give a successful reduction of modality. A simple argument, however, appears to show that the reduction they propose fails. In order to defend the claim that modal realism is justified, modal realists therefore need to either show that this argument fails, or show that modal realists can give another reduction of modality that is successful. I argue that modal realists cannot do either (...) of these things and that, as a result, modal realism is unjustified and should be rejected. (shrink)

In this paper we propose a formal theory of partitions (ways of dividing up or sorting or mapping reality) and we show how the theory can be applied in the geospatial domain. We characterize partitions at two levels: as systems of cells (theory A), and in terms of their projective relation to reality (theory B). We lay down conditions of well-formedness for partitions and we define what it means for partitions to project truly onto reality. We continue by classifying well-formed (...) partitions along three axes: (a) degree of correspondence between partition cells and objects in reality; (b) degree to which a partition represents the mereological structure of the domain it is projected onto; and (c) degree of completeness and exhaustiveness with which a partition represents reality. This classification is used to characterize three types of partitions that play an important role in spatial information science: cadastral partitions, categorical coverages, and the partitions involved in folk categorizations of the geospatial domain. (shrink)

We can introduce singular terms for ordered pairs by means of an abstraction principle. Doing so proves useful for a number of projects in the philosophy of mathematics. However there is a question whether we can appeal to the abstraction principle in good faith, since a version of the Caesar Problem can be generated, posing the worry that abstraction fails to introduce expressions which refer determinately to the requisite sort of object. In this short paper I will pose the difficulty, (...) and then propose a solution. (shrink)

Title in English translation: Metametaphysics - with and without Categories. A comment paper on An Introduction to Metametaphysics by Tuomas Tahko. Ehdotan artikkelissa uutta olevan ja sen muodon välistä erottelua. Erottelun avulla voidaan antaa täsmällinen käsitys ontologisen kategorian käsitteestä ja metafysiikan tutkimuskohteesta. Argumentoin myös, että metafysiikan epistemologiaa ja semantiikkaa sekä metafyysistä selitttämistä pitää lähestyä kategorianäkökulmasta. Artikkeli on kommentti Tuomas Tahkon oppikirjaan An Introduction to Metametaphysics.

A noção de objecto abstracto desempenha um papel central em diferentes debates filosóficos contemporâneos, da metafísica à estética, passando pela filosofia da linguagem. A sua origem está contudo relacionada com a filosofia da matemática e em particular, com o trabalho de Frege nos fundamentos da aritmética. O nosso primeiro objectivo será assim o de explicar o contributo desta noção para o entendimento Fregeano da realidade matemática. Veremos também que, em virtude de certas dificuldades inerentes ao projeto Fregeano, a dada altura (...) a natureza do universo matemático passou a ser entendida nos termos da chamada teoria dos conjuntos. Com este material à nossa disposição, podemos então discutir o papel desempenhado pela noção de objecto abstracto em certos debates filosóficos contemporâneos. Em particular, procuraremos ilustrar o interesse actual da noção, discutindo a distinção abstracto/concreto. (shrink)