Current AI policy recommendations differ on what the risks to human autonomy are. To systematically address risks to autonomy, we need to confront the complexity of the concept itself and adapt governance solutions accordingly.

Autonomy is often considered a core value of Western society that is deeply entrenched in moral, legal, and political practices. The development and deployment of artificial intelligence (AI) systems to perform a wide variety of tasks has raised new questions about how AI may affect human autonomy. Numerous guidelines on the responsible development of AI now emphasise the need for human autonomy to be protected. In some cases, this need is linked to the emergence of increasingly ‘autonomous’ AI systems that (...) can perform tasks without human control or supervision. Do such ‘autonomous’ systems pose a risk to our own human autonomy? In this article, I address the question of a trade-off between human autonomy and system ‘autonomy’. (shrink)

It is well-established that algorithms can be instruments of injustice. It is less frequently discussed, however, how current modes of AI deployment often make the very discovery of injustice difficult, if not impossible. In this article, we focus on the effects of algorithmic profiling on epistemic agency. We show how algorithmic profiling can give rise to epistemic injustice through the depletion of epistemic resources that are needed to interpret and evaluate certain experiences. By doing so, we not only demonstrate how (...) the philosophical conceptual framework of epistemic injustice can help pinpoint potential, systematic harms from algorithmic profiling, but we also identify a novel source of hermeneutical injustice that to date has received little attention in the relevant literature: epistemic fragmentation. Epistemic fragmentation is a structural characteristic of algorithmically-mediated environments that isolate individuals, making it more difficult to develop, uptake and apply new epistemic resources. This, in turn, can impede the identification and conceptualisation of emerging harms in these environments. We trace the occurrence of hermeneutical injustice back to the fragmentation of the epistemic experiences of individuals, who are left more vulnerable by the inability to share, compare, and learn from shared experiences. (shrink)

A key source of support for the view that challenging people’s beliefs about free will may undermine moral behavior is two classic studies by Vohs and Schooler (2008). These authors reported that exposure to certain prompts suggesting that free will is an illusion increased cheating behavior. In the present paper, we report several attempts to replicate this influential and widely cited work. Over a series of five studies (sample sizes of N = 162, N = 283, N = 268, N (...) = 804, N = 982) (four preregistered) we tested the relationship between (1) anti-free-will prompts and free will beliefs and (2) free will beliefs and immoral behavior. Our primary task was to closely replicate the findings from Vohs and Schooler (2008) using the same or highly similar manipulations and measurements as the ones used in their original studies. Our efforts were largely unsuccessful. We suggest that manipulating free will beliefs in a robust way is more difficult than has been implied by prior work, and that the proposed link with immoral behavior may not be as consistent as previous work suggests. (shrink)

Some have argued that the vagueness exhibited by geographic names and descriptions such as ‘Albuquerque’, ‘the Outback’, or ‘Mount Everest’ is ultimately ontological: these terms are vague because they refer to vague objects, objects with fuzzy boundaries. I take the opposite stand and hold the view that geographic vagueness is exclusively semantic, or conceptual at large. There is no such thing as a vague mountain. Rather, there are many things where we conceive a mountain to be, each with its precise (...) boundary, and when we say ‘Everest’ we are just being vague as to which thing we are referring to. This paper defends this view against some plausible objections. (shrink)

That parthood is a transitive relation is among the most basic principles of classical mereology. Alas, it is also very controversial. In a recent paper, Ingvar Johansson has put forward a novel diagnosis of the problem, along with a corresponding solution. The diagnosis is on the right track, I argue, but the solution is misleading. And once the pieces are properly put together, we end up with a reinforcement of the standard defense of transitivity on behalf of classical mereology.

Neutral monism is a position in metaphysics defended by Mach, James, and Russell in the early twentieth century. It holds that minds and physical objects are essentially two different orderings of the same underlying neutral elements of nature. This paper sets out some of the central concepts, theses and the historical background of ideas that inform this doctrine of elements. The discussion begins with the classic neutral monism of Mach, James, and Russell in the first part of the paper, then (...) considers recent neo-Russellian versions in the second half. The chances for a revival of neutral monism are probably slight; its key ideas and starting points lie far from those in contemporary philosophy of mind. A better route might be through the philosophy of science and a deeper understanding of causation. (shrink)

