A non-solipsist form of presentness is usually thought to require the non-relative co-presentness of space-like separated events, where this requirement further implies the non-relative simultaneity of these events. Since special relativity is thought to rule out any global, non-relative simultaneity, typical non-solipsist forms of presentness are taken to be inconsistent with special relativity. To address this problem, we re-explain the relationship between the non-solipsism of presentness and co-presentness by appealing to metaphysical indeterminacy. We propose presentness indeterminacy, the thesis that where (...) an event, p, is determinately present, any event in space-like relation to p lacks a determinate tense. We argue that for many theories of time, indeterminate co-presentness is all that the non-solipsism of presentness requires. Since there is no determinate co-presentness, the inconsistency between presentness and special relativity in these theories disappears. (shrink)

Epistemicism associates vagueness with ignorance produced by semantic plasticity: the shiftiness of intensions in our language resulting from small changes in usage. The recent literature (Caie 2012; Magidor 2018; Yli-Vakkuri 2016) points to a missing piece in the epistemicist theory of vagueness, namely a clear account of the semantics of the definiteness operator Δ. The fundamentals of the epistemicist theory are well understood. However, the technical work of defining the definiteness operator has proven difficult. There are several desiderata that we (...) would like Δ to satisfy. For instance, we would like the epistemicist notion of ‘definiteness’ to interact well with modal operators and validate intuitive principles like ‘necessarily, if φ is definitely true, then φ is true’. Providing an account that would meet all such desiderata has eluded the epistemicists so far. In this paper, I present a novel version of a multidimensional model inspired by the work of Robert Stalnaker and David Kaplan. Using this model, I provide an account of epistemicist definiteness that meets our desiderata. (shrink)

I provide a theory of the metaphysical foundations of identity: an account what grounds facts of the form a=b. In particular, I defend the claim that indiscernibility grounds identity. This is typically rejected because it is viciously circular; plausible assumptions about the logic of ground entail that the fact that a=b partially grounds itself. The theory I defend is immune to this circularity.

In his work on the open future, Patrick Todd outlines three models of how to deal with future contingents. These models must answer two questions: one metaphysical, about what facts there are in the world; one semantic, about how to deal with sentences involving ‘will.’ Model 1 has a privileged timeline. Model 2 has an actual future timeline but leaves it indeterminate which timeline that is. Model 3 has no future timeline. All three give will-sentences a modal treatement, as a (...) box over available futures. I will argue that Todd’s second model has problems and should be improved. The first is that it denies what Todd labels as the basic metaphysical intuition behind open-futurism. The second is that indeterminacy about the facts that characterize the actual timeline breaks through into indeterminate identity. I propose a fix to model 2 eliminating its actual future and resolving an issue that arises in applying the neutral semantics Todd endorses to indeterminate sentences. This improved model, I suggest, may even compare favorably to Todd’s preferred model 3. (shrink)

Zurvanism was an ancient variant of Zoroastrianism. According to Zurvanism, the great powers of good and evil, Ahura Mazda and Angra Mainyu, were the sons of a greater god Zurvan, associated with time. According to Eudemus of Rhodes, some Persian thinkers, presumably Zurvanists, took there to be three great principles underlying the world: light, darkness, and greatest of all time (or perhaps, according to Eudemus, space). This paper explores what metaphysics might underlie these doctrines, and what contemporary options we have (...) for making sense of a metaphysics where time is the ultimate principle. Among the options explored is the option that despite appearance many of the entities of the concrete world are identical to stretches of time, or are somehow aspects of stretches of time; that they include times as parts, or are included in times as parts; that they are somehow properties of time; or hylomorphic compounds of which time is the matter; that the world is somehow a mixture of time, light, and dark; or that somehow the ends or teloi of everyday objects and processes are to be found among good, evil, and time. (shrink)

