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 Mass Density approach to GRW (GRWm for short) has been widely discussed in the quantum foundations literature. A crucial feature of GRWm is the introduction of a Criterion of Accessibility for mass, which allows to explain the determinacy of experimental outcomes thus also addressing the tails problem of GRW. However, the Criterion of Accessibility leaves the ontological meaning of the non-accessible portion of mass utterly unexplained. In this paper I discuss two viable approaches to non-accessible mass, which I call (...) anti-realist and realist, and will defend the latter. First, I show that the anti-realist approach suffers from various objections. Second, I develop an account of non-accessible mass density states as objectively indeterminate states of affairs. (shrink)

This paper offers the Boolean many-valued solution to the Sorites Paradox. According to the precisification-based Boolean many-valued theory, from which this solution arises, sentences have not only two truth values, truth (or 1) and falsity (or 0), but many Boolean values between 0 and 1. The Boolean value of a sentence is identified with the set of precisifications in which the sentence is true. Unlike degrees fuzzy logic assigns to sentences, Boolean many values are not linearly but only partially ordered; (...) so there are values that are incomparable. Despite this fact, the sentences in a sorites series can be taken as having values in a linear order, and losing (or gaining) value as we move from sentence to sentence in the series. So there is no sharp borderline between 0 and 1. Assigning Boolean many values instead of the two truth values to sentences for their vagueness values is analogous to assigning propositions instead of the truth values to sentences for their semantic values, as propositions are, from our viewpoint, also Boolean many values. (shrink)

1. Is consciousness vague? This paper will argue that it is. But, first, we need to get clear on the meaning of the question.I will take vagueness to consist in the possibility of borderline cases....

This paper shows the relevance of findings from studying the logic of self-referential statements to Cultural studies, Black Cultural Studies in particular. Results following from the incompleteness of the systems in which these statements are quantified help to clear up a paradox stemming from current Afropessimist discourse.

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.

The Received View of particles in quantum mechanics is that they are indistinguishable entities within their kinds and that, as a consequence, they are not individuals in the metaphysical sense and self-identity does not meaningfully apply to them. Nevertheless cardinality does apply, in that one can have n> 1 such particles. A number of authors have recently argued that this cluster of claims is internally contradictory: roughly, that having more than one such particle requires that the concepts of distinctness and (...) identity must apply after all. A common thread here is that the notion of identity is too fundamental to forego in any metaphysical account. I argue that this argument fails. I then argue that the failure of individuality and identity applies also to macroscopic physical objects, that the problems cannot be constrained to apply only within the microscopic realm. (shrink)

In this paper, I argue against what I call “natural realism” about social kinds, the view according to which social categories have natural boundaries, independent of our thought. First, I draw a distinction between two different types of entity realism, one being about the existence of the entity, “ontological realism”, and the other one being about the direct mind-independence of the entity, “natural realism”. After endorsing ontological realism, I present the natural realist argument according to which there would be certain (...) social kinds, such as economic recessions and racism, even if we had no clue about their existence and nature. I claim that the argument fails insofar it mistakes the single instances for the kinds themselves. I then argue against natural realism by showing how the vagueness characterizing the boundaries of social kinds puts the realist in front of a dilemma: either she accepts the vagueness of these boundaries as ontic, a metaphysically problematic thesis, or she accepts that most or all social kinds remain unknown, an epistemologically problematic thesis. Thus, I argue that antirealism, according to which social kinds are constructed, is a better alternative to the realist account. (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)

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)

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)

In 1978, Gareth Evans published a short and somewhat cryptic article purporting to establish that there are no vague objects. This paper is a commentary on this. Prima facie, the claim that there are no vague objects is clearly false. Mt Everest, for example, has no precise boundaries. And if this is so, there must be something wrong with Evans' argument. In the paper, I discuss what this is, giving a model of vague objects in the process.

This article is about Avicenna’s account of syllogisms comprising opposite premises. We examine the applications and the truth conditions of these syllogisms. Finally, we discuss the relation between these syllogisms and the principle of non-contradiction.

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.

