Supervaluationism is often described as the most popular semantic treatment of indeterminacy. There’s little consensus, however, about how to fill out the bare-bones idea to include a characterization of logical consequence. The paper explores one methodology for choosing between the logics: pick a logic thatnorms beliefas classical consequence is standardly thought to do. The main focus of the paper considers a variant of standard supervaluational, on which we can characterizedegrees of determinacy. It applies the methodology above to focus ondegree logic. (...) This is developed first in a basic, single-premise case; and then extended to the multipremise case, and to allowdegreesof consequence. The metatheoretic properties of degree logic are set out. On the positive side, the logic is supraclassical—all classical valid sequents are degree logic valid. Strikingly, metarules such as cut and conjunction introduction fail. (shrink)

Crispin Wright offers an original perspective on the place of “realism” in philosophical inquiry. He proposes a radically new framework for discussing the claims of the realists and the anti-realists. This framework rejects the classical “deflationary” conception of truth yet allows both disputants to respect the intuition that judgments, whose status they contest, are at least semantically fitted for truth and may often justifiably be regarded as true. In the course of his argument, Wright offers original critical discussions of many (...) central concerns of philosophers interested in realism, including the “deflationary” conception of truth, internal realist truth, scientific realism and the theoreticity of observation, and the role of moral states of affairs in explanations of moral beliefs. (shrink)

This paper addresses three problems: the problem of formulating a coherent relativism, the Sorites paradox and a seldom noticed difficulty in the best intuitionistic case for the revision of classical logic. A response to the latter is proposed which, generalised, contributes towards the solution of the other two. The key to this response is a generalised conception of indeterminacy as a specific kind of intellectual bafflement-Quandary. Intuitionistic revisions of classical logic are merited wherever a subject matter is conceived both as (...) liable to generate Quandary and as subject to a broad form of evidential constraint. So motivated, the distinctions enshrined in intuitionistic logic provide both for a satisfying resolution of the Sorites paradox and a coherent outlet for relativistic views about, e.g., matters of taste and morals. An important corollary of the discussion is that an epistemic conception of vagueness can be prised apart from the strong metaphysical realism with which its principal supporters have associated it, and acknowledged to harbour an independent insight. (shrink)

Jeff Paris proves a generalized Dutch Book theorem. If a belief state is not a generalized probability then one faces ‘sure loss’ books of bets. In Williams I showed that Joyce’s accuracy-domination theorem applies to the same set of generalized probabilities. What is the relationship between these two results? This note shows that both results are easy corollaries of the core result that Paris appeals to in proving his dutch book theorem. We see that every point of accuracy-domination defines a (...) dutch book, but we only have a partial converse. (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)

Consider an object or property a and the predicate F. Then a is vague if there are questions of the form: Is a F? that have no yes-or-no answers. In brief, vague properties and kinds have borderline instances and composite objects have borderline constituents. I'll use the expression "borderline cases" as a covering term for both. ;Having borderline cases is compatible with precision so long as every case is either borderline F, determinately F or determinately not F. Thus, in addition (...) to borderline cases, vagueness requires "fuzzy borders". A has fuzzy borders if there is no sharp line between a's borderline cases, a's determinate cases and a's determinate non-cases. To illustrate, loudness is vague because in a continuum of gradually increasing volume, there is no fact about where the last definite loud noise is and where the first borderline noise is. ;Actual borderline cases are not required for vagueness. Suppose actual noises are either ear-shatteringly loud or silent. Even so, loudness is vague since it could have borderline instances. Just so for objects. Suppose a table is cleanly bounded such that there is a sharp break between the table and its surroundings. Still, that table is vague since there are worlds at which it is indeterminate whether some wood molecule a is, or is not, part of that table. ;There are three views about which things can be vague. On the linguistic view, vagueness is solely a feature of expressions. On the nihilistic view, nothing is vague because vagueness is incoherent. Pitted against these views is the ontological conception of vagueness according to which borderline instances and constituents arise due to genuine indeterminacy in nature. ;My dissertation defends the ontological conception. I argue against the adequacy of the theory's rivals, disarm a damaging objection and demonstrate the causal superiority of vague events. Anyone familiar with the literature on vagueness will notice that only a subset of issues are discussed. What I offer is preliminary--I hope only to make the theory of ontological vagueness attractive enough to merit future work. (shrink)

