This target article presents a new computational theory of explanatory coherence that applies to the acceptance and rejection of scientific hypotheses as well as to reasoning in everyday life, The theory consists of seven principles that establish relations of local coherence between a hypothesis and other propositions. A hypothesis coheres with propositions that it explains, or that explain it, or that participate with it in explaining other propositions, or that offer analogous explanations. Propositions are incoherent with each other if they (...) are contradictory, Propositions that describe the results of observation have a degree of acceptability on their own. An explanatory hypothesis is acccpted if it coheres better overall than its competitors. The power of the seven principles is shown by their implementation in a connectionist program called ECHO, which treats hypothesis evaluation as a constraint satisfaction problem. Inputs about the explanatory relations are used to create a network of units representing propositions, while coherende and incoherence relations are encoded by excitatory and inbihitory links. ECHO provides an algorithm for smoothly integrating theory evaluation based on considerations of explanatory breadth, simplicity, and analogy. It has been applied to such important scientific cases as Lovoisier's argument for oxygen against the phlogiston theory and Darwin's argument for evolution against creationism, and also to cases of legal reasoning. The theory of explanatory coherence has implications for artificial intelligence, psychology, and philosophy. (shrink)

This paper argues that the difference between contemporary software intensive scientific practice and more traditional non-software intensive varieties results from the characteristically high conditionality of software. We explain why the path complexity of programs with high conditionality imposes limits on standard error correction techniques and why this matters. While it is possible, in general, to characterize the error distribution in inquiry that does not involve high conditionality, we cannot characterize the error distribution in inquiry that depends on software. Software intensive (...) science presents distinctive error and uncertainty modalities that pose new challenges for the epistemology of science. (shrink)

This article argues that a successful answer to Hume's problem of induction can be developed from a sub-genre of philosophy of science known as formal learning theory. One of the central concepts of formal learning theory is logical reliability: roughly, a method is logically reliable when it is assured of eventually settling on the truth for every sequence of data that is possible given what we know. I show that the principle of induction (PI) is necessary and sufficient for logical (...) reliability in what I call simple enumerative induction. This answer to Hume's problem rests on interpreting PI as a normative claim justified by a non-empirical epistemic means-ends argument. In such an argument, a rule of inference is shown by mathematical or logical proof to promote a specified epistemic end. Since the proof concerning PI and logical reliability is not based on inductive reasoning, this argument avoids the circularity that Hume argued was inherent in any attempt to justify PI. (shrink)

