An early, very preliminary edition of this book was circulated in 1962 under the title Set-theoretical Structures in Science. There are many reasons for maintaining that such structures play a role in the philosophy of science. Perhaps the best is that they provide the right setting for investigating problems of representation and invariance in any systematic part of science, past or present. Examples are easy to cite. Sophisticated analysis of the nature of representation in perception is to be found already (...) in Plato and Aristotle. One of the great intellectual triumphs of the nineteenth century was the mechanical explanation of such familiar concepts as temperature and pressure by their representation in terms of the motion of particles. A more disturbing change of viewpoint was the realization at the beginning of the twentieth century that the separate invariant properties of space and time must be replaced by the space-time invariants of Einstein's special relativity. Another example, the focus of the longest chapter in this book, is controversy extending over several centuries on the proper representation of probability. The six major positions on this question are critically examined. Topics covered in other chapters include an unusually detailed treatment of theoretical and experimental work on visual space, the two senses of invariance represented by weak and strong reversibility of causal processes, and the representation of hidden variables in quantum mechanics. The final chapter concentrates on different kinds of representations of language, concluding with some empirical results on brain-wave representations of words and sentences. (shrink)

In slogan form, the thesis of this dissertation is that shaping the far future is overwhelmingly important. More precisely, I argue that: Main Thesis: From a global perspective, what matters most is that we do what is best for the general trajectory along which our descendants develop over the coming millions, billions, and trillions of years. The first chapter introduces some key concepts, clarifies the main thesis, and outlines what follows in later chapters. Some of the key concepts include: existential (...) risk, the world's development trajectory, proximate benefits and ripple effects, speeding up development, trajectory changes, and the distinction between broad and targeted attempts to shape the far future. The second chapter is a defense of some methodological assumptions for developing normative theories which makes my thesis more plausible. In the third chapter, I introduce and begin to defend some key empirical and normative assumptions which, if true, strongly support my main thesis. In the fourth and fifth chapters, I argue against two of the strongest objections to my arguments. These objections come from population ethics, and are based on Person-Affecting Views and views according to which additional lives have diminishing marginal value. I argue that these views face extreme difficulties and cannot plausibly be used to rebut my arguments. In the sixth and seventh chapters, I discuss a decision-theoretic paradox which is relevant to my arguments. The simplest plausible theoretical assumptions which support my main thesis imply a view I call fanaticism, according to which any non-zero probability of an infinitely good outcome, no matter how small, is better than any probability of a finitely good outcome. I argue that denying fanaticism is inconsistent with other normative principles that seem very obvious, so that we are faced with a paradox. I have no solution to the paradox; I instead argue that we should continue to use our inconsistent principles, but we should use them tastefully. We should do this because, currently, we know of no consistent set of principles which does better. (shrink)

I argue that Epistemic Disjunctivism doesn’t sustain a successful anti-sceptical strategy. I contend, in particular, that the treatment of scepticism that Duncan Pritchard puts forward on behalf of Epistemic Disjunctivism is unsatisfactory.

Similarly to other accounts of disease, Christopher Boorse’s Biostatistical Theory (BST) is generally presented and considered as conceptual analysis, that is, as making claims about the meaning of currently used concepts. But conceptual analysis has been convincingly critiqued as relying on problematic assumptions about the existence, meaning, and use of concepts. Because of these problems, accounts of disease and health should be evaluated not as claims about current meaning, I argue, but instead as proposals about how to define and use (...) these terms in the future, a methodology suggested by Quine and Carnap. I begin this article by describing problems with conceptual analysis and advantages of “philosophical explication,” my favored approach. I then describe two attacks on the BST that also question the entire project of defining “disease.” Finally, I defend the BST as a philosophical explication by showing how it could define useful terms for medical science and ethics. (shrink)

Quayshawn Spencer (2014) misunderstands my treatment of racial naturalism. I argued that racial naturalism must entail a strong claim, such as “races are subspecies”, if it is to be a substantive position that contrasts with anti-realism about biological race. My recognition that not all race naturalists make such a strong claim is evident throughout the article Spencer reviews (Hochman, 2013a). Spencer seems to agree with me that there are no human subspecies, and he endorses a weaker form of racial naturalism. (...) However, he supports his preferred version of ‘racial naturalism’ with arguments that are not well described as ‘naturalistic’. I argue that Spencer offers us an unnaturalised racial naturalism. (shrink)

