Two long-standing arguments in cognitive science invoke the assumption that holistic inference is computationally infeasible. The first is Fodor’s skeptical argument toward computational modeling of ordinary inductive reasoning. The second advocates modular computational mechanisms of the kind posited by Cosmides, Tooby and Sperber. Based on advances in machine learning related to Bayes nets, as well as investigations into the structure of scientific and ordinary information, I maintain neither argument establishes its architectural conclusion. Similar considerations also undermine Fodor’s decades-long diagnosis of (...) artificial intelligence research as confounded by an inability to circumscribe the amount of information relevant to inferential processes. This diagnosis is particularly inapposite with respect to Bayes nets, since one of their strengths as machine learning systems has been their capacity to reason probabilistically about large data sets whose size overwhelms the capacities of individual human reasoners. A general moral follows from these criticisms: Insights into artificial and human cognitive systems are likely to be cultivated by focusing greater attention on the structure and density of connections among items of information that are available to them. (shrink)

Some hold that beliefs arising out of certain sources such as perceptual experience enjoy a kind of entitlement—as one is entitled to believe what is thereby presented as true, at least unless further evidence undermines that entitlement. This is commonly understood to require that default epistemic entitlement is a non-evidential kind of epistemic warrant. Our project here is to challenge this common, non-evidential, conception of epistemic entitlement. We will argue that although there are indeed basic beliefs with default entitlement status, (...) typically the kind of default entitlement they possess is primarily a matter of the evidential support that accrues to them, both synchronically and diachronically, from wider mental states beyond the specific sensory-perceptual experiences that spawn them. We will call this status evidentially embedded epistemic entitlement—as distinct from entitlement as commonly understood in the literature, which we will call evidentially insular. Epistemic entitlement normally is characterized in the manner set forth in the first paragraph above, viz., as a form of default epistemic warrant that a given belief possesses independently of any other beliefs. We suggest that not all evidential support is managed at the level of belief. Thus, leaves room for the possibility of an epistemically embedded kind of entitlement. Here we develop the needed conception of entitlement drawing on Henderson and Horgan’s ideas of a kind of “iceberg epistemology.”. (shrink)

Peter Brössel and Franz Huber in 2015 argued that the Bayesian concept of confirmation had no use. I will argue that it has both the uses they discussed—it can be used for making claims about how worthy of belief various hypotheses are, and it can be used to measure the epistemic value of experiments. Furthermore, it can be useful in explanations. More generally, I will argue that more coarse-grained concepts can be useful, even when we have more fine-grained concepts available.

Experimental philosophers have discovered a large number of asymmetries in our intuitions about philosophically significant notions. Often those intuitions turned out to be sensitive to normative factors. Whereas optimists have insisted on a unified explanation of these findings, pessimists have argued that it is impossible to formulate a single factor explanation. I defend the intermediate position according to which unification is possible to some extent, but should be pursued within limits. The key issue that I address is how it is (...) possible to set such limits in a way that is true to the phenomena. (shrink)

Rudolf Carnap's Der logische Aufbau der Welt (The Logical Structure of the World) is generally conceived of as being the failed manifesto of logical positivism. In this paper we will consider the following question: How much of the Aufbau can actually be saved? We will argue that there is an adaptation of the old system which satisfies many of the demands of the original programme. In order to defend this thesis, we have to show how a new 'Aufbau-like' programme may (...) solve or circumvent the problems that affected the original Aufbau project. In particular, we are going to focus on how a new system may address the well-known difficulties in Carnap's Aufbau concerning abstraction, dimensionality, and theoretical terms. (shrink)

Scientific and statistical inferences build heavily on explicit, parametric models, and often with good reasons. However, the limited scope of parametric models and the increasing complexity of the studied systems in modern science raise the risk of model misspecification. Therefore, I examine alternative, data-based inference techniques, such as bootstrap resampling. I argue that their neglect in the philosophical literature is unjustified: they suit some contexts of inquiry much better and use a more direct approach to scientific inference. Moreover, they make (...) more parsimonious assumptions and often replace theoretical understanding and knowledge about mechanisms by careful experimental design. Thus, it is worthwhile to study in detail how nonparametric models serve as inferential engines in science. (shrink)

