This article examines Newton’s method of induction and its connection to methodological atomism. The article argues that Newton’s Rule III for the Study of Natural Philosophy is a criterion for isolating the primary qualities of the atomic parts; in other words, it interprets Rule III as a transductive inference. It is shown that both the standard inductive and invariance interpretations of Rule III can be subsumed under the transductive view, although the invariance criterion is reinterpreted; by qualities “that cannot be (...) intended or remitted,” Newton means qualities that are invariant under changes in the configuration of the atomic parts. (shrink)

The purported fact that geometric theories formulated in terms of points and geometric theories formulated in terms of lines are “equally correct” is often invoked in arguments for conceptual relativity, in particular by Putnam and Goodman. We discuss a few notions of equivalence between first-order theories, and we then demonstrate a precise sense in which this purported fact is true. We argue, however, that this fact does not undermine metaphysical realism.

The world science describes tends to have a very strange look. We can’t see atoms or force fields, nor are they imaginable within visualizable categories, so neither can we even imagine what the world must be like according to recent physical theories. That tension, between what science depicts as reality and how things appear to us, though it is more striking now, has been with us since modern science began. It can be addressed, and perhaps alleviated by inquiring into how (...) science represents nature. In general, representation is selective, the selection is of what is relevant to the purpose at hand, and success may even require distortion. From this point of view, the constraint on science, that it must ‘save the phenomena’, takes on a new form. The question to be faced is how the perspectival character of the appearances (that is, contents of measurement outcomes) can be related to the hidden structure that the sciences postulate. In the competing interpretations of quantum mechanics we can see how certain traditional ideals and constraints are left behind. Specifically, Carlo Rovelli’s Relational Quantum Mechanics offers a probative example of the freedom of scientific representation. (shrink)

In this paper I offer a criticism of Carnap's inductive logic which also applies to other formal methods of inductive inference. Criticisms of Carnap's views have typically centered upon the justification of his particular choice of inductive method. I argue that the real problem is not that there is an agreed upon method for which no justification can be found, but that different methods are justified in different circumstances.

In ethical discourse, it is common practice to distinguish between normative commitments and descriptive commitments. Normative commitments reflect what a person ought to be committed to, whereas descriptive commitments reflect what a person actually is committed to. While the normative/descriptive distinction is widely accepted as a way of talking about ethical commitments, philosophers have missed this distinction in discussing ontological commitments. In this paper, I distinguish between descriptive ontological commitments and normative ontological commitments and discuss several significant benefits of recognizing (...) this distinction. I argue that just as the normative/descriptive distinction is important for fruitful ethical discourse, so too is it important for fruitful discourse concerning our ontological commitments. And, it constitutes a significant step towards resolving some prominent debates concerning our ontological commitments. (shrink)

This paper aims to explain why the laws of nature are held fixed in counterfactual reasoning. I begin by highlighting three salient features of counterfactual reasoning: it is conservative, nomically guided, and it uses hindsight. I then present a rationale for our engagement in counterfactual reasoning that aims to make sense of these features. In particular, I argue that counterfactual reasoning helps us evaluate the evidential relations between unanticipated pieces of evidence and various hypotheses of interest about the history of (...) the actual world. Given this goal, it makes a great deal of sense that counterfactual reasoning would have the aforementioned features. Additionally, it turns out that this account of counterfactual reasoning is nicely congruent with Humean views of laws. Specifically, it can explain, in a Humean-friendly way, both why the laws are counterfactually resilient, and why we may be inclined to have anti-Humean intuitions in the first place, even if some form of Humeanism is correct. (shrink)