This paper asks: Is the quantifier variantist committed to metaphysical vagueness? My investigation of this question goes via a study of vague existence. I’ll argue that the quantifier variantist is committed to vague existence and that the vague existence posited by the variantist requires a puzzling sort of metaphysical vagueness. Specifically, I distinguish between (what I call) positive and negative metaphysical vagueness. Positive metaphysical vagueness is (roughly) the claim that there is vagueness in the world; negative metaphysical vagueness is (roughly) (...) the claim that there is vagueness that is not in our language or thought. I’ll argue that the quantifier variantist’s commitment to vague existence comes with positive metaphysical vagueness -- even if it doesn't require negative metaphysical vagueness. (shrink)

Most ordinary objects - cats, humans, mountains, ships, tables, etc. - have indeterminate mereological boundaries. If the theory of mereology is meant to include ordinary objects at all, we need it to have some space for mereological indeterminacy. In this paper, we present a novel degree-theoretic semantics - Boolean semantics - and argue that it is the best degree-theoretic semantics for modeling mereological indeterminacy, for three main reasons: (a) it allows for incomparable degrees of parthood, (b) it enforces classical logic, (...) and (c) it is compatible with all the axioms of classical mereology. Using Boolean semantics, we will also investigate the connection between vagueness in parthood and vagueness in existence/identity. We show that, contrary to what many have argued, the connection takes neither the form of entailment nor the form of exclusion. (shrink)

This extended abstract summarises some of the basic points of AI ethics and policy as they present themselves now. We explain the notion of AI, the main ethical issues in AI and the main policy aims and means.

The main research programs in quantum gravity tend to suggest in one way or another that most spacetime structures are not fundamental. At the same time, work in quantum foundations highlights fundamental features that are in tension with any straightforward space- time understanding. This paper aims to explore the little investigated but potentially fruitful links between these two fields.

What is the relation of logic to thinking? My dissertation offers a new argument for the claim that logic is constitutive of thinking in the following sense: representational activity counts as thinking only if it manifests sensitivity to logical rules. In short, thinking has to be minimally logical. An account of thinking has to allow for our freedom to question or revise our commitments – even seemingly obvious conceptual connections – without loss of understanding. This freedom, I argue, requires that (...) thinkers have general abilities to respond to support and tension among their thoughts. And these abilities are constituted by following logical rules. So thinkers have to follow logical rules. But there isn’t just one correct logic for thinking. I show that my view is consistent with logical pluralism: there are a range of correct logics, any one of which a thinker might follow. A logic for thinking does, however, have to contain certain minimal principles: Modus Ponens and Non-Contradiction, and perhaps others. We follow logical rules by exercising logical capacities, which display a distinctive first-person/third-person asymmetry: a subject can find the instances of a rule compelling without seeing them as instances of a rule. As a result, there are two limits on illogical thinking. First, thinkers have to tend to find instances of logical rules compelling. Second, thinkers can’t think in obviously illogical ways. So thinking has to be logical – but not perfectly so. When we try to think, but fail, we produce nonsense. But our failures to think are often subjectively indistinguishable from thinking. To explain how this occurs, I offer an account of nonsense. To be under the illusion that some nonsense makes sense is to enter a pretence that the nonsense is meaningful. Our use of nonsense within the pretence relies on the role of logical form in understanding. Finally, while the normativity of logic doesn’t fall directly out of logical constitutivism, it’s possible to build an attractive account of logical normativity which has logical constitutivism as an integral part. I argue that thinking is necessary for human flourishing, and that this is the source of logical normativity. (shrink)

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

In Calosi and Wilson (Phil Studies 2019/2018), we argue that on many interpretations of quantum mechanics (QM), there is quantum mechanical indeterminacy (QMI), and that a determinable-based account of metaphysical indeterminacy (MI), as per Wilson 2013 and 2016, properly accommodates the full range of cases of QMI. Here we argue that this approach is superior to other treatments of QMI on offer, both realistic and deflationary, in providing the basis for an intelligible explanation of the interference patterns in the double-slit (...) experiment. We start with a brief overview of the motivations for QMI and for a determinable-based account of MI (§1). We then apply a developed 'glutty' implementation of determinable-based QMI to the superposition-based QMI present in the double-slit experiment, and positively compare the associated explanation of double-slit interference with that available on a metaphysical supervaluationist account of QMI (§2). We then present and respond to objections, due to Glick (2017) and Torza (2017), either to QMI (§3) or to our specific account of QMI (§4); in these sections we also positively compare our treatment of double-slit interference to that available on Glick's deflationary treatment of QMI. We conclude with some dialectical observations (§5). (shrink)

