Can identity itself be vague? Can there be vague objects? Does a positive answer to either question entail a positive answer to the other? In this paper we answer these questions as follows: No, No, and Yes. First, we discuss Evans’s famous 1978 argument and argue that the main lesson that it imparts is that identity itself cannot be vague. We defend the argument from objections and endorse this conclusion. We acknowledge, however, that the argument does not by itself establish (...) either that there cannot be vague objects or that there cannot be identity statements that are indeterminate for ontic reasons. And we further acknowledge that it does not by itself establish that there cannot be identity statements that are indeterminate in virtue of the existence of vague objects. We then go on to argue that, despite this, one who believes in vague objects cannot endorse Evans’s argument. To establish this we offer supplementary arguments that show that if vague objects exist then identity is vague, and that if identity is vague then vague objects exist. Finally we draw attention to an argument parallel to that of Evans’s, but safer, which can be employed against the putative ontic indeterminacy in identity of vague objects which can be differentiated by identity-free properties. (shrink)

The paper critically discusses two prominent arguments against closure principles for knowledge. The first one is the “argument from aggregation”, claiming that closure under conjunction has the consequence that, if one individually knows i premises, one also knows their i-fold conjunction—yet, every one of the premises might exhibit interesting positive epistemic properties while the i-fold conjunction might fail to do so. The second one is the “argument from concatenation”, claiming that closure under entailment has the consequence that, if one knows (...) a premise, one also knows each of its remote consequences one arrives at—yet, again, the premise might exhibit interesting positive epistemic properties while some of its remote consequences might fail to do so. The paper firstly observes that the ways in which these two arguments try to establish that the relevant closure principle has the relevant problematic consequence are strikingly similar. They both crucially involve showing that, given the features of the case, the relevant closure principle acts in effect as a soritical principle, which is in turn assumed to lead validly to the relevant problematic consequence. There are however nontransitive logics of vagueness where soritical principles do not have any problematic consequence. Assuming that one of these logics is the correct logic of vagueness, the paper secondly observes that both arguments describe situations where knowledge is arguably vague in the relevant respects, so that a tolerant logic should be used in reasoning about it, with the effect that the relevant soritical principle no longer validly leads to the relevant problematic consequence. This shows an interesting respect in which the gap between validity and good inference that arguably arises in a transitive framework can be bridged in a tolerant one, thereby approximating better certain features of our epistemic lives as finite subjects. Moreover, even for those who do not subscribe to tolerant logics, the paper’s two observations jointly indicate that, for all the arguments from aggregation and concatenation show, the status of the relevant closure principles should be no worse than that assigned by one’s favoured theory of vagueness to soritical principles, which only rarely is plain falsity and can indeed get arbitrarily close to full truth. (shrink)

The postulation by the “epistemic” theory of vagueness of a cut-off point between heaps and non-heaps has made it seem incredible. Surely, the critics argue, a vague predicate doesn’t divide the universe into a set and its complement. I argue in response that an objection of a similar kind can be leveled against most theories of vagueness. The only two which avoid it are untenable. The objection is less compelling than it initially seems. However, even when this obstacle is removed, (...) the epistemic theory is not yet vindicated. (shrink)

An impossibility result pertaining to the aggregation of individual judgements is thought by many to have significant implications for political theory, social epistemology and metaphysics. When members of a group hold a rational set of judgments on some interconnected questions, the theorem shows, it isn't always (logically) possible for them to aggregate their judgements into a collective one in conformity with seemingly very plausible constraints. I reject one of the constraints which engender the dilemma. The analogy with the lottery paradox, (...) I argue, shows that rational belief needn't be consistent. So the alleged implications of the dilemma are dispelled. (shrink)

Logicians interested in naive theories of truth or set have proposed logical frameworks in which classical operational rules are retained but structural rules are restricted. One increasingly popular way to do this is by restricting transitivity of entailment. This paper discusses a series of logics in this tradition, in which the transitivity restrictions are effected by a determinacy constraint on assumptions occurring in both the major and minor premises of certain rules. Semantics and proof theory for 3-valued, continuum-valued and surreal-valued (...) semantics are given and the proof theory for the systems outlined. The framework is robust in the sense that no conditional, defined or primitive, which sustains the contraction principles underlying Curry paradoxes can be expressed. Classical recapture is smoothly achievable in the system which however is expressively limited and not semantically closed. The conclusion considers the issue of how to extend the system to capture full naive set theory. (shrink)

