The Boolean many-valued approach to vagueness is similar to the infinite-valued approach embraced by fuzzy logic in the respect in which both approaches seek to solve the problems of vagueness by assigning to the relevant sentences many values between falsity and truth, but while the fuzzy-logic approach postulates linearly-ordered values between 0 and 1, the Boolean approach assigns to sentences values in a many-element complete Boolean algebra. On the modal-precisificational approach represented by Kit Fine, if a sentence is indeterminate in (...) truth value in some world, it is taken to be true in one precisified world accessible from that world and false in another. This paper points to a way to unify these two approaches to vagueness by showing that Fine’s version of the modal-precisificational approach can be combined with the Boolean many-valued approach instead of supervaluationism, one of the most popular approaches to vagueness. (shrink)

Fictional realists claim that fictional characters like Spiderman exist in reality. Against this view, Anthony Everett (2005; 2013) argues that fictional realists cannot determine whether characters α and β are identical if the relevant fiction states that α and β are identical and distinct at the same time. Some fictional re-alists, such as Ross Cameron (2013) and Richard Woodward (2017), respond to this objection by saying that the sense in which α and β are identical differs from the sense in (...) which they are distinct. In this paper, I argue that Cameron and Woodward cannot handle all cases without undermining the theoretical foundation of their approach, namely, the thesis that the identity of fictional characters must be determined by the content of the relevant fiction. (shrink)

This paper provides a formal pragmatic analysis of precision which accounts for its essential properties, but also for Lewis’s :339–359, 1979) observation of asymmetry in how standards of precision may shift due to normal discourse moves: Only up, not down. I propose that shifts of the kind observed and discussed by Lewis are in fact cases of underlying disagreement about the standard of precision, which is only revealed when one interlocutor uses an expression which signals their adherence to a higher (...) standard than the one adhered to by the other interlocutor. This paper shows that a modest formal pragmatic analysis along the lines of many prior optimality-theoretic and game-theoretic accounts can easily capture the natural asymmetry in standard-signaling that gives rise to Lewis’s observation, so long as such an account is dynamic and enriched with a notion of relevance. (shrink)

This chapter focuses on the property that excited Kuhn's interest in thought experiments: conflict vagueness. This property often generates inconsistent beliefs but is not itself inconsistency. Although it is absent from most thought experiments, a substantial portion of the most provocative thought experiments do spring from this species of vagueness; for they motivate conceptual reform by touching a nerve of indeterminacy. Hence, study of conflict vagueness reveals the ways thought experiments restructure our conceptual scheme.

Sider (Four-dimensionalism 2001; Philos Stud 114:135–146, 2003; Nous 43:557–567, 2009) has developed an influential argument against indeterminacy in existence. In what follows, I argue that the defender of metaphysical forms of indeterminate existence has a unique way of responding to Sider’s argument. The response I’ll offer is interesting not only for its applicability to Sider’s argument, but also for its broader implications; responding to Sider helps to show both how we should think about precisification in the context of metaphysical indeterminacy (...) and how we should understand commitment to metaphysically indeterminate existence. And if I’m right that metaphysical indeterminacy can allow for indeterminate existence in a way that semantic indeterminacy can’t, indeterminate existence might actually give us a reason to accept metaphysical indeterminacy (rather than a reason to reject it, as is commonly assumed). (shrink)

Can supervaluationism successfully handle indirect speech reports? This chapter considers, and rejects, Schiffer’s claim that they cannot. One alleged problem with indirect speech reports is that the truth of “Carla said that Bob is tall” implausibly requires that Carla said all of a huge number of precise things (i.e. that Bob was over n feet tall, for values of n corresponding to precisifications of “tall”). The paper shows why the supervaluationist is not committed to this. Vague singular terms are (...) no particular problem for supervaluationism within indirect speech reports, it is argued, but there remain some issues surrounding certain vague demonstratives. The supervaluationist has good responses available, however, and any remaining questions face all theories of vagueness and are more appropriately addressed within a theory of demonstratives rather than a theory of vagueness. (shrink)