Beach's Gaelic Symphony is plausibly an abstract object that Beach created. The view that people create some abstract objects is called abstract creationism. There are abstract creationists about many kinds of objects, including musical works, fictional characters, arguments, words, internet memes, installation artworks, bitcoins, and restaurants. Alternative theories include materialism and Platonism. This paper discusses some of the most serious objections against abstract creationism. Arguably, these objections have ramifications for questions in metaphysics pertaining to the abstract/concrete distinction, time, causation, vague (...) existence, vague identity, and inadvertent creation. (shrink)

Orthodoxy holds that there is a determinate fact of the matter about every arithmetical claim. Little argument has been supplied in favour of orthodoxy, and work of Field, Warren and Waxman, and others suggests that the presumption in its favour is unjustified. This paper supports orthodoxy by establishing the determinacy of arithmetic in a well-motivated modal plural logic. Recasting this result in higher-order logic reveals that even the nominalist who thinks that there are only finitely many things should think that (...) there is some sense in which arithmetic is true and determinate. (shrink)

This paper deals with the identity problems of fictional objects, focusing on Anthony Everett's and Stuart Brock's leading criticisms against fictional creationism, the view that fictional objects are abstract objects created by our acts involving literary practices. My primary aim is to argue that creationism based on referentialism has enough resources to individuate fictional objects and hence can address the alleged identity problems: every alleged problematic case regarding the identity of fictional objects is well explained in terms of the notions (...) of authorial intention, gappy proposition, inadvertent creation, and reference shift. (shrink)

This paper explores quantum indeterminacy, as it is operative in the failure of value‐definiteness for quantum observables. It first addresses questions about its existence, its nature, and its relations to extant quantum interpretations. Then, it provides a critical discussions of the main accounts of quantum indeterminacy.

In this article, I first introduce an Indian Madhyamaka Buddhist critique of causality and discuss critically a contemporary Humean interpretation of the critique. After presenting a Chinese Madhyamaka interpretation, I resort to an ontological conception of indeterminacy, termed ontic indeterminacy, which draws on Chinese Madhyamaka thought together with Jessica Wilson’s account of metaphysical indeterminacy, to show that the conception is well equipped to unravel two puzzling issues that arise from the critique. I suggest that a world that consists of things (...) that are indeterminate with respect to certain ways they are is sufficient for it to embody causal phenomena. (shrink)

In this paper, I assess the analysis of vagueness of objects in terms of the theory of constitution with respect to the notion of vague identity. Some proponents of the constitution theory see it as an advantage of their account that analysing the spatial and temporal vagueness of objects in terms of the relation of vague constitution avoids commitment to vague identity, which is seen as a controversial notion. I argue that even though the constitution theory may plausibly be applied (...) to the phenomenon of vague boundaries, it fails to account fully for other cases of spatial and temporal vagueness. There are what I call ‘mid-extension’ vagueness cases, in which the tools of the constitution theory applied in the analysis of boundary vagueness are insufficient to avoid commitment to vague identity. (shrink)

Many philosophers think that common sense knowledge survives sophisticated philosophical proofs against it. Recently, however, Bryan Frances (forthcoming) has advanced a philosophical proof that he thinks common sense can’t survive. Exploiting philosophical paradoxes like the Sorites, Frances attempts to show how common sense leads to paradox and therefore that common sense methodology is unstable. In this paper, we show how Frances’s proof fails and then present Frances with a dilemma.

An influential theory has it that metaphysical indeterminacy occurs just when reality can be made completely precise in multiple ways. That characterization is formulated by employing the modal apparatus of ersatz possible worlds. As quantum physics taught us, reality cannot be made completely precise. I meet the challenge by providing an alternative theory which preserves the use of ersatz worlds but rejects the precisificational view of metaphysical indeterminacy. The upshot of the proposed theory is that it is metaphysically indeterminate whether (...) p just in case it is neither true nor false that p, and no terms in ‘p’ are semantically defective. In other words, metaphysical indeterminacy arises when the world cannot be adequately described by a complete set of sentences defined in a semantically nondefective language. Moreover, the present theory provides a reductive analysis of metaphysical indeterminacy, unlike its influential predecessor. Finally, I argue that any adequate logic of a language with an indeterminate subject matter is neither compositional nor bivalent. (shrink)