The rise of experimental philosophy has placed metaphilosophical questions, particularly those concerning concepts, at the center of philosophical attention. X-phi offers empirically rigorous methods for identifying conceptual content, but what exactly it contributes towards evaluating conceptual content remains unclear. We show how x-phi complements Rudolf Carnap’s underappreciated methodology for concept determination, explication. This clarifies and extends x-phi’s positive philosophical import, and also exhibits explication’s broad appeal. But there is a potential problem: Carnap’s account of explication was limited to empirical and (...) logical concepts, but many concepts of interest to philosophers are essentially normative. With formal epistemology as a case study, we show how x-phi assisted explication can apply to normative domains. (shrink)

Philosophical debates about emergence are often marred by equivocation and lack of common ground, and dialogue about emergence between scientists and philosophers can be equally difficult. In this paper I offer a unified explication of emergence and argue that this explication can cut through much of the confusion evident in discussions of emergence. I defend an explication of the concept of emergence as the unavailability of a certain kind of scientific explanation for an observer or observers.

Recently Carrie S. Jenkins formulated an epistemology of mathematics, or rather arithmetic, respecting apriorism, empiricism, and realism. Central is an idea of concept grounding. The adequacy of this idea has been questioned e.g. concerning the grounding of the mathematically central concept of set (or class), and of composite concepts. In this paper we present a view of concept formation in mathematics, based on ideas from Carnap, leading to modifications of Jenkins’s epistemology that may solve some problematic issues with her ideas. (...) But we also present some further problems with her view, concerning the role of proof for mathematical knowledge. (shrink)

Academic and corporate research departments alike face a crucial dilemma: to exploit known frameworks or to explore new ones; to specialize or to innovate? Here I show that these two conflicting epistemic desiderata are sufficient to explain pluralistic ignorance and its boom-and-bust-like dynamics, exemplified in the collapse of the efficient markets hypothesis as a modern risk management paradigm in 2007. The internalist nature of this result, together with its robustness, suggests that pluralistic ignorance is an inherent feature rather than a (...) threat to the rationality of epistemic communities. (shrink)

Richard Boyd and Nicholas Sturgeon develop distinctive naturalistic arguments for scientific realism and moral realism. Each defends a realist position by an inference to the best explanation. In this paper, I suggest that these arguments for realism should be reformulated, with the law of likelihood replacing inference to the best explanation. The resulting arguments for realism do not work.

I analyse critically what I regard as the most accomplished empiricist account of propensities, namely the long run propensity theory developed by Donald Gillies . Empiricist accounts are distinguished by their commitment to the ‘identity thesis’: the identification of propensities and objective probabilities. These theories are intended, in the tradition of Karl Popper’s influential proposal, to provide an interpretation of probability that renders probability statements directly testable by experiment. I argue that the commitment to the identity thesis leaves empiricist theories, (...) including Gillies’ version, vulnerable to a variant of what is known as Humphreys’ paradox. I suggest that the tension may be resolved only by abandoning the identity thesis, and by adopting instead an understanding of propensities as explanatory properties of chancy objects. (shrink)

We show that as a chain of confirmation becomes longer, confirmation dwindles under screening-off. For example, if E confirms H1, H1 confirms H2, and H1 screens off E from H2, then the degree to which E confirms H2 is less than the degree to which E confirms H1. Although there are many measures of confirmation, our result holds on any measure that satisfies the Weak Law of Likelihood. We apply our result to testimony cases, relate it to the Data-Processing Inequality (...) in information theory, and extend it in two respects so that it covers a broader range of cases. (shrink)

I show how scoring rules, interpreted as measuring the inaccuracy of a set of degrees of belief, may be exploited to construct confirmation measures as used in Bayesian confirmation theory. I construct two confirmation measures from two particular standard scoring rules. One of these measures is genuinely new, the second is trivially ordinally equivalent to the difference measure. These two measures are tested against three well-known measures of confirmation in a simple but illuminating case that contains in a natural way (...) the problem of irrelevant conjunction. The genuinely new measure emerges, arguably, as the best. (shrink)

This chapter contains sections titled: Highlights of Past Literature Current Work Future Work.

