Anti-exceptionalism about logic takes logical theories to be continuous with scientific theories. Scientific theories are subject to criteria of theoretical equivalence. This article compares two types of theoretical equivalence – one syntactic and one semantic – in the context of logical anti-exceptionalism, and argues that the syntactic approach leads to undesirable consequences. The anti-exceptionalist should therefore take a semantic approach when evaluating whether logical theories, understood as scientific theories, are equivalent. This article argues for a particular semantic approach, in terms (...) of categorical equivalence, to determine whether logical theories are equivalent. (shrink)

I provide an alternative characterization of a "standard of rotation" in the context of classical spacetime structure that does not refer to any covariant derivative operator.

Robert Stalnaker has argued that mathematical information is information about the sentences and expressions of mathematics. I argue that this metalinguistic account is open to a variant of Alonzo Church's translation objection and that Stalnaker's attempt to get around this objection is not successful. If correct, this tells not only against Stalnaker's account of mathematical truths, but against any metalinguistic account of truths that are both necessary and informative.

Bayesians since Savage (1972) have appealed to asymptotic results to counter charges of excessive subjectivity. Their claim is that objectionable differences in prior probability judgments will vanish as agents learn from evidence, and individual agents will converge to the truth. Glymour (1980), Earman (1992) and others have voiced the complaint that the theorems used to support these claims tell us, not how probabilities updated on evidence will actually}behave in the limit, but merely how Bayesian agents believe they will behave, suggesting (...) that the theorems are too weak to underwrite notions of scientific objectivity and intersubjective agreement. I investigate, in a very general framework, the conditions under which updated probabilities actually converge to a settled opinion and the conditions under which the updated probabilities of two agents actually converge to the same settled opinion. I call this mode of convergence deterministic, and derive results that extend those found in Huttegger (2015b). The results here lead to a simple characterization of deterministic convergence for Bayesian learners and give rise to an interesting argument for what I call strong regularity, the view that probabilities of non-empty events should be bounded away from zero. (shrink)

Reasoning, defined as the production and evaluation of reasons, is a central process in science. The dominant view of reasoning, both in the psychology of reasoning and in the psychology of science, is of a mechanism with an asocial function: bettering the beliefs of the lone reasoner. Many observations, however, are difficult to reconcile with this view of reasoning; in particular, reasoning systematically searches for reasons that support the reasoner’s initial beliefs, and it only evaluates these reasons cursorily. By contrast, (...) reasoners are well able to evaluate others’ reasons: accepting strong arguments and rejecting weak ones. The argumentative theory of reasoning accounts for these traits of reasoning by postulating that the evolved function of reasoning is to argue: to find arguments to convince others and to change one’s mind when confronted with good arguments. Scientific reasoning, however, is often described as being at odds with such an argumentative mechanisms: scientists are supposed to reason objectively on their own, and to be pigheaded when their theories are challenged, even by good arguments. In this article, we review evidence showing that scientists, when reasoning, are subject to the same biases as are lay people while being able to change their mind when confronted with good arguments. We conclude that the argumentative theory of reasoning explains well key features of scientists’ reasoning and that differences in the way scientists and laypeople reason result from the institutional framework of science. (shrink)

“Dutch Book” arguments and references to gambling theorems are typical in the debate between Bayesians and scientists committed to “classical” statistical methods. These arguments have rarely convinced non-Bayesian scientists to abandon certain conventional practices, partially because many scientists feel that gambling theorems have little relevance to their research activities. In other words, scientists “don’t bet.” This article examines one attempt, by Schervish, Seidenfeld, and Kadane, to progress beyond such apparent stalemates by connecting “Dutch Book”–type mathematical results with principles actually endorsed (...) by practicing experimentalists. (shrink)

: Any precise version of H-D needs to handle various problems, most notably, the problem of selective confirmation: Precise formulations of H-D should not have the consequence that where S confirms T, for any T', S confirms T&T'. It is the perceived failure of H-D to solve such problems that has lead John Earman to recently conclude that H-D is "very nearly a dead horse". This suggests the following state of play: H-D is an intuitively plausible idea that breaks down (...) in the attempt to give it a precise formulation. Indeed I think that fairly captures the view among specialists in the field of confirmation theory. Here I argue that the truth about H-D is largely the reverse: H-D can be given a precise formulation that avoids the longstanding technical problems, however, it relies on a fundamentally unsound philosophical intuition. The bulk of this paper involves reviewing the problems affecting previous attempts at giving precise formulations of H-D and displaying some recent versions that can handle these problems. It then briefly explains why the basic intuition behind H-D is itself unsound, namely, because H-D involves a tacit assumption of inductive scepticism. Finally, the historical relation between H-D and the positivists' quest for a criterion of empirical significance will be reconsidered with the surprising result that having glossed H-D as fundamentally unsound it is concluded that a sound version of the criterion of empirical significance is now available. The demarcation criterion, the positivists' philosopher's stone that serves to separate claims with empirical significance from claims lacking empirical significance having finally been found, it is argued that we should regard empirical significance as just one among a variety of virtues and not follow the positivists in taking it to be a sin qua non for all meaningful statements. (shrink)

