Diversity Reading List

Publisher's Note: A danger of a heavily formalist approach to the structure of science is that it may lose sight of the concrete actualities on which scientific inference is exercised. On the other hand, and excessively descriptive and relativist approach fails to achieve a general systematization of models of inference. This book tries to steer a middle course between these extremes. Hesse first discusses some epistemological problems bequeathed by positivists analyses of science and also considers the problem of inductive justification of theories in relation to evidence. Following Keynes and Carnap she argues that the axioms of probability constitute the best postulate system for a logic of confirmation.

Introduction: Quantum mechanics is, at least at first glance and at least in part, a mathematical machine for predicting the behaviors of microscopic particles - or, at least, of the measuring instruments we use to explore those behaviors - and in that capacity, it is spectacularly successful: in terms of power and precision, head and shoulders above any theory we have ever had. Mathematically, the theory is well understood; we know what its parts are, how they are put together, and why, in the mechanical sense (i.e., in a sense that can be answered by describing the internal grinding of gear against gear), the whole thing performs the way it does, how the information that gets fed in at one end is converted into what comes out the other. The question of what kind of a world it describes, however, is controversial; there is very little agreement, among physicists and among philosophers, about what the world is like according to quantum mechanics. Minimally interpreted, the theory describes a set of facts about the way the microscopic world impinges on the macroscopic one, how it affects our measuring instruments, described in everyday language or the language of classical mechanics. Disagreement centers on the question of what a microscopic world, which affects our apparatuses in the prescribed manner, is, or even could be, like intrinsically; or how those apparatuses could themselves be built out of microscopic parts of the sort the theory describes.

Abstract: There's a long history of discussion of probability in philosophy, but objective chance separated itself off and came into its own as a topic with the advent of a physical theory—quantum mechanics—in which chances play a central, and apparently ineliminable, role. In 1980 David Lewis wrote a paper pointing out that a very broad class of accounts of the nature of chance apparently lead to a contradiction when combined with a principle that expresses the role of chance in guiding belief. There is still no settled agreement on the proper response to the Lewis problem. At the time he wrote the article, Lewis despaired of a solution, but, although he never achieved one that satisfied him completely, by 1994, due to work primarily by Thau and Hall, he had come to think the problem could be disarmed if we fudged a little on the meaning of 'chance'. I'll say more about this below. What I'm going to suggest, however, is that the qualification is unnecessary. The problem depends on an assumption that should be rejected, viz., that using information about chance to guide credence requires one to conditionalize on the theory of chance that one is using. I'm going to propose a general recipe for using information about chance to guide belief that does not require conditionalization on a theory of chance at any stage. Lewis' problem doesn't arise in this setting.

Abstract: In this article I discuss a recent argument due to Dan McArthur, who suggests that the charge that Michael Friedman's relativised a priori leads to irrationality in theory change can be avoided by adopting structural realism. I provide several arguments to show that the conjunction of Friedman?s relativised a priori with structural realism cannot make the former avoid the charge of irrationality. I also explore the extent to which Friedman's view and structural realism are compatible, a presupposition of McArthur's argument. This compatibility is usually questioned, due to the Kantian aspect of Friedman's view, which clashes with the metaphysical premise of scientific realism. I argue that structural realism does not necessarily depend on this premise and as a consequence can be compatible with Friedman's view, but more importantly I question whether Friedman's view really implies mind dependence

Abstract: Poincare is well known for his conventionalism and structuralism. However, the relationship between these two theses and their place in Poincare's epistemology of science remain puzzling. In this paper I show the scope of Poincare's conventionalism and its position in Poincare's hierarchical approach to scientific theories. I argue that for Poincare scientific knowledge is relational and made possible by synthetic a priori, empirical and conventional elements, which, however, are not chosen arbitrarily. By examining his geometric conventionalism, his hierarchical account of science and defence of continuity in theory change, I argue that Poincare defends a complex structuralist position based on synthetic a priori and conventional elements, the mind-dependence of which precludes epistemic access to mind-independent structures.