In recent years, there has been an increasing interest in the development of well-founded conceptual models for Service Management, Accounting Information Systems and Financial Reporting. Economic ex- changes are a central notion in these areas and they occupy a prominent position in frameworks such as the Resource-Event Action (REA) ISO Standard, service core ontologies (e.g., UFO-S) as well as financial stan- dards (e.g. OMG’s Financial Industry Business Ontology - FIBO). We present a core ontology for economic exchanges inspired by a (...) recent view on this phenomenon. According to this view, economic exchanges are based on an agreement on the actions that the agents are committed to perform. This view enables a unified treatment of economic exchanges, regardless the object of the transaction. We ground our core ontology on the Unified Foundational Ontology (UFO), discussing its formal and conceptual aspects, instantiating it as a reusable OntoUML model, and confronting it with the REA standard and the UFO-S service ontology. (shrink)

In this introduction, before summarizing the contents of the volume, the authors characterize materialism as it is understood within the philosophy of mind, and they identify three respects in which materialism is on the wane.

Assuming that events form a genuine ontological category, shall we say that a good inventory of the world ought to include “negative” events—failures, omissions, things that didn’t happen—along with positive ones? I argue that we shouldn’t. Talk of non-occurring events is like talk of non-existing objects and should not be taken at face value. We often speak as though there were such things, but deep down we want our words to be interpreted in such a way as to avoid serious (...) ontological commitment. (shrink)

A look at the dynamical concept of space and space-generating processes to be found in Kant, J.F. Herbart and the mathematician Bernhard Riemann's philosophical writings.

We rely on language to know the minds of others, but does language have a role to play in knowing our own minds? To suppose it does is to look for a connection between mastery of a language and the epistemic relation we bear to our inner lives. What could such a connection consist in? To explore this, I shall examine strategies for explaining self-knowledge in terms of the use we make of language to express and report our mental states. (...) Success in these strategies will depend on the view we take of speakers' understanding of the words they use to speak their minds. The key is to avoid circularity in the account of how they know what they mean; for if knowing what one is saying in speaking a language provides a means of knowing one's own mind, it cannot simply be a part of it. I shall look at ways in which we might proceed here, and examine whether the strategy can make room for a genuinely first-person point of view. But first let me try to motivate the problem of self-knowledge. (shrink)

Current challenges in medical practice, research, and administration demand physicians who are familiar with bioethics, health law, and health economics. Curriculum directors at American Association of Medical Colleges-affiliated medical schools were sent confidential surveys requesting the number of required hours of the above subjects and the years in which they were taught, as well as instructor names. The number of relevant publications since 1990 for each named instructor was assessed by a PubMed search.In sum, teaching in all three subjects combined (...) comprises less than two percent of the total hours in the American medical curriculum, and most instructors have not recently published articles in the fields they teach. This suggests that medical schools should reevaluate their curricula and instructors in bioethics, health law, and health economics. (shrink)

In their correspondence in 1902 and 1903, after discussing the Russell paradox, Russell and Frege discussed the paradox of propositions considered informally in Appendix B of Russell’s Principles of Mathematics. It seems that the proposition, p, stating the logical product of the class w, namely, the class of all propositions stating the logical product of a class they are not in, is in w if and only if it is not. Frege believed that this paradox was avoided within his philosophy (...) due to his distinction between sense (Sinn) and reference (Bedeutung). However, I show that while the paradox as Russell formulates it is ill-formed with Frege’s extant logical system, if Frege’s system is expanded to contain the commitments of his philosophy of language, an analogue of this paradox is formulable. This and other concerns in Fregean intensional logic are discussed, and it is discovered that Frege’s logical system, even without its naive class theory embodied in its infamous Basic Law V, leads to inconsistencies when the theory of sense and reference is axiomatized therein. (shrink)

Certain commentators on Russell's “no class” theory, in which apparent reference to classes or sets is eliminated using higher-order quantification, including W. V. Quine and (recently) Scott Soames, have doubted its success, noting the obscurity of Russell’s understanding of so-called “propositional functions”. These critics allege that realist readings of propositional functions fail to avoid commitment to classes or sets (or something equally problematic), and that nominalist readings fail to meet the demands placed on classes by mathematics. I show that Russell (...) did thoroughly explore these issues, and had good reasons for rejecting accounts of propositional functions as extra-linguistic entities. I argue in favor of a reading taking propositional functions to be nothing over and above open formulas which addresses many such worries, and in particular, does not interpret Russell as reducing classes to language. (shrink)

