Many classically valid meta-inferences fail in a standard supervaluationist framework. This allegedly prevents supervaluationism from offering an account of good deductive reasoning. We provide a proof system for supervaluationist logic which includes supervaluationistically acceptable versions of the classical meta-inferences. The proof system emerges naturally by thinking of truth as licensing assertion, falsity as licensing negative assertion and lack of truth-value as licensing rejection and weak assertion. Moreover, the proof system respects well-known criteria for the admissibility of inference rules. Thus, supervaluationists (...) can provide an account of good deductive reasoning. Our proof system moreover brings to light how one can revise the standard supervaluationist framework to make room for higher-order vagueness. We prove that the resulting logic is sound and complete with respect to the consequence relation that preserves truth in a model of the non-normal modal logic _NT_. Finally, we extend our approach to a first-order setting and show that supervaluationism can treat vagueness in the same way at every order. The failure of conditional proof and other meta-inferences is a crucial ingredient in this treatment and hence should be embraced, not lamented. (shrink)

This paper claims that there is a plausible sense in which validity is a matter of truth preservation relative to interpretations of the sentences that occur in an argument, although it is not the sense one might have in mind. §1 outlines three independent problems: the first is the paradox of the sorites, the second concerns the fallacy of equivocation, and the third arises in connection with the standard treatment of indexicals. §2 elucidates the claim about validity, while §§3-5 show (...) how the three problems outlined can be handled in accordance with it. §6 explains how the claim squares with the traditional idea that validity is related to formality, and in particular with a broadly accepted definition based on that idea, the model-theoretic definition of logical consequence. Unlike other works on the subject, this paper does not focus on necessity. It is not its intention to provide a characterization of necessity that conforms to some ideal of rigour or to some pre-theoretical understanding of validity. What follows can be taken as conditional on the assumption that such a characterization can be provided. (shrink)

This paper deals with the question of what it is for a quantifier expression to be vague. First it draws a distinction between two senses in which quantifier expressions may be said to be vague, and provides an account of the distinction which rests on independently grounded assumptions. Then it suggests that, if some further assumptions are granted, the difference between the two senses considered can be represented at the formal level. Finally, it outlines some implications of the account provided (...) which bear on three debated issues concerning quantification. (shrink)

Classical logic rests on the assumption that there are two mutually exclusive and jointly exhaustive truth values. This assumption has always been surrounded by philosophical controversy. Doubts have been raised about its legitimacy, and hence about the legitimacy of classical logic. Usually, the assumption is stated in the form of a general principle, namely the principle that every proposition is either true or false. Then, the philosophical controversy is often framed in terms of the question whether every proposition is either (...) true or false. The main purpose of the paper is to show that there is something wrong in this way of putting things. The point is that the common way of understanding the controversial assumption is misconceived, as it rests on a wrong picture of propositions. In the first part of the paper I outline this picture and I argue against it. In the second part I sketch a different picture of propositions and I suggest how this leads to conceive the issue of classical logic in different terms. (shrink)

There seem to be cases where A believes p, and B believes not-p, but neither makes a mistake. This is known as faultless disagreement. According to the epistemic account, in at least some cases of faultless disagreement either A or B must believe something false, and the disagreement is faultless in the sense that each follows the epistemic norm. Recently, philosophers have raised various objections to this account. In this paper, I propose a new version of the epistemic account and (...) show how it can handle those objections. (shrink)

. According to Horgans transvaluationist approach, the robustness that characterizes vague terms is inherently incoherent. He analyzes that robustness into two conceptual poles, individualistic and collectivistic, and ascribes the incoherence to the former. However, he claims vague terms remain useful nonetheless, because the collectivistic pole can be realized with a suitable non-classical logic and can quarantine the incoherence arising out of the individualistic pole. I argue, on the contrary, that the nonclassical logic fails to resolve the difficulty and that the (...) incoherence afflicts Horgans collectivistic pole as well, consequently invalidating the entire transvaluationist approach. An alternative, coherent conception of robustness is suggested. (shrink)