The main aim of this paper is to revisit the curve fitting problem using the reliability of inductive inference as a primary criterion for the ‘fittest' curve. Viewed from this perspective, it is argued that a crucial concern with the current framework for addressing the curve fitting problem is, on the one hand, the undue influence of the mathematical approximation perspective, and on the other, the insufficient attention paid to the statistical modeling aspects of the problem. Using goodness-of-fit as the (...) primary criterion for ‘best', the mathematical approximation perspective undermines the reliability of inference objective by giving rise to selection rules which pay insufficient attention to ‘accounting for the regularities in the data'. A more appropriate framework is offered by the error-statistical approach, where (i) statistical adequacy provides the criterion for assessing when a curve captures the regularities in the data adequately, and (ii) the relevant error probabilities can be used to assess the reliability of inductive inference. Broadly speaking, the fittest curve (statistically adequate) is not determined by the smallness if its residuals, tempered by simplicity or other pragmatic criteria, but by the nonsystematic (e.g. white noise) nature of its residuals. The advocated error-statistical arguments are illustrated by comparing the Kepler and Ptolemaic models on empirical grounds. ‡I am grateful to Deborah Mayo and Clark Glymour for many valuable suggestions and comments on an earlier draft of the paper; estimating the Ptolemaic model was the result of Glymour's prompting and encouragement. †To contact the author, please write to: Department of Economics, Virginia Tech 3019 Pamplin Hall (0316), Blacksburg, VA 24061; e-mail: [email protected]. (shrink)

The use of the material theory of induction to vindicate a scientist’s claims of evidential warrant is illustrated with the cases of Einstein’s thermodynamic argument for light quanta of 1905 and his recovery of the anomalous motion of Mercury from general relativity in 1915. In a survey of other accounts of inductive inference applied to these examples, I show that, if it is to succeed, each account must presume the same material facts as the material theory and, in addition, some (...) general principle of inductive inference not invoked by the material theory. Hence these principles are superfluous and the material theory superior in being more parsimonious. (shrink)

Tacking by conjunction is a well-known problem for Bayesian confirmation theory. In the first section, disadvantages of existing Bayesian solution proposals to this problem are pointed out and an alternative solution proposal is presented: that of genuine confirmation. In the second section, the notion of GC is briefly recapitulated and three versions of GC are distinguished: full GC, partial GC and quantitative GC. In the third section, the application of partial GC to pure post-facto speculations is explained. In the fourth (...) section it is demonstrated that full GC is a necessary condition for Bayesian convergence to certainty based on the accumulation of conditionally independent pieces of evidence. It is found that whenever a hypothesis is equivalent to a disjunction of more fine-grained hypotheses conveying different probabilities to the evidence, then conditional independence of the evidence fails. This failure occurs typically for unspecific negations of hypotheses. A refined version of the convergence to certainty theorem that overcomes this difficulty is developed in the final section. (shrink)

The question of the role of theory in the determination of reference of theoretical terms continues to be a controversial one. In the present paper I assess a number of responses to this question (including variations on David Lewis’s appeal to Ramsification), before describing an alternative, epistemically oriented account of the reference-determination of such terms. The paper concludes by discussing some implications of the account for our understanding of both realism and such competitors of realism as constructive empiricism.

Thesis (Ph. D.)--University of Hawaii at Manoa, 1991.

How to regard the weight we give to a proposition on the grounds of its being endorsed by an authority? I examine this question as it is raised within the epistemology of science, and I argue that “authority-based weight” should receive special handling, for the following reason. Our assessments of other scientists’ competence or authority are nearly always provisional, in the sense that to save time and money, they are not made nearly as carefully as they could be---indeed, they are (...) typically made on the basis of only a small portion of the available evidence. Consequently, we need to represent the authority-based elements of our epistemic attitudes in such a way as to allow the later revision of those elements, in case we decide in the light of new priorities that a more conscientious assessment is warranted. I look to the literature in confirmation theory, statistics, and economics for a semiformal model of this revision process, and make a particular proposal of my own. The discussion also casts some light on the question of why certain aspects of science’s epistemic state are not made public. (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)