Gott (Nature 363:315–319, 1993) considers the problem of obtaining a probabilistic prediction for the duration of a process, given the observation that the process is currently underway and began a time t ago. He uses a temporal Copernican principle according to which the observation time can be treated as a random variable with uniform probability density. A simple rule follows: with a 95% probability.

This paper examines Quine’s web of belief metaphor and its role in his various responses to conventionalism. Distinguishing between two versions of conventionalism, one based on the under-determination of theory, the other associated with a linguistic account of necessary truth, I show how Quine plays the two versions of conventionalism against each other. Some of Quine’s reservations about conventionalism are traced back to his 1934 lectures on Carnap. Although these lectures appear to endorse Carnap’s conventionalism, in exposing Carnap’s failure to (...) provide an explanatory account of analytic truth, they in fact anticipate Quine’s later critique of conventionalism. I further argue that Quine eventually deconstructs both his own metaphor and the thesis of under-determination it serves to illustrate. This enables him to hold onto under-determination, but at the cost of depleting it of any real epistemic significance. Lastly, I explore the implications of this deconstruction for Quine’s indeterminacy of translation thesis. (shrink)

The waning popularity of logical empiricism and the supposed discovery of insurmountable technical difficulties led most philosophers to abandon the project to formulate a formal criterion of empirical significance. Such a criterion would delineate claims that observation can confirm or disconfirm from those it cannot. Although early criteria were clearly inadequate, criticisms made of later, more sophisticated criteria were often indefensible or easily answered. Most importantly, Carnap’s last criterion was seriously misinterpreted and an amended version of it remains tenable.

We owe most scientific knowledge to methods of inquiry that are never formally analyzed. The analysis of behavior does not call for hypothetico-deductive methods. Statistics, taught in lieu of scientific method, is incompatible with major features of much laboratory research. Squeezing significance out of ambiguous data discourages the more promising step of scrapping the experiment and starting again. As a consequence, psychologists have taken flight from the laboratory. They have fled to Real People and the human interest of “real life,” (...) to Mathematical Models and the elegance of symbolic treatments, to the Inner Man and the explanatory preoccupation with inferred internal mechanisms, and to Laymanship and its appeal to “common sense.” An experimental analysis provides an alternative to these divertissements.The “theories” to which objection is raised here are not the basic assumptions essential to any scientific activity or statements that are not yet facts, but rather explanations which appeal to events taking place somewhere else, at some other level of observation, described in different terms, and measured, if at all, in different dimensions. Three types of learning theories satisfy this definition: physiological theories attempting to reduce behavior to events in the nervous system; mentalistic theories appealing to inferred inner events; and theories of the Conceptual Nervous System offered as explanatory models of behavior. It would be foolhardy to deny the achievements of such theories in the history of science. The question of whether they are necessary, however, has other implications.Experimental material in three areas illustrates the function of theory more concretely. Alternatives to behavior ratios, excitatory potentials, and so on demonstrate the utility of rate or probability of response as the basic datum in learning. Functional relations between behavior and environmental variables provide an account of why learning occurs. Activities such as preferring, choosing, discriminating, and matching can be dealt with solely in terms of behavior, without referring to processes in another dimensional system. The experiments are not offered as demonstrating that theories are not necessary but to suggest an alternative. Theory is possible in another sense. Beyond the collection of uniform relationships lies the need for a formal representation of the data reduced to a minimal number of terms. A theoretical construction may yield greater generality than any assemblage of facts; such a construction will not refer to another dimensional system. (shrink)