Provisional draft, pre-production copy of my book “The Modal Future” (forthcoming with Cambridge University Press).

My paper characterizes religious beliefs in terms of vagueness. I introduce my topic by providing a general overview of my main claims. In the subsequent section, I develop basic distinctions and terminology for handling the notion of religious tradition and capturing vagueness. In the following sections, I make the case for my claim that religious beliefs are vague by developing a general argument from the interconnection between the referential opacity of religious belief content and the long-term communitarian history of the (...) precisification of what such content means. I start from describing an empirical example in the third section, and then I move to settle the matter in a conceptually argumentative frame in the fourth one. My conclusions in the final section address a few of consequences relevant to debates about religious epistemology and religious diversity. (shrink)

This paper presents and defends an argument that the continuum hypothesis is false, based on considerations about objective chance and an old theorem due to Banach and Kuratowski. More specifically, I argue that the probabilistic inductive methods standardly used in science presuppose that every proposition about the outcome of a chancy process has a certain chance between 0 and 1. I also argue in favour of the standard view that chances are countably additive. Since it is possible to randomly pick (...) out a point on a continuum, for instance using a roulette wheel or by flipping a countable infinity of fair coins, it follows, given the axioms of ZFC, that there are many different cardinalities between countable infinity and the cardinality of the continuum. (shrink)

In ‘Against fictional realism’ Anthony Everett argues that fictional realism leads to indeterminate identity. He concludes that we should reject fictional realism. Everett’s paper and much of the ensuing literature does not discuss what exactly fictional characters are. This is a mistake. I argue that some versions of abstract creationism about fictional characters lead to indeterminate identity, and that some versions of Platonism about fictional characters lead only to indeterminate reference. In doing so I show that Everett’s argument poses a (...) more pressing problem for abstract creationism than for Platonism. The general lesson is that fictional realists should think more about the ontology of fictional characters in order to discern whether they are committed to indeterminate identity. (shrink)

The notion of 'natural kinds' has been central to contemporary discussions of metaphysics and philosophy of science. In recent years, essentialism has been the dominant account of natural kinds among philosophers, but the essentialist view has encountered resistance. Informed by detailed examination of classification in the natural and social sciences, Prof. Muhammad Ali Khalidi argues against essentialism and for a naturalist account of natural kinds. By looking at case studies drawn from diverse scientific disciplines, from fluid mechanics to virology and (...) polymer science to psychiatry, the author argues that natural kinds are nodes in causal networks. On the basis of this account, he maintains that there can be natural kinds in the social sciences as well as the natural sciences. (shrink)

A number of analytical philosophers have recently endorsed the view that the world itself is indeterminate in some respect. Intriguingly, ideas similar to the view are expressed by thinkers from Chinese Madhyamaka Buddhism, which may shed light on the current discussion of worldly indeterminacy. Using as a basis Chinese Madhyamaka thought, together with Jessica Wilson’s account of indeterminacy, I develop an ontological conception of indeterminacy, termed ontic indeterminacy, which centres on two complementary ideas—conclusive indeterminability and provisional determinability. I show that (...) OI is well-equipped to tackle several issues of worldly indeterminacy. My overarching aim is to present a viable and sustainable perspective on the subject of indeterminacy to enrich analytical philosophers’ insights into the intricate nature of reality. (shrink)

ABSTRACT Many phenomena appear to be indeterminate, including material macro-object boundaries and certain open future claims. Here I provide an account of indeterminacy in metaphysical, rather than semantic or epistemic, terms. Previous accounts of metaphysical indeterminacy have typically taken this to involve its being indeterminate which of various determinate states of affairs obtain. On my alternative account, MI involves its being determinate that an indeterminate state of affairs obtains. I more specifically suggest that MI involves an object's having a determinable (...) property, but not having any unique determinate of that determinable. I motivate the needed extension of the traditional understanding of determinables, then argue that a determinable-based account of MI accommodates, in illuminating fashion, both ‘glutty’ and ‘gappy’ cases of MI, while satisfactorily treating concerns about MI stemming from Evans’ argument and the problem of the many. (shrink)

