Clark Glymour, together with his students Peter Spirtes and Richard Scheines, did pioneering work on graphical causal models . One of the central advances provided by these models is the ability to simply represent the effects of interventions. In an elegant paper , Glymour and his student Christopher Meek applied these methods to problems in decision theory. One of the morals they drew was that causal decision theory should be understood in terms of interventions. I revisit their proposal, and extend (...) the analysis by showing how graphical causal models might be used to address decision problems that arise in “exotic” situations, such as those involving crystal balls or time travelers. (shrink)

Self-reference in semantics, which leads to well-known paradoxes, is a thoroughly researched subject. The phenomenon can appear also in decision theoretic situations. There is a structural analogy between the two and, more interestingly, an analogy between principles concerning truth and those concerning rationality. The former can serve as a guide for clarifying the latter. Both the analogies and the disanalogies are illuminating.

The technique of minimizing information (infomin) has been commonly employed as a general method for both choosing and updating a subjective probability function. We argue that, in a wide class of cases, the use of infomin methods fails to cohere with our standard conception of rational degrees of belief. We introduce the notion of a deceptive updating method and argue that non-deceptiveness is a necessary condition for rational coherence. Infomin has been criticized on the grounds that there are no higher (...) order probabilities that ‘support’ it, but the appeal to higher order probabilities is a substantial assumption that some might reject. Our elementary arguments from deceptiveness do not rely on this assumption. While deceptiveness implies lack of higher order support, the converse does not, in general, hold, which indicates that deceptiveness is a more objectionable property. We offer a new proof of the claim that infomin updating of any strictly-positive prior with respect to conditional-probability constraints is deceptive. In the case of expected-value constraints, infomin updating of the uniform prior is deceptive for some random variables but not for others. We establish both a necessary condition and a sufficient condition (which extends the scope of the phenomenon beyond cases previously considered) for deceptiveness in this setting. Along the way, we clarify the relation which obtains between the strong notion of higher order support, in which the higher order probability is defined over the full space of first order probabilities, and the apparently weaker notion, in which it is defined over some smaller parameter space. We show that under certain natural assumptions, the two are equivalent. Finally, we offer an interpretation of Jaynes, according to which his own appeal to infomin methods avoids the incoherencies discussed in this paper. (shrink)

Abstract I analyse the relationship between the Ramsey Test (RT) for the acceptance of indicative conditionals and the so-called problem of decision-instability. In particular, I argue that the situations which allegedly bring about this problem are troublesome just in case the relevant conditionals are evaluated by non-suppositional versions, e.g. causal/evidential, of the test. In contrast, a suppositional RT, by highlighting the metacognitive nature of the evaluation of indicative conditionals, allows an agent to run a simulation of such evaluation, without yet (...) committing her to the acceptance of such conditionals. I conclude that a suppositional interpretation of RT is superior to its nonsuppositional counterparts and by briefly showing that a suppositional RT is compatible with a deliberational decision theory. (shrink)

ABSTRACT In a recent article, Samir Okasha presented an argument that suggests that there is no rational way to choose among scientific theories. This would seriously undermine the view that science is a rational enterprise. In this article, I show how a suitably nuanced view of what scientific rationality requires allows us to sidestep this argument. In doing so, I present a new argument in favour of voluntarism of the type favoured by van Fraassen. I then show how such a (...) view of scientific rationality gives a precise interpretation of what Thomas Kuhn thought. _1_ Introduction _2_ Okasha’s Argument _3_ Rationality Can Be Silent _4_ Arrow Undermined _5_ The Informational-Basis Escape _6_ Theory Choice at the Level of the Individual Scientist _7_ Kuhn Vindicated _8_ Trade-offs and Partial Commensurability _9_ Conclusion. (shrink)

This paper is concerned with the interaction between formal semantics and the foundations of mathematics. We introduce a formal theory of truth, TLR, which extends the classical first order theory of pure combinators with a primitive truth predicate and a family of truth approximations, indexed by a directed partial ordering. TLR naturally works as a theory of partial classifications, in which type-free comprehension coexists with functional abstraction. TLR provides an inner model for a well known subsystem of second order arithmetic; (...) indeed, TLR is proof-theoretically equivalent to Predicative Analysis. (shrink)

Logic: the Basics is an accessible introduction to the core philosophy topic of standard logic. Focussing on traditional Classical Logic the book deals with topics such as mathematical preliminaries, propositional logic, monadic quantified logic, polyadic quantified logic, and English and standard ‘symbolic transitions’. With exercises and sample answers throughout this thoroughly revised new edition not only comprehensively covers the core topics at introductory level but also gives the reader an idea of how they can take their knowledge further and the (...) philosophical questions around logic. -/- Logic: the Basics is essential reading for first-year undergraduate philosophy students on standard introductory logic courses. (shrink)

In a recent paper, Samir Okasha presented an argument that suggests that there is no rational way to choose among scientific theories. This would seriously undermine the view that science is a rational entreprise. In this paper I show how a suitably nuanced view of what scientific rationality requires allows us to avoid Okasha’s conclusion. I go on to argue that making further assumptions about the space of possible scientific theories allows us to make scientific rationality more contentful. I then (...) show how such a view of scientific rationality fits with what Thomas Kuhn thought. (shrink)