In recent years, there has been an increasing interest in thedevelopment of ontologically well-founded conceptual models for Information Systems in areas such as Service Management, Accounting Information Systems and Financial Reporting. Economic exchanges are central phenomena in these areas. For this reason, they occupy a prominent position in modelling frameworks such as the REA (Resource-EventAction) ISO Standard as well as the FIBO (Financial Industry BusinessOntology). In this paper, we begin a well-founded ontological analysisof economic exchanges inspired by a recent ontological (...) view on the nature of economic transactions. According to this view, what counts asan economic transaction is based on an agreement on the actions thatthe agents are committed to perform. The agreement is in turn based on convergent preferences about the course of action to bring about. This view enables a unified treatment of economic exchanges, regardless the object of the transaction, and complies with the view that all economictransactions are about services. In this paper, we start developing our analysis in the framework of the Unified Foundational Ontology (UFO). (shrink)

The history of evolution is a history of development from less to more complex organisms. This growth in complexity of organisms goes hand in hand with a concurrent growth in complexity of environments and of organism-environment relations. It is a concern with this latter aspect of evolutionary development that motivates the present paper. We begin by outlining a theory of organism-environment relations. We then show that the theory can be applied to a range of different sorts of cases, both biological (...) and non-biological, in which objects are lodged or housed within specific environments, or niches. Biological science is interested in types—for example in genotypes, phenotypes, and environment types—in regularities that can serve as the basis for the formulation of laws or general principles. Types, however, can exist only through their corresponding tokens. Our theory of token environments is meant to plug this gap and to provide a first step towards a general theory of causally relevant spatial volumes. (shrink)

It is well known that the circumflex notation used by Russell and Whitehead to form complex function names in Principia Mathematica played a role in inspiring Alonzo Church's “lambda calculus” for functional logic developed in the 1920s and 1930s. Interestingly, earlier unpublished manuscripts written by Russell between 1903–1905—surely unknown to Church—contain a more extensive anticipation of the essential details of the lambda calculus. Russell also anticipated Schönfinkel's combinatory logic approach of treating multiargument functions as functions having other functions as value. (...) Russell’s work in this regard seems to have been largely inspired by Frege’s theory of functions and “value-ranges”. This system was discarded by Russell due to his abandonment of propositional functions as genuine entities as part of a new tack for solving Russell’s paradox. In this article, I explore the genesis and demise of Russell’s early anticipation of the lambda calculus. (shrink)

Klein’s account of epistemic justification, infinitism, supplies a novel solution to the regress problem. We argue that concentrating on the normative aspect of justification exposes a number of unpalatable consequences for infinitism, all of which warrant rejecting the position. As an intermediary step, we develop a stronger version of the ‘finite minds’ objection.

The semantics of our event talk is a complex affair. What is it that we are talking about when we speak of Brutus’s stabbing of Caesar? Exactly where and when did it take place? Was it the same event as the killing of Caesar? Some take questions such as these to be metaphysical questions. I think they are questions of semantics—questions about the way we talk and about what we mean. And I think that this conflict between metaphysic and semantic (...) concerns is indicative of a “deep indeterminacy” (Bennett’s phrase) in our event concept. We do talk about events; but what events a statement is about is not something that can be inferred from the event names we use; it depends heavily (more heavily than with ordinary material objects) on local context and unprincipled intuitions. This paper illustrates this view in connection with two examples: the phenomenon of vagueness and the dispute over identity statements. (shrink)

Ordinary reasoning about space—we argue—is first and foremost reasoning about things or events located in space. Accordingly, any theory concerned with the construction of a general model of our spatial competence must be grounded on a general account of the sort of entities that may enter into the scope of the theory. Moreover, on the methodological side the emphasis on spatial entities (as opposed to purely geometrical items such as points or regions) calls for a reexamination of the conceptual categories (...) required for this task. Building on material presented in an earlier paper, in this work we offer some examples of what this amounts to, of the difficulties involved, and of the main directions along which spatial theories should be developed so as to combine formal sophistication with some affinity with common sense. (shrink)

In 1903, in _The Principles of Mathematics_ (_PoM_), Russell endorsed an account of classes whereupon a class fundamentally is to be considered many things, and not one, and used this thesis to explicate his first version of a theory of types, adding that it formed the logical justification for the grammatical distinction between singular and plural. The view, however, was short-lived; rejected before _PoM_ even appeared in print. However, aside from mentions of a few misgivings, there is little evidence about (...) why he abandoned this view. In this paper, I speculate as to what those reasons were, and evaluate them in light of recent work and interest in plural logic. (shrink)