Ted Sider has famously argued that existence, in the unrestricted sense of ontology, cannot be vague, as long as vagueness is modeled by means of precisifications. The first section of Chapter 9 exposes some controversial assumptions underlying Sider’s alleged reductio of vague existence. The upshot of the discussion is that, although existence cannot be vague, it can be super-vague, i.e. higher-order vague, for all orders. The second section develops and defends a novel framework, dubbed negative supervaluationary semantics, which makes room (...) for the possibility of super-vague existence. (shrink)

In this paper I will argue against a view that I call foundationalism about persistence-conditions. The core of this view is that composite physical objects have their specific persistence-conditions in virtue of these conditions being fulfilled by the object’s physical constituents at various times. I will provide two arguments – the argument from the possibility of instantaneous objects and the argument from the presence of persistence-conditions – which show that this view is untenable. These arguments will also point towards a (...) more adequate understanding of what it means for an object to have certain persistence-conditions. I will expound this understanding and suggest, on its basis, an unorthodox, hylomorphist account of the persistence-conditions of objects. (shrink)

A problem of the many Fs arises in cases where intuitively there is precisely one F (in the region you are talking about), but when you look closely you find many candidates for being that F, each one apparently as well-qualified as the next. Imagine an apparently solitary cloud in an otherwise blue sky. Look closer, and you'll see lots of water vapor molecules, with no one collection of them more eligible than the others to count as the cloud. Many (...) things are like this when you look closely enough. The problem arises for mundane things like rocks, houses and coins. It also arises for entities that present special philosophical challenges, like persons and experiencers. In this essay, I present a new argument that the problem of the many experiencers is an especially hard problem of the many, and property dualism—the view that properties that there is something it is like to instantiate are irreducible—may be the best way to solve it. (shrink)

There are writers in both metaphysics and algorithmic information theory (AIT) who seem to think that the latter could provide a formal theory of the former. This paper is intended as a step in that direction. It demonstrates how AIT might be used to define basic metaphysical notions such as *object* and *property* for a simple, idealized world. The extent to which these definitions capture intuitions about the metaphysics of the simple world, times the extent to which we think the (...) simple world is analogous to our own, will determine a lower bound for basing a metaphysics for *our* world on AIT. (shrink)

Scientific realism holds that the terms in our scientific theories refer and that we should believe in their existence. This presupposes a certain understanding of quantification, namely that it is ontologically committing, which I challenge in this paper. I argue that the ontological loading of the quantifiers is smuggled in through restricting the domains of quantification, without which it is clear to see that quantifiers are ontologically neutral. Once we remove domain restrictions, domains of quantification can include non-existent things, as (...) they do in scientific theorizing. Scientific realism would therefore require redefining without presupposing a view of ontologically committing quantification. (shrink)

In his seminal paper, ‘Can There Be Vague Objects?’ (1978), Gareth Evans advanced an argument purporting to prove that the idea of indeterminate identity is incoherent. Aware that his argument was incomplete as it stands, Evans added a remark at the end of his paper, in which he explained how the original argument needed to be modified to arrive at an explicit contradiction. This paper aims to develop a modified version of Evans’ original argument, which I argue is more promising (...) than the modification that Evans proposed in his remark. Last, a structurally similar argument against the idea of indeterminate existence is presented. (shrink)

Fictional realists maintain that fictional characters are part of the world’s ontology. In an influential article, Anthony Everett argues that the fictional realist is thereby committing herself to problematic entities. Among these are entities that are indeterminately identical. Recently, Ross Cameron and Richard Woodward have answered Everett’s worry using the same strategy. They argue that the fictional realist can bypass the problematic identities by contending that they are merely semantically indeterminate. This paper concisely surveys Everett’s original argument, Cameron’s and Woodward’s (...) responses, and then argues that the strategy employed by Cameron and Woodward fails to satisfactorily answer Everett’s worries. (shrink)