ABSTRACT I consider paradoxical spectrum arguments involving transitive relations like ‘better than’. I argue that, despite being formally different from sorites arguments, at least some spectrum arguments arise from vagueness, and that vagueness might often be the most natural diagnosis.

Wright holds that the following two theses are jointly incoherent: Rules determine correct language use. These rules are discoverable via internal reflection on language use. I argue that incoherence is derivable from alone and examine two types of probabilistic accounts that model a modification of, one in terms of inexact knowledge, the other in terms of viewing semantic rules as reasons for linguistic actions. Both accommodate tolerance by breaking the link between justified assertion and truth, but incoherence threatens their conception (...) of justified assertion. I argue that the rules-as-reasons approach can relocate sharp boundaries to a place where they are not only more tolerable, but to be expected. (shrink)

According to quantum mechanics, statements about the future made by sentient beings like us are, in general, neither true nor false; they must satisfy a many-valued logic. I propose that the truth value of such a statement should be identified with the probability that the event it describes will occur. After reviewing the history of related ideas in logic, I argue that it gives an understanding of probability which is particularly satisfactory for use in quantum mechanics. I construct a lattice (...) of future-tense propositions, with truth values in the interval [0, 1], and derive logical properties of these truth values given by the usual quantum-mechanical formula for the probability of a history. (shrink)

In making assertions one takes on commitments to the consistency of what one asserts and to the logical consequences of what one asserts. Although there is no quick link between belief and assertion, the dialectical requirements on assertion feed back into normative constraints on those beliefs that constitute one's evidence. But if we are not certain of many of our beliefs and that uncertainty is modelled in terms of probabilities, then there is at least prima facie incoherence between the normative (...) constraints on belief and the probability-like structure of degrees of belief. I suggest that the norm-governed practice relating to degrees of belief is the evaluation of betting odds. (shrink)

I show that the Lottery Paradox is just a version of the Sorites, and argue that this should modify our way of looking at the Paradox itself. In particular, I focus on what I call “the Cut-off Point Problem” and contend that this problem, well known by Sorites scholars, ought to play a key role in the debate on Kyburg’s puzzle. Very briefly, I show that, in the Lottery Paradox, the premises “ticket n°1 will lose”, “ticket n°2 will lose”… “ticket (...) n°1000 will lose” are equivalent to soritical premises of the form “~(the winning ticket is in {…, (tn)}) ⊃ ~(the winning ticket is in {…, tn, (tn + 1)})” (where “⊃” is the material conditional, “~” is the negation symbol, “tn” and “tn + 1” are “ticket n°n” and “ticket n°n + 1” respectively, and “{}” identify the elements of the lottery tickets’ set. The brackets in “(tn)” and “(tn + 1)” are meant to point out that in the antecedent of the conditional we do not always have a “tn” (and, as a result, a “tn + 1” in the consequent): consider the conditional “~(the winning ticket is in {}) ⊃ ~(the winning ticket is in {t1})”). As a result, failing to believe, for some ticket, that it will lose comes down to introducing a cut-off point in a chain of soritical premises. In this paper I explore the consequences of the different ways of blocking the Lottery Paradox with respect to the Cut-off Point Problem. A heap variant of the Lottery Paradox is especially relevant for evaluating the different solutions. One important result is that the most popular way out of the puzzle, i.e., denying the Lockean Thesis, becomes less attractive. Moreover, I show that, along with the debate on whether rational belief is closed under classical logic, the debate on the validity of modus ponens should play an important role in discussions on the Lottery Paradox. -/- . (shrink)

We derive a probabilistic account of the vagueness and context-sensitivity of scalar adjectives from a Bayesian approach to communication and interpretation. We describe an iterated-reasoning architecture for pragmatic interpretation and illustrate it with a simple scalar implicature example. We then show how to enrich the apparatus to handle pragmatic reasoning about the values of free variables, explore its predictions about the interpretation of scalar adjectives, and show how this model implements Edgington’s Vagueness: a reader, 1997) account of the sorites paradox, (...) with variations. The Bayesian approach has a number of explanatory virtues: in particular, it does not require any special-purpose machinery for handling vagueness, and it is integrated with a promising new approach to pragmatics and other areas of cognitive science. (shrink)