Sequel to Part I. In these articles, I describe Cantor’s power-class theorem, as well as a number of logical and philosophical paradoxes that stem from it, many of which were discovered or considered (implicitly or explicitly) in Bertrand Russell’s work. These include Russell’s paradox of the class of all classes not members of themselves, as well as others involving properties, propositions, descriptive senses, class-intensions and equivalence classes of coextensional properties. Part II addresses Russell’s own various attempts to solve these paradoxes, (...) including strategies that he considered and rejected (limitation of size, the zigzag theory, etc.), as well as his own final views whereupon many purported entities that, if reified, lead to these contradictions, must not be genuine entities, but ‘logical fictions’ or ‘logical constructions’ instead. (shrink)

Attempts to evaluate a belief or argument on the basis of its cause or origin are usually condemned as committing the genetic fallacy. However, I sketch a number of cases in which causal or historical factors are logically relevant to evaluating a belief, including an interesting abductive form that reasons from the best explanation for the existence of a belief to its likely truth. Such arguments are also susceptible to refutation by genetic reasoning that may come very close to the (...) standard examples given of supposedly fallacious genetic reasoning. (shrink)

We propose the beginnings of a general theory of environments, of the parts or regions of space in which organisms live and move. We draw on two sources: on the one hand on recent work on the ontology of space; and on the other hand on work by ecological scientists on concepts such as territory, habitat, and niche. An environment is in first approximation a volume of space; it is a specific habitat, location, or site that is suitable or adequate (...) for given purposes (of foraging, resting, hunting, breeding, nesting, grooming) in the life of an organism or group of organisms. This spatial notion of environment can be drawn closer to biological and ecological science by taking account of the pertinent physical attributes realized within given spatial regions. (shrink)

In these articles, I describe Cantor’s power-class theorem, as well as a number of logical and philosophical paradoxes that stem from it, many of which were discovered or considered (implicitly or explicitly) in Bertrand Russell’s work. These include Russell’s paradox of the class of all classes not members of themselves, as well as others involving properties, propositions, descriptive senses, class-intensions, and equivalence classes of coextensional properties. Part I focuses on Cantor’s theorem, its proof, how it can be used to manufacture (...) paradoxes, Frege’s diagnosis of the core difficulty, and several broad categories of strategies for offering solutions to these paradoxes. (shrink)

The paper presents a paradoxical feature of computational systems that suggests that computationalism cannot explain symbol grounding. If the mind is a digital computer, as computationalism claims, then it can be computing either over meaningful symbols or over meaningless symbols. If it is computing over meaningful symbols its functioning presupposes the existence of meaningful symbols in the system, i.e. it implies semantic nativism. If the mind is computing over meaningless symbols, no intentional cognitive processes are available prior to symbol grounding. (...) In this case, no symbol grounding could take place since any grounding presupposes intentional cognitive processes. So, whether computing in the mind is over meaningless or over meaningful symbols, computationalism implies semantic nativism. (shrink)

I trace changes to Frege's understanding of numbers, arguing in particular that the view of arithmetic based in geometry developed at the end of his life (1924–1925) was not as radical a deviation from his views during the logicist period as some have suggested. Indeed, by looking at his earlier views regarding the connection between numbers and second-level concepts, his understanding of extensions of concepts, and the changes to his views, firstly, in between Grundlagen and Grundgesetze, and, later, after learning (...) of Russell's paradox, this position is a natural position for him to have retreated to, when properly understood. (shrink)

This paper investigates the view that digital hypercomputing is a good reason for rejection or re-interpretation of the Church-Turing thesis. After suggestion that such re-interpretation is historically problematic and often involves attack on a straw man (the ‘maximality thesis’), it discusses proposals for digital hypercomputing with Zeno-machines , i.e. computing machines that compute an infinite number of computing steps in finite time, thus performing supertasks. It argues that effective computing with Zeno-machines falls into a dilemma: either they are specified such (...) that they do not have output states, or they are specified such that they do have output states, but involve contradiction. Repairs though non-effective methods or special rules for semi-decidable problems are sought, but not found. The paper concludes that hypercomputing supertasks are impossible in the actual world and thus no reason for rejection of the Church-Turing thesis in its traditional interpretation. (shrink)

The theory according to which most ordinary objects are mere “entia successiva”—sequences of distinct mereological aggregates, whose unity resides exclusively in our minds—is a variant of the standard, three-dimensional conception of objects. For the aggregates are, at bottom, endurants, i.e., entities that persist through time by being fully present at any time at which they exist. In this paper I compare this theory with the so-called “stage view”, according to which ordinary objects—indeed, all objects—are sequences of momentary entities that cannot (...) truly be said to persist through time. Both theories face a number of intuitive difficulties but the stage view, I argue, has a lot more to offer in return. (shrink)

