Evidential holism begins with something like the claim that “it is only jointly as a theory that scientific statements imply their observable consequences.” This is the holistic claim that Elliott Sober tells us is an “unexceptional observation”. But variations on this “unexceptional” claim feature as a premise in a series of controversial arguments for radical conclusions, such as that there is no analytic or synthetic distinction that the meaning of a sentence cannot be understood without understanding the whole language of (...) which it is a part and that all knowledge is empirical knowledge. This paper is a survey of what evidential holism is, how plausible it is, and what consequences it has. Section 1 will distinguish a range of different holistic claims, Sections 2 and 3 explore how well motivated they are and how they relate to one another, and Section 4 returns to the arguments listed above and uses the distinctions from the previous sections to identify holism's role in each case. (shrink)

I take Newton’s arguments to inverse square centripetal forces from Kepler’s harmonic and areal laws to be classic deductions from phenomena. I argue that the theorems backing up these inferences establish systematic dependencies that make the phenomena carry the objective information that the propositions inferred from them hold. A review of the data supporting Kepler’s laws indicates that these phenomena are Whewellian colligations—generalizations corresponding to the selection of a best fitting curve for an open-ended body of data. I argue that (...) the information theoretic features of Newton’s corrections of the Keplerian phenomena to account for perturbations introduced by universal gravitation show that these corrections do not undercut the inferences from the Keplerian phenomena. Finally, I suggest that all of Newton’s impressive applications of Universal gravitation to account for motion phenomena show an attempt to deliver explanations that share these salient features of his classic deductions from phenomena. (shrink)

This paper examines the problem of extending the programme of mathematical constructivism to applied mathematics. I am not concerned with the question of whether conventional mathematical physics makes essential use of the principle of excluded middle, but rather with the more fundamental question of whether the concept of physical infinity is constructively intelligible. I consider two kinds of physical infinity: a countably infinite constellation of stars and the infinitely divisible space-time continuum. I argue (contrary to Hellman) that these do not. (...) pose any insuperable problem for constructivism, and that constructivism may have a useful new perspective to offer on physics. (shrink)

Inference to the Best Explanation has become the subject of a livelydebate in the philosophy of science. Scientific realists maintain, while scientificantirealists deny, that it is a compelling rule of inference. It seems that anyattempt to settle this debate empirically must beg the question against theantirealist. The present paper argues that this impression is misleading. A methodis described that, by combining Glymour's theory of bootstrapping and Hacking'sarguments from microscopy, allows us to test IBE without begging any antirealistissues.

Glymour’s theory of bootstrap confirmation is a purely qualitative account of confirmation; it allows us to say that the evidence confirms a given theory, but not that it confirms the theory to a certain degree. The present paper extends Glymour’s theory to a quantitative account and investigates the resulting theory in some detail. It also considers the question how bootstrap confirmation relates to justification.

The objects of credence are the entities to which credences are assigned for the purposes of a successful theory of credence. I use cases akin to Frege's puzzle to argue against referentialism about credence : the view that objects of credence are determined by the objects and properties at which one's credence is directed. I go on to develop a non-referential account of the objects of credence in terms of sets of epistemically possible scenarios.

Garber (1983) and Jeffrey (1991, 1995) have both proposed solutions to the old evidence problem. Jeffrey's solution, based on a new probability revision method called reparation, has been generalized to the case of uncertain old evidence and probabilistic new explanation in Wagner 1997, 1999. The present paper reformulates some of the latter work, highlighting the central role of Bayes factors and their associated uniformity principle, and extending the analysis to the case in which an hypothesis bears on a countable family (...) of evidentiary propositions. This extension shows that no Garber-type approach is capable of reproducing the results of generalized reparation. (shrink)

The quantitative problem of old evidence is the problem of how to measure the degree to which e confirms h for agent A at time t when A regards e as justified at t. Existing attempts to solve this problem have applied the e-difference approach, which compares A's probability for h at t with what probability A would assign h if A did not regard e as justified at t. The quantitative problem has been widely regarded as unsolvable primarily on (...) the grounds that the e-difference approach suffers from intractable problems. Various philosophers have proposed that 'Bayesianism' should be rejected as a research strategy in confirmation theory in part because of the unsolvability of this problem. I develop a version of the e-difference approach which overcomes these problems and possesses various advantages (but also certain limitations). I develop an alternative 'theistic' approach which handles many cases that my development of the e-difference approach does not handle. I conclude with an assessment of the significance of the quantitative problem for Bayesianism and argue that this problem is misunderstood in so far as it is regarded as unsolvable, and in so far as it is regarded as a problem only for Bayesians. (shrink)

I show that van Fraassen's empiricism leads to mutually incompatible claims with regard to empirical theories. He is committed to the claim that reasons for accepting a theory and believing it are always identical, insofar as the theory in question is an empirical theory. He also makes a general claim that reasons for accepting a theory are not always reasons for believing it irrespective of whether the theory is an empirical theory.

Inductive generalization asserts that what obtains in known instances can be generalized to all. Its original form is enumerative induction, the earliest form of inductive inference, and it has been elaborated in various ways, largely with the goal of extending its reach. Its principal problem is that it supplies no intrinsic notion of strength of support so that one cannot tell if the generalization has weak or strong support.

A aceitação ou a escolha de uma teoria científica por parte de uma comunidade científica é um evento ou processo central na dinâmica científica. É, também, um evento ou processo complexo –já que dele participam as teorias, a experiência e alguma forma de relação inferencial entre a teoria e a experiência.