Kant’s Critique of Pure Reason contains an original and powerful semantics of singular cognitive reference which has important implications for epistemology and for philosophy of science. Here I argue that Kant’s semantics directly and strongly supports Newton’s Rule 4 of Philosophy in ways which support Newton’s realism about gravitational force. I begin with Newton’s Rule 4 of Philosophy and its role in Newton’s justification of realism about gravitational force (§2). Next I briefly summarize Kant’s semantics of singular cognitive reference (§3), (...) and then show that it is embedded in and strongly supports Newton’s Rule 4, and that it rules out not only Cartesian physics (per Harper) but also Cartesian, infallibilist presumptions about empirical justification generally (§4). This result exposes a key fallacy in Bas van Fraassen’s original argument for his anti-realist Constructive Empiricism (§5). (shrink)

Since Christensen refuted the Bootstrap theory of confirmation in 1990, there have been some trials to improve the Hypothetico-Deductive theory of confirmation. After some trials, Gemes (1998) declared that his revised version completely overcame the difficulties of Hypothetico-Deductivism without generating any new difficulties. In this paper, I will assert that Gemes's revised version encounters some new difficulties, so it cannot be a true alternative to the Bootstrap theory of confirmation and to classical Hypothetico-Deductivism. Also I will assert that, in principle, (...) such new difficulties cannot be overcome by any trials dependent only on formal logic. (shrink)

An amended bootstrapping can avoid Christensen's counterexamples. Earman and Edidin argue that Christensen's examples to bootstrapping rely on his failure to analyze background knowledge. I add an additional condition to bootstrapping that is motivated by Glymour's remarks on variety of evidence. I argue that it avoids the problems that the examples raise. I defend the modification against the charge that it is holistic, and that it collapses into Bayesianism.

Surprisingly, modified versions of the confirmation theory (Carnap and Hempel) and truth approximation theory (Popper) turn out to be smoothly sythesizable. The glue between the two appears to be the instrumentalist methodology, rather than that of the falsificationalist. The instrumentalist methodology, used in the separate, comparative evaluation of theories in terms of their successes and problems (hence, even if already falsified), provides in theory and practice the straight road to short-term empirical progress in science ( à la Laudan). It is (...) also argued that such progress is also functional for all kinds of truth approximation: observational, referential, and theoretical. This sheds new light on the long-term dynamics of science and hence on the relation between the main epistemological positions, viz., instrumentalism (Toulmin, Laudan), constructive empiricism (Van Fraassen), referential realism (Hacking, Cartwright), and theory realism of a non-essentialist nature (constructive realism à la Popper). Readership: Open minded philosophers and scientists. The book explains and justifies the scientist's intuition that the debate among philosophers about instrumentalism and realism has almost no practical consequences. (shrink)

Newton's methodology emphasized propositions "inferred from phenomena." These rest on systematic dependencies that make phenomena measure theoretical parameters. We consider the inferences supporting Newton's inductive argument that gravitation is proportional to inertial mass. We argue that the support provided by these systematic dependencies is much stronger than that provided by bootstrap confirmation; this kind of support thus avoids some of the major objections against bootstrapping. Finally we examine how contemporary testing of equivalence principles exemplifies this Newtonian methodological theme.

Christensen [Philosophy of Science, 50: 471–481, 1983] and [Philosophy of Science, 57: 644–662, 1990] provides two sets of counter-examples to the versions of bootstrap confirmation for standard first-order languages presented in Glymour [Theory and Evidence, Princeton University Press, Princeton, 1980] and [Philosophy of Science, 50: 626–629, 1983]. This paper responds to the counter-examples of Christensen [Philosophy of Science, 50: 471–481, 1983] by utilizing a new notion of content introduced in Gemes [Journal of Philosophical Logic, 26, 449–476, 1997]. It is claimed (...) that this response is better motivated and more effective than that presented in Glymour [Philosophy of Science, 50: 626–629, 1983]. It is then argued that while this response meets some of the counter-examples of Christensen [Philosophy of Science, 57: 644–662, 1990] two of those counter-examples, though not unanswerable, suggest the need for a substantial reformulation of the formal versions of bootstrapping. The essay proceeds with such a reformulation, arguing that this new formulation better fits the philosophical insights that originally motivated bootstrapping than do Glymour’s earlier formulations. In the concluding sections some alternative solutions to the problem posed by the Christensen counter-examples are discussed. (shrink)

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.

In spite of several attempts to explicate the relationship between a scientific hypothesis and evidence, the issue still cries for a satisfactory solution. Logical approaches to confirmation, such as the hypothetico-deductive method and the positive instance account of confirmation, are problematic because of their neglect of the semantic dimension of hypothesis confirmation. Probabilistic accounts of confirmation are no better than logical approaches in this regard. An outstanding probabilistic account of confirmation, the Bayesian approach, for instance, is found to be defective (...) in that it treats evidence as a formal entity and this creates the problem of relevance of evidence to the hypothesis at issue, in addition to the difficulties arising from the subjective interpretation of probabilities. This essay purports to satisfy the need for a successful account of hypothesis confirmation by offering an original formulation based on the notion of instantiation of the relation urged by an hypothesis. (shrink)

In spite of several attempts to explicate the relationship between a scientific hypothesis and evidence, the issue still cries for a satisfactory solution. Logical approaches to confirmation, such as the hypothetico-deductive method and the positive instance account of confirmation, are problematic because of their neglect of the semantic dimension of hypothesis confirmation. Probabilistic accounts of confirmation are no better than logical approaches in this regard. An outstanding probabilistic account of confirmation, the Bayesian approach, for instance, is found to be defective (...) in that it treats evidence as a formal entity and this creates the problem of relevance of evidence to the hypothesis at issue, in addition to the difficulties arising from the subjective interpretation of probabilities. This essay purports to satisfy the need for a successful account of hypothesis confirmation by offering an original formulation based on the notion of instantiation of the relation urged by an hypothesis. (shrink)

This paper investigates the adequacy of evidential relevance relations proposed by Glymour and others. These accounts incorporate, as a necessary condition, what I call the Positive Instance Condition (PIC): the evidence statement and auxiliary assumptions entail a "positive instance" of the hypothesis. I argue that any account which incorporates PIC as a necessary condition while allowing "bootstrap testing" is doomed to fail. A nonbootstrapping evidential relevance relation of similar form is proposed, and it is argued that, in addition to avoiding (...) published counter examples, this new relation meets two general requirements which, if not met, would undermine the ability of any account that incorporates PIC to accord with our intuitions of evidential relevance. (shrink)

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.

Noam Chomsky supone, de forma equivocada, que en la ciencia hay contrastaciones cruciales. La confirmación de las hipótesis de una teoría x no nos habilita para desestimar la teoría z, incompatible con x. Se sugiere, como alternativa, un “principio de complementariedad en lingüística”, en virtud del cual podría aceptarse que alguna teoría lingüística zes científica si ésta caracteriza ciertos fenómenos lingüísticos aun cuando resulte incompatible con la de Chomsky.

It is argued that the relation of instance confirmation has a role to play in scientific methodology that complements, rather than competing with, a modern account of inductive support such as Bayesian confirmation theory. When an instance confirms a hypothesis, it provides inductive support, but it also provides two things that other inductive supporters normally do not: first, a connection to “empirical data” that makes science epistemically special, and second, inductive support not only for the hypothesis as a whole, but (...) for its parts. Further, when it is conceived in the right way, instance confirmation can duck the arguments most often thought to refute it. A causal account of instantiation, thus of instance confirmation, is offered that looks to deliver on all of the foregoing promises. (shrink)