Stewart Shapiro has objected to the epistemicist theory of vagueness on grounds that it gives counterintuitive predictions about cases involving conditional obligation. This paper details a response on the epistemicist’s behalf. I first argue that Shapiro’s own presentation of the objection is unsuccessful as an argument against epistemicism. I then reconstruct and offer two alternative arguments inspired by Shapiro’s considerations, and argue that these fail too, given the information-sensitive nature of conditional obligations.

Epistemicists claim that if it is vague whether p, it is unknowable whether p. Some contest this on epistemic grounds: vague intuitions about vague matters need not fully preclude knowledge, if those intuitions are response-dependent in some special sense of enabling vague knowledge. This paper defends the epistemicist principle that vagueness entails ignorance against such objections. I argue that not only is response-dependence an implausible characterization of actual vague matters, its mere possibility poses no threat to epistemicism and is properly (...) accounted for by the epistemicist’s own principles. (shrink)

The philosophical account of vagueness I call "transvaluationism" makes three fundamental claims. First, vagueness is logically incoherent in a certain way: it essentially involves mutually unsatisfiable requirements that govern vague language, vague thought-content, and putative vague objects and properties. Second, vagueness in language and thought (i.e., semantic vagueness) is a genuine phenomenon despite possessing this form of incoherence—and is viable, legitimate, and indeed indispensable. Third, vagueness as a feature of objects, properties, or relations (i.e., ontological vagueness) is impossible, because of (...) the mutually unsatisfiable conditions that such putative items would have to meet. In this paper I set forth the core claims of transvaluationism in a way that acknowledges and explicitly addresses a challenging critique by Timothy Williamson of my prior attempts to articulate and defend this approach to vagueness. I sketch my favored approach to truth and ontological commitment, and I explain how it accommodates the impossibility of ontological vagueness. I argue that any approach to the logic and semantics of vagueness that both (i) eschews epistemicism and (ii) thoroughly avoids positing any arbitrary sharp boundaries (either first-order or higher-order) will have to be not an alternative to transvaluationism but an implementation of it. I sketch my reasons for repudiating epistemicism. I briefly describe my current thinking about how to accommodate intentional mental properties with vague content within an ontology that eschews ontological vagueness. And I revisit the idea, which played a key role in my earlier articulations of transvaluationism, that moral conflicts provide an illuminating model for understanding vagueness. (shrink)

The long ongoing and partly heated debate on the concept of disease has not led to any consensus on the status of this apparently essential concept for modern health care. The arguments range from claims that the disease concept is vague, slippery, elusive, or complex, and to statements that the concept is indefinable and unnecessary. The unsettled status of the concept of disease is challenging not only to health care where diagnosing, treating, and curing disease are core aims, but also (...) to the branch of philosophy that tries to clarify concepts. This article discusses three claims about the concept of disease: that it is vague, complex, and that it is indefinable. It investigates (a) what is meant by these claims (b) what their implications are, and (c) whether the claims are sound or not. It is argued that some of the arguments are flawed and miss important points about concept analysis. This does not mean, however, that disease is a clear concept with a crisp definition. It only rules out speculative claims that disease necessarily is vague, complex, and indefinable. It appears at least as hard to show that disease is indefinable as it is to define it. (shrink)

Anti-exceptionalism about logic is the Quinean view that logical theories have no special epistemological status, in particular, they are not self-evident or justified a priori. Instead, logical theories are continuous with scientific theories, and knowledge about logic is as hard-earned as knowledge of physics, economics, and chemistry. Once we reject apriorism about logic, however, we need an alternative account of how logical theories are justified and revised. A number of authors have recently argued that logical theories are justified by abductive (...) argument (e.g. Gillian Russell, Graham Priest, Timothy Williamson). This paper explores one crucial question about the abductive strategy: what counts as evidence for a logical theory? I develop three accounts of evidential confirmation that an anti-exceptionalist can accept: (1) intuitions about validity, (2) the Quine-Williamson account, and (3) indispensability arguments. I argue, against the received view, that none of the evidential sources support classical logic. (shrink)