Coherence is a key concept in many accounts of epistemic justification within ‘traditional’ analytic epistemology. Within formal epistemology, too, there is a substantial body of research on coherence measures. However, there has been surprisingly little interaction between the two bodies of literature. The reason is that the existing formal literature on coherence measure operates with a notion of belief system that is very different from—what we argue is—a natural Bayesian formalisation of the concept of belief system from traditional epistemology. Therefore, (...) formal epistemology has so far only been concerned with one particular—arguably not even very natural—way of formalising coherence of belief systems; it has by no means refuted the viability of coherentism. In contrast to the existing literature, we formalise belief systems as families of assignments of (conditional) degrees of belief (which may be compatible with several subjective probability measures). Within this framework, we propose a Bayesian formalisation of the thrust of BonJour’s coherence concept in The structure of empirical knowledge (Harvard University Press, Cambridge, 1985), using a combination of Bayesian confirmation theory and basic graph theory. In excursions, we introduce graded notions for both logical and probabilistic consistency of belief systems—the latter being based on certain geometrical structures induced by probabilistic belief systems. For illustration, we reconsider BonJour’s “ravens” challenge (op. cit., p. 95f.). Finally, potential objections to our proposed formal coherence notion are explored. (shrink)

It is widely believed that one should not become more confident that all swans are white and all lions are brave simply by observing white swans. Irrelevant conjunction or “tacking” of a theory onto another is often thought problematic for Bayesianism, especially given the ratio measure of confirmation considered here. It is recalled that the irrelevant conjunct is not confirmed at all. Using the ratio measure, the irrelevant conjunction is confirmed to the same degree as the relevant conjunct, which, it (...) is argued, is ideal: the irrelevant conjunct is irrelevant. Because the past’s really having been as it now appears to have been is an irrelevant conjunct, present evidence confirms theories about past events only insofar as irrelevant conjunctions are confirmed. Hence the ideal of not confirming irrelevant conjunctions would imply that historical claims are not confirmed. Confirmation measures partially realizing that ideal make the confirmation of historical claims by present evidence depend strongly on the (presumably subjective) degree of belief in the irrelevant conjunct. The unusually good behavior of the ratio measure has a bearing on the problem of measure sensitivity. For non-statistical hypotheses, Bayes’ theorem yields a fractional linear transformation in the prior probability, not a linear rescaling, so even the ratio measure arguably does not aptly measure confirmation in such cases. (shrink)

This paper synthesizes confirmation by instances and confirmation by successful predictions, and thereby the Hempelian and the hypothetico-deductive traditions in confirmation theory. The merger of these two approaches is subsequently extended to the piecemeal confirmation of entire theories. It is then argued that this synthetic account makes a useful contribution from both a historical and a systematic perspective.

The notion of probabilistic support is beset by well-known problems. In this paper we add a new one to the list: the problem of transitivity. Tomoji Shogenji has shown that positive probabilistic support, or confirmation, is transitive under the condition of screening off. However, under that same condition negative probabilistic support, or disconfirmation, is intransitive. Since there are many situations in which disconfirmation is transitive, this illustrates, but now in a different way, that the screening-off condition is too restrictive. We (...) therefore weaken this condition to what we call ‘partial’ screening off. We show that the domain defined by partial screening off comprises two mutually exclusive subdomains. In one subdomain disconfirmation is indeed transitive, but confirmation is then intransitive. In the other, confirmation is transitive, but here disconfirmation is once more intransitive. (shrink)

It is argued that the manner in which we teach science in the high schools represents an outdated positivistic conception of science. The standard presentation of a year of each of chemistry, biology and physics should be replaced by an integrated science plus history, philosophy, and sociology of science which would take a total of three years to complete. A proper appreciation for the true nature of science is essential to the continued health of the scientific enterprise.