I here argue that Ted Sider's indeterminacy argument against vagueness in quantifiers fails. Sider claims that vagueness entails precisifications, but holds that precisifications of quantifiers cannot be coherently described: they will either deliver the wrong logical form to quantified sentences, or involve a presupposition that contradicts the claim that the quantifier is vague. Assuming (as does Sider) that the “connectedness” of objects can be precisely defined, I present a counter-example to Sider's contention, consisting of a partial, implicit definition (...) of the existential quantifier that in effect sets a given degree of connectedness among the putative parts of an object as a condition upon there being something (in the sense in question) with those parts. I then argue that such an implicit definition, taken together with an “auxiliary logic” (e.g., introduction and elimination rules), proves to function as a precisification in just the same way as paradigmatic precisifications of, e.g., “red”. I also argue that with a quantifier that is stipulated as maximally tolerant as to what mereological sums there are, precisifications can be given in the form of truth-conditions of quantified sentences, rather than by implicit definition. (shrink)

This paper proves a precisification of Hume’s Law—the thesis that one cannot get an ought from an is—as an instance of a more general theorem which establishes several other philosophically interesting, though less controversial, barriers to logical consequence.

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)

Many philosophers believe that truth is grounded: True propositions depend for their truth on the world. Some philosophers believe that truth’s grounding has implications for our ontology of time. If truth is grounded, then truth supervenes on being. But if truth supervenes on being, then presentism is false since, on presentism, e.g., that there were dinosaurs fails to supervene on the whole of being plus the instantiation pattern of properties and relations. Call this the grounding argument against presentism. Many presentists (...) claim that the grounding argument fails because, despite appearances, supervenience is compatible with presentism. In this paper, I claim that the grounding argument fails because, despite appearances, truth’s grounding gives the presentist no compelling reason to adopt the sort of supervenience principle at work in the grounding argument. I begin by giving two precisifications of the grounding principle: truthmaking and supervenience. In Sect. 2, I give the grounding argument against presentism. In Sect. 3, I argue that we should distinguish between eternalist and presentist notions of grounding; once this distinction is in hand, the grounding argument is undercut. In Sect. 4, I show how the presentist’s notion of grounding leads to presentist-friendly truthmaking and supervenience principles. In Sect. 5, I address some potential objections. (shrink)

In this paper, we investigate various possible (Bayesian) precisifications of the (somewhat vague) statements of “the equal weight view” (EWV) that have appeared in the recent literature on disagreement. We will show that the renditions of (EWV) that immediately suggest themselves are untenable from a Bayesian point of view. In the end, we will propose some tenable (but not necessarily desirable) interpretations of (EWV). Our aim here will not be to defend any particular Bayesian precisification of (EWV), but rather (...) to raise awareness about some of the difficulties inherent in formulating such precisifications. (shrink)

Kripke’s theory of truth is arguably the most influential approach to self-referential truth and the semantic paradoxes. The use of a partial evaluation scheme is crucial to the theory and the most prominent schemes that are adopted are the strong Kleene and the supervaluation scheme. The strong Kleene scheme is attractive because it ensures the compositionality of the notion of truth. But under the strong Kleene scheme classical tautologies do not, in general, turn out to be true and, as a (...) consequence, classical reasoning is no longer admissible once the notion of truth is involved. The supervaluation scheme adheres to classical reasoning but violates compositionality. Moreover, it turns Kripke’s theory into a rather complicated affair: to check whether a sentence is true we have to look at all admissible precisification of the interpretation of the truth predicate we are presented with. One consequence of this complicated evaluation condition is that under the supervaluation scheme a more proof-theoretic characterization of Kripke’s theory becomes inherently difficult, if not impossible. In this paper we explore the middle ground between the strong Kleene and the supervaluation scheme and provide an evaluation scheme that adheres to classical reasoning but retains many of the attractive features of the strong Kleene scheme. We supplement our semantic investigation with a novel axiomatic theory of truth that matches the semantic theory we have put forth. (shrink)

What sort of logic do we get if we adopt a supervaluational semantics for vagueness? As it turns out, the answer depends crucially on how the standard notion of validity as truth preservation is recasted. There are several ways of doing that within a supervaluational framework, the main alternative being between “global” construals (e.g., an argument is valid iff it preserves truth-under-all-precisifications) and “local” construals (an argument is valid iff, under all precisifications, it preserves truth). The former alternative (...) is by far more popular, but I argue in favor of the latter, for (i) it does not suffer from a number of serious objections, and (ii) it makes it possible to restore global validity as a defined notion. (shrink)