This chapter provides an overview of the issues involved in recent debates about the epistemological relevance of emotions. We first survey some key issues in epistemology and the theory of emotions that inform various assessments of emotions’ potential significance in epistemology. We then distinguish five epistemic functions that have been claimed for emotions: motivational force, salience and relevance, access to facts and beliefs, non-propositional contributions to knowledge and understanding, and epistemic efficiency. We identify two core issues in the discussions about (...) such epistemic functions of emotions: First, even though it is plausible that emotions are involved in epistemic processes, it may be doubted whether they really matter for the normative question of what counts as knowledge or justified belief. Second, some of the epistemic functions claimed for emotions in general may only be attributed to some specifically epistemic emotions, which have been present all along in traditional epistemology, albeit under different labels such as ‘intuitions’. (shrink)

Ordinary Language Philosophy has largely fallen out of favour, and with it the belief in the primary importance of analyses of ordinary language for philosophical purposes. Still, in their various endeavours, philosophers not only from analytic but also from other backgrounds refer to the use and meaning of terms of interest in ordinary parlance. In doing so, they most commonly appeal to their own linguistic intuitions. Often, the appeal to individual intuitions is supplemented by reference to dictionaries. In recent times, (...) Internet search engine queries for expressions of interest have become quite popular. Apparently, philosophers attempt to surpass the limits of their own linguistic intuitions by appealing to experts or to factual uses of language. I argue that this attempt is commendable but that its execution is wanting. Instead of appealing to dictionaries or Internet queries, philosophers should employ computer-based linguistic corpora in order to confirm or falsify hypotheses about the factual use of language. This approach also has some advantages over methods employed by experimental philosophers. If the importance of ordinary language is stressed, the use of linguistic corpora is hardly avoidable. (shrink)

In a seminal book, Alvin I. Goldman outlines a theory for how to evaluate social practices with respect to their , i.e., their tendency to promote the acquisition of true beliefs (and impede the acquisition of false beliefs) in society. In the same work, Goldman raises a number of serious worries for his account. Two of them concern the possibility of determining the veritistic value of a practice in a concrete case because (1) we often don't know what beliefs are (...) actually true, and (2) even if we did, the task of determining the veritistic value would be computationally extremely difficult. Neither problem is specific to Goldman's theory and both can be expected to arise for just about any account of veritistic value. It is argued here that the first problem does not pose a serious threat to large classes of interesting practices. The bulk of the paper is devoted to the computational problem, which, it is submitted, can be addressed in promising terms by means of computer simulation. In an attempt to add vividness to this proposal, an up-and-running simulation environment (Laputa) is presented and put to some preliminary tests. (shrink)

We explore ways in which purely qualitative belief change in the AGM tradition throws light on options in the treatment of conditional probability. First, by helping see why it can be useful to go beyond the ratio rule defining conditional from one-place probability. Second, by clarifying what is at stake in different ways of doing that. Third, by suggesting novel forms of conditional probability corresponding to familiar variants of qualitative belief change, and conversely. Likewise, we explain how recent work on (...) the qualitative part of probabilistic inference leads to a very broad class of 'proto-probability' functions. (shrink)

This paper synthesizes confirmation by instances and confirmation by successful predictions, and thereby the Hempelian and the hypothetico-deductive traditions in confirmation theory. The merger of these two approaches is subsequently extended to the piecemeal confirmation of entire theories. It is then argued that this synthetic account makes a useful contribution from both a historical and a systematic perspective.

This article discusses the classical problem of zero probability of universal generalizations in Rudolf Carnap’s inductive logic. A correction rule for updating the inductive method on the basis of evidence will be presented. It will be shown that this rule has the effect that infinite streams of uniform evidence assume a non-zero limit probability. Since Carnap’s inductive logic is based on finite domains of individuals, the probability of the corresponding universal quantification changes accordingly. This implies that universal generalizations can receive (...) positive prior and posterior probabilities, even for (countably) infinite domains. (shrink)

