The first section (§1) of this essay defends reliance on truth values against those who, on nominalistic grounds, would uniformly substitute a truth predicate. I rehearse some practical, Carnapian advantages of working with truth values in logic. In the second section (§2), after introducing the key idea of auxiliary parameters (§2.1), I look at several cases in which logics involve, as part of their semantics, an extra auxiliary parameter to which truth is relativized, a parameter that caters to special kinds (...) of sentences. In many cases, this facility is said to produce truth values for sentences that on the face of it seem neither true nor false. Often enough, in this situation appeal is made to the method of supervaluations, which operate by “quantifying out” auxiliary parameters, and thereby produce something like a truth value. Logics of this kind exhibit striking differences. I first consider the role that Tarski gives to supervaluation in first order logic (§2.2), and then, after an interlude that asks whether neither-true-nor-false is itself a truth value (§2.3), I consider sentences with non-denoting terms (§2.4), vague sentences (§2.5), ambiguous sentences (§2.6), paradoxical sentences (§2.7), and future-tensed sentences in indeterministic tense logic (§2.8). I conclude my survey with a look at alethic modal logic considered as a cousin (§2.9), and finish with a few sentences of “advice to supervaluationists” (2.10), advice that is largely negative. The case for supervaluations as a road to truth is strong only when the auxiliary parameter that is “quantified out” is in fact irrelevant to the sentences of interest—as in Tarski’s definition of truth for classical logic. In all other cases, the best policy when reporting the results of supervaluation is to use only explicit phrases such as “settled true” or “determinately true,” never dropping the qualification. (shrink)

Single-case and long-run propensity theories are among the main objective interpretations of probability. There have been various objections to these theories, e.g. that it is difficult to explain why propensities should satisfy the probability axioms and, worse, that propensities are at odds with these axioms, that the explication of propensities is circular and accordingly not informative, and that single-case propensities are metaphysical and accordingly non-scientific. We consider various propensity theories of probability and their prospects in light of these objections. We (...) argue that while propensity theories face challenges, these challenges do not undermine their validity as prospective interpretations of probability in science. (shrink)

“Branching space-times” (BST) is intended as a representation of objective, event-based indeterminism. As such, BST exhibits both a spatio-temporal aspect and an indeterministic “modal” aspect of alternative possible historical courses of events. An essential feature of BST is that it can also represent spatial or space-like relationships as part of its (more or less) relativistic theory of spatio-temporal relations; this ability is essential for the representation of local (in contrast with “global”) indeterminism. This essay indicates how BST might be seen (...) to grow out of Newton’s deterministic and non-relativistic theory by two independent moves: (1) Taking account of indeterminism, and (2) attending to spatio-temporal relationships in a spirit derived from Einstein’s theory of special relativity. Since (1) and (2) are independent, one can see that there is room for four theories: Newtonian determinism, branching time indeterminism, relativistic determinism, and (finally) branching space-times indeterminism. (shrink)

One of Julian Barbour’s main aims is to solve the problem of time that appears in quantum geometrodynamics (QG). QG involves the application of canonical quantization procedure to the Hamiltonian formulation of General Relativity. The problem of time arises because the quantization of the Hamiltonian constraint results in an equation that has no explicit time parameter. Thus, it appears that the resulting equation, as apparently timeless, cannot describe evolution of quantum states. Barbour attempts to resolve the problem by allegedly eliminating (...) time from his interpretation of QG. In order to evaluate the efficacy of his solution, it is necessary to ascertain in what sense time has been eliminated from his theory. I proceed to do so by developing a form of conceptual analysis that is applicable to the concept of time in physical theories and applying this analysis to Barbour’s account. (shrink)

In this paper we describe some first steps for bringing the framework of branching space-times to bear on quantum information theory. Our main application is quantum error correction. It is shown that branching space-times offers a new perspective on quantum error correction: as a supplement to the orthodox slogan, ``fight entanglement with entanglement'', we offer the new slogan, ``fight indeterminism with indeterminism''.

In this paper we describe some first steps for bringing the framework of branching space-times to bear on quantum information theory. Our main application is quantum error correction. It is shown that branching space-times offers a new perspective on quantum error correction: as a supplement to the orthodox slogan, ``fight entanglement with entanglement'', we offer the new slogan, ``fight indeterminism with indeterminism''.

Determinism is the thesis that the state of the world at any time uniquely determines the state of the world at all future times. Our best scientific theories seem inconclusive as to whether our world is deterministic. Our world could very well be either partially or completely deterministic. But determinism is not as innocuous as it seems; the truth of determinism seems to come into conflict with many intuitive concepts. One such concept is objective chance. Our intuitive notions of objective (...) chances are tied to the belief that events could have turned out differently than the way they actually occurred. Though many philosophers have declared that this conception of objective chance is incompatible with deterministic worlds, some have tried to provide accounts that render the two compatible. In this thesis I investigate what a theory of deterministic chance could be. Working within certain metaphysical constraints on chance, I craft out a new dispositional account of chance grounded in properties that objects have. (shrink)