Recently four different papers have suggested that the supervaluational solution to the Problem of the Many is flawed. Stephen Schiffer has argued that the theory cannot account for reports of speech involving vague singular terms. Vann McGee and Brian McLaughlin say that theory cannot, yet, account for vague singular beliefs. Neil McKinnon has argued that we cannot provide a plausible theory of when precisifications are acceptable, which the supervaluational theory needs. And Roy Sorensen argues that supervaluationism is inconsistent with (...) a directly referential theory of names. McGee and McLaughlin see the problem they raise as a cause for further research, but the other authors all take the problems they raise to provide sufficient reasons to jettison supervaluationism. I will argue that none of these problems provide such a reason, though the arguments are valuable critiques. In many cases, we must make some adjustments to the supervaluational theory to meet the posed challenges. The goal of this paper is to make those adjustments, and meet the challenges. (shrink)

John Hardwig has championed the thesis (NE) that evidence that an expert EXP has evidence for a proposition P, constituted by EXP’s testimony that P, is not evidence for P itself, where evidence for P is generally characterized as anything that counts towards establishing the truth of P. In this paper, I first show that (NE) yields tensions within Hardwig’s overall view of epistemic reliance on experts and makes it imply unpalatable consequences. Then, I use Shogenji-Roche’s theorem of transitivity of (...) incremental confirmation to show that (NE) is false if a natural Bayesian formalization of the above notion of evidence is implemented. I concede that Hardwig could resist my Bayesian objection if he re-interpreted (NE) as a more precise thesis that only applies to community-focused evidence. I argue, however, that this precisification, while diminishing the philosophical relevance of (NE), wouldn’t settle the tensions internal to Hardwig’s views. (shrink)

Two popular theses central to recent theorizing about consciousness are the transitivity principle and the transparency of experience. According to the former, conscious mental states are mental states we are aware of in some way. According to the latter, there is some awareness-relation that we seemingly cannot bear to our experiences. I argue that, within certain reasonable constraints, there is no precisification of these theses that renders them compatible.