Hypothetico-deductive (H-D) confirmation builds on the idea that confirming evidence consists of successful predictions that deductively follow from the hypothesis under test. This article reviews scope, history and recent development of the venerable H-D account: First, we motivate the approach and clarify its relationship to Bayesian confirmation theory. Second, we explain and discuss the tacking paradoxes which exploit the fact that H-D confirmation gives no account of evidential relevance. Third, we review several recent proposals that aim at a sounder and (...) more comprehensive formulation of H-D confirmation. Finally, we conclude that the reputation of hypothetico-deductive confirmation as outdated and hopeless is undeserved: not only can the technical problems be addressed satisfactorily, the hypothetico-deductive method is also highly relevant for scientific practice. (shrink)

Bootstrapping is a suspicious form of reasoning that verifies a source's reliability by checking it against itself. Theories that endorse such reasoning face the bootstrapping problem. This article considers which theories face the problem, and surveys potential solutions. The initial focus is on theories like reliabilism and dogmatism, which allow one to gain knowledge from a source without knowing that it is reliable. But the discussion quickly turns to a more general version of the problem that does not depend on (...) this allowance. Five potential solutions to the general problem are evaluated, and some implications for the literature on peer disagreement are considered. (shrink)

We present a new argument for the claim that in the Sleeping Beauty problem, the probability that the coin comes up heads is 1/3. Our argument depends on a principle for the updating of probabilities that we call ‘generalized conditionalization’, and on a species of generalized conditionalization we call ‘synchronic conditionalization on old information’. We set forth a rationale for the legitimacy of generalized conditionalization, and we explain why our new argument for thirdism is immune to two attacks that Pust (...) (Synthese 160:97–101, 2008) has leveled at other arguments for thirdism. (shrink)

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.

RÉSUMÉ: La pragmatique et la sémantique de l’historiographie révèlent une fragmentation croissante qui s’étend par-delà les écoles jusqu’aux historiens individuels. Alors que les scientifiques normalisent les données pour qu’elles s’ajustent aux théories, les historiens interprètent leurs théories, de manières incompatibles entre elles, pour qu’elles s’ajustent aux différents cas historiques. Les difficultés qui en découlent dans la communication historiographique remettent en cause les philosophies herméneutiques de l’historiographie et redonnent un nouvel intérêt à la question d’une historiographie scientifique. Mais les réponses existantes (...) sont philosophiquement obsolètes. Une façon de reformuler le problème est de partir de la complexité du chaos et de l’unicité de l’histoire. Seule la science peut évaluer si les propriétés d’un domaine donné en interdisent une approche scientifique. Or la science s’étend par réductions méthodologiques explicatives, en ramenant des propriétés d’événements complexes, chaotiques et uniques, qui sont familières, mais d’un niveau plus élevé, à des propriétés ou interrelations non familières et d’un niveau moins élevé. La culture disciplinaire de l’historiographie, cependant, empêche le développement par essais et erreurs de telles tentatives de réductions scientifiques, qui seules permettraient d’évaluer les possibilités d’une historiographie scientifique, laquelle, dans la situation présente, relève de la science-fiction. (shrink)

In this paper a bootstrap theory of rationality is presented. Such a theory is an attempt to explain how standards of rational inquiry may be rationally revised — without assuming that there are any basic and fixed standards for evaluating such revisions. The general bootstrap idea is briefly presented in the first sections. The main part of the paper consists of a discussion of what normative requirements a bootstrap theory should contain, and a number of requirements on rational revisions are (...) proposed. The final section deals with the question of whether a bootstrap theory is self-referentially coherent. (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)

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 develops an account of scientific objectivity for a relativist theory of evidence. It briefly reviews the character and shortcomings of empiricist and wholist treatments of theory acceptance and objectivity and argues that the relativist account of evidence developed by the author in an earlier essay offers a more satisfactory framework within which to approach questions of justification and intertheoretic comparison. The difficulty with relativism is that it seems to eliminate objectivity from scientific method. Reconceiving objectivity as a function (...) of the social character of science, rather than of individually practiced methods, allows us to claim that science is objective even if relativism is true, and provides a more realistic account of scientific objectivity than is possible on either the empiricist or the wholist accounts. (shrink)