Two objects of valuation are said to be incommensurable if neither is better than the other, nor are they equally good. This negative, coarse-grained characterization fails to capture the nuanced structure of incommensurability. We argue that our evaluative resources are far richer than orthodoxy recognizes. We model value comparisons with the corresponding class of permissible preference orderings. Then, making use of our model, we introduce a potentially infinite set of degrees of approximation to better, worse, and equally good, which we (...) interpret as degrees of commensurability.One payoff is the solution our approach provides to a paradox in population ethics, generated by Parfit's “Continuum Argument”. Parfit imagines a sequence of populations, starting with one consisting of excellent lives and, by a sequence of apparent improvements, reaching a much larger population of lives barely worth living. What he dubs “the Repugnant Conclusion” is that the final population is better than the first. Developing Parfit's response, we argue that some of the populations in the sequence are merely almost better than their immediate predecessors. Almost better is not transitive (unlike better). We offer analogies to other ‘spectrum arguments’, Condorcet's paradox, and to developments in formal epistemology. (shrink)

In this paper I present two arguments against the thesis that we experience qualia. I argue that if we experienced qualia then these qualia would have to be essentially vague entities. And I then offer two arguments, one a reworking of Gareth Evans' argument against the possibility of vague objects, the other a reworking of the Sorites argument, to show that no such essentially vague entities can exist. I consider various objections but argue that ultimately they all fail. In particular (...) I claim that the stock responses to the Sorites argument fail against my reworking of the argument because they require us to make a distinction between a determinate reality and how that reality appears to us, whereas in the case of qualia we can make no such distinction. I conclude that there can be no such things as qualia. (shrink)

The main thesis of this paper is that we sometimes are disposed to accept false and even jointly inconsistent claims by virtue of our semantic competence, and that this comes to light in the sorites and liar paradoxes. Among the subsidiary theses are that this is an important source of indeterminacy in truth conditions, that we must revise basic assumptions about semantic competence, and that classical logic and bivalence can be upheld in the face of the sorites paradox.

Edgington has proposed a solution to the sorites paradox in terms of ‘verities’, which she defines as degrees of closeness to clear truth. Central to her solution is the assumption that verities are formally probabilities. She is silent on what verities might derive from and on why they should be probabilities. This paper places Edgington’s solution in the framework of a spatial approach to conceptualization, arguing that verities may be conceived of as deriving from how our concepts relate to each (...) other. Building on work by Kamp and Partee, this paper further shows how verities, thus conceived of, may plausibly be assumed to have probabilistic structure. The new interpretation of verities is argued to also help answer the question of what the verities of indicative conditionals are, a question which Edgington leaves open. Finally, the question of how to accommodate higher-order vagueness, given this interpretation, is addressed. (shrink)

Edgington has proposed a degree-theoretic account of vagueness that yields a highly elegant solution to the sorites paradox. This paper applies her account to the paradox of Theseus’ ship, which is generally classified among the paradoxes of material constitution and not as a sorites paradox.

In previous published research (“Conditionals and Inferential Connections: A Hypothetical Inferential Theory,” Cognitive Psychology, 2018), we investigated experimentally what role the presence and strength of an inferential connection between a conditional’s antecedent and consequent plays in how people process that conditional. Our analysis showed the strength of that connection to be strongly predictive of whether participants evaluated the conditional as true, false, or neither true nor false. In this article, we re-analyse the data from our previous research, now focussing on (...) the semantics of conditionals rather than on how they are processed. Specifically, we use those data to compare the main extant semantics with each other and with inferentialism, a semantics according to which the truth of a conditional requires the presence of an inferential connection between the conditional’s component parts. (shrink)

Knauff and Gazzo Castañeda (2022) criticise the use of the term “new paradigm” in the psychology of reasoning and raise important issues about how to advance research in the field. In this commentary I argue that for the latter it would be helpful to clarify further the concepts that reasoning theories rely on, and to strengthen the links between the theories and the empirical observations that would and would not be compatible with them.

What is the relation or connection between formalizations of induction and the actual inductive inferences of scientists? Building from recent works in the philosophy of logic, this paper argues that these formalizations of induction are best viewed as models and not literal descriptions of inductive inferences in science. Three arguments are put forward to support this claim. First, I argue that inductive support is the kind of phenomenon that can be justifiably modeled. Second, I argue that these formalizations have the (...) features that define models—that they have representors, artefacts, and idealizations. Third, I argue that these formalizations being models explains their plurality and revisability. (shrink)