Logic isn’t special. Its theories are continuous with science; its method continuous with scientific method. Logic isn’t a priori, nor are its truths analytic truths. Logical theories are revisable, and if they are revised, they are revised on the same grounds as scientific theories. These are the tenets of anti-exceptionalism about logic. The position is most famously defended by Quine, but has more recent advocates in Maddy, Priest, Russell, and Williamson. Although these authors agree on many methodological issues about logic, (...) they disagree about which logic anti-exceptionalism supports. Williamson uses an anti-exceptionalist argument to defend classical logic, while Priest claims that his anti-exceptionalism supports nonclassical logic. This paper argues that the disagreement is due to a difference in how the parties understand logical theories. Once we reject Williamson’s deflationary account of logical theories, the argument for classical logic is undercut. Instead an alternative account of logical theories is offered, on which logical pluralism is a plausible supplement to anti-exceptionalism. (shrink)

We argue that indeterminate probabilities are not only rationally permissible for a Bayesian agent, but they may even be rationally required . Our first argument begins by assuming a version of interpretivism: your mental state is the set of probability and utility functions that rationalize your behavioral dispositions as well as possible. This set may consist of multiple probability functions. Then according to interpretivism, this makes it the case that your credal state is indeterminate. Our second argument begins with our (...) describing a world that plausibly has indeterminate chances. Rationality requires a certain alignment of your credences with corresponding hypotheses about the chances. Thus, if you hypothesize the chances to be indeterminate, your will inherit their indeterminacy in your corresponding credences. Our third argument is motivated by a dilemma. Epistemic rationality requires you to stay open-minded about contingent matters about which your evidence has not definitively legislated. Practical rationality requires you to be able to act decisively at least sometimes. These requirements can conflict with each other-for thanks to your open-mindedness, some of your options may have undefined expected utility, and if you are choosing among them, decision theory has no advice to give you. Such an option is playing Nover and Hájek’s Pasadena Game , and indeed any option for which there is a positive probability of playing the Pasadena Game. You can serve both masters, epistemic rationality and practical rationality, with an indeterminate credence to the prospect of playing the Pasadena game. You serve epistemic rationality by making your upper probability positive-it ensures that you are open-minded. You serve practical rationality by making your lower probability 0-it provides guidance to your decision-making. No sharp credence could do both. (shrink)

I defend a solution to the puzzle of petitionary prayer based on some ideas of Aquinas, Gregory the Great, and contemporary desert theorists. I then address a series of objections. Along the way broader issues about the nature of desert, what is required for an action to have a point, and what is required for a puzzle to have a solution are discussed.

Michael Dummett offered a semantic characterisation of a variety of realism-antirealism debates. This approach has fallen out of fashion. This has been to the detriment of metaphysics. This paper offers an accurate characterisation of Dummett’s view, often lacking in the literature, and then defends it against a range of attacks (from Devitt, Miller and Williamson). This understanding of realism debates is resilient, and if we take it seriously the philosophical terrain looks importantly different. In particular, the philosophy of language has (...) a foundational role with respect to metaphysics. (shrink)

Journal of Political Philosophy, EarlyView.

Many consequentialists argue that you ought to do your part in collective action problems like climate change mitigation and ending factory farming because (i) all such problems are triggering cases, in which there is a threshold number of people such that the outcome will be worse if at least that many people act in a given way than if fewer do, and (ii) doing your part in a triggering case maximises expected value. I show that both (i) and (ii) are (...) false: Some triggering cases cannot be solved by appeal to expected value, since they involve infinities, and some collective action problems are not triggering cases, since they involve parity. However, I argue that consequentialism can still generally prohibit failure to do your part in those collective action problems where we believe that so acting would be impermissible. (shrink)