External world skeptics are typically opposed to admitting as evidence anything that goes beyond the purely phenomenal, and equally typically, they disown the use of rules of inference that might enable one to move from premises about the phenomenal alone to a conclusion about the external world. This seems to bar any a posteriori resolution of the skepticism debate. This paper argues that the situation is not quite so hopeless, and that an a posteriori resolution of the debate becomes possible (...) once it is recognized that the skeptic holds overly defensive and ill-motivated positions vis-à-vis both evidence and inference, and that more reasonable ones are available. In stating these more reasonable positions, as well as in showing how they make possible an a posteriori resolution of the skepticism debate, the paper draws on the machinery of Bayesian epistemology. (shrink)

Arguably no concept is more fundamental to science than that of causality, for investigations into cases of existence, persistence, and change in the natural world are largely investigations into the causes of these phenomena. Yet the metaphysics and epistemology of causality remain unclear. For example, the ontological categories of the causal relata have been taken to be objects (Hume 1739), events (Davidson 1967), properties (Armstrong 1978), processes (Salmon 1984), variables (Hitchcock 1993), and facts (Mellor 1995). (For convenience, causes and effects (...) will usually be understood as events in what follows.) Complicating matters, causal relations may be singular (Socrates’s drinking hemlock caused Socrates’s death) or general (Drinking hemlock causes death); hence the relata might be tokens (e.g., instances of properties) or types (e.g., types of events) of the category in question. Other questions up for grabs are: Are singular causes metaphysically and/or epistemologically prior to general causes or vice versa (or neither)? What grounds the intuitive asymmetry of the causal relation? Are macro-causal relations reducible to micro-causal relations? And perhaps most importantly: Are causal facts (e.g., the holding of causal relations) reducible to non-causal facts (e.g., the holding of certain spatiotemporal relations)? (shrink)

Explaining the connection, if any, between simplicity and truth is among the deepest problems facing the philosophy of science, statistics, and machine learning. Say that an efficient truth finding method minimizes worst case costs en route to converging to the true answer to a theory choice problem. Let the costs considered include the number of times a false answer is selected, the number of times opinion is reversed, and the times at which the reversals occur. It is demonstrated that (1) (...) always choosing the simplest theory compatible with experience, and (2) hanging onto it while it remains simplest, is both necessary and sufficient for efficiency. †To contact the author, please write to: Department of Philosophy, Carnegie Mellon University, Baker Hall 135, Pittsburgh, PA 15213-3890; e-mail: [email protected]. (shrink)

Much of the recent work on the epistemology of causation has centered on two assumptions, known as the Causal Markov Condition and the Causal Faithfulness Condition. Philosophical discussions of the latter condition have exhibited situations in which it is likely to fail. This paper studies the Causal Faithfulness Condition as a conjunction of weaker conditions. We show that some of the weaker conjuncts can be empirically tested, and hence do not have to be assumed a priori. Our results lead to (...) two methodologically significant observations: (1) some common types of counterexamples to the Faithfulness condition constitute objections only to the empirically testable part of the condition; and (2) some common defenses of the Faithfulness condition do not provide justification or evidence for the testable parts of the condition. It is thus worthwhile to study the possibility of reliable causal inference under weaker Faithfulness conditions. As it turns out, the modification needed to make standard procedures work under a weaker version of the Faithfulness condition also has the practical effect of making them more robust when the standard Faithfulness condition actually holds. This, we argue, is related to the possibility of controlling error probabilities with finite sample size (“uniform consistency”) in causal inference. (shrink)