It has been argued that non-relativistic quantum mechanics is the best hunting ground for genuine examples of metaphysical indeterminacy. Approaches to metaphysical indeterminacy can be divided into two families: meta-level and object-level accounts. It has been shown :27–245, 2010. https://doi.org/10.1080/00048400903097786; Skow in Philosophical Quarterly 60:851–858, 2010) that the most popular version of the meta-level accounts, namely the metaphysical supervaluationism proposed by Barnes and Williams, fails to deal with quantum indeterminacy. Such a fact has been taken by many as a challenge (...) to adapt supervaluationism to quantum cases. In this paper, I will focus on the very last of these attempts, i.e. the situation semantics account proposed by Darby and Pickup. After having shown where quantum indeterminacy arises and having surveyed the assumptions endorsed by the participants of the debate, I turn to Darby and Pickup’s proposal. I argue that, despite the machinery introduced, their account still fails to account for quantum indeterminacy. After considering some possible counterarguments, I suggest in the conclusion that one can plausibly extend the argument to those meta-level approaches that treat quantum indeterminacy as worldly indecision. (shrink)

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.

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 this dissertation, I argue that vagueness is a metaphysical phenomenon---that properties and objects can be vague---and propose a trivalent theory of vagueness meant to account for the vagueness in the world. In the first half, I argue against the theories that preserve classical logic. These theories include epistemicism, contextualism, and semantic nihilism. My objections to these theories are independent of considerations of the possibility that vagueness is a metaphysical phenomenon. However, I also argue that these theories are not capable (...) of accommodating metaphysical vagueness. As I move into my positive theory, I first argue for the possibility of metaphysical vagueness and respond to objections that charge that the world cannot be vague. One of these objections is Gareth Evans' much-disputed argument that vague identities are impossible. I then describe what I call the logic of states of affairs. The logic of states of affairs has as its atomic elements states of affairs that can obtain, unobtain, or be indeterminate. Finally, I argue that the logic of states of affairs is a better choice for a theory of vagueness than other logics that could accommodate metaphysical vagueness such as supervaluationism and degree theories. Preference should be given to the logic of states of affairs because it provides a better explanation of higher-order vagueness and does a better job of matching our ordinary understandings of logical operators than supervaluationism does and because it provides a more general account of indeterminacy than the account given by degree theories. Advisor: Reina Hayaki. (shrink)

My paper provides reasons in support of the view that vague identity claims originate from a conflict between rigidity and precision in designation. To put this stricly, let x be the referent of the referential terms P and Q. Then, that the proposition “that any x being both a P and a Q” is vague involves that the semantic intuitions at work in P and Q reveal a conflict between P and Q being simultaneously rigid and precise designators. After having (...) shortly commented on an example of vague identity claim, I make the case for my proposal, by discussing how reference by baptism conflicts with descriptive attitudes towards understanding conceptual contents. (shrink)

A world where there exists n concrete things is a count-determinate world. The orthodox view is count-determinacy is necessary; if to be is to be the value of a variable and the domain of quantification is enumerable, count-determinacy follows. Yet I argue how many there are can be indeterminate; count-indeterminacy is metaphysically possible and even likely actual. Notably, my argument includes rebuttals of Evans’ reductio of indeterminate identity and the Lewis/Sider ‘argument from vagueness’. Count-indeterminacy should therefore be recognized as another (...) basic form of genuine metaphysical indeterminacy, in addition to types recently defend by Barnes, Williams, and Wilson. (shrink)

The central problem burdening common sense pluralism, as well as motivating the various Ockhamist reactions, is what has come to be called the problem of coincidence. Everyday thought and speech refer both to seals and to sealing wax, to kings and to human beings or bodies. Where the first coincides completely in space with the second, is there one object in that place, or two? The initial response of common sense is perhaps to dismiss the latter out of hand. The (...) king is a human, after all, and the seal a quantity of sealing wax. But once we note that the conditions for the persistence in time of such objects may differ, or that they differ in essential properties, the one-object option seems less appealing. If both exist, as pluralism asserts, and the seal can be destroyed without the wax ceasing to exist, then perhaps the best defense of common sense is to recognize that the seal and the sealing wax are two. (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)

Philosophy and Phenomenological Research, EarlyView.

ABSTRACTI propose a different account of fictional objects from the ones already present in the literature. According to my account, fictional objects are culturally created abstract objects dependent for their existence on the pretence attitude adopted by a group of people towards a single fictional content. My work is divided into three parts: in the first one, I present how fictional objects come into existence according to my proposal; in the second part, I illustrate how the existence of fictional objects (...) so conceived may be ontically indeterminate; in the last part, I consider what happens when vague existence and indeterminate identity are claimed within fictional texts. (shrink)

Kurt Gödel’s version of the Ontological Proof derives rather than assumes the crucial Possibility Claim: the claim that it is possible that something God-like exists. Gödel’s derivation starts off with a proof of the Possible Instantiation of the Positive: the principle that, if a property is positive, it is possible that there exists something that has that property. I argue that Gödel’s proof of this principle relies on some implausible axiological assumptions but it can be patched so that it only (...) relies on plausible principles. But Gödel’s derivation of the Possibility Claim also needs a substantial axiological assumption, which is still open to doubt. (shrink)

Elizabeth Barnes and Robert Williams have developed a theory of metaphysical indeterminacy, via which they defend the theoretical legitimacy of vague objects. In this paper, we argue that while the Barnes–Williams theory supplies a viable account of genuine metaphysical vagueness, it cannot underwrite an account of genuinely vague objects. First we clarify the distinction between these two key theses. Then we argue that the Barnes–Williams theory of metaphysical vagueness not only fails to deliver genuinely vague objects, it in fact provides (...) grounds for rejecting them. (shrink)

Analytic political philosophy tries to make our political language more precise. But in doing so it risks departing from our natural language and intuitions. This article examines this tension. We...