An object is a simple if and only if it has no proper parts. An object is gunk if and only if every proper part of that object itself has a proper part. In my dissertation, I address the following questions. The concepts of simples and gunk presuppose the concept of parthood. What is the status of this concept? his question itself divides into the following: does the concept of parthood have universal applicability, so that, just as every object is (...) self-identical, every object has parts? Finally, is the concept of parthood univocal, or are there different notions of parthood, each of which is defined on distinct ontological categories? I argue that the concept of parthood has univocal. I also argue that there is some evidence that the concept of parthood has universal applicability. I address the Simple Question, which is “under what circumstances is it true of some object that it has no proper parts?” I argue against several popular answers to the Simple Question, such as the view that simples are all and only point-sized objects, and the view that simples are maximally continuous material objects. I defend the Brutal View, which holds that there is no true, finitely expressible, and informative answer to the Simple Question. In short, there is no criterion for being a simple. Along the way, I address the question of whether extended simples, i.e., simples that are extended in space, are possible. I argue that one popular argument against the possibility of extended simples is unsound. I address the question of whether both simples and gunk are possible. I argue that it is metaphysically possible that material objects be composed of gunk. (shrink)

Suppose that all non-qualitative facts are grounded in qualitative facts. I argue that this view naturally comes with a picture in which trans-world identity is indeterminate. But this in turn leads to either pervasive indeterminacy in the non-qualitative, or else contingency in what facts about modality and possible worlds are determinate.

How does vagueness interact with metaphysical modality and with restrictions of it, such as nomological modality? In particular, how do definiteness, necessity (understood as restricted in some way or not), and actuality interact? This paper proposes a model-theoretic framework for investigating the logic and semantics of that interaction. The framework is put forward in an ecumenical spirit: it is intended to be applicable to all theories of vagueness that express vagueness using a definiteness (or: determinacy) operator. We will show how (...) epistemicists, supervaluationists, and theorists of metaphysical vagueness like Barnes and Williams (2010) can interpret the framework.  We will also present a complete axiomatization of the logic we recommend to both epistemicists and local supervaluationists. . (shrink)

This paper outlines a novel solution to the Ship of Theseus puzzle. The solution relies on situations, a philosophical tool used in natural language semantics among other places. The core idea is that what is true is always relative to the situation under consideration. I begin by outlining the problem before briefly introducing situations. I then present the solution: in smaller situations the candidate is identical to Theseus’s ship. But in larger situations containing both candidates these identities are neither true (...) nor false. Finally, I discuss some worries for the view that arise from the nature of identity, and suggest responses. It is concluded that the solution, and the theory that underpins it, are worth further investigation. (shrink)

Kilimanjaro is an example of what some philosophers would call a ‘vague object’: it is only roughly 5895 m tall, its weight is not precise and its boundaries are fuzzy because some particles are neither determinately part of it nor determinately not part of it. It has been suggested that this vagueness arises as a result of semantic indecision: it is because we didn’t make up our mind what the expression “Kilimanjaro” applies to that we can truthfully say such things (...) as “It is indeterminate whether this particle is part of Kilimanjaro”. After reviewing some of the limitations of this approach, I will propose an alternative account, based on a new semantic relation—multiple reference—capable of holding in a one-many pattern between a term and several objects in the domain. I will explain how multiple reference works, what differentiates it from plural reference and how it might be used to accommodate at least some aspects of our ordinary discourse about vague objects. (shrink)

The aim of this essay is to argue that, if a robust form of moral realism is true, then moral vagueness is ontic vagueness. The argument is by elimination: I show that neither semantic nor epistemic approaches to moral vagueness are satisfactory.