For simplicity, most of the literature introduces the concept of definitional equivalence only to languages with disjoint signatures. In a recent paper, Barrett and Halvorson introduce a straightforward generalization to languages with non-disjoint signatures and they show that their generalization is not equivalent to intertranslatability in general. In this paper,we show that their generalization is not transitive and hence it is not an equivalence relation. Then we introduce the Andréka and Németi generalization as one of the many equivalent formulations for (...) languages with disjoint signatures. We show that the Andréka-Németi generalization is the smallest equivalence relation containing the Barrett–Halvorson generalization and it is equivalent to intertranslatability even for languages with non-disjoint signatures. Finally,we investigate which definitions for definitional equivalences remain equivalent when we generalize them for theories with non-disjoint signatures. (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)

In this paper, we examine the relationship between general relativity and the theory of Einstein algebras. We show that according to a formal criterion for theoretical equivalence recently proposed by Halvorson and Weatherall, the two are equivalent theories.

Charles Peirce’s model of inquiry is supposed to demarcate appropriate methods of inquiry from specious ones. Cheryl Misak points out that Peirce’s explicit account fails, but can nevertheless be rescued by elements of his own system. While Misak’s criticism is a propos, her own attempt to fortify Peirce’s account does not succeed, as it falls prey to the same criticism she raises against Peirce’s explicit account. The account provided in this paper—the ‘open path’ alternative—draws from Peirce’s corollary to his “first (...) rule of reason”, that one should not block the road to inquiry. The ‘open path’ account is able to withstand Misak’s objections, and when combined with other aspects of Peirce’s work, shows us why the optimal way to conduct inquiry is to follow the path of greatest resistance. Inquiry, however, is rarely conducted in optimal conditions. Actual, constrained conditions of inquiry require a measure of economy in terms of what can be reasonably pursued and how. The question, then, is how to conduct our inquiries so that they are as nearly optimal as possible given actual constraints. As a working scientist, Peirce was acutely aware of the need to economize in research. Nicholas Rescher has recognized this issue’s significance for Peirce, and noted its neglect in discussions of Peirce’s work. One issue that has been largely neglected in the literature on Peirce is what specifically he recommends, based on considerations of economy, for how to go about gathering evidence. Kronz & McLaughlin points out that Peirce’s primary recommendation is that in gathering evidence relevant to a particular hypothesis we should test for empirical consequences that would not have been expected otherwise. The view that is developed in this paper is that economy in research, according to Peirce, follows the general line of his theory of inquiry. Peirce’s theory of inquiry implies that pursuit of truth requires maximizing resistance. I argue that his considerations about how to navigate within the constraints introduced in the context of actual research are also best understood as recommendations for maximizing resistance. (shrink)

"Partial realism" is a common position in the contemporary philosophy of science literature. It states that the "essential" elements of empirically successful scientific theories accurately represent corresponding features the world. This thesis makes several novel contributions related to this position. Firstly, it offers a new definition of the concept of “empirical success”, representing a principled merger between the use-novelty and unification accounts. Secondly, it provides a comparative critical analysis of various accounts of which elements are "essential" to the success of (...) a theory, including structural realism and the divide et impera strategy. A novel account of essentialness, entitled the “empirically successful sub-theory "account", is defended. Thirdly, it is argued that the realism/anti-realism debate should put to the side metaphysical questions and focus instead on partial realism's commitment to the continuity of science. Because this commitment lacks metaphysical implications, it is referred to as "deflationary realism". Anti-realists cannot reject deflationary realism as a matter of a priori principle; its overall viability can therefore only be assessed by a careful examination of the history of science. Finally, another consequence of partial realism, named "partial rationalism", is defended. Partial rationalism states that, in cases where several competing theories have been suggested, scientists are rational just in case they accept the essential elements of each of the scientific theories on offer. This novel position subverts the existing literature on scientific "revolutions", as it sometimes demands that scientists devise a synthesis between competing scientific theories, instead of "choosing" only one. The philosophical points defended in this thesis are illustrated and supported by case studies from the history of science, including Fresnel’s wave theory of light, the Copernican revolution, the "neo-Darwinian synthesis" in evolutionary biology, the "prion revolution" in molecular biology, the miasma theory of disease, and the chemical revolution. (shrink)