We live in a world in which scientific expertise and its epistemic authority become more important. On the other hand, the financial interests in research, which could potentially corrupt science, are increasing. Due to these two tendencies, a concern for the integrity of scientific research becomes increasingly vital. This concern is, however, hollow if we do not have a clear account of research integrity. Therefore, it is important that we explicate this concept. Following Rudolf Carnap’s characterization of the task of (...) explication, this means that we should develop a concept that is similar to our common sense notion of research integrity, exact, fruitful, and as simple as possible. Since existing concepts do not meet these four requirements, we develop a new concept in this article. We describe a concept of epistemic integrity that is based on the property of deceptiveness, and argue that this concept does meet Carnap’s four requirements of explication. To illustrate and support our claims we use several examples from scientific practice, mainly from biomedical research. (shrink)

In this paper we discuss the new Tweety puzzle. The original Tweety puzzle was addressed by approaches in non-monotonic logic, which aim to adequately represent the Tweety case, namely that Tweety is a penguin and, thus, an exceptional bird, which cannot fly, although in general birds can fly. The new Tweety puzzle is intended as a challenge for probabilistic theories of epistemic states. In the first part of the paper we argue against monistic Bayesians, who assume that epistemic states can (...) at any given time be adequately described by a single subjective probability function. We show that monistic Bayesians cannot provide an adequate solution to the new Tweety puzzle, because this requires one to refer to a frequency-based probability function. We conclude that monistic Bayesianism cannot be a fully adequate theory of epistemic states. In the second part we describe an empirical study, which provides support for the thesis that monistic Bayesianism is also inadequate as a descriptive theory of cognitive states. In the final part of the paper we criticize Bayesian approaches in cognitive science, insofar as their monistic tendency cannot adequately address the new Tweety puzzle. We, further, argue against monistic Bayesianism in cognitive science by means of a case study. In this case study we show that Oaksford and Chater’s (2007, 2008) model of conditional inference—contrary to the authors’ theoretical position—has to refer also to a frequency-based probability function. (shrink)

The Linda paradox is a key topic in current debates on the rationality of human reasoning and its limitations. We present a novel analysis of this paradox, based on the notion of verisimilitude as studied in the philosophy of science. The comparison with an alternative analysis based on probabilistic confirmation suggests how to overcome some problems of our account by introducing an adequately defined notion of verisimilitudinarian confirmation.

This dissertation consists of three parts. Part I is a defense of an artificial language methodology in philosophy and a historical and systematic defense of the logical empiricists' application of an artificial language methodology to scientific theories. These defenses provide a justification for the presumptions of a host of criteria of empirical significance, which I analyze, compare, and develop in part II. On the basis of this analysis, in part III I use a variety of criteria to evaluate the scientific (...) status of intelligent design, and further discuss confirmation, reduction, and concept formation. (shrink)

In this article, I present some new group level interpretations of probability, and champion one in particular: a consensus-based variant where group degrees of belief are construed as agreed upon betting quotients rather than shared personal degrees of belief. One notable feature of the account is that it allows us to treat consensus between experts on some matter as being on the union of their relevant background information. In the course of the discussion, I also introduce a novel distinction between (...) intersubjective and interobjective interpretations of probability. (shrink)

Methods and goals in philosophy are discussed by first describing an ideal, and then looking at how the ideal might be approached. David Lewis’s work in metaphysics is critically examined and compared to analogous work by Mackie and Carnap. Some large-scale philosophical systematic work, especially in metaphysics, is best treated as model-building, in a sense of that term that draws on the philosophy of science. Models are constructed in a way that involves deliberate simplification, or other imaginative modification of reality, (...) in order to make relationships visible or problems tractable. (shrink)

Timothy Williamson argues against the tactic of criticizing confidence in a theory by identifying a logical consequence of the theory whose probability is not raised by the evidence. He dubs it “the consequence fallacy”. In this paper, we will show that Williamson’s formulation of the tactic in question is ambiguous. On one reading of Williamson’s formulation, the tactic is indeed a fallacy, but it is not a commonly used tactic; on another reading, it is a commonly used tactic (or at (...) least more often used than the former tactic), but it is not a fallacy. (shrink)

Additionally, the text shows how to develop computationally feasible methods to mesh with this framework.