© The Authors 2017. Published by Oxford University Press on behalf of The Analysis Trust. All rights reserved. For Permissions, please email: [email protected] key virtue of Vague Objects and Vague Identity is how it includes so many essays that consider the particular ways vagueness manifests in different kinds of entities, including meanings, part-whole relations, the very small as understood by quantum mechanics, people, sensations, sets, ordinals, cardinals and abstractions. In every case, the author has something interesting to say not just (...) about vagueness but about the metaphysical category in question.One theme that unifies the diverse discussions is Gareth Evans’s brief 1978 note, ‘Can There Be Vague Objects?’ Let ‘▽’ stands for ‘it is indeterminate whether’, ‘λ’ stands for what it does in the lambda calculus, and ‘⊥’ be the absurdity constant. Then, Evans’s initial argument is: ▽ assumptionλx[▽]b 1... (shrink)

This essay argues that deflationism is incompatible with the phenomenon of referential indeterminacy. This puts the deflationist in the difficult position of having to deny the possibility of what otherwise seems like a manifest and theoretically important phenomenon. Section 1 provides background on deflationism. Section 2 considers an intuitive argument by Stephen Leeds to the effect that deflationism precludes RI; the essay argues that this argument does not succeed. The rest of the essay presents its own, distinct argument for the (...) incompatibility of deflationism and RI. Section 3 argues that direct RI—RI that is not simply a derivative of some other, nonreferential instance of indeterminacy—is strictly incompatible with deflationism. Section 4 considers a couple of different ways the deflationist might try to achieve indirect RI—via indeterminate identity and indeterminate synonymy—and argues that each is unsatisfactory. (shrink)

Gareth Evans proved that if two objects are indeterminately equal then they are different in reality. He insisted that this contradicts the assumption that there can be vague objects. However we show the consistency between Evans's proof and the existence of vague objects within classical logic. We formalize Evans's proof in a set theory without the axiom of extensionality, and we define a set to be vague if it violates extensionality with respect to some other set. There exist models of (...) set theory where the axiom of extensionality does not hold, so this shows that there can be vague objects. (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)

Can we solve the Problem of the Many, and give a general account of the indeterminacy in definite descriptions that give rise to it, by appealing to metaphysically indeterminate entities? I argue that we cannot. I identify a feature common to the relevant class of definite descriptions, and derive a contradiction from the claim that each such description is satisfied by a metaphysically indeterminate entity.

This paper outlines the often striking parallels of various approaches to ontic vagueness, as well as their even more striking differences. Though circling around the same idea, some of these approaches were developed to solve quite diverse theoretical problems and encounter different challenges. In addition to these difficulties, the frequently disregarded epistemological problems of all theories of ontic vagueness turn out to be even more serious under critical scrutiny. The same holds for the difficulties of deciding, for every case of (...) vagueness, whether the vagueness involved is semantic or ontic. (shrink)

I aim to bring the idea of “degree of free will or freedom” into philosophical debates on free will by rejecting the formulation, ‘we are either free or not’. This idea is based upon my viewpoint of regarding freedom as a realistic phenomena actually occurring. First of all, I focus on the fact that it is vague whether an agent is free or not. This vagueness is interpreted as ontic vagueness, corresponding with the status of freedom as real. However, Evans’s (...) argument regarding ontic vagueness must be considered as, according to his argument, ontic vagueness about identity and objects are impossible. I indicate that this argument assumes the truth-value gap position in borderline cases, hence we can avoid Evans’s argument by adopting truth-value glut position. Of course, the truth-value glut approach has serious difficulties, but I conclude with sketching out a possibility to develop this approach in the free will debate via the introduction of probabilistic valuation. (shrink)

According to Haber and Benham (2012), a sufficient condition for full moral consideration is that a creature bears a genealogical relation to the Homo sapiens lineage. Since part-humans do not bear such a relation, they are not due full moral consideration on that basis. Given this argument, my aim in this commentary is twofold. First, I want to challenge its soundness by showing that it is possible for part-humans to bear a genealogical relation to the H. sapiens lineage. Second, I (...) want to argue that Haber and Benham's attempt at avoiding moral confusion by reframing ethical concerns about part-humans doesn’t work. (shrink)

The relationship between alethic modality and indeterminacy is yet to be clarified. A modal argument—an argument that appeals to alethic modality—against vague objects given by Joseph Moore offers a potential clarification of the relationship; it is proposed that there are cases for which the following holds: if it is indeterminate whether A = B then it is possible that it is determinate that A = B. However, the argument faces three problems. The problems remove the argument’s threat against vague objects (...) and prompt a fuller scrutiny of Moore’s proposed relationship between alethic modality and indeterminacy. Such a scrutiny offers valuable lessons concerning the justification for claims of indeterminate identity, appeals to identity principles in contexts involving both alethic modality and indeterminacy, and how to identify the form of Gareth Evans’s argument against vague objects in other arguments. (shrink)