Die gegenwärtig unter dem Titel ›Realismus‹ geführten Debatten in der Philosophie befinden sich nach allgemeiner Ansicht in einem Zustand größter Verwirrung, so daß es nützlich erscheint, ein wenig Ordnung in die theoretischen Optionen zu bringen bevor man für die eine oder andere Auffassung Partei ergreift. In der vorliegenden Arbeit wird dafür argumentiert, daß sich ein systematisch zusammenhängendes Zentrum dieser Debatten mit Hilfe des Begriffes der Referenz ordnen läßt. Nach der Analyse einiger klassischer Positionen soll ein Rahmen erstellt werden, innerhalb dessen (...) die Positionen eingeordnet und die zentralen Probleme fruchtbar diskutiert werden können. Zu diesem Zwecke ist es erforderlich, für die Einordnung der Positionen theoretische Kriterien zu benennen, die sich an den Problemen orientieren von denen hier argumentiert wird, das sie zentral seien. Sehr knapp ausgedrückt wird hier die Auffassung vertreten, Realismus sei als metaphysische These aufzufassen, welche eine von menschlichen epistemischen und semantischen Möglichkeiten unabhängige Existenz behauptet; in den gegenwärtigen Debatten typischerweise die Existenz einer Art von Dingen, nicht die eines individuellen Gegenstandes. Diese metaphysische These wird jedoch in der gegenwärtigen Debatte mit semantischen Argumenten untermauert, bzw. angegriffen und jene semantischen Argumente wiederum verwenden epistemische Erwägungen – die Frage betreffend, was man wissen kann und was nicht. Der Beginn der gegenwärtigen Realismusdebatten mit der soeben skizzierten zentralen Stellung semantischer Argumente ist, der hier vertretenen Auffassung zufolge, die Kritik am traditionellen Fregeschen Referenzbegriff durch Kripke und den frühen Putnam um 1970 (Kap. 2). Aus dieser neu zu bewertenden Kritik und der von den Autoren daraus entwickelten externalistischen realistischen Semantik für Artausdrücke läßt sich das erste Kriterium für eine Position in einer Realismusdebatte ableiten und klären (Kap. 3): Hält man die fragliche Art für eine natürliche Art und meint also, sie habe ihren ›Zusammenhalt‹ von Natur aus? Wenn ja, dann ist die fragliche Position eine realistische (das Kriterium ist dank des engen Zusammenhangs von Realismus und Externalismus sowohl hinreichend als auch notwendig). Hält man die Art nicht für eine natürliche Art, ist man Antirealist. Damit geht jeweils not- wendig eine bestimmte Semantik für den auf die Art referierenden Ausdruck einher. Es zeigt sich zugleich, daß es zwei Varianten des Realismus zu unterscheiden gilt, die hier als klassischer bzw. als moderater Realismus bezeichnet werden. Im folgenden (Kap. 4.1) wird argumentiert, daß der Begriff der Wahrheit nicht eigentlich der zentrale Punkt in den in Frage stehenden Realismusdebatten sein sollte, wie vielfach behauptet wurde, sondern seine Brisanz vielmehr aus zugrundeliegenden semantischen Fragen gewinnt die also in der weiteren Aufdeckung der Kriterien die zentrale Rolle spielen müssen. In der Analyse der Kritik an der in Kap. 3 entwickelten Position des ›klassischen Realismus‹ läßt sich ein zweites unterscheidendes Kriterium für Positionen in Realismusdebatten entwickeln: begriffliche Relativität. Nach der Ablehnung von Putnams Auffassungen zu diesem Thema, werden zwei Varianten vorgeschlagen, starke und schwache begriffliche Relativität (Kap. 4.2). Die Anwendung dieses Merkmals zwingt, so wird argumentiert, in einigen Fällen zu einer Kombination einer realistischen Auffassung von Arten als natürliche mit begrifflicher Relativität. Diese mittlere Position zwischen klassischem Realismus und Antirealismus wird als »moderater Realismus« bezeichnet. Der im ersten Kriterium verwendete Begriff der natürlichen Art, und damit die Optionen in den Debatten, wird schließlich mittels einer Dis- kussion des Phänomens der Vagheit noch weiter verdeutlicht (Kap. 4.3). Ab- schließend werden die drei Optionen zusammenfassend dargestellt und ein Versuch unternommen, ihre Fruchtbarkeit für diverse Realismusdebatten anzudeuten. (shrink)