Vague existence can seem like the worst kind of vagueness in the world, or seem to be an entirely unintelligible notion. This bad reputation is based upon the rumour that if there is vague existence then there are non-existent objects. But the rumour is false: the modest brand of vague existence entailed by certain metaphysical theories of composition does not deserve its bad reputation.

In his seminal paper 'Assertion', Robert Stalnaker distinguishes between the semantic content of a sentence on an occasion of use and the content asserted by an utterance of that sentence on that occasion. While in general the assertoric content of an utterance is simply its semantic content, the mechanisms of conversation sometimes force the two apart. Of special interest in this connection is one of the principles governing assertoric content in the framework, one according to which the asserted content ought (...) to be identical at each world in the context set. In this paper, we present a problem for Stalnaker's meta-semantic framework, by challenging the plausibility of the Uniformity principle. We argue that the interaction of the framework with facts about epistemic accessibility - in particular, failures of epistemic transparency - cause problems for the Uniformity principle and thus for Stalnaker's framework more generally. (shrink)

This paper defends the epistemological doctrine of fallibilism from recent objections. In “The Myth of Knowledge” Laurence BonJour argues that we should reject fallibilism for two main reasons: first, there is no adequate way to specify what level of justification is required for fallible knowledge; second, we cannot explain why any level of justification that is less than fully conclusive should have the significance that makes knowledge valuable. I will reply to these challenges in a way that allows me to (...) make progress on a number of important issues in contemporary epistemology: epistemic value, the functional roles of knowledge attributions, experimental epistemology, skepticism, the Gettier problem, and the lottery paradox. My argument is motivated by appealing to various insights derived from the method of ‘practical explication’, particularly the idea that a central purpose of the concept of knowledge is to flag reliable informants. My conclusion is that various practical and theoretical considerations derived from the method of practical explication support the fallibilist conception of knowledge. (shrink)

What is the connection between having a phenomenal property and knowing that one has that property? A traditional view on the matter takes the connection to be quite intimate. Whenever one has a phenomenal property, one knows that one does. Recently most authors have denied this traditional view. The goal of this paper is to defend the traditional view. In fact, I will defend something much stronger: I will argue that what it is for a property to be phenomenal is (...) for it to be a property one must know oneself to have when on has it. As we will see, this theory has a number of surprising and welcome upshots, suggesting that the traditional view has been unjustly maligned. (shrink)

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

There are many examples in the literature that suggest that indistinguishability is intransitive, despite the fact that the indistinguishability relation is typically taken to be an equivalence relation (and thus transitive). It is shown that if the uncertainty perception and the question of when an agent reports that two things are indistinguishable are both carefully modeled, the problems disappear, and indistinguishability can indeed be taken to be an equivalence relation. Moreover, this model also suggests a logic of vagueness that seems (...) to solve many of the problems related to vagueness discussed in the philosophical literature. In particular, it is shown here how the logic can handle the sorites paradox. (shrink)

This paper explores the idea that vague predicates like “tall”, “loud” or “expensive” are applied based on a process of analog magnitude representation, whereby magnitudes are represented with noise. I present a probabilistic account of vague judgment, inspired by early remarks from E. Borel on vagueness, and use it to model judgments about borderline cases. The model involves two main components: probabilistic magnitude representation on the one hand, and a notion of subjective criterion. The framework is used to represent judgments (...) of the form “x is clearly tall” versus “x is tall”, as involving a shift of one’s criterion, and then to derive observed patterns of acceptance for borderline contradictions, namely sentences of the form “x is tall and not tall”, relative to the acceptance of their conjuncts. (shrink)