Theory change is a central concern in contemporary epistemology and philosophy of science. In this paper, we investigate the relationships between two ongoing research programs providing formal treatments of theory change: the (post-Popperian) approach to verisimilitude and the AGM theory of belief change. We show that appropriately construed accounts emerging from those two lines of epistemological research do yield convergences relative to a specified kind of theories, here labeled “conjunctive”. In this domain, a set of plausible conditions are identified which (...) demonstrably capture the verisimilitudinarian effectiveness of AGM belief change, i.e., its effectiveness in tracking truth approximation. We conclude by indicating some further developments and open issues arising from our results. (shrink)

Focused correlation compares the degree of association within an evidence set to the degree of association in that evidence set given that some hypothesis is true. A difference between the confirmation lent to a hypothesis by one evidence set and the confirmation lent to that hypothesis by another evidence set is robustly tracked by a difference in focused correlations of those evidence sets on that hypothesis, provided that all the individual pieces of evidence are equally, positively relevant to that hypothesis. (...) However, that result depends on a very strong equal relevance condition on individual pieces of evidence. In this essay, we prove tracking results for focused correlation analogous to Wheeler and Scheines’s results but for cases involving unequal relevance. Our result is robust as well, and we retain conditions for bidirectional tracking between incremental confirmation measures and focused correlation. (shrink)

This paper investigates the relation between Carnap and Quine’s views on analyticity on the one hand, and their views on philosophical analysis or explication on the other. I argue that the stance each takes on what constitutes a successful explication largely dictates the view they take on analyticity. I show that although acknowledged by neither party (in fact Quine frequently expressed his agreement with Carnap on this subject) their views on explication are substantially different. I argue that this difference not (...) only explains their differences on the question of analyticity, but points to a Quinean way to answer a challenge that Quine posed to Carnap. The answer to this challenge leads to a Quinean view of analyticity such that arithmetical truths are analytic, according to Quine’s own remarks, and set theory is at least defensibly analytic. (shrink)

Predictions about the future and unrestricted universal generalizations are never logically implied by our observational evidence, which is limited to particular facts in the present and past. Nevertheless, propositions of these and other kinds are often said to be confirmed by observational evidence. A natural place to begin the study of confirmation theory is to consider what it means to say that some evidence E confirms a hypothesis H.

Using the Hilbert-Bernays account as a spring-board, we first define four ways in which two objects can be discerned from one another, using the non-logical vocabulary of the language concerned. Because of our use of the Hilbert-Bernays account, these definitions are in terms of the syntax of the language. But we also relate our definitions to the idea of permutations on the domain of quantification, and their being symmetries. These relations turn out to be subtle---some natural conjectures about them are (...) false. We will see in particular that the idea of symmetry meshes with a species of indiscernibility that we will call `absolute indiscernibility'. We then report all the logical implications between our four kinds of discernibility. We use these four kinds as a resource for stating four metaphysical theses about identity. Three of these theses articulate two traditional philosophical themes: viz. the principle of the identity of indiscernibles, and haecceitism. The fourth is recent. Its most notable feature is that it makes diversity weaker than what we will call individuality : two objects can be distinct but not individuals. For this reason, it has been advocated both for quantum particles and for spacetime points. Finally, we locate this fourth metaphysical thesis in a broader position, which we call structuralism. We conclude with a discussion of the semantics suitable for a structuralist, with particular reference to physical theories as well as elementary model theory. (shrink)

A measure of coherence is said to be reliability conducive if and only if a higher degree of coherence (as measured) among testimonies implies a higher probability that the witnesses are reliable. Recently, it has been proved that several coherence measures proposed in the literature are reliability conducive in scenarios of equivalent testimonies (Olsson and Schubert 2007; Schubert, to appear). My aim is to investigate which coherence measures turn out to be reliability conducive in the more general scenario where the (...) testimonies do not have to be equivalent. It is shown that four measures are reliability conducive in the present scenario, all of which are ordinally equivalent to the Shogenji measure. I take that to be an argument for the Shogenji measure being a fruitful explication of coherence. (shrink)

I defend the Received View on scientific theories as developed by Carnap, Hempel, and Feigl against a number of criticisms based on misconceptions. First, I dispute the claim that the Received View demands axiomatizations in first order logic, and the further claim that these axiomatizations must include axioms for the mathematics used in the scientific theories. Next, I contend that models are important according to the Received View. Finally, I argue against the claim that the Received View is intended to (...) make the concept of a theory more precise. Rather, it is meant as a generalizable framework for explicating specific theories. (shrink)