The paper examines the loss of African identity within the modern/ contemporary era. African identity has been a recurrent theme in all domains of African studies, serving as a major intellectual concern of many African scholars. Debates on the reality of African Philosophy are anchored on the questions surrounding African identity giving rise to thoughts and contents of that philosophy. Despite the volumes already generated on the theme, the controversial circumstances that engendered the subject of African identity makes its intellectual (...) concern sustainable and almost inexhaustible. The question of African identity is basically an ontological question of the reality of Africa cum the being of an African. The series of infiltration and appraisals of Africa by foreign elements tend to plunge the continent into crises of identity. In addition to the various approaches to the subject, the nature-culture perspective presents the argument that if culture is ideally the product of a people’s nature, African culture represents the objective manifestation of the Africanity of the continent and its organic/holistic content. Such frame of thought embellished with philosophic tools provides further locus for a more feasible and stable definition of African identity as the holistic nature and character of being African. (shrink)

Analytic epistemologists agree that, whatever else is true of epistemic justification, it is distinct from knowledge. However, if recent work by Jonathan Sutton is correct, this view is deeply mistaken, for according to Sutton justification is knowledge. That is, a subject is justified in believing that p iff he knows that p. Sutton further claims that there is no concept of epistemic justification distinct from knowledge. Since knowledge is factive, a consequence of Sutton’s view is that there are no false (...) justified beliefs. <br> Following Sutton, I will begin by outlining kinds of beliefs that do not constitute knowledge but that seem to be justified. I will then be in a position to critically evaluate Sutton’s arguments for his position that justification is knowledge, concluding that he fails to establish his bold thesis. In the course of so doing, I will defend the following rule of assertion: (The JBK-rule) One must: assert p only if one has justification to believe that one knows that p.<br>. (shrink)

Abstract: According to certain dispositional accounts of meaning, an agent's meaning is determined by the dispositions that an idealized version of this agent has in optimal conditions. We argue that such attempts cannot properly fix meaning. For even if there is a way to determine which features of an agent should be idealized without appealing to what the agent means, there is no non-circular way to determine how those features should be idealized. We sketch an alternative dispositional account that avoids (...) this problem, according to which an agent's meaning is determined by the dispositions that an abstract version of this agent has in optimal conditions. (shrink)

An examination of the role played by general rules in Hume's positive (nonskeptical) epistemology. General rules for Hume are roughly just general beliefs. The difference between justified and unjustified belief is a matter of the influence of good versus bad general rules, the good general rules being the "extensive" and "constant" ones.

This paper discusses certain problems arising within the treatment of the senses of functions in Alonzo Church's Logic of Sense and Denotation. Church understands such senses themselves to be "sense-functions," functions from sense to sense. However, the conditions he lays out under which a sense-function is to be regarded as a sense presenting another function as denotation allow for certain undesirable results given certain unusual or "deviant" sense-functions. Certain absurdities result, e.g., an argument can be found for equating any two (...) senses of the same type. An alternative treatment of the senses of functions is discussed, and is thought to do better justice to Frege's original theory. (shrink)

This is an informal presentation of the theory of niches understood as ecological contexts. The first part sets out the basic conceptual background. The second part outlines the main principles of the theory and addresses the question of how the theory can be extended to aid our thinking in relation to the special types of causal integrity that characterize niches and niched entities.

In ‘Something to Do with Vagueness ...’, Linda Burns defends an analogy between the informational and the borderline-case variety of vagueness. She argues that the latter is in fact less extraordinary and less disastrous than people in the tradition of Michael Dummett and Crispin Wright have told us. However, her account involves presuppositions that cannot be taken for granted. Here is to take a closer look at some of these presuppositions and argue hat they may--when left unguarded--undermine much of Burns’ (...) general account. (shrink)

This paper focuses on the semantics of statements of the form ‘x is P at t’ vis-à-vis its metaphysical underpinnings. I begin by considering four main readings, corresponding to the four basic parsings of the temporal modifier ‘at t’: (1) at-t x is P, (2) x-at-t is P, (3) x is-at-t P, and (4) x is P-at-t. Each of these readings—which correspond to different metaphysical conceptions of the nature of temporal change—is found inadequate or otherwise problematic. In the second part (...) of the paper I therefore consider a fifth account whose advantages over (1)–(4), I argue, exceed its revisionary costs. This fifth account is based on a conception of objects as entia successiva held together by a nexus of temporal counterparthood and reads ‘x is P at t’ as ‘the t-counterpart of x is P’. (shrink)