The dilemma objection charges that ‘weak’ versions of the precautionary principle (PP) are vacuous while ‘strong’ ones are incoherent. I respond that the ‘weak’ versus ‘strong’ distinction is misleading and should be replaced with a contrast between PP as a meta-rule and PP proper. Meta versions of PP require that the decision-making procedures used for environmental policy not be susceptible to paralysis by scientific uncertainty. Such claims are substantive because they often recommend against basing environmental policy decisions on cost–benefit analysis. (...) I argue that the second horn of the dilemma fails as a result of disregarding the role of proportionality in applications of PP. (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 main objective of the paper is to propose a frequentist interpretation of probability in the context of model-based induction, anchored on the Strong Law of Large Numbers (SLLN) and justifiable on empirical grounds. It is argued that the prevailing views in philosophy of science concerning induction and the frequentist interpretation of probability are unduly influenced by enumerative induction, and the von Mises rendering, both of which are at odds with frequentist model-based induction that dominates current practice. The differences between (...) the two perspectives are brought out with a view to defend the model-based frequentist interpretation of probability against certain well-known charges, including [i] the circularity of its definition, [ii] its inability to assign ‘single event’ probabilities, and [iii] its reliance on ‘random samples’. It is argued that charges [i]–[ii] stem from misidentifying the frequentist ‘long-run’ with the von Mises collective. In contrast, the defining characteristic of the long-run metaphor associated with model-based induction is neither its temporal nor its physical dimension, but its repeatability (in principle); an attribute that renders it operational in practice. It is also argued that the notion of a statistical model can easily accommodate non-IID samples, rendering charge [iii] simply misinformed. (shrink)

A major virtue of the Pragma-Dialectical theory of argumentation is its commitment to reasonableness and rationality as central criteria of argumentative quality. However, the account of these key notions offered by the originators of this theory, Frans van Eemeren and Rob Grootendorst, seems to us problematic in several respects. In what follows we criticize that account and suggest an alternative, offered elsewhere, that seems to us to be both independently preferable and more in keeping with the epistemic approach to arguments (...) and argumentation we favor. (shrink)

Hume's conception of causation and induction is discussed in the context where the causal evolution is represented by the motion of a free particle in space. The difference between classical and relativistic mechanics is shown to be significant for the discussion.

A careful analysis of Salmon’s Theoretical Realism and van Fraassen’s Constructive Empiricism shows that both share a common origin: the requirement of literal construal of theories inherited by the Standard View. However, despite this common starting point, Salmon and van Fraassen strongly disagree on the existence of unobservable entities. I argue that their different ontological commitment towards the existence of unobservables traces back to their different views on the interpretation of probability via different conceptions of induction. In fact, inferences to (...) statements claiming the existence of unobservable entities are inferences to probabilistic statements, whence the crucial importance of the interpretation of probability. (shrink)

: Some feminist epistemologists make the radical claim that there are varieties of epistemically valid warrant that agents access only through having lived particular types of contingent history, varieties of epistemic warrant to which, moreover, the confirmation-theoretic accounts of warrant favored by some traditional epistemologists are inapplicable. I offer Aristotelian virtue as a model for warrant of this sort, and use loosely Aristotelian vocabulary to express, and begin to evaluate, a range of feminist epistemological positions.

Some feminist epistemologists make the radical claim that there are varieties of epistemically valid warrant that agents access only through having lived particular types of contingent history, varieties of epistemic warrant to which, moreover, the confirmation-theoretic accounts of warrant favored by some traditional epistemologists are inapplicable. I offer Aristotelian virtue as a model for warrant of this sort, and use loosely Aristotelian vocabulary to express, and begin to evaluate, a range of feminist epistemological positions.

SummaryAfter presumably cleaning science of induction, Karl Popper claims to offer a purely noninductivist theory of science. In critically evaluating this theory, I focus on the allegedly noninductive character of this theory. First, I defend and expand Wesley Salmon's charge that Popper's dismissal of induction renders science useless for practical purposes. Without induction practitioners have no grounds for believing that the predicted event will actually take place. Second, despite Popper's demands to the contrary, his theory of science is shown to (...) rest on induction. In particular, the function he attributes to background knowledge in testing a scientific hypothesis requires induction. (shrink)

Malgré les critiques de toutes sortes dont elle fut et dont elle est encore l'objet, la grammaire transformationnelle est devenue en vingt ans, sous l'impulsion de Noam Chomsky, le paradigme dominant de la linguistique contemporaine. Et, bien sûr, l'incroyable rapidité de cette ascension s'est accompagnée de nombreuses crises de croissance. Linguistes, philosophes et psychologues, ainsi amenés à s'interroger sur les fondements épistémologiques de cette étrange discipline, se sont heurtés à de redoutables énigmes métathéoriques: de quel domaine factuel la linguistique est-elle (...) la science? les grammaires sont-elles empiriquement falsifiables? quel rôle l'intuition du locuteur – et singulièrement celle du linguiste – joue-t-elle dans l'élaboration et la confirmation de la théorie? quelle relation y a-t-il entre règles et lois? quel est le rapport théorique de la linguistique à la psychologie, à la sociologie, à la neurophysiologie? … Ces questions et d'autres semblables ont donné lieu ces dernières années à une étonnante profusion de livres et d'articles, où, à propos d'une discipline particulière et d'exemples précis, sont discutés, souvent en profondeur, tous les principaux problemes de l'épistémologie contemporaine. (shrink)

This study aims to understand scientific inference for the evolutionary procedure of Continental Drift based on abductive inference, which is important for creative inference and scientific discovery during problem solving. We present the following two research problems: (1) we suggest a scientific inference procedure as well as various strategies and a criterion for choosing hypotheses over other competing or previous hypotheses; aspects of this procedure include puzzling observation, abduction, retroduction, updating, deduction, induction, and recycle; and (2) we analyze the “theory (...) of continental drift” discovery, called the Earth science revolution, using our multistage inference procedure. Wegener’s Continental Drift hypothesis had an impact comparable to the revolution caused by Darwin’s theory of evolution in biology. Finally, the suggested inquiry inference model can provide us with a more consistent view of science and promote a deeper understanding of scientific concepts. (shrink)

In a formal theory of induction, inductive inferences are licensed by universal schemas. In a material theory of induction, inductive inferences are licensed by facts. With this change in the conception of the nature of induction, I argue that the celebrated “problem of induction” can no longer be set up and is thereby dissolved. Attempts to recreate the problem in the material theory of induction fail. They require relations of inductive support to conform to an unsustainable, hierarchical empiricism.

The view that scientific theories are partially interpreted deductive systems (theoretical deductivism) is defended against recent criticisms by Hempel. Hempel argues that the reliance of theoretical inferences (both from observation to theory and also from theory to theory) uponceteris paribus conditions orprovisos must prevent theories from establishing deductive connections among observations. In reply I argue, first, that theoretical deductivism does not in fact require the establishing of such deductive connections: I offer alternative H-D analyses of these inferences. Second, I argue (...) that when the refined character of scientific observation is taken into account, we find that a theorymay after all establish such deductive connections among scientific observations, without reliance on provisos.These conclusions are based on the multi-level Popperian contextualist account of empirical interpretation sketched in a previous paper. As before, I claim that the supposed objections to theoretical deductivism depend upon questionable empiricist theses unnecessarily conjoined with theoretical deductivism by the Logical Positivists. Theoretical deductivism itself is unaffected by these arguments, and remains (when empirical interpretation is properly analyzed) the best account of scientific theories. (shrink)

The propensity interpretation of probability, bred by Popper in 1957(K. R. Popper, in Observation and Interpretation in the Philosophy of Physics,S. Körner, ed. (Butterworth, London, 1957, and Dover, New York, 1962), p. 65; reprinted in Popper Selections,D. W. Miller, ed. (Princeton University Press, Princeton, 1985), p. 199) from pure frequency stock, is the only extant objectivist account that provides any proper understanding of single-case probabilities as well as of probabilities in ensembles and in the long run. In Sec. 1 of (...) this paper I recall salient points of the frequency interpretations of von Mises and of Popper himself, and in Sec. 2 I filter out from Popper's numerous expositions of the propensity interpretation its most interesting and fertile strain. I then go on to assess it. First I defend it, in Sec. 3, against recent criticisms(P. Humphreys, Philos. Rev.94,557 (1985); P. Milne, Erkenntnis25,129 (1986)) to the effect that conditional [or relative] probabilities, unlike absolute probabilities, can only rarely be made sense of as propensities. I then challenge its predominance, in Sec. 4, by outlining a rival theory: an irreproachably objectivist theory of probability, fully applicable to the single case, that interprets physical probabilities asinstantaneous frequencies. (shrink)

Rolston (1988) argues that in order to act ethically in the environment, moral agents must assume that their actions are potentially harmful, and then strive to prove otherwise before implementing that action. In order to determine whether or not an action in the environment is harmful requires the tools of applied epistemology in order to act in accord with Rolston’s ethical prescription. This link between ethics and epistemology demands a closer look at the relationship between confirmation theory, particularly notions of (...) plausibility, in the philosophy of science and environmental ethics. Upon taking this look, I conclude that, at least logically, we are no better off assuming that actions are maximally risky (Rolston) than when we assume minimal risk. “Our vulnerability to error is greatest not from the things that we include in the model, but from the prophecies we leave out entirely.” Francis Bretherton “What is the main epistemic problem concerning science? I take it that it is the explication of how we compare and evaluate theories, as a basis either for theory acceptance or for practical action.” Bas van Fraassen “We face two kinds of ethical difficulties. One is where we know what ought to be done but not how to get the company to do it. The other is where we do not know what is right. We do not know the facts, or how to weigh the facts, especially statistical ones. We do not know the probabilities for development of future technologies. We do not know how to attach values to facts, or how to trade this good off against that one.” Holmes Rolston. (shrink)

Ockham’s razor is the principle that, all other things being equal, scientists ought to prefer simpler theories. In recent years, philosophers have argued that simpler theories make better predictions, possess theoretical virtues like explanatory power, and have other pragmatic virtues like computational tractability. However, such arguments fail to explain how and why a preference for simplicity can help one find true theories in scientific inquiry, unless one already assumes that the truth is simple. One new solution to that problem is (...) the Ockham efficiency theorem, which states that scientists who heed Ockham’s razor retract their opinions less often and sooner than do their non-Ockham competitors. The theorem neglects, however, to consider competitors following random strategies and in many applications random strategies are known to achieve better worst-case loss than deterministic strategies. In this paper, we describe two ways to extend the result to a very general class of random, empirical strategies. The first extension concerns expected retractions, retraction times, and errors and the second extension concerns retractions in chance, times of retractions in chance, and chances of errors. (shrink)

The word ‘probability’ in ordinary language has two different senses, here called inductive and physical probability. This paper examines the concept of inductive probability. Attempts to express this concept in other words are shown to be either incorrect or else trivial. In particular, inductive probability is not the same as degree of belief. It is argued that inductive probabilities exist; subjectivist arguments to the contrary are rebutted. Finally, it is argued that inductive probability is an important concept and that it (...) is a mistake to try to replace it with the concept of degree of belief, as is usual today. (shrink)

I conceive of inductive logic as a project of explication. The explicandum is one of the meanings of the word `probability' in ordinary language; I call it inductive probability and argue that it is logical, in a certain sense. The explicatum is a conditional probability function that is specified by stipulative definition. This conception of inductive logic is close to Carnap's, but common objections to Carnapian inductive logic (the probabilities don't exist, are arbitrary, etc.) do not apply to this conception.