In this paper we compare different models of vagueness viewed as a specific form of subjective uncertainty in situations of imperfect discrimination. Our focus is on the logic of the operator “clearly” and on the problem of higher-order vagueness. We first examine the consequences of the notion of intransitivity of indiscriminability for higher-order vagueness, and compare several accounts of vagueness as inexact or imprecise knowledge, namely Williamson’s margin for error semantics, Halpern’s two-dimensional semantics, and the system we call Centered semantics. (...) We then propose a semantics of degrees of clarity, inspired from the signal detection theory model, and outline a view of higher-order vagueness in which the notions of subjective clarity and unclarity are handled asymmetrically at higher orders, namely such that the clarity of clarity is compatible with the unclarity of unclarity. (shrink)

The tolerance principle, the idea that vague predicates are insensitive to sufficiently small changes, remains the main bone of contention between theories of vagueness. In this paper I examine three sources behind our ordinary belief in the tolerance principle, to establish whether any of them might give us a good reason to revise classical logic. First, I compare our understanding of tolerance in the case of precise predicates and in the case of vague predicates. While tolerance in the case of (...) precise predicates results from approximation, tolerance in the case of vague predicates appears to originate from two more specific sources: semantic indeterminacy on the one hand, and epistemic indiscriminability on the other. Both give us good and coherent grounds to revise classical logic. Epistemic indiscriminability, it is argued, may be more fundamental than semantic indeterminacy to justify the intuition that vague predicates are tolerant. (shrink)

Michael Tye responds to the problem of higher-order vagueness for his trivalent semantics by maintaining that truth-value predicates are “vaguely vague”: it’s indeterminate, on his view, whether they have borderline cases and therefore indeterminate whether every sentence is true, false, or indefinite. Rosanna Keefe objects (1) that Tye’s argument for this claim tacitly assumes that every sentence is true, false, or indefinite, and (2) that the conclusion is any case not viable. I argue – contra (1) – that Tye’s argument (...) needn’t make that assumption. A version of her objection is in fact better directed against other arguments Tye advances, though Tye can absorb this criticism without abandoning his position’s core. On the other hand, Keefe’s second objection does hit the mark: embracing ‘vaguely vague’ truth-value predicates undermines Tye’s ability to support validity claims needed to defend his position. To see this, however, we must develop Keefe’s remarks further than she does. (shrink)

Harsanyi claimed that his Aggregation and Impartial Observer Theorems provide a justification for utilitarianism. This claim has been strongly resisted, notably by Sen and Weymark, who argue that while Harsanyi has perhaps shown that overall good is a linear sum of individuals’ von Neumann-Morgenstern utilities, he has done nothing to establish any con- nection between the notion of von Neumann-Morgenstern utility and that of well-being, and hence that utilitarianism does not follow. The present article defends Harsanyi against the Sen-Weymark cri- (...) tique. I argue that, far from being a term with precise and independent quantitative content whose relationship to von Neumann-Morgenstern utility is then a substantive question, terms such as ‘well-being’ suffer (or suffered) from indeterminacy regarding precisely which quantity they refer to. If so, then (on the issue that this article focuses on) Harsanyi has gone as far towards defending ‘utilitarianism in the original sense’ as could coherently be asked. (shrink)

In 1907 Borel published a remarkable essay on the paradox of the Heap (“Un paradoxe économique: le sophisme du tas de blé et les vérités statistiques”), in which Borel proposes what is likely the first statistical account of vagueness ever written, and where he discusses the practical implications of the sorites paradox, including in economics. Borel’s paper was integrated in his book Le Hasard, published 1914, but has gone mostly unnoticed since its publication. One of the originalities of Borel’s essay (...) is that it puts forward a model of vagueness as imprecision, making particular use of the Gaussian law of measurement errors to model categorization. The aim of our paper is to give a presentation of the historical context of Borel’s essay, to spell out the mathematical details of his model, and to provide a critical assessment of his theory. Three aspects of Borel’s account are particularly discussed: the first concerns the comparison between Borel’s statistical account and posterior degree-theoretic accounts of vagueness. The second concerns the anti-epistemicist flavor of Borel’s approach, whereby the idea of statistical fluctuation is used to undermine the notion of sharp boundary for vague predicates. The third concerns the problematic link between Borel’s model of vagueness as imprecision and the notion of semantic indeterminacy. An English translation of Borel’s original essay is appended to this paper (Erkenntnis, this issue). (shrink)