I argue that Bayesians need two distinct notions of probability. We need the usual degree-of-belief notion that is central to the Bayesian account of rational decision. But Bayesians also need a separate notion of probability that represents the degree to which evidence supports hypotheses. Although degree-of-belief is well suited to the theory of rational decision, Bayesians have tried to apply it to the realm of hypothesis confirmation as well. This double duty leads to the problem of old evidence, a problem (...) that, we will see, is much more extensive than usually recognized. I will argue that degree-of-support is distinct from degree-of-belief, that it is not just a kind of counterfactual degree-of-belief, and that it supplements degree-of-belief in a way that resolves the problems of old evidence and provides a richer account of the logic of scientific inference and belief. (shrink)

Synchronic norms of theory choice, a traditional concern in scientific methodology, restrict the theories one can choose in light of given information. Diachronic norms of theory change, as studied in belief revision, restrict how one should change one’s current beliefs in light of new information. Learning norms concern how best to arrive at true beliefs. In this paper, we undertake to forge some rigorous logical relations between the three topics. Concerning, we explicate inductive truth conduciveness in terms of optimally direct (...) convergence to the truth, where optimal directness is explicated in terms of reversals and cycles of opinion prior to convergence. Concerning, we explicate Ockham’s razor and related principles of choice in terms of the information topology of the empirical problem context and show that the principles are necessary for reversal or cycle optimal convergence to the truth. Concerning, we weaken the standard principles of agm belief revision theory in intuitive ways that are also necessary for reversal or cycle optimal convergence. Then we show that some of our weakened principles of change entail corresponding principles of choice, completing the triangle of relations between,, and. (shrink)

Several different Bayesian models of epistemic utilities (see, e. g., [37], [24], [40], [46]) have been used to explain why it is rational for scientists to perform experiments. In this paper, I argue that a model-suggested independently by Patrick Maher [40] and Graham Oddie [46]-that assigns epistemic utility to degrees of belief in hypotheses provides the most comprehensive explanation. This is because this proper scoring rule (PSR) model captures a wider range of scientifically acceptable attitudes toward epistemic risk than the (...) other Bayesian models that have been proposed. I also argue, however, that even the PSR model places unreasonably tight restrictions on a scientist's attitude toward epistemic risk. As a result, such Bayesian models of epistemic utilities fail as normative accounts-not just as descriptive accounts (see, e. g., [31], [14])-of scientific inquiry. (shrink)

It is often argued that while biases routinely influence the generation of scientific theories, a subsequent rational evaluation of such theories will ensure that biases do not affect which theories are ultimately accepted. Against this line of thought, this paper shows that the existence of certain kinds of biases at the generation-stage implies the existence of biases at the evaluation-stage. The key argumentative move is to recognize that a scientist who comes up with a new theory about some phenomena has (...) thereby gained an unusual type of evidence, viz. information about the space of theories that could be true of the phenomena. It follows that if there is bias in the generation of scientific theories in a given domain, then the rational evaluation of theories with reference to the total evidence in that domain will also be biased. (shrink)

In recent years a growing number of philosophers writing about the methodology of philosophy have defended the surprising claim that philosophers do not use intuitions as evidence. In this paper I defend the contrary view that philosophers do use intuitions as evidence. I argue that this thesis is the best explanation of several salient facts about philosophical practice. First, philosophers tend to believe propositions which they find intuitive. Second, philosophers offer error theories for intuitions that conflict with their theories. Finally, (...) philosophers are more confident in rejecting theories to the extent that they have several counter examples involving diverse cases. I argue that these facts are better explained by philosophers' using intuitions as evidence than by any plausible contrary explanations. I further argue that aspects of philosophical practice that my thesis may initially seem ill-suited to explain are in fact unsurprising whether or not my thesis is true. (shrink)