There is a substantial literature on the Bayesian approach, and the application of Bayes'' theorem, to legal matters. However, I have found no discussion that explores fully the issue of how a Bayesian juror might be led from an initial "presumption of innocence" to the judgment (required for conviction in criminal cases) that the suspect is "guilty beyond a reasonable doubt". I shall argue here that a Bayesian juror, if she acts in accord with what the law prescribes, will virtually (...) never reach such a judgment. In section I, I discuss Bayesianism, Bayes'' rule and the relation between them. Section II addresses the two legal notions key to my worries about Bayesian jurors: the presumption of innocence and the reasonable doubt criterion. Section III explores what a Bayesian is to make of these notions, and how the legal system requires her to reason in their light. If I am right, there emerges a conflict between current legal prescriptions and the Bayesian approach. Section IV explores the import of this conflict and how it might be resolved. (shrink)

Maxwell claimed that the electrostatic inverse square law could be deduced from Cavendish's spherical condenser experiment. This is true only if the accuracy claims made by Cavendish and Maxwell are ignored, for both used the inverse square law as a premise in their analyses of experimental accuracy. By so doing, they assumed the very law the accuracy of which the Cavendish experiment was supposed to test. This paper attempts to make rational sense of this apparently circular procedure and to relate (...) it to some variants of traditional problems concerning old and new evidence. (shrink)

It is argued that a subject's evidence consists of all and only the propositions that the subject knows.

This article describes abductions as special patterns of inference to the best explanation whose structure determines a particularly promising abductive conjecture and thus serves as an abductive search strategy. A classification of different patterns of abduction is provided which intends to be as complete as possible. An important distinction is that between selective abductions, which choose an optimal candidate from given multitude of possible explanations, and creative abductions, which introduce new theoretical models or concepts. While selective abduction has dominated the (...) literature, creative abductions are rarely discussed, although they are essential in science. The article introduces several kinds of creative abductions, such as theoretical model abduction, common cause abduction and statistical factor analysis, and illustrates them by various real case examples. It is suggested to demarcate scientifically fruitful abductions from purely speculative abductions by the criterion of causal unification. (shrink)

On analogy with testimony, I define a notion of a scientific theory’s lacking or having candor, in a testing situation, according to whether the theory under test is probabilistically relevant to the processes in the test procedures, and thereby to the reliability of test outcomes. I argue that this property identifies what is distinctive about those theories that Karl Popper denounced as exhibiting “reinforced dogmatism” through their self-protective behavior (e.g., psychoanalysis, Hegelianism, Marxism). I explore whether lack of candor interferes with (...) the testing of theories, and conclude that (1) our default attitude toward theories that lack candor in a given test should be suspicion, but (2) the circumstance that a theory lacks candor in a testing situation does not preclude obtaining independent evidence for the auxiliary assumptions to which the theory is probabilistically relevant, and thereby eliminating the problem that lack of candor creates. Thus, Popper was right to think that lack of candor is a bad thing, but wrong to conclude that candor is a criterion of the scientificity of a theory. Seeing this requires recognition of some differences between intuitive relevance and probabilistic relevance, and proper appreciation of the notion of screening off and of the fact that probabilistic relevance is not transitive. (shrink)

Van Fraassen argues that explanatory power cannot be a conformational virtue. In this paper I will show that informational features of scientific theories can be positively relevant to their levels of conformation. Thus, in the cases where the explanatory power of a theory is tied to an informational feature of the theory, it can still be the case that the explanatory power of the theory is positively relevant to its level of confirmation.

Traditional analyses of the curve fitting problem maintain that the data do not indicate what form the fitted curve should take. Rather, this issue is said to be settled by prior probabilities, by simplicity, or by a background theory. In this paper, we describe a result due to Akaike [1973], which shows how the data can underwrite an inference concerning the curve's form based on an estimate of how predictively accurate it will be. We argue that this approach throws light (...) on the theoretical virtues of parsimoniousness, unification, and non ad hocness, on the dispute about Bayesianism, and on empiricism and scientific realism. * Both of us gratefully acknowledge support from the Graduate School at the University of Wisconsin-Madison, and NSF grant DIR-8822278 (M.F.) and NSF grant SBE-9212294 (E.S.). Special thanks go to A. W. F. Edwards.William Harper. Martin Leckey. Brian Skyrms, and especially Peter Turney for helpful comments on an earlier draft. (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)