This unique anthology of new, contributed essays offers a range of perspectives on various aspects of ontic vagueness. It seeks to answer core questions pertaining to onticism, the view that vagueness exists in the world itself. The questions to be addressed include whether vague objects must have vague identity, and whether ontic vagueness has a distinctive logic, one that is not shared by semantic or epistemic vagueness. The essays in this volume explain the motivations behind onticism, such as the plausibility (...) of mereological vagueness and indeterminacy in quantum mechanics and they offer various arguments both for and against ontic vagueness; onticism is also compared with other, competing theories of vagueness such as semanticism, the view that vagueness exists only in our linguistic representation of the world. Gareth Evans’s influential paper of 1978, “Can There Be Vague Objects?” gave a simple but cogent argument against the coherence of ontic vagueness. Onticism was subsequently dismissed by many. However, in recent years, researchers have become aware of the logical gaps in Evans’s argument and this has triggered a new wave of interest in onticism. Onticism is now widely regarded as at least a coherent view. Reflecting this growing consensus, the present anthology for the first time puts together essays that are focused on onticism and its various facets and it fills in the lacuna in the literature on vagueness, a much-discussed subject in contemporary philosophy. (shrink)

Neutralism is the broad view that philosophical progress can take place when (and sometimes only when) a thoroughly neutral, non-specific theory, treatment, or methodology is adopted. The broad goal here is to articulate a distinct, specific kind of sorites paradox (The Observational Sorites Paradox) and show that it can be effectively treated via Neutralism.

Two questions dominate theoretical research on vagueness. The first is of a logical-semantic nature: What formal models offer the best understanding of vagueness? Many answers to this question have been proposed (e.g. [1], [2] for an overview), but none of these has found general acceptance so far. The second question is of a pragmatic nature and asks Why is language vague? This question has been asked forcefully by the economist Barton Lipman, who has shown that some seemingly plausible answers resist (...) analysis in terms of classical Game Theory [3], [4]. While a number of tentative answers to this question have been suggested (for a survey, see [6], [7]), Lipman’s question is still partly unresolved, particularly with respect to situations where there is no conflict between the speaker and the hearer (cf. [8]). (shrink)

The extensions of vague predicates like ‘is bald’, ‘is tall’, and ‘is a heap’ apparently lack sharp boundaries, and this makes such predicates susceptible to soritical reasoning, i.e. reasoning that leads to some version of the notorious sorites paradox. This essay is concerned with a certain kind of theory of vagueness, according to which the symptoms and puzzles of vagueness should be accounted for in terms of a particular species of context sensitivity exhibited by vague expressions. The basic idea is (...) that the extensions of vague predicates vary with certain contextual factors, and that this fact can explain why they appear to lack sharp boundaries. This kind of view is referred to as contextualism about vagueness. A detailed characterisation of contextualism about vagueness is given in chapter two and three. In chapter two, a generic version of contextualism about vagueness is developed, and some alternative forms of context sensitivity are introduced. In chapter three, the specific contextual factors appealed to by different contextualists are discussed. In chapter four, different contextualist diagnoses of the sorites paradox are considered, and found to be problematic in various ways. It is argued that contrary to what some of its proponents have claimed, contextualism about vagueness is not superior to other comparable theories of vagueness when it comes to explaining the appeal of soritical reasoning. In chapter five, a certain version of the sorites paradox, known as the forced march sorites, is discussed. It is argued that “data” about how speakers would behave in the forced march cannot lend any firm support to contextualism about vagueness. In chapter six, some problems concerning the instability of the contextual factors are considered. One problem is that contextualist diagnoses of the sorites which locate a fallacy of equivocation in the reasoning seem to render non-soritical reasoning fallacious as well. A model for treating this problem is suggested, but on closer consideration, it turns out to be problematic. Moreover, this model is of no help in solving the more general problem that even if classical logic remains valid for vague language on some contextualist views, the instability of the extensions of vague predicates makes it difficult to know when a certain piece of reasoning instantiates a valid argument form. Other difficulties arise with respect to speech reports and belief contents. Chapter seven concludes with a summary and some methodological remarks. (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)

I discuss the meaning of probability in the Everett-Wheeler interpretation of quantum mechanics, together with the problem of defining histories. To resolve these, I propose an understanding of probability arising from a form of temporal logic: the probability of a future-tense proposition is identified with its truth value in a many-valued and context-dependent logic. In short, probability is degree of truth. These ideas appear to be new, but they are natural and intuitive, and relate to traditional naive ideas of time (...) and chance. Indeed, I argue that Everettian quantum mechanics is the only form of scientific theory that truly incorporates the perception that the future is open. (shrink)