How could the self be a substance? There are various ways in which it could be, some familiar from the history of philosophy. I shall be rejecting these more familiar substantivalist approaches, but also the non-substantival theories traditionally opposed to them. I believe that the self is indeed a substance—in fact, that it is a simple or noncomposite substance—and, perhaps more remarkably still, that selves are, in a sense, self-creating substances. Of course, if one thinks of the notion of substance (...) as an outmoded relic of prescientific metaphysics—as the notion of some kind of basic and perhaps ineffablestuff—then the suggestion that the self (or indeed anything) is a substance may appear derisory. Even what we ordinarilycall‘stuffs’—gold and water and butter and the like—are, it seems, more properly conceived of as aggregates of molecules or atoms, while the latter are not appropriately to be thought of as being ‘made’ of any kind of ‘stuff’ at all. But this only goes to show that we need to think in terms of a more sophisticated notion of substance—one which may ultimately be traced back to Aristotle's conception of a ‘primary substance’ in theCategories, and whose heir in modern times is W. E. Johnson's notion of the ‘continuant’. It is the notion, that is, of a concrete individual capable of persisting identically through qualitative change, a subject of alterable predicates that is not itself predicable of any further subject. (shrink)

Revisionary theories of logic or truth require revisionary theories of mind. This essay outlines nonclassically based theories of rational belief, desire, and decision making, singling out the supervaluational family for special attention. To see these nonclassical theories of mind in action, this essay examines a debate between David Lewis and Derek Parfit over what matters in survival. Lewis argued that indeterminacy in personal identity allows caring about psychological connectedness and caring about personal identity to amount to the same thing. The (...) essay argues that Lewis's treatment of two of Parfit's puzzle cases—degreed survival and fission—presuppose different nonclassical treatments of belief and desire. (shrink)

Languages involving modalities and languages involving vagueness have each been thoroughly studied. On the other hand, virtually nothing has been said about the interaction of modality and vagueness. This paper aims to start filling that gap. Section 1 is a discussion of various possible sources of vague modality. Section 2 puts forward a model theory for a quantified language with operators for modality and vagueness. The model theory is followed by a discussion of the resulting logic. In Section 3, the (...) framework will permit us to address a puzzle raised by Elizabeth Barnes and Robert Williams. (shrink)

Peter Ludlow shows how word meanings are much more dynamic than we might have supposed, and explores how they are modulated even during everyday conversation. The resulting view is radical, and has far-reaching consequences for our political and legal discourse, and for enduring puzzles in the foundations of semantics, epistemology, and logic.

The naive theory of properties states that for every condition there is a property instantiated by exactly the things which satisfy that condition. The naive theory of properties is inconsistent in classical logic, but there are many ways to obtain consistent naive theories of properties in nonclassical logics. The naive theory of classes adds to the naive theory of properties an extensionality rule or axiom, which states roughly that if two classes have exactly the same members, they are identical. In (...) this paper we examine the prospects for obtaining a satisfactory naive theory of classes. We start from a result by Ross Brady, which demonstrates the consistency of something resembling a naive theory of classes. We generalize Brady’s result somewhat and extend it to a recent system developed by Andrew Bacon. All of the theories we prove consistent contain an extensionality rule or axiom. But we argue that given the background logics, the relevant extensionality principles are too weak. For example, in some of these theories, there are universal classes which are not declared coextensive. We elucidate some very modest demands on extensionality, designed to rule out this kind of pathology. But we close by proving that even these modest demands cannot be jointly satisfied. In light of this new impossibility result, the prospects for a naive theory of classes are bleak. (shrink)

On the one hand, philosophers have presented numerous apparent examples of indeterminate individuation, i.e., examples in which two things are neither determinately identical nor determinately distinct. On the other hand, some have argued against even the coherence of the very idea of indeterminate individuation. This paper defends the possibility of indeterminate individuation against Evans’s argument and some other arguments. The Determinacy of Identity—the thesis that identical things are determinately identical—is distinguished from the Determinacy of Distinctness—the thesis that distinct things are (...) determinately distinct. It is argued that while the first thesis holds universally and there is no case of indeterminate identity, there are reasons to think that the second thesis does not hold universally, and that there are cases of indeterminate distinctness. (shrink)