Much contemporary ontological inquiry takes place within the so-called ‘Quinean tradition’ but, given that some aspects of Quine’s project have been widely abandoned even by those who consider themselves Quineans, it is unclear what this amounts to. Fortunately recent work in metaontology has produced two relevant results here: a clearer characterisation of the metaontology uniting the aforementioned Quineans, most notably undertaken by Peter van Inwagen, and a raft of criticisms of that metaontology. In this paper I critique van Inwagen’s Quinean (...) metaontology, finding that certain challenges, supplemented by pressure to reflect more closely Quine’s work, should drive Quineans to adopt a stronger metaontology incorporating more of Quine’s radical views. I conclude that while van Inwagen’s Quineanism is problematic there are prospects for a viable, more wholeheartedly Quinean, metaontology. (shrink)

‘It feels like I have lost a part of myself’ is frequently uttered by those grieving the death of a loved one. Despite the ubiquity of such utterances, and the palpable sense that they express something true, few philosophers have considered what, if anything, accounts for their truth. Here, I develop a suggestion from Donald Baxter according to which Composition as Identity provides us a means to understand the grief utterances literally. In doing so, I identify and develop a version (...) of Leibniz's Law required for Composition as Identity to account for the truth of the grief utterances. In turn, this principle helps shed light on Composition as Identity's central claim: that the parts are identical to the whole. By considering objections to the resulting view, I construct a list of desiderata for other philosophers interested in accounting for the grief utterances. (shrink)

A number of philosophers think that grounding is, in some sense, well-founded. This thesis, however, is not always articulated precisely, nor is there a consensus in the literature as to how it should be characterized. In what follows, I consider several principles that one might have in mind when asserting that grounding is well-founded, and I argue that one of these principles, which I call ‘full foundations’, best captures the relevant claim. My argument is by the process of elimination. For (...) each of the inadequate principles, I illustrate its inadequacy by showing either that it excludes cases that should not be ruled out by a well-foundedness axiom for grounding, or that it admits cases that should be ruled out. (shrink)

According to ontological nihilism there are, fundamentally, no individuals. Both natural languages and standard predicate logic, however, appear to be committed to a picture of the world as containing individual objects. This leads to what I call the \emph{expressibility challenge} for ontological nihilism: what language can the ontological nihilist use to express her account of how matters fundamentally stand? One promising suggestion is for the nihilist to use a form of \emph{predicate functorese}, a language developed by Quine. This proposal faces (...) a difficult objection, according to which any theory in predicate functorese will be a notational variant of the corresponding theory stated in standard predicate logic. Jason Turner (2011) has provided the most detailed and convincing version of this objection. In the present paper, I argue that Turner's case for the notational variance thesis relies on a faulty metasemantic principle and, consequently, that an objection long thought devastating is in fact misguided. (shrink)

Mereotopology is today regarded as a major tool for ontological analysis, and for many good reasons. There are, however, a number of open questions that call for an answer. Some are philosophical, others have direct applicative import, but all are crucial for a proper assessment of the strengths and limits of mereotopology. This paper is an attempt to put sum order in this area.

This dissertation explores the concepts of naturalness, intrinsicality, and duplication. An intrinsic property is had by an object purely in virtue of the way that object is considered in itself. Duplicate objects are exactly similar, considered as they are in themselves. The perfectly natural properties are the most fundamental properties of the world, upon which the nature of the world depends. In this dissertation I develop a theory of intrinsicality, naturalness, and duplication and explore their philosophical applications. Chapter 1 introduces (...) the notions, gives a preliminary survey of some proposed conceptual connections between the notions, and sketches some of their proposed applications. Chapter 2 gives my background assumptions and introduces notational conventions. In chapter 3 I present a theory of naturalness. Although I take ‘natural’ as a primitive, I clarify this notion by distinguishing and explicating various conceptions of naturalness. In chapter 4 I give a theory of various notions related to naturalness, especially intrinsicality and duplication. I show that ‘intrinsic’ and ‘duplicate’ are interde nable, and then give analyses of these and other notions in terms of naturalness. If, as I think likely, naturalness cannot be analyzed, then what is the proper response? David Lewis suggests: accept naturalness as a primitive. I am sympathetic to this proposal, but not to the form Lewis gives it: chapter 5 contains an argument against Lewis’s theory of naturalness. In chapter 6 I reject the idea that naturalness is analyzable in terms of immanent universals. I focus on the work of D. M. Armstrong. I also criticize Armstrong’s arguments against transcendent universals. (shrink)

Since the publication of David Lewis's ''New Work for a Theory of Universals,'' the distinction between properties that are fundamental – or perfectly natural – and those that are not has become a staple of mainstream metaphysics. Plausible candidates for perfect naturalness include the quantitative properties posited by fundamental physics. This paper argues for two claims: (1) the most satisfying account of quantitative properties employs higher-order relations, and (2) these relations must be perfectly natural, for otherwise the perfectly natural properties (...) cannot play the roles in metaphysical theorizing as envisaged by Lewis. (shrink)

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

Mereological essentialists argue that mereological summations cannot change their parts. Mereological inessentialists argue that mereological summations can change some or all of their parts. In this paper I articulate and defend a position called Moderate Mereological Inessentialism, according to which certain mereological summations can change some, but not all, of their parts. Persistent mereological summations occur when the functional parts of mereological summations persist through alterations to its spatial parts.