Many philosophers have claimed that Bayesianism can provide a simple justification for hypothetico-deductive inference, long regarded as a cornerstone of the scientific method. Following up a remark of van Fraassen, we analyze a problem for the putative Bayesian justification of H-D inference in the case where what we learn from observation is logically stronger than what our theory implies. Firstly, we demonstrate that in such cases the simple Bayesian justification does not necessarily apply. Secondly, we identify a set of sufficient (...) conditions for the mismatch in logical strength to be justifiably ignored as a "harmless idealization''. Thirdly, we argue, based upon scientific examples, that the pattern of H-D inference of which there is a ready Bayesian justification is only rarely the pattern that one actually finds at work in science. Whatever the other virtues of Bayesianism, the idea that it yields a simple justification of a pervasive pattern of scientific inference appears to have been oversold. (shrink)

Richard Swinburne’s argument in The Existence of God discusses many probabilities, ultimately concluding that God probably exists. Swinburne gives exact values to almost none of these probabilities. I attempted to assign values to the probabilities that met that weak condition that they could be correct. In this paper, I first present a brief outline of Swinburne’s argument in The Existence of God. I then present the problems I encountered in Swinburne’s argument, specifically problems that interfered with my attempt to arrive (...) at values for the probabilities discussed by Swinburne. Finally, I suggest that Swinburne’s argument would be more persuasive if he assigned exact values to his probabilities. (shrink)

Much of scientific inference involves fitting numerical data with a curve, or functional relation. The received view is that the fittest curve is the curve which best balances the conflicting demands of simplicity and accuracy, where simplicity is measured by the number ofparameters in the curve. The problem with this view is that there is no commonly accepted justification for desiring simplicity. This paper presents a measure of the stability of equations. It is argued that the fittest curve is the (...) curve which best balances stability and accuracy. The received view is defended with a proof that simplicity corresponds to stability, for linear regression equations. 1This paper is based on part of my doctoral dissertation. My thanks go to my thesis supervisor Professor Alasdair Urquhart for his encouragement, constructive criticism, and for directing me to several relevant articles: to my advisor Professor Ian Hacking for reminding me to concentrate on results that might have some application in the real world; and to my friend Wendy Brandts for sharing her ideas on a closely related problem. My thanks also to an anonymous referee of The British Journal of the Philosophy of Science for several helpful comments, to my friends and family for unfailing support, and to the Social Sciences and Humanities Research Council (awards 452-86-5885 and 453-87-0513) and the University of Toronto for financial assistance. (shrink)

A simple rule of probability revision ensures that the final result ofa sequence of probability revisions is undisturbed by an alterationin the temporal order of the learning prompting those revisions.This Uniformity Rule dictates that identical learning be reflectedin identical ratios of certain new-to-old odds, and is grounded in the oldBayesian idea that such ratios represent what is learned from new experiencealone, with prior probabilities factored out. The main theorem of this paperincludes as special cases (i) Field's theorem on commuting probability-kinematical (...) revisions and (ii) the equivalence of two strategiesfor generalizing Jeffrey's solution to the old evidence problem tothe case of uncertain old evidence and probabilistic new explanation. (shrink)

This book is a sustained defense of the compatibility of the presence of idealizations in the sciences and scientific realism. So, the book is essentially a detailed response to the infamous arguments raised by Nancy Cartwright to the effect that idealization and scientific realism are incompatible.