In this article, I examine whether or not the Hamiltonian and Lagrangian formulations of classical mechanics are equivalent theories. I do so by applying a standard for equivalence that was recently introduced into philosophy of science by Halvorson and Weatherall. This case study yields three general philosophical payoffs. The first concerns what a theory is, while the second and third concern how we should interpret what our physical theories say about the world. 1Introduction 2When Are Two Theories Equivalent? 3Preliminaries on (...) Classical Mechanics 3.1Hamiltonian mechanics 3.2Lagrangian mechanics 4Are Hamiltonian and Lagrangian Mechanics Equivalent Theories? 4.1Tangent bundle versus cotangent bundle 4.2Tangent bundle versus symplectic manifold 4.3Lagrangian vector field versus Hamiltonian vector field 5Conclusion Appendix. (shrink)

This book argues for the need to put into practice a profound and comprehensive intellectual revolution, affecting to a greater or lesser extent all branches of scientific and technological research, scholarship and education. This intellectual revolution differs, however, from the now familiar kind of scientific revolution described by Kuhn. It does not primarily involve a radical change in what we take to be knowledge about some aspect of the world, a change of paradigm. Rather it involves a radical change in (...) the fundamental, overall intellectual aims and methods of inquiry. At present inquiry is devoted to the enhancement of knowledge. This needs to be transformed into a kind of rational inquiry having as its basic aim to enhance personal and social wisdom. This new kind of inquiry gives intellectual priority to the personal and social problems we encounter in our lives as we strive to realize what is desirable and of value – problems of knowledge and technology being intellectually subordinate and secondary. For this new kind of inquiry, it is what we do and what we are that ultimately matters: our knowledge is but an aspect of our life and being. (shrink)

State of the art paper on the problem of induction: how to justify the conclusion that ‘all Fs are Gs’ from the premise that ‘all observed Fs are Gs’. The most prominent theories of contemporary philosophical literature are discussed and analysed, such as: inductivism, reliabilism, perspective of laws of nature, rationalism, falsificationism, the material theory of induction and probabilistic approaches, according to Carnap, Reichenbach and Bayesianism. In the end, we discuss the new problem of induction of Goodman, raised by the (...) grue predicate. (shrink)

It is well known that de se (or ‘self-locating’) propositions complicate the standard picture of how we should respond to evidence. This has given rise to a substantial literature centered around puzzles like Sleeping Beauty, Dr. Evil, and Doomsday—and it has also sparked controversy over a style of argument that has recently been adopted by theoretical cosmologists. These discussions often dwell on intuitions about a single kind of case, but it’s worth seeking a rule that can unify our treatment of (...) all evidence, whether de dicto or de se. -/- This paper is about three candidates for such a rule, presented as replacements for the standard updating rule. Each rule stems from the idea that we should treat ourselves as a random sample, a heuristic that underlies many of the intuitions that have been pumped in treatments of the standard puzzles. But each rule also yields some strange results when applied across the board. This leaves us with some difficult options. We can seek another way to refine the random-sample heuristic, e.g. by restricting one of our rules. We can try to live with the strange results, perhaps granting that useful principles can fail at the margins. Or we can reject the random-sample heuristic as fatally flawed—which means rethinking its influence in even the simplest cases. (shrink)

Early modern experimental philosophers often appear to commit to, and utilise, corpuscular and mechanical hypotheses. This is somewhat mysterious: such hypotheses frequently appear to be simply assumed, odd for a research program which emphasises the careful experimental accumulation of facts. Isaac Newton was one such experimental philosopher, and his optical work is considered a clear example of the experimental method. Focusing on his optical investigations, I identify three roles for hypotheses. Firstly, Newton introduces a hypothesis to explicate his abstract theory. (...) The purpose here is primarily to improve understanding or uptake of the theory. Secondly, he uses a hypothesis as a platform from which to generate some crucial experiments to decide between competing accounts. The purpose here is to suggest experiments in order to bring a dispute to empirical resolution. Thirdly, he uses a hypothesis to suggest an underlying physical cause, which he then operationalises and represents abstractly in his formal theory. The second and third roles are related in that they are both cases of scaffolding: hypotheses provide a temporary platform from which further experimental work and/or theorising can be carried out. In short, the entities and processes included in Newton’s optical hypothesis are not simply assumed hypothetical posits. Rather, they play instrumental roles in Newton’s experimental philosophy. (shrink)