There is a feeling of dissatisfaction with the traditional way of defining the A-theories of time. One reason is that these definitions rest on an ontological question—‘Do the future and the past exist?’—to which no non-speculative answer can be provided. Another reason is that these definitions fail to distinguish between various A-theories of time at all times and, therefore, cannot be regarded as essential to them. In the present paper, I make a fresh start in the debate, by introducing two (...) questions whose specific answers allow one to get a comprehensive categorization of the A-theories of time. This alternative way of defining the A-theories of time addresses the two above-mentioned issues and reveals the metaphysical singularity of underrated theories, such as the growing block theory. (shrink)

A basic intuition we have regarding the nature of time is that the future is open whereas the past is fixed. For example, whereas we think that there are things we can do to affect how the future will unfold, we think that there are not things we can do to affect how the past unfolded. However, although this intuition is largely shared, it is not a straightforward matter to determine the nature of the asymmetry it reflects. So, in this (...) paper, I survey various philosophical ways of characterizing the asymmetry between the ‘open future’ and the ‘fixed past’ in order to account for our intuition. In particular, I wonder whether the asymmetry is to be characterized in semantic, epistemic, metaphysical or ontological terms. I conclude that, although many of these characterizations may contribute to a global understanding of the phenomenon, an ontological characterization of the asymmetry is to be preferred, since it is superior to the alternatives in explanatory power, intelligibility, and in how it coheres with interesting senses of openness. (shrink)

Let us say that the proposition that p is transparent just in case it is known that p, and it is known that it is known that p, and it is known that it is known that it is known that p, and so on, for any number of iterations of the knowledge operator ‘it is known that’. If there are transparent propositions at all, then the claim that any man with zero hairs is bald seems like a good candidate. (...) We know that any man with zero hairs is bald. And it also does not seem completely implausible that we know that we know it, and that we know that we know that we know it, and so on. (shrink)

I argue there are some objects which do not respect the Law of the Excluded Middle, i.e., which are such that, for some property F, the disjunction Fo v ~Fo fails to be true. I call such objects “odd objects” and present three examples—fictional objects, nonsort objects, and quantum objects. I argue that each of these objects is best understood as violating LEM. I, then, discuss Jessica Wilson’s account of metaphysical indeterminacy. I show how the indeterminacy which arises with odd (...) objects can be accounted for on Wilson’s account. I, then, argue that my Wilson-inspired, but non-LEM-respecting, account of metaphysical indeterminacy is superior to Wilson’s in terms of costs and benefits. (shrink)

The principle of bivalence is the assertion that every statement is either true or else false. Its legal analog, however, must be formulated relative to particular legal systems and in terms of validity rather than truth. It asserts that every statement of law that can be formulated in the vocabulary of a given legal system is valid or else invalid in that system. A line of New York cases is traced, beginning with Thomas v. Winchester . This case, which involved (...) a poison mislabeled as a medicine, established an exception to the rule that a manufacturer or supplier is never liable for negligence to a remote purchaser. The court made an exception because a poison is an “imminently dangerous” thing. How far may this exception be applied to other fact‐situations? Some subsequent cases are examined, and it is considered whether there is no correct answer in these instances and, more dramatically, whether more than one correct answer is tenable. In either event the legal analog of bivalence would seem to fail. (shrink)

Timothy Williamson’s potentially most important contribution to epistemicism about vagueness lies in his arguments for the basic epistemicist claim that the alleged cut-off points of vague predicates are not knowable. His arguments for this are based on so-called ‘margin for error principles’. This paper argues that these principles fail to provide a good argument for the basic claim. Williamson has offered at least two kinds of margin for error principles applicable to vague predicates. A certain fallacy of equivocation seems to (...) underlie his justification for both kinds of principles. Besides, the margin for error principles of the first kind can be used in the derivation of unacceptable consequences, while the margin for error principles of the second kind can be shown to be compatible with the falsity of epistemicism, under a number of assumptions acceptable to the epistemicist. (shrink)