According to van Fraassen, inference to the best explanation (IBE) is incompatible with Bayesianism. To argue to the contrary, many philosophers have suggested hybrid models of scientific reasoning with both explanationist and probabilistic elements. This paper offers another such model with two novel features. First, its Bayesian component is imprecise. Second, the domain of credence functions can be extended.

In an earlier article on this journal I argued that the problem of empirical underdetermination can for the largest part be solved by theoretical virtues, and for the remaining part it can be tolerated. Here I confront two further challenges to scientific realism based on underdetermination. First, there are four classes of theories which may seem to be underdetermined even by theoretical virtues. Concerning them I argue that (i) theories produced by trivial permutations and (ii) “equivalent descriptions” are compatible with (...) the truth of standard theories; instead (iii) “as if” versions of standard theories are much worse from the point of view of theoretical virtues; finally (iv) mathematically intertranslatable theories either may become empirically decidable in the future, or can be discriminated by theoretical virtues, or realists may simply plead ignorance about their claims. Secondly, I consider Stanford’s underdetermination with respect unconceived alternatives, arguing that it essentially relies on the pessimistic meta-induction from the falsity of all past theories. Therefore, it can be resisted by (a) considering the radical advancement of present with respect to past science, and (b) arguing with selective realism that past successful theories, even if false, always included some true components. (shrink)

Tacking by conjunction is a deep problem for Bayesian confirmation theory. It is based on the insight that to each hypothesis h that is confirmed by a piece of evidence e one can ‘tack’ an irrelevant hypothesis h′ so that h∧h′ is also confirmed by e. This seems counter-intuitive. Existing Bayesian solution proposals try to soften the negative impact of this result by showing that although h∧h′ is confirmed by e, it is so only to a lower degree. In this (...) article we outline some problems of these proposals and develop an alternative solution based on a new concept of confirmation that we call genuine confirmation. After pointing out that genuine confirmation is a necessary condition for cumulative confirmation we apply this notion to the tacking by conjunction problem. We consider both the question of what happens when irrelevant hypotheses are added to a hypothesis h that is confirmed by e as well as the question of what happens when h is disconfirmed. The upshot of our discussion will be that genuine confirmation provides a robust solution for each of the different perspectives. _1_ Introduction _2_ Tacking by Conjunction: Existing Solution Proposals _3_ Genuine Confirmation _3.1_ Content elements and content parts _3.2_ Qualitative genuine confirmation _3.3_ Quantitative genuine confirmation _4_ Tacking by Conjunction: The Case of Confirmation _5_ Tacking by Conjunction: The Case of Disconfirmation _6_ Tacking by Conjunction: Adding Multiple Hypotheses _7_ Conclusion Appendix. (shrink)

Re-Engineering Philosophy for Limited Beings is about new approaches to many of the big topics in philosophy of science today, but with a very different take. To begin with, we are urged to reject the received Cartesian-Laplacean myths: Descartes’ certainty and Laplace’s computational omniscience. Instead, Wimsatt re-engineers a philosophy for human beings with all their cognitive limitations. His approaches find their starting point in the actual practices of scientists themselves, which he strongly identifies with engineering practices as the source of (...) researchers’ solutions for dealing with a complex world. He aims to construct an understanding of scientific methodology around the central role of reduction. But he dismisses eliminative reductionism in favor of a heuristic-based realist view. Wimsatt’s world is a complex one, and this means that science needs to do away with all the absolute and simple answers, because they do not reflect the world we are living in. A complex world requires the mindset and tinkering of an engineer to uncover its reality. The appropriate response must be heuristics all the way down as we constantly seek out reliable inferences on often shifting ground. To this end, we aim for models and theories that are robust, just as engineers aim to build robust machines. And although errors occur and approaches are fallible, they allow us to continually adapt the heuristics applied and sharpen our perceptions so as to develop more refined tools for investigating and understanding the world. (shrink)