In ‘A Non-Pragmatic Vindication of Probabilism’, Jim Joyce attempts to ‘depragmatize’ de Finetti’s prevision argument for the claim that our partial beliefs ought to satisfy the axioms of probability calculus. In this paper, I adapt Joyce’s argument to give a non-pragmatic vindication of various versions of David Lewis’ Principal Principle, such as the version based on Isaac Levi's account of admissibility, Michael Thau and Ned Hall's New Principle, and Jenann Ismael's Generalized Principal Principle. Joyce enumerates properties that must be had (...) by any measure of the distance from a set of partial beliefs to the set of truth values; he shows that, on any such measure, and for any set of partial beliefs that violates the probability axioms, there is a set that satisfies those axioms that is closer to every possible set of truth values. I replace truth values by objective chances in his argument; I show that for any set of partial beliefs that violates the probability axioms or a version of the Principal Principle, there is a set that satisfies them that is closer to every possible set of objective chances. (shrink)

James Joyce's 'Nonpragmatic Vindication of Probabilism' gives a new argument for the conclusion that a person's credences ought to satisfy the laws of probability. The premises of Joyce's argument include six axioms about what counts as an adequate measure of the distance of a credence function from the truth. This paper shows that (a) Joyce's argument for one of these axioms is invalid, (b) his argument for another axiom has a false premise, (c) neither axiom is plausible, and (d) without (...) these implausible axioms Joyce's vindication of probabilism fails. (shrink)

One of the fundamental problems of epistemology is to say when the evidence in an agent’s possession justifies the beliefs she holds. In this paper and its prequel, we defend the Bayesian solution to this problem by appealing to the following fundamental norm: Accuracy An epistemic agent ought to minimize the inaccuracy of her partial beliefs. In the prequel, we made this norm mathematically precise; in this paper, we derive its consequences. We show that the two core tenets of Bayesianism (...) follow from the norm, while the characteristic claim of the Objectivist Bayesian follows from the norm along with an extra assumption. Finally, we consider Richard Jeffrey’s proposed generalization of conditionalization. We show not only that his rule cannot be derived from the norm, unless the requirement of Rigidity is imposed from the start, but further that the norm reveals it to be illegitimate. We end by deriving an alternative updating rule for those cases in which Jeffrey’s is usually supposed to apply. (shrink)

One of the fundamental problems of epistemology is to say when the evidence in an agent’s possession justifies the beliefs she holds. In this paper and its sequel, we defend the Bayesian solution to this problem by appealing to the following fundamental norm: Accuracy An epistemic agent ought to minimize the inaccuracy of her partial beliefs. In this paper, we make this norm mathematically precise in various ways. We describe three epistemic dilemmas that an agent might face if she attempts (...) to follow Accuracy, and we show that the only inaccuracy measures that do not give rise to such dilemmas are the quadratic inaccuracy measures. In the sequel, we derive the main tenets of Bayesianism from the relevant mathematical versions of Accuracy to which this characterization of the legitimate inaccuracy measures gives rise, but we also show that Jeffrey conditionalization has to be replaced by a different method of update in order for Accuracy to be satisfied. (shrink)

Recently, much attention has been paid to ‘rational requirements’ and, especially, to what I call ‘rational requirements of formal coherence as such’. These requirements are satisfied just when our attitudes are formally coherent: for example, when our beliefs do not contradict each other. Nevertheless, these requirements are puzzling. In particular, it is unclear why we should satisfy them. In light of this, I explore the conjecture that there are no requirements of formal coherence. I do so by trying to construct (...) a theory of error for the idea that there are such requirements. (shrink)

The pragmatic character of the Dutch book argument makes it unsuitable as an "epistemic" justification for the fundamental probabilist dogma that rational partial beliefs must conform to the axioms of probability. To secure an appropriately epistemic justification for this conclusion, one must explain what it means for a system of partial beliefs to accurately represent the state of the world, and then show that partial beliefs that violate the laws of probability are invariably less accurate than they could be otherwise. (...) The first task can be accomplished once we realize that the accuracy of systems of partial beliefs can be measured on a gradational scale that satisfies a small set of formal constraints, each of which has a sound epistemic motivation. When accuracy is measured in this way it can be shown that any system of degrees of belief that violates the axioms of probability can be replaced by an alternative system that obeys the axioms and yet is more accurate in every possible world. Since epistemically rational agents must strive to hold accurate beliefs, this establishes conformity with the axioms of probability as a norm of epistemic rationality whatever its prudential merits or defects might be. (shrink)