Mereological entities often seem to violate ‘ordinary’ ideas of what a concrete object can be like, behaving more like sets than like Aristotelian substances. However, the mereological notions of ‘part’, ‘composition’, and ‘sum’ or ‘fusion’ appear to find concrete realisation in the actual semantics of mass nouns. Quine notes that ‘any sum of parts which are water is water’; and the wine from a single barrel can be distributed around the globe without affecting its identity. Is there here, as some (...) have claimed, a ‘natural’ or ‘innocent’ form of mereology? The claim rests on the assumption that what a mass noun such as ‘wine’ denotes — the wine from a single barrel, for example — is indeed a unit of a special type, the sum or fusion of its many ‘parts’. The assumption is, however, open to question on semantic grounds. (shrink)

Quine has famously put forward the indispensability argument to force belief in the existence of mathematical objects (such as classes) due to their indispensability to our best theories of the world (Quine 1960). Quine has also advocated the indeterminacy of reference argument, according to which reference is dramatically indeterminate: given a language, there’s no unique reference relation for that language (see Quine 1969a). In this paper, I argue that these two arguments are in conflict with each other. Whereas the indispensability (...) argument supports realism about mathematics, the indeterminacy of reference argument, when applied to mathematics, provides a powerful strategy in support of mathematical anti-realism. I conclude the paper by indicating why the indeterminacy of reference phenomenon should be preferred over the considerations regarding indispensability. In the end, even the Quinean shouldn’t be a realist (platonist) about mathematics. (shrink)

There are advantages to thrift over honest toil. If we can make do without numbers we avoid challenging questions over the metaphysics and epistemology of such entities; and we have a good idea, I think, of what a nominalistic metaphysics should look like. But minimizing ontology brings its own problems; for it seems to lead to error theory— saying that large swathes of common-sense and best science are false. Should recherche philosophical arguments really convince us to give all this up? (...) Such Moorean considerations are explicitly part of the motivation for the recent resurgence of structured metaphysics, which allow a minimal (perhaps nominalistic) fundamental ontology, while avoiding error-theory by adopting a permissive stance towards ontology that can be argued to be grounded in the fundamental. This paper evaluates the Moorean arguments, identifying key epistemological assumptions. On the assumption that Moorean arguments can be used to rule out error-theory, I examine deflationary ‘representationalist’ rivals to the structured metaphysics reaction. Quinean paraphrase, fictionalist claims about syntax and semantics are considered and criticized. In the final section, a ‘direct’ deflationary strategy is outlined and the theoretical obligations that it faces are articulated. The position advocated may have us talking a lot like a friend of structured metaphysics—but with a very different conception of what we’re up to. (shrink)

In this work I first develop, motivate, and defend the view that mereological composition, the relation between an object and all its parts collectively, is a relation of identity. I argue that this view implies and hence can explain the logical necessity of classical mereology, the formal study of the part-whole relation. I then critically discuss four contemporary views of the same kind. Finally, I employ my thesis in a recent discussion of whether the world is fundamentally one in number.

Approaches to truth and the Liar paradox seem invariably to face a dilemma: either appeal to some sort of hierarchy, or declare apparently perfectly coherent concepts incoherent. But since both options lead to severe expressive restrictions, neither seems satisfactory. The aim of this paper is a new approach, which avoids the dilemma and the resulting expressive restrictions. Previous approaches tend to appeal to some new sort of semantic value for the truth predicate to take. I argue that such approaches inevitably (...) lead to the dilemma in question. In contrast, the present proposal sticks with classical semantic values, but allows the compositional rules associated with these to admit of exceptions. I show how such an approach can be developed systematically. (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)

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.

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)

This is a work in analytic metaphysics, which addresses a cluster of interrelated issues at the interface of mereology and persistence over time. In particular, it outlines a defence of a version of Endurance Theory according to which every enduring object is either a mereological simple or a mere sum of mereological simples. It includes, among other things, a proposal of a new way of framing the debate between Endurance Theory and Four-Dimensionalism, a defence of Endurance Theory over Four-Dimensionalism, arguments (...) against the existence of compound substances, and a defence of a traditional metaphysical atomism according to which all objects are ultimately made up of microscopic simples. (shrink)

The debate about the ontological innocence of mereology has generally been framed as a debate about the plausibility of Universal Fusion. Ontologically loaded fusions must be more than the sum of their parts, and this seems to violate parsimony if fusion is universal. Less attention has been paid to the question of what sort of emergence mereological fusions must exhibit if they are irreducible to their parts. The philosophy of science literature provides several models of such strong emergence. Examining those (...) models suggests that the difficulty with emergent fusions has at least as much to do with extensionality as it does with Universal Fusion. Some accounts of emergence fail to ensure irreducibility when combined with extensional mereologies. The most promising model for the strong emergence of ontologically loaded fusions fails to validate Anti-Symmetry, which naturally leads to failures of extensionality. These results suggest that the focus on Universal Fusion may have been misplaced. (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)

1. La estructura como problema filosófico 2. Teorías metafísicas de la estructura 2.1. La concepción intrínseca de la estructura 2.2. Como parte sui-generis 2.3. La concepción extrínseca de la estructura 3. Conclusiones Referencias.

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.

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 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.

Monitoring approaches to consciousness claim that a mental state is conscious when it is suitably monitored. Higher-order monitoring theory makes the monitoring state and the monitored state logically independent. Same-order monitoring theory claims a constitutive, non-contingent connection between the monitoring state and the monitored state. In this paper, I articulate different versions of the same-order monitoring theory and argue for its supremacy over the higher-order monitoring theory.

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)

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)

A critical survey of the fundamental philosophical issues in the logic and formal ontology of space, with special emphasis on the interplay between mereology (the theory of parthood relations), topology (broadly understood as a theory of qualitative spatial relations such as continuity and contiguity), and the theory of spatial location proper.

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)

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)

I argue that Composition as Identity blocks the plural version of Cantor's Theorem, and that therefore the plural version of Cantor's Theorem can no longer be uncritically appealed to. As an example, I show how this result blocks a recent argument by Hawthorne and Uzquiano.

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.