Following Hartry Field in distinguishing disquotational truth from a conception that grounds truth conditions in a community's usage, it is argued that the notions are materially inequivalent (since the latter allows truth-value gaps) and that both are needed. In addition to allowing blanket endorsements ("Everything the Pope says is true"), disquotational truth facilitates mathematical discovery, as when we establish the Gödel sentence by noting that the theorems are all disquotationally true and the disquotational truths are consistent. We require a more (...) substantial notion, however, if we intend to use truth values and truth conditions in explaining communication by language. (shrink)

In this paper I discuss Künne’s Modest Theory of truth, and develop a variation on a worry that Field expresses with respect to Horwich’s related view. The worry is not that deflationary accounts are false, but rather that, because they take propositions as truth-bearers, they are not philosophically interesting. Compatibly with the intuitions of ordinary speakers, we can understand proposition so that the proposals do account for a property that such truth-bearers have. Nevertheless, we saliently apply the truth-concept also to (...) entities such as utterances or assertions , and the de flationary accounts do not provide a similarly deflationary account for those applications. In fact, there are good reasons to suspect that no such account would be forthcoming; we need something more substantive or in flationary there. (shrink)

Epistemological accounts that make use of a safety condition on knowledge, historically, face serious problems regarding beliefs that are necessarily true. This is because necessary truths are true in all possible worlds, so such beliefs can be safe even when the bases for the beliefs are epistemically problematic. The existence of such problematically safe beliefs would undermine a major motivation for the condition itself: the ability to evaluate how well a belief tracks the truth. In this paper, we’ll argue that (...) incorporating impossible worlds into the evaluation of beliefs solves this problem, but only if the relevant account of impossible worlds entails that many impossible worlds are incredibly similar to the actual world. Further, we’ll argue that, as a result of including impossible worlds, some philosophical beliefs are unsafe, and many more are potentially unsafe. But, we argue, even if this is the case, we can still make philosophical progress. (shrink)

On standard versions of supervaluationism, truth is equated with supertruth, and does not satisfy bivalence: some truth-bearers are neither true nor false. In this paper I want to confront a well-known worry about this, recently put by Wright as follows: ‘The downside . . . rightly emphasized by Williamson . . . is the implicit surrender of the T-scheme’. I will argue that such a cost is not high: independently motivated philosophical distinctions support the surrender of the T- scheme, and (...) suggest acceptable approximations. (shrink)

I present an account of deterministic chance which builds upon the physico-mathematical approach to theorizing about deterministic chance known as 'the method of arbitrary functions'. This approach promisingly yields deterministic probabilities which align with what we take the chances to be---it tells us that there is approximately a 1/2 probability of a spun roulette wheel stopping on black, and approximately a 1/2 probability of a flipped coin landing heads up---but it requires some probabilistic materials to work with. I contend that (...) the right probabilistic materials are found in reasonable initial credence distributions. I note that, with some normative assumptions, the resulting account entails that deterministic chances obey a variant of Lewis's 'principal principle'. I additionally argue that deterministic chances, so understood, are capable of explaining long-run frequencies. (shrink)

The goal of this paper is a comprehensive analysis of basic reasoning patterns that are characteristic of vague predicates. The analysis leads to rigorous reconstructions of the phenomena within formal systems. Two basic features are dealt with. One is tolerance: the insensitivity of predicates to small changes in the objects of predication (a one-increment of a walking distance is a walking distance). The other is the existence of borderline cases. The paper shows why these should be treated as different, though (...) related phenomena. Tolerance is formally reconstructed within a proposed framework of contextual logic, leading to a solution of the Sorites paradox. Borderline-vagueness is reconstructed using certain modality operators; the set-up provides an analysis of higher order vagueness and a derivation of scales of degrees for the property in question. (shrink)

Koopman’s book revolves around the notion of transition, which he proposes is one of the central ideas of the pragmatist tradition but one which had not previously been fully articulated yet nevertheless shapes the pragmatist attitude in philosophy. Transition, according to Koopman, denotes “those temporal structures and historical shapes in virtue of which we get from here to there”. One of the consequences of transitionalism is the understanding of critique and inquiry as historical pro...

This paper outlines a quantitative theory of strongly semantic information (TSSI) based on truth-values rather than probability distributions. The main hypothesis supported in the paper is that the classic quantitative theory of weakly semantic information (TWSI), based on probability distributions, assumes that truth-values supervene on factual semantic information, yet this principle is too weak and generates a well-known semantic paradox, whereas TSSI, according to which factual semantic information encapsulates truth, can avoid the paradox and is more in line with the (...) standard conception of what generally counts as semantic information. After a brief introduction, section two outlines the semantic paradox implied by TWSI, analysing it in terms of an initial conflict between two requisites of a quantitative theory of semantic information. In section three, three criteria of semantic information equivalence are used to provide a taxonomy of quantitative approaches to semantic information and introduce TSSI. In section four, some further desiderata that should be fulfilled by a quantitative TSSI are explained. From section five to section seven, TSSI is developed on the basis of a calculus of truth-values and semantic discrepancy with respect to a given situation. In section eight, it is shown how TSSI succeeds in solving the paradox. Section nine summarises the main results of the paper and indicates some future developments. (shrink)

We implement a recent characterization of metaphysical indeterminacy in the context of orthodox quantum theory, developing the syntax and semantics of two propositional logics equipped with determinacy and indeterminacy operators. These logics, which extend a novel semantics for standard quantum logic that accounts for Hilbert spaces with superselection sectors, preserve different desirable features of quantum logic and logics of indeterminacy. In addition to comparing the relative advantages of the two, we also explain how each logic answers Williamson’s challenge to any (...) substantive account of determinacy: For any proposition p, what could the difference between “p” and “it’s determinate that p” ever amount to? (shrink)

:The Small Improvement Argument is the leading argument for value incomparability. All vagueness-based accounts of the SIA have hitherto assumed the truth of supervaluationism, but supervaluationism has some well-known problems. This paper explores the implications of epistemicism, a leading rival theory. We argue that if epistemicism is true, then options are comparable in small improvement cases. Moreover, even if SIAs do not exploit vagueness, if epistemicism is true, then options cannot be on a par. The epistemicist account of the SIA (...) has an advantage over leading existing rival accounts of the SIA because it accounts for higher-order hard cases. (shrink)

I present a new approach to the logic and semantics of vagueness.

I wish to present a proof that vagueness is impossible. Of course, vagueness is possible; and so there must be something wrong with the proof. But it is far from clear where the error lies and, indeed, all of the assumptions upon which the proof depends are ones that have commonly been accepted. This suggests that we may have to radically alter our current conception of vagueness if we are to make proper sense of what it is.

We provide a framework for understanding agnosticism. The framework accounts for the varieties of agnosticism while vindicating the unity of the phenomenon. This combination of unity and plurality is achieved by taking the varieties of agnosticism to be represented by several agnostic stances, all of which share a common core provided by what we call the minimal agnostic attitude. We illustrate the fruitfulness of the framework by showing how it can be applied to several philosophical debates. In particular, several philosophical (...) positions can be aptly conceived of as instances of agnosticism whilst retaining their differences and distinguishing features. (shrink)

On the basis of a critique of the notion of collective intentionality employed by John Searle to explain social reality, the article argues Searle’s constitutive rule that, for social objects “X counts as Y in C” raises more problems than it solves. Searle was perfectly right to say that Derrida’s formula “there is nothing outside the text” is false. But we can vindicate (and emend) Derrida by saying “ there is nothing social outside the text”: social objects are identified with (...) the inscrbed acts that give rise to them. (shrink)