Logical Pluralists maintain that there is more than one genuine/true logical consequence relation. This paper seeks to understand what the position could amount to and some of the challenges faced by its formulation and defence. I consider in detail Beall and Restall’s Logical Pluralism—which seeks to accommodate radically different logics by stressing the way that they each fit a general form, the Generalised Tarski Thesis (GTT)—arguing against the claim that different instances of GTT are admissible precisifications of logical consequence. (...) I then consider what it is to endorse a logic within a pluralist framework and criticise the options Beall and Restall entertain. A case study involving many-valued logics is examined. I next turn to issues of the applications of different logics and questions of which logic a pluralist should use in particular contexts. A dilemma regarding the applicability of admissible logics is tackled and it is argued that application is a red herring in relation to both understanding and defending a plausible form of logical pluralism. In the final section, I consider other ways to be and not to be a logical pluralist by examining analogous positions in debates over religious pluralism: this, I maintain, illustrates further limitations and challenges for a very general logical pluralism. Certain less wide-ranging pluralist positions are more plausible in both cases, I suggest, but assessment of those positions needs to be undertaken on a case-by-case basis. (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 'Lying and Insincerity', Andreas Stokke argues for the superiority of the Stalnakerian account of lying on the basis of its ability to accommodate the intuition that bald-faced lies are genuine lies. In this paper I question this and other predictions of the Stalnakerian account, arguing that they hinge crucially on how we sharpen our understanding of two technical terms: assertion and official common ground. I survey a number of potential precisifications, arguing that none provide a clear and non-circular (...) metric for verifying the predictions at issue. Because the options I consider are not exhaustive, it is possible for Stalnakerian theorists to provide a robust metric for testing the theory in controversial cases. My aim is to put pressure on them to do so, and to show that—until then—the Stalnakerian approach has no clear advantage over the Gricean approach. (shrink)

When one allows truth to be indeterminate, “fixed point” interpretations can be found even when the language includes sentences such as the liar paradox. In this chapter this kind of account is applied to rational credences, to find non-undermining indeterminate epistemic states even in certain situations which have been discussed as challenges for rationality. In the process of doing this, a deeper understanding of how the supervaluational account of truth works is obtained, especially when one focuses on sets of (...) class='Hi'>precisifications. (shrink)

The accuracy-first program attempts to ground epistemology in the norm that one’s beliefs should be as accurate as possible, where accuracy is measured using a scoring rule. We argue that considerations of scientific progress suggest that such a monism about epistemic value is untenable. In particular, we argue that counterexamples to the standard scoring rules are ubiquitous in the history of science, and hence that these scoring rules cannot be regarded as a precisification of our intuitive concept of epistemic value.

Humans are extremely prosocial and there are many possible explanations for how we came to be this way. Some have suggested that commitments explain the evolution of human prosociality. Commitments can serve to secure mutually beneficial interaction in the face of short-term incentives to cheat. In this paper, I have two aims. First, I argue that commitment not only applies to familiar practices such as promising but also explains small-scale collaboration among humans as early as two million years ago. In (...) particular, it explains the stability of group hunting. In doing so, I provide a precisification of the concept of commitment. Second, I argue that earlier, non-linguistic forms of commitment can act as an evolutionary scaffold for more complex forms. As such, I will demonstrate how commitment can be understood to have coevolved with human cooperation. The coevolution of commitment and cooperation over our evolutionary history is, I suggest, a crucial part of the explanation of modern human prosociality. (shrink)

What the world needs now is another theory of vagueness. Not because the old theories are useless. Quite the contrary, the old theories provide many of the materials we need to construct the truest theory of vagueness ever seen. The theory shall be similar in motivation to supervaluationism, but more akin to many-valued theories in conceptualisation. What I take from the many-valued theories is the idea that some sentences can be truer than others. But I say very different things to (...) the ordering over sentences this relation generates. I say it is not a linear ordering, so it cannot be represented by the real numbers. I also argue that since there is higher-order vagueness, any mapping between sentences and mathematical objects is bound to be inappropriate. This is no cause for regret; we can say all we want to say by using the comparative truer than without mapping it onto some mathematical objects. From supervaluationism I take the idea that we can keep classical logic without keeping the familiar bivalent semantics for classical logic. But my preservation of classical logic is more comprehensive than is normally permitted by supervaluationism, for I preserve classical inference rules as well as classical sequents. And I do this without relying on the concept of acceptable precisifications as an unexplained explainer. The world does not need another guide to varieties of theories of vagueness, especially since Timothy Williamson (1994) and Rosanna Keefe (2000) have already provided quite good guides. I assume throughout familiarity with popular theories of vagueness. (shrink)

Sider’s (2001) modification of the Lewisean argument from vagueness for unrestricted mereological composition is advertised as having the advantage over the original that the assumption of the semantic determinacy of ‘part of’ (its lack of multiple eligible precisifications) is not required. This is not so; without this assumption the crucial step in Sider’s defence of his most contentious premiss, (P3), is one no defender of the linguistic theory of vagueness is obliged to take. Since the aim of the argument (...) is precisely to show that a defender of the linguistic theory of vagueness must accept unrestricted mereological composition the argument has no advantage over Lewis’s. (shrink)

This chapter presents several arguments related to Parfit's notion of evaluative imprecision and his imprecisionist lexical view of population ethics. After sketching Parfit's view, it argues that, contrary to Parfit, imprecision and lexicality are both compatible with thinking about goodness in terms of positions on a scale of value. Then, by examining the role that imprecision is meant to play in defusing spectrum argument, it suggests that imprecision should be identified with vagueness. Next, it argues that there is space for (...) robust moral realists to think of evaluative vagueness as a semantic phenomenon, illustrating this view with a version of conceptual role semantics on which the precisifications of betterness are correctness conditions for the precisifications of preference. Finally, it gives a probability-based argument against the imprecisionist lexical view. (shrink)

This book proposes a new solution to the problem of vagueness. There are several different ways of addressing this problem and no clear agreement on which one is correct. The author proposes that it should be understood as the problem of explaining vague predicates in a way that systematizes six intuitions about the phenomenon and satisfies three criteria of adequacy for an ideal theory of vagueness. The third criterion, which is called the “criterion of precisification”, is the most controversial one. (...) It is based on the intuition that a predicate is vague only if it is imprecise. The author considers some different definitions of linguistic imprecision, proposing that a predicate is imprecise if and only if there is no sharp boundary between objects to which its application yields some particular truth-value and objects to which its application does not yield that truth-value. The volume critically reviews the current theories of vagueness and proposes a new one, the Theory of Vagueness as Arbitrariness, which defines a vague predicate as an arbitrary predicate that must be precisified in order to contribute to a sentence that has truth-conditions. The main advantages of this theory over the current alternatives are that it satisfies all three criteria and systematizes the relevant intuitions. (shrink)

Fine (J. Philos. Logic 46(6):625–674, 2017a) sets out a theory of content based on truthmaker semantics which distinguishes two kinds of consequence between contents. There is entailment, corresponding to the relationship between disjunct and disjunction, and there is containment, corresponding to the relationship between conjunctions and their conjuncts. Fine associates these with two notions of parthood: disjunctive and conjunctive. Conjunctive parthood is a very useful notion, allowing us to analyse partial content and partial truth. In this chapter, I extend the (...) notion of disjunctive parthood in terms of a structural relation of refinement, which stands to disjunctive parthood much as mereological parthood stands to conjunctive parthood. Philosophically, this relation may be modelled on the determinable-determinate relation, or on a fact-to-fact notion of grounding. I discuss its connection to two other Finean notions: vagueness (understood via precisification) and arbitrary objects. I then investigate what a logic of truthmaking with refinement might look like. I argue that (i) parthood naturally gives rise to a relevant conditional; (ii) refinement underlies a relevant notion of disjunction; and so (iii) truthmaker semantics with refinement is a natural home for relevant logic. The resulting formal models draw on Fine’s (J. Philos. Logic 3(4):347–372, 1974) semantics for relevant logics. Finally, I use this understanding of relevant semantics to investigate the status of the mingle axiom. (shrink)

In _On Empirically Equivalent Systems of the World_ from 1975, Quine formulated a thesis of underdetermination roughly to the effect that every scientific theory has an empirically equivalent but logically incompatible rival, one that cannot be discarded merely as a terminological variant of the former. For Quine, the truth of this thesis was an open question. If true, some would argue that it undermines any belief in scientific theories that is based purely on their empirical success. But despite its potential (...) significance, surprisingly little has been done by way of establishing or refuting it. My aim is to establish the thesis for as large a class of theories as possible. Under various precisifications of the concepts involved, I show that it holds for all consistent and recursively axiomatizable theories that postulate infinitely many theoretical entities. (shrink)

The idea that the epistemology of modality is in some sense a priori is a popular one, but it has turned out to be difficult to precisify in a way that does not expose it to decisive counterexamples. The most common precisifications follow Kripke’s suggestion that cases of necessary a posteriori truth that can be known a priori to be necessary if true ‘may give a clue to a general characterization of a posteriori knowledge of necessary truths’. The idea (...) is that whether it is contingent whether p can be known a priori for at least some broad range of sentences ‘p’. Recently, Al Casullo and Jens Kipper have discussed restrictions of such principles to atomic sentences. We show that decisive counterexamples even to such dramatically restricted Kripke-style principles can be constructed using minimal logical resources. We then consider further restrictions, and show that the counterexamples to the original principles can be turned into counterexamples to the further restricted principles. We conclude that, if there are any true restrictions of Kripke-style principles, then they are so weak as to be of little epistemological interest. (shrink)

In this note, I consider various precisifications of the slogan ‘evidence of evidence is evidence’. I provide counter-examples to each of these precisifications (assuming an epistemic probabilistic relevance notion of ‘evidential support’).

Ecological communities are seldom, if ever, biological individuals. They lack causal boundaries as the populations that constitute communities are not congruent and rarely have persistent functional roles regulating the communities’ higher-level properties. Instead we should represent ecological communities indexically, by identifying ecological communities via the network of weak causal interactions between populations that unfurl from a starting set of populations. This precisification of ecological communities helps identify how community properties remain invariant, and why they have robust characteristics. This respects the (...) diversity and aggregational nature of these complex systems while still vindicating them as units worthy of investigation. (shrink)

This article analyzes approaches to nondeterminacy that suggest that one can make justified choices when primary criteria fail to fully determine a best alternative by introducing a secondary criterion. It is shown that these approaches risk violating Basic Contraction Consistency. Some ways of adjusting two-step models in order to protect against this are addressed, and it is suggested that proponents of two-step models should adopt formal conditions which qualify what counts as a permissible secondary criterion that resemble supervaluationist conditions that (...) qualify what counts as admissible precisifications of vague terms. (shrink)

David Lewis (1986) criticizes moderate views of composition on the grounds that a restriction on composition must be vague, and vague composition leads, via a precisificational theory of vagueness, to an absurd vagueness of existence. I show how to resist this argument. Unlike the usual resistance, however, I do not jettison precisificational views of vagueness. Instead, I blur the connection between composition and existence that Lewis assumes. On the resulting view, in troublesome cases of vague composition, there is an object, (...) which definitely exists, about which it is vague whether the relevant borderline parts compose it. (shrink)

In several sign languages, plurals can be realized with unpunctuated or punctuated repetitions of a noun, with different semantic implications; similar repetition-based plurals have been described in some homesigns and silent gestures. Unpunctuated repetitions often get approximate ‘at least’ readings while punctuated repetitions typically correspond to ‘exactly’ readings. The prevalence of these mechanisms could be thought to be a case in which Universal Grammar does not just specify the abstract properties of grammatical elements, but also their phonological realization, at least (...) in the visual modality. We explore an alternative in which punctuated and unpunctuated repetitions arise from general properties of iconic representations. On an empirical level, we argue that in ASL, punctuated and unpunctuated repetitions are unlikely to be an exclusively grammatical mechanism, as they can be found with purely iconic representations. On a theoretical level, we argue for a modular account with three components. First, repetition-based plurals can create a simplified pictorial representation. Second, unpunctuated repetitions give rise to pictorial vagueness, resolved by way of quantification over precisifications. Third, a pragmatic process involving strategic reasoning maps these vague representations onto a set of candidate linguistic meanings, including some ‘at least’ plural readings that are best expressed by unpunctuated repetitions. (shrink)

The isomorphism invariance criterion of logical nature has much to commend it. It can be philosophically motivated by the thought that logic is distinctively general or topic neutral. It is capable of precise set-theoretic formulation. And it delivers an extension of ‘logical constant’ which respects the intuitively clear cases. Despite its attractions, the criterion has recently come under attack. Critics such as Feferman, MacFarlane and Bonnay argue that the criterion overgenerates by incorrectly judging mathematical notions as logical. We consider five (...) possible precisifications of the overgeneration argument and find them all unconvincing. (shrink)

I present unexplored and unaccounted for uses of 'wants'. I call them advisory uses, on which information inaccessible to the desirer herself helps determine what she wants. I show that extant theories by Stalnaker, Heim, and Levinson fail to predict these uses. They also fail to predict true indicative conditionals with 'wants' in the consequent. These problems are related: intuitively valid reasoning with modus ponens on the basis of the conditionals in question results in unembedded advisory uses. I consider two (...) fixes, and end up endorsing a relativist semantics, according to which desire attributions express information-neutral propositions. On this view, 'wants' functions as a precisification of 'ought', which exhibits similar unembedded and compositional behavior. I conclude by sketching a pragmatic account of the purpose of desire attributions that explains why it made sense for them to evolve in this way. (shrink)

I offer a reconstruction of contemporary medical procedures of sex assignment for infants with intersex conditions. In the perspective adopted, sex assignment to intersexed newborns can be understood as a procedure that imposes determinate sex predicates. The account describes two stages of sex assignment. At the first stage of the process, the sex predicates ‘female’, ‘male’, or ‘intersexed’ are taken to denote genital morphology. Initial genital assessment of newborns imposes clear boundaries upon the extensions of these predicates through diagnostic schemes (...) of precisification. At the second stage, the sex predicates ‘female’ and ‘male’ denote sex of rearing, a therapeutic and pedagogical project aimed at producing stable and psycho-socially well-adjusted gender identity. The multi-dimensional indeterminacy of prognosticating sex of rearing at the second stage is mitigated through the prioritization of some subsets of the medical data. (shrink)

A recent theory of metaphysical indeterminacy says that metaphysical indeterminacy is multiple actuality: there is metaphysical indeterminacy when there are many 'complete precisifications of reality'. But it is possible for there to be metaphysical indeterminacy even when it is impossible to precisify reality completely. The orthodox interpretation of quantum mechanics illustrates this possibility. So this theory of metaphysical indeterminacy is not adequate.

Ten years ago, one of us proposed a dynamic hierarchical model of intentions that brought together philosophical work on intentions and empirical work on motor representations and motor control (Pacherie, 2008). The model distinguished among Distal intentions, Proximal intentions, and Motor intentions operating at different levels of action control (hence the name DPM model). This model specified the representational and functional profiles of each type of intention, as well their local and global dynamics, and the ways in which they interact. (...) A core insight of the model was that action control is the result of integrated, coordinated activity across these levels of intention. Since the proposal of the model, empirical and theoretical works in philosophy and cognitive science have emerged that would seem to support and expand on this central insight. In particular, an updated understanding of the nature of sensorimotor processing and motor representations, as well as of how the different levels of intention and control interface and interact, allows for the further specification and precisification of the original DPM model. (shrink)

According to the common wisdom, among both contemporary scholars and classic interpreters, Avicenna is committed to ‘Co-origination’: The human soul is temporally originated with the human body. Against the common wisdom, we will argue that Co-origination is ambiguous and vague and thus its attribution to Avicenna is in need of clarification and precisification. The problem is broken down into two sub-problems: First, the problem of the origination of different souls/powers, namely the vegetative, animal and rational, in humans, and second, the (...) problem of the relationship between these souls/powers. Based on our solutions to these two sub-problems, we will offer our own reading of Co-origination according to which Avicenna is not committed to the view that the human soul is originated with the ‘human body’ in its ordinary sense. (shrink)

This paper develops and defends the view that substantively normative uses of words like “good”, “right” and “ought” are irresolvably indeterminate: any single case of application is like a borderline case for a vague or indeterminate term, in that the meaning-fixing facts, together with the non-linguistic facts, fail to determine a truth-value for the target sentence in context. Normative claims, like vague or indeterminate borderline claims, are not meaningless, though. By making them, the speaker communicates information about the precisifications (...) that s/he accepts. The analogy with vague/indeterminate language, I argue, lays out a new and interesting foundation for a subjectivist approach to normativity. (shrink)

Proponents of supervaluationism claim super-truth, i. e., truth on every admissible precisification, is identical to truth or, at least, is a suitable truth proxy. I object that super-truth is neither identical to nor a suitable proxy for truth. I argue that to claim a statement is super-true is simply to maintain that a certain counterfactual holds, and that a claim is true, counterfactually, is no reason to treat it as true. I further argue that, with super-truth undermined, Roy Sorensen’s objection (...) that supervaluationism cannot accommodate vague directly referential terms presents supervaluationism’s defenders with a significant challenge. (shrink)

What is the proper attitude toward what is expressed by a vague sentence in the face of borderline evidence? Some call this attitude “ambivalence” and distinguish it from uncertainty. It has been argued that Classical Epistemicism conjoined with classical probability theory fails to characterize this attitude, and that we must therefore abandon classical logic or classical probabilities in the presence of vagueness. In this paper, I give a characterization of ambivalence assuming a supervaluationist semantics for vague terms that does not (...) revise either. The theory, which I call the theory of Superprobabilities, identifies the proper attitude toward a vague sentence, in the presence of exact borderline evidence, as the set of classical probabilities of the evidence on each member of the set of all precisifications of a vague sentence. I defend the use of sets of probabilities against objections by generalizing the theory of Superprobabilities to a decision theory called Superrationality. I then compare the merits of the theory of Superprobabilities to Classical Epistemicism and nonclassical probabilities theories with respect to the problem of ambivalence. (shrink)

Title in English: "Being a certain way without being definitely that way: a problem for supervaluationism". I argue that the supervaluationist theory of vagueness, in its most common version, is committed to a thesis – viz., the incompatibility between being-F and not-being-definitely-F – which is doubtful, unjustified and in conflict with the definition of super-truth as truth in all admissible precisifications of a vague language.

What philosophers have in mind when they think about vagueness are sorites cases. Unlike vague scientific or artificial expressions, however, vague natural language expressions do not display the kind of vagueness that we associate with the sorites; they rather display what I call cluster vagueness. A non-trivial consequence of this is that those legal definitions that state precisifications of natural language concepts not only add aspects of meaning to existing expressions but also effectively change the meanings of these expressions. (...) From this, in turn, it follows that we should avoid precisifying ordinary expressions with the help of legal definitions to the extent that we wish legal language to be in line with natural language. And being in line with natural language may help us to deal with gaps in our laws at the very moment we become aware of them, and not just afterwards. (shrink)

Vagueness, as discussed in the philosophical literature, is the phenomenon that paradigmatically rears its head in the sorites paradox, one prominent version of which is: One grain of sand does not make a heap. For any n, if n grains of sand do not make a heap, then n + 1 grains of sand do not make a heap. So, ten billion grains of sand do not make a heap. It is common ground that the different versions of the sorites (...) paradox arise because of vagueness in a key expression, in this case ‘heap’. One central concern in the literature on vagueness is to find a solution to the sorites paradox. Vagueness also gives rise to borderline cases. Since ‘heap’ is a vague expression, ‘heap’ also gives rise to borderline cases: there are some possible entities such that they are neither clearly heaps nor clearly non-heaps, but instead are borderline heaps. Borderline cases can seem intuitively to present counter-examples to bivalence and the law of excluded middle . If Harry is a borderline case of baldness, ‘Harry is bald’ can seem neither true nor false, whence it presents doubts concerning bivalence. Similarly, one can find the corresponding instance of LEM, ‘Either Harry is bald or Harry is not bald’, suspect. There are three main theories that involve departures from bivalence, and two of them involve rejection of LEM as well. Standard three-valued logic invokes the idea of a third truth-value or truth-value gaps; fuzzy logic invokes the idea of continuum-many truth-values intermediate between truth and falsity. Both these views preserve truth-functionality. Traditional supervaluationism involves rejection of bivalence, but adherence to LEM. The idea is that if an expression is vague there is a range of precisifications associated with it, where, roughly, precisifications are ways the expression could be …. (shrink)

Raimo Tuomela’s we-mode groups are partly characterized by norms. Some norms may be characteristic of all we-mode groups like the norm restricting a member’s right to leave the group. Some think that this aspect of Tuomela’s theory has implausible ethical implications concerning the rights and autonomy of members in we-mode groups. That worry vanishes, I argue, on a plausible interpretation of Tuomela’s notion of social normativity and a reasonable precisification of the notion of autonomy in this context. On the other (...) hand, Tuomela’s general silence on the nature of moral normativity makes it unclear how his distinction between social and moral normativity should be drawn more precisely. Is this a difference in kind, or merely a difference in the scope or social basis of the norms in question? I find this worth exploring with the aid of resources available within a broadly Tuomelian framework. Like Jeremy Koons (2019), I believe that Tuomela’s framework could be used to refine Wilfrid Sellars theory of ethical judgments as expressions of we-intentions. My preferred interpretation of Tuomela differs from Koons’ though, and so does the resulting reconstruction of Sellars, which is more Humean than Kantian. (shrink)

In this paper, I raise a problem for standard precisifications of the Relational Analysis of attitude reports. The problem I raise involves counterfactual attitude verbs. such as ‘wish’. In short, the trouble is this: there are true attitude reports ‘ S wishes that P ’ but there is no suitable referent for the term ‘that P ’. The problematic reports illustrate that the content of a subject’s wish is intimately related to the content of their beliefs. I capture this (...) fact by moving to a framework in which ‘wish’ relates subjects to sets of pairs of worlds, or paired propositions, rather than—as is standardly assumed—sets of worlds. Although other types of counterfactual attitude reports, for example those involving ‘imagine’, may be similarly problematic, at this stage it is unclear whether they can be handled the same way. (shrink)

Some realists claim that theoretical entities like numbers and electrons are indispensable for describing the empirical world. Motivated by the meta-ontology of Quine, I take this claim to imply that, for some first-order theory T and formula δ(x) such that T ⊢ ∃xδ ∧ ∃x¬δ, where δ(x) is intended to apply to all and only empirical entities, there is no first-order theory T′ such that (a) T and T′ describe the δ:s in the same way, (b) T′ ⊢ ∀xδ, and (...) (c) T′ is at least as attractive as T in terms of other theoretical virtues. In an attempt to refute the realist claim, I try to solve the general problem of nominalizing T (with respect to δ), namely to find a theory T′ satisfying conditions (a)–(c) under various precisifications thereof. In particular, I note that condition (a) can be understood either in terms of syntactic or semantic equivalence, where the latter is strictly stronger than the former. The results are somewhat mixed. On the positive side, even under the stronger precisification of (a), I establish that (1) if the vocabulary of T is finite, a nominalizing theory can always be found that is recursive if T is, and (2) if T postulates infinitely many δ:s, a nominalizing theory can always be found that is no more computationally complex than T. On the negative side, even under the weaker precisification of (a), I establish that (3) certain finite theories cannot be nominalized by a finite theory. (shrink)