This paper is an attempt to argue that there existed a very prominent view of signs and signification in late sixteenth- and seventeenth-century Europe which can help us to understand several puzzling aspects of baroque culture. This view, called here "pansemioticism," constituted a fundamental part of the baroque conception of the world. After sketching the content and importance of pansemioticism, I will show how it can help us to understand the (from a modern perspective) rather puzzling concept of the polymath, (...) or polyhistor, which constituted the ideal of the baroque scientist. In this context I will also discuss a seventeenth century phenomenon essentially connected with polyhistorism, namely that of the early modem polyhistorical collections, the Wunderkamnmern. Since such a study needs a clearly determined focal point, we will concentrate on the last three quarters of the seventeenth century and will mainly discuss works by German authors of the time. (shrink)

In this short response to Kerstein and Bognar, we clarify three aspects of the complete lives system, which we propose as a system of allocating scarce medical interventions. We argue that the complete lives system provides meaningful guidance even though it does not provide an algorithm. We also defend the investment modification to the complete lives system, which prioritizes adolescents and older children over younger children; argue that sickest-first allocation remains flawed when scarcity is absolute and ongoing; and argue that (...) Kerstein and Bognar are mistaken to base their allocation principles on differences in personhood. (shrink)

From the dictum "ought implies can", it has been argued that no account of belief's normativity can avoid the unpalatable result that, for unbelievable propositions such as "It is raining and nobody believes that it is raining", one ought not to believe them even if true. In this article, I argue that this move only succeeds on a faulty assumption about the conjunction of doxastic "oughts.".

Wall, G. Locke's attack on innate knowledge.--Harris, J. Leibniz and Locke on innate ideas.--Greenlee, D. Locke's idea of idea.--Aspelin, G. Idea and perception in Locke's essay.--Greenlee, D. Idea and object in the essay.--Mathews, H. E. Locke, Malebranche and the representative theory.--Alexander, P. Boyle and Locke on primary and secondary qualities.--Ayers, M. R. The ideas of power and substance in Locke's philosophy.--Allison, H. E. Locke's theory of personal identity.--Kretzmann, N. The main thesis of Locke's semantic theory.--Woozley, A. D. Some remarks on (...) Locke's account of knowledge.--Laudan, L. The nature and sources of Locke's views on hypotheses. (shrink)

The political distinction between left and right remains ideologically muddled. This was not always so, but an immediate return to the pristine usage is impractical. Putting a theory of social liberty to one side, this essay defends the interpretation of left-wing as personal-choice and right-wing as property-choice. This allows an axis that is north/choice (or state-free) and south/control (or state-ruled). This Political Compass clarifies matters without being tendentious or too complicated. It shows that what is called ‘libertarianism’ is north-wing. A (...) quiz gives the reader’s Political Compass reading. (shrink)

Enric F. Gel has recently argued that classical theism enjoys a significant advantage over Graham Oppy's naturalism. According to Gel, classical theism – unlike Oppy's naturalism – satisfactorily answers two questions: first, how many first causes are there, and second, why is it that number rather than another? In this article, I reply to Gel's argument for classical theism's advantage over Oppy's naturalism. I also draw out wider implications of my investigation for the gap problem and Christian doctrine along the (...) way. (shrink)

Some philosophers have argued that the vagueness exhibited by names and descriptions such as ‘Mount Everest’, ‘Downtown Manhattan’, or ‘that cloud in the sky’ is ultimately ontological: they are vague because they refer to vague objects, objects with fuzzy boundaries. I take the opposite stand and argue for the view that all vagueness is semantic. There is no such thing as a vague mountain. Rather, there are many things where we conceive the mountain to be, each with its precise boundary, (...) and when we say ‘Everest’ we are just being vague as to which thing we are referring to. This paper defends this view against some plausible objections. (shrink)

Gauthier's version of the Lockean proviso (in Morals by Agreement) is inappropriate as the foundation for moral rights he takes it to be. This is so for a number of reasons. It lacks any proportionality test thus allowing arbitrarily severe harms to others to prevent trivial harms to oneself. It allows one to inflict any harm on another provided that if one did not do so, someone else would. And, by interpreting the notion of bettering or worsening one's position in (...) terms of subjective expected utility, it allows immoral manipulation of others and imposes unwarranted restrictions based on preferences that should carry no moral weight. (shrink)