The notion of a severe test has played an important methodological role in the history of science. But it has not until recently been analyzed in any detail. We develop a generally Bayesian analysis of the notion, compare it with Deborah Mayo’s error-statistical approach by way of sample diagnostic tests in the medical sciences, and consider various objections to both. At the core of our analysis is a distinction between evidence and confirmation or belief. These notions must be kept separate (...) if mistakes are to be avoided; combined in the right way, they provide an adequate understanding of severity. Those who think that the weight of the evidence always enables you to choose between hypotheses “ignore one of the factors (the prior probability) altogether, and treat the other (the likelihood) as though it ...meant something other than it actually does. This is the same mistake as is made by someone who has scruples about measuring the arms of a balance (having only a tape measure at his disposal ...), but is willing to assert that the heavier load will always tilt the balance (thereby implicitly assuming, although without admitting it, that the arms are of equal length!). (Bruno de Finetti, Theory of Probability)2. (shrink)

For simplicity, most of the literature introduces the concept of definitional equivalence only for disjoint languages. In a recent paper, Barrett and Halvorson introduce a straightforward generalization to non-disjoint languages and they show that their generalization is not equivalent to intertranslatability in general. In this paper, we show that their generalization is not transitive and hence it is not an equivalence relation. Then we introduce another formalization of definitional equivalence due to Andréka and Németi which is equivalent to the Barrett–Halvorson (...) generalization in the case of disjoint languages. We show that the Andréka–Németi generalization is the smallest equivalence relation containing the Barrett–Halvorson generalization and it is equivalent to intertranslatability, which is another definition for definitional equivalence, even for non-disjoint languages. Finally, we investigate which definitions for definitional equivalences remain equivalent when we generalize them for theories in non-disjoint languages. (shrink)

The author uses a series of examples to illustrate two versions of a new, nonprobabilist principle of epistemic rationality, the special and general versions of the metacognitive, expected relative frequency principle. These are used to explain the rationality of revisions to an agent’s degrees of confidence in propositions based on evidence of the reliability or unreliability of the cognitive processes responsible for them—especially reductions in confidence assignments to propositions antecedently regarded as certain—including certainty-reductions to instances of the law of excluded (...) middle or the law of noncontradiction in logic or certainty-reductions to the certainties of probabilist epistemology. The author proposes special and general versions of the MERF principle and uses them to explain the examples, including the reasoning that would lead to thoroughgoing fallibilism—that is, to a state of being certain of nothing. The author responds to the main defenses of probabilism: Dutch Book arguments, Joyce’s potential accuracy defense, and the potential calibration defenses of Shimony and van Fraassen by showing that, even though they do not satisfy the probability axioms, degrees of belief that satisfy the MERF principle minimize expected inaccuracy in Joyce’s sense; they can be externally calibrated in Shimony and van Fraassen’s sense; and they can serve as a basis for rational betting, unlike probabilist degrees of belief, which, in many cases, human beings have no rational way of ascertaining. The author also uses the MERF principle to subsume the various epistemic akrasia principles in the literature. Finally, the author responds to Titelbaum’s argument that epistemic akrasia principles require that we be certain of some epistemological beliefs, if we are rational. (shrink)

According to the demand of the Hypothetico-Deductive (H-D) method, a theory is confirmed when the prediction-observation (p-o) gap is small and disconfirmed when the gap is large. A major goal of this paper is to introduce a research domain for which this demand does not hold. In contrast to the H-D method's demand, this research, called the Catch model for reconstructing a face previously seen from memory, requires an increase, within limits, in the p-o gap. The Catch model research substantiates (...) theoretically and empirically a new proposed method that I call the "Deductive-Reconstruction" (D-R) method. This method provides essential conditions whose fulfillment guarantees successful reconstruction of past events (a face previously seen) from memory. It is argued that the D-R method fits the area of research of reconstructing past events from memory better than the H-D method. Application of the H-D method to the Catch model's research domain leads to an internal contradiction and failure to reconstruct past events (a face previously seen) from memory. Finally, the nature of the D-R method along with the Catch model is discussed from three points of view: confirmation, explanation, and generality. (shrink)