Abstract: In this paper I argue that Poincare's acceptance of the atom does not indicate a shift from instrumentalism to scientific realism. I examine the implications of Poincare's acceptance of the existence of the atom for our current understanding of his philosophy of science. Specifically, how can we understand Poincare's acceptance of the atom in structural realist terms? I examine his 1912 paper carefully and suggest that it does not entail scientific realism in the sense of acceptance of the fundamental existence of atoms but rather, argues against fundamental entities. I argue that Poincare's paper motivates a non-fundamentalist view about the world, and that this is compatible with his structuralism.

Abstract:

Analytic philosophy in the mid-twentieth century underwent a major change of direction when a prior consensus in favour of extensionalism and descriptivism made way for approaches using direct reference, the necessity of identity, and modal logic. All three were first defended, in the analytic tradition, by one woman, Ruth Barcan Marcus. But analytic philosophers now tend to credit them to Kripke, or Kripke and Carnap. I argue that seeing Barcan Marcus in her historical context – one dominated by extensionalism and descriptivism – allows us to see how revolutionary she was, in her work and influence on others. I focus on her debate with Quine, who found himself retreating to softened, and more viable, versions of his anti-modal arguments as a result. I make the case that Barcan's formal logic was philosophically well-motivated, connected to her views on reference, and well-matched to her overall views on ontology. Her nominalism led her to reject posits which could not be directly observed and named, such as possibilia. She conceived of modal calculi as facilitating counterfactual discourse about actual existents. I conclude that her contributions ought to be recognized as the first of their kind. Barcan Marcus must be awarded a central place in the canon of analytic philosophy.

Abstract: This paper takes the form of a critical discussion of Crispin Wright's notion of entitlement of cognitive project. I examine various strategies for defending the claim that entitlement can make acceptance of a proposition epistemically rational, including one which appeals to epistemic consequentialism. Ultimately, I argue, none of these strategies is successful, but the attempt to isolate points of disagreement with Wright issues in some positive proposals as to how an epistemic consequentialist should characterize epistemic rationality.

Abstract: The goal of the research programme I describe in this article is a realist epistemology for arithmetic which respects arithmetic's special epistemic status (the status usually described as a prioricity) yet accommodates naturalistic concerns by remaining funda- mentally empiricist. I argue that the central claims which would allow us to develop such an epistemology are (i) that arithmetical truths are known through an examination of our arithmetical concepts; (ii) that (at least our basic) arithmetical concepts are accurate mental representations of elements of the arithmetical structure of the inde- pendent world; (iii) that (ii) obtains in virtue of the normal functioning of our sensory apparatus. The first of these claims protects arithmetic's special epistemic status relative, for example, to the laws of physics, the second preserves the independence of arithmetical truth, and the third ensures that we remain empiricists.

Abstract: Controversy remains over exactly why Frege aimed to estabish logicism. In this essay, I argue that the most influential interpretations of Frege's motivations fall short because they misunderstand or neglect Frege's claims that axioms must be self-evident. I offer an interpretation of his appeals to self-evidence and attempt to show that they reveal a previously overlooked motivation for establishing logicism, one which has roots in the Euclidean rationalist tradition. More specifically, my view is that Frege had two notions of self-evidence. One notion is that of a truth being foundationally secure, yet not grounded on any other truth. The second notion is that of a truth that requires only clearly grasping its content for rational, a priori justified recognition of its truth. The overarching thesis I develop is that Frege required that axioms be self-evident in both senses, and he relied on judging propositions to be self-evident as part of his fallibilist method for identifying a foundation of arithmetic. Consequently, we must recognize both notions in order to understand how Frege construes ultimate foundational proofs, his methodology for discovering and identifying such proofs, and why he thought the propositions of arithmetic required proof.