Four important arguments for probabilism—the Dutch Book, representation theorem, calibration, and gradational accuracy arguments—have a strikingly similar structure. Each begins with a mathematical theorem, a conditional with an existentially quantified consequent, of the general form: if your credences are not probabilities, then there is a way in which your rationality is impugned.Each argument concludes that rationality requires your credences to be probabilities.I contend that each argument is invalid as formulated. In each case there is a mirror-image theorem and a corresponding (...) argument of exactly equal strength that concludes that rationality requires your credences not to be probabilities. Some further consideration is needed to break this symmetry in favour of probabilism. I discuss the extent to which the original arguments can be buttressed.1. Introduction2. The Dutch Book Argument2.1. Saving the Dutch Book argument2.2. ‘The Dutch Book argument merely dramatizes an inconsistency in the attitudes of an agent whose credences violate probability theory’3. Representation Theorem-based Arguments4. The Calibration Argument5. The Gradational Accuracy Argument6. Conclusion. (shrink)

This paper deals with the truth-Conditions and the logic for vague languages. The use of supervaluations and of classical logic is defended; and other approaches are criticized. The truth-Conditions are extended to a language that contains a definitely-Operator and that is subject to higher order vagueness.

We generalize the Kolmogorov axioms for probability calculus to obtain conditions defining, for any given logic, a class of probability functions relative to that logic, coinciding with the standard probability functions in the special case of classical logic but allowing consideration of other classes of "essentially Kolmogorovian" probability functions relative to other logics. We take a broad view of the Bayesian approach as dictating inter alia that from the perspective of a given logic, rational degrees of belief are those representable (...) by probability functions from the class appropriate to that logic. Classical Bayesianism, which fixes the logic as classical logic, is only one version of this general approach. Another, which we call Intuitionistic Bayesianism, selects intuitionistic logic as the preferred logic and the associated class of probability functions as the right class of candidate representions of epistemic states (rational allocations of degrees of belief). Various objections to classical Bayesianism are, we argue, best met by passing to intuitionistic Bayesianism—in which the probability functions are taken relative to intuitionistic logic—rather than by adopting a radically non-Kolmogorovian, for example, nonadditive, conception of (or substitute for) probability functions, in spite of the popularity of the latter response among those who have raised these objections. The interest of intuitionistic Bayesianism is further enhanced by the availability of a Dutch Book argument justifying the selection of intuitionistic probability functions as guides to rational betting behavior when due consideration is paid to the fact that bets are settled only when/if the outcome bet on becomes known. (shrink)

Book synopsis: Vagueness is currently the subject of vigorous debate in the philosophy of logic and language. Vague terms-such as "tall", "red", "bald", and "tadpole"—have borderline cases ; and they lack well-defined extensions. The phenomenon of vagueness poses a fundamental challenge to classical logic and semantics, which assumes that propositions are either true or false and that extensions are determinate. Another striking problem to which vagueness gives rise is the sorites paradox. If you remove one grain from a heap of (...) sand, surely you must be left with a heap. Yet apply this principle repeatedly as you remove grains one by one, and you end up, absurdly, with a solitary grain that counts as a heap. This anthology collects papers in the field. After an introduction that surveys the field, the essays form four groups, starting with some historically notable pieces. The 1970s saw an explosion of interest in vagueness, and the second group of essays reprints classic papers from this period. The following group of papers represent current work on the logic and semantics of vagueness. The essays in the final group are contributions to the continuing debate about vague objects and vague identity. (shrink)

Imagine a philosophy conference in Presocratic Greece. The hot question is: what are things made of? Followers of Thales say that everything is made of water, followers of Anaximenes that everything is made of air, and followers of Heraclitus that everything is made of fire. Nobody is quite clear what these claims mean, and some question whether the founders of the respective schools ever made them. But amongst the groupies there is a buzz about all the recent exciting progress. The (...) mockers and doubters make plenty of noise too. They point out that no resolution of the dispute between the schools is in sight. They diagnose Thales, Anaximenes and Heraclitus as suffering from a tendency to overgeneralize. We can intelligibly ask what bread is made of, or what houses are made of, but to ask what things in general are made of is senseless, some suggest, because the question is posed without any conception of how to verify an answer; language has gone on holiday. Paleo-pragmatists invite everyone to relax, forget their futile pseudo-inquiries and do something useful instead. (shrink)