When a theory is confronted with a problem such as a paradox, an empirical anomaly, or a vicious regress, one may change part of the theory to solve that problem. Sometimes the proposed solution is considered ad hoc. This paper gives a new definition of ‘ad hoc solution’ as used in both philosophy and science. I argue that a solution is ad hoc if it fails to live up to the explanatory requirements of a theory because the solution is not (...) backed by an explanation or because it does not diagnose the problem. Ad hoc solutions are thus magical: they solve a problem without providing insight. This definition helps to explain both why ad hoc solutions are bad and why there may be disagreement about cases. (shrink)

What does it mean for a hypothesis to be ad hoc? One prominent account has it that ad hoc hypotheses have no independent empirical support. Others have viewed ad hoc judgements as subjective. Here I critically review both of these views and defend my own Coherentist Conception of Ad hocness by working out its conceptual and descriptive attractions.

This paper argues that Duhem’s thesis does not decisively refute a corroboration-based account of scientific methodology (or ‘falsificationism’), but instead that auxiliary hypotheses are themselves subject to measurements of corroboration which can be used to inform practice. It argues that a corroboration-based account is equal to the popular Bayesian alternative, which has received much more recent attention, in this respect.

The point of the traditional distinction between the contexts of discovery and justification is to insist on the normative character of epistemology. The point is not to dismiss from epistemology merely the genesis of ideas; into the context of discovery go also descriptions of evaluative practices and decisions. However ideas are created, scrutinized, and judged, it is only the approbation to which they are entitled, accorded or not, that allegedly matters to epistemology. The criticism, familiar since N.R. Hanson's Patterns of (...) Discovery, that philosophy ought not to ignore the genesis of ideas is ironically conservative. If what is not normative epistemology is to be ignored, then the distinction would have us ignore even the reception and appraisal of scientific ideas. (shrink)

One of the things I attempted to do in my paper on independent testability was to illustrate convincingly the very real difficulties of distinguishing between the accidental and essential features of a scientific experiment. The importance of this distinction is that independent testability presumably requires differences that are essential and telling and not merely accidental reflections of existing experimental technique or of the procedural preferences of the experimenter. In the case of the Michelson-Morley and Kennedy-Thorndike experiments, I showed, following a (...) suggestion of M. G. Evans, that Grünbaum's attempt to distinguish these two experiments does not work. I also showed that certain obvious and natural variations of Grünbaum's approach do not adequately distinguish these experiments. So, for example, it will not do simply to claim that MM is characterized by equal arms and KT by unequal arms, since equal arms are required for MM only in the absence of adequate photographic registration methods. But if these methods are not available then KT is not possible. Conversely, if these methods are available, then while both MM and KT are experimentally possible, MM need not be restricted to equal arms. (shrink)

Grunbaum has argued that the Lorentz-Fitzgerald contraction hypothesis is not ad hoc since the Kennedy-Thorndike experiment can be used to provide a test that is significantly different from that provided by the Michelson-Morley experiment. In the first part of the paper, I show that the differences claimed by Grunbaum to hold between these two experiments are not sufficient for establishing independent testability. A dilemma is developed: either the Kennedy-Thorndike experiment, because of experimental realities, cannot test the uncontracted Fresnel aether theory, (...) or if experimental difficulties are ignored, the Kennedy-Thorndike experiment degenerates into a version of the Michelson-Morley experiment. The second part of the paper is a feasibility study of the prospects for defining experimental types according to aims of measurement and determination. This approach is applied to the contraction hypothesis, where it is suggested that the usual analysis of independent testability be modified. (shrink)

It has been shown that the concept of ad hocness is ambiguous when applied to natural science. Here, it is established that a similar ambiguity is present also when the concept is applied in a philosophical debate. Neil Tennant’s proposal for solving Fitch’s paradox has been accused for being ad hoc several times, and he has presented several defenses. In this paper, it is established that ad hocness is never defined, although each author uses different notions of the concept. And (...) we see that no reason to adopt a certain notion is offered. (shrink)

This article examines a series of Schelling-like models of residential segregation, in which agents prefer to be in the minority. We demonstrate that as long as agents care about the characteristics of their wider community, they tend to end up in a segregated state. We then investigate the process that causes this and conclude that the result hinges on the similarity of informational states among agents of the same type. This is quite different from Schelling-like behavior and suggests that segregation (...) is an instance of macrobehavior that can arise from a wide variety of micromotives. (shrink)

In this article I review attempts to define the term “ad hoc hypothesis,” focusing on the efforts of, among others, Karl Popper, Jarrett Leplin, and Gerald Holton. I conclude that the term is unhelpful; what is “ad hoc” seems to be a judgment made by particular scientists not on the basis of any well-established definition but rather on their individual aesthetic senses. Further, a hypothesis considered ad hoc can apparently be retroactively declared non–ad hoc on the basis of subsequent data, (...) rendering the term meaningless. (shrink)

We examine physicists’ charge of ad hocness against the Higgs mechanism in the standard model of elementary particle physics. We argue that even though this charge never rested on a clear-cut and well-entrenched definition of “ad hoc”, it is based on conceptual and methodological assumptions and principles that are well-founded elements of the scientific practice of high-energy particle physics. We further evaluate the implications of the recent discovery of a Higgs-like particle at the CERN’s Large Hadron Collider for the charge (...) of ad hocness against the Higgs mechanism. (shrink)

If a machine attains consciousness, how could we find out? In this paper, I make three related claims regarding positive tests of machine consciousness. All three claims center on the idea that an AI can be constructed “ad hoc”, that is, with the purpose of satisfying a particular test of consciousness while clearly not being conscious. First, a proposed test of machine consciousness can be legitimate, even if AI can be constructed ad hoc specifically to pass this test. This is (...) underscored by the observation that many, if not all, putative tests of machine consciousness can be passed by non-conscious machines via ad hoc means. Second, we can identify ad hoc AI by taking inspiration from the notion of an ad hoc hypothesis in philosophy of science. Third, given the first and the second claim, the most reliable tests of animal consciousness turn out to be valid and useful positive tests of machine consciousness as well. If a non-ad hoc AI exhibits clusters of cognitive capacities facilitated by consciousness in humans which can be selectively switched off by masking and if it reproduces human behavior in suitably designed double dissociation tasks, we should treat the AI as conscious. (shrink)

L’objectif de ce texte est double: expliquer certaines limitations des approches traditionnelles du succès des théories, et esquisser un critère pour l’évaluation comparative des succès empiriques d’une théorie. On insiste sur les points suivants: a) la supériorité de la prédiction sur l’adaptation, b) la résolution des anomalies non-réfutantes et c) l’utilisation limitée d’hypothèses ad hoc. Après une première partie consacrée à lever les ambiguïtés de l’expression « succès d’une théorie », la deuxième partie traite de quelques-unes des principales lacunes des (...) approches conséquentialistes traditionnelles du succès des théories. Enfin, dans la dernière section, on esquisse le critère de succès empirique d’une théorie et on donne quelques éléments pour renforcer ce critère. (shrink)

L’objectif de ce texte est double: expliquer certaines limitations des approches traditionnelles du succès des théories, et esquisser un critère pour l’évaluation comparative des succès empiriques d’une théorie. On insiste sur les points suivants: a) la supériorité de la prédiction sur l’adaptation, b) la résolution des anomalies non-réfutantes et c) l’utilisation limitée d’hypothèses ad hoc. Après une première partie consacrée à lever les ambiguïtés de l’expression « succès d’une théorie », la deuxième partie traite de quelques-unes des principales lacunes des (...) approches conséquentialistes traditionnelles du succès des théories. Enfin, dans la dernière section, on esquisse le critère de succès empirique d’une théorie et on donne quelques éléments pour renforcer ce critère. (shrink)

Sober has reconstructed the biological design argument in the framework of likelihoodism, purporting to demonstrate that it is defective for intrinsic reasons. We argue that Sober’s restriction on the introduction of auxiliary hypotheses is too restrictive, as it commits him to rejecting types of everyday reasoning that are clearly valid. Our account shows that the design argument fails, not because it is intrinsically untestable but because it clashes with the empirical evidence and fails to satisfy certain theoretical desiderata (in particular, (...) unification). Likewise, Sober’s critique of the arguments from imperfections and from evil against design is off the mark. (shrink)

For a long time, philosophers of science have expressed little interest in the so-called demarcation project that occupied the pioneers of their field, and most now concur that terms like “pseudoscience” cannot be defined in any meaningful way. However, recent years have witnessed a revival of philosophical interest in demarcation. In this paper, I argue that, though the demarcation problem of old leads to a dead-end, the concept of pseudoscience is not going away anytime soon, and deserves a fresh look. (...) My approach proposes to naturalize and down-size the concept, anchoring it in real-life doctrines and fields of inquiry. First, I argue against the definite article “the” in “the demarcation problem”, distinguishing between territorial and normative demarcation, and between different failures and shortcomings in science apart from pseudoscience. Next, I argue that pseudosciences can be fruitfully regarded as simulacra of science, doctrines that are not epistemically warranted but whose proponents try to create the impression that they are. In this element of imitation or mimicry, I argue, lies the clue to their common identity. Despite the huge variety of doctrines and beliefs gathered under the rubric of “pseudoscience”, and the wide range of defects from which they suffer, pseudosciences all engage in similar strategies to create an impression of epistemic warrant. The indirect, symptomatic approach defended here leads to a general characterization of pseudosciences in all domains of inquiry, and to a useful diagnostic tool. (shrink)

Science is increasingly becoming automated. Tasks yet to be fully automated include the conjecturing, modifying, extending and testing of hypotheses. At present scientists have an array of methods to help them carry out those tasks. These range from the well-articulated, formal and unexceptional rules to the semi-articulated and variously understood rules-of-thumb and intuitive hunches. If we are to hand over at least some of the aforementioned tasks to machines, we need to clarify, refine and make formal, not to mention computable, (...) even the more obscure of the methods scientists successfully employ in their inquiries. The focus of this essay is one such less-than-transparent methodological rule. I am here referring to the rule that ad hoc hypotheses ought to be spurned. This essay begins with a brief examination of some notable conceptions of ad hoc-ness in the philosophical literature. It is pointed out that there is a general problem afflicting most such conceptions, namely the intuitive judgments that are supposed to motivate them are not universally shared. Instead of getting bogged down in what ad hoc-ness exactly means, I shift the focus of the analysis to one undesirable feature often present in alleged cases of ad hoc-ness. I call this feature the ‘monstrousness’ of a hypothesis. A fully articulated formal account of this feature is presented by specifying what it is about the internal constitution of a hypothesis that makes it monstrous. Using this account, a monstrousness measure is then proposed and somewhat sketchily compared with the minimum description length approach. (shrink)

Popper's account of refutation is the linchpin of his famous view that the method of science is the method of conjecture and refutation. This thesis critically examines his account of refutation, and in particular the practice he deprecates as avoiding a refutation. I try to explain how he comes to hold the views that he does about these matters; how he seeks to make them plausible; how he has influenced others to accept his mistakes, and how some of the ideas (...) or responses to Popper of such people are thus similarly mistaken. I draw some distinctions necessary to the provision of an adequate account of the so-called practice of avoiding a refutation, and try to rid the debate about this practice of at least one red herring. I analyse one case of 'avoiding' a refutation in detail to show how the rationality of scientific practice eludes both Popper and many of his commentators. Popper's skepticism about contingent knowledge prevents him from providing an acceptable account of contingent refutation, and so his method is really the method of conjecture and conjecture. He cannot do without the concepts of knowledge and refutation, however, if his account of science is to be plausible or persuasive, and so he equivocates between, amongst other things, refutation as disproof and refutation as the weaker notion of discorroboration. I criticise David Stove's account of this matter, in particular to show how he misses this point. An additional advantage Popper would secure from this equivocation is that if refutations were mere discorroborations they would be easier to achieve, and hence more common in science, than is the case. On Popper's weak notion of refutation, it would be possible to refute true theories since corroboration does not entail truth. There are two other related doctrines Popper holds about refutation which, if accepted, make some refutations seem easier to obtain than is the case. I call these doctrines 'Strong Popperian Falsificationism' (SPF) and 'Weak Popperian Falsificationism' (WPF). SPF is the false doctrine that if a prediction from some theory is refuted then that theory is refuted. Popper does not always endorse SPF. In particular, when confronted with a counterexample to it, he retreats to WPF, which is the false doctrine that if a prediction from some theory is refuted then that theory is prima facie refuted. WPF , or even SPF, can seem plausible if one has in mind predictions derived from theories in strong or conclusive tests of those theories, which I suggest Popper characteristically does. v Popper is disposed to describe any such case of predictive failure which does not lead to the refutation of the theory concerned as one in which that refutation has been avoided. To reinforce his portrayal of the refutation, or the attempted refutation, of major scientific theories as the rational core of scientific practice, Popper treats the so-called practice of avoiding a refutation as untypical of science, and much so-called avoidance he dismisses as unscientific or pseudo-scientific. I argue that his notion of avoiding a refutation is incoherent. Popper is further driven to believe that such avoidance is possible, however, because he conflates sentences with propositions and propositions with propositional beliefs. Also, he wishes to avoid being saddled with the relativisim that is a consequence of his weak account of refutation as discorroboration. Popper believes that ad hoc hypotheses are the most important of the unscientific means of avoiding a refutation. I argue that his account of such hypotheses is also incoherent, and that several hypotheses thought to be ad hoc in his sense are not. Such hypotheses appear to be so largely because of Popper's use of rhetoric and partly because these hypotheses are unacceptable for other reasons. I conclude that to know that a hypothesis is ad hoc in Popper's sense does not illuminate scientific practice. Popper has also attempted to explicate ad hocness in terms of some undesirable, or allegedly undesirable, properties of hypotheses or the explanations they would provide. The first such property is circularity, which is undesirable; the second such property is reduction in empirical content, which is not. In the former case I argue that non-circularity is clearly preferable to non-ad hocness as a criterion for a satisfactory explanation or explanans, as the case may be, and in the latter case that Popper is barking up the wrong tree. Some cases of so-called avoidance are obviously not unscientific. The discovery of Neptune from a prediction based on the reasonable belief that there were residual perturbations in the motion of Uranus is an important case in point, and one that is much discussed in the literature. The manifest failure of astronomers to account for Uranus's motion did not lead to the refutation of Newton's law of gravitiation, yet significant scientific progress obviously did result. Retreating to WPF, Popper claims that Newton's law was prima facie refuted. In general, astronomers have never shared this view, and they are correct in not doing so. I argue that the law of gravitation would have been prima facie refuted only if there had been good reason at the time to believe as false what is true, namely, that an unknown trans-Uranian planet was the cause of those Uranian residuals. Knowledge of the trans-Uranian region was then so slight that it was merely a convenient assumption, one which there was little reason to believe was false, that the known influences on Uranus's motion were the only such influences. I conclude that in believing vi or supposing that it was this assumption that was false, rather than the law of gravitation, Leverrier and Adams, the co-predictors of Neptune, were acting rationally and intelligently. Popper's commentators offer a variety of accounts of the alleged practice of avoiding a refutation, and of this case in particular. I analyse a sample of their accounts to show how common is the acceptance of some of Popper's basic mistakes, even amongst those who claim to reject his falsificationism, and to display the effects on their accounts of this acceptance of his mistakes. Many commentators recognize that anomalies are typically dealt with by changes in the boundary conditions or in other of the auxiliary propositions employed. Where many still go wrong, however, is in retaining the presupposition of WPF which encouraged Popper to hold the contradictory view about anomalies in the first place. Thus Imre Lakatos and others, for example, have developed a 'siege mentality' about major scientific theories; they see them as under continual threat of refutation from anomalies, and so come to believe that dogmatism is essential in science if such theories are to survive as they do. I examine various such doomed attempts to reconcile Popper with the history of science. It is a common failure in this literature to conflate or to fail to see the need to distinguish a belief from a supposition, and an epistemic reason from a pragmatic reason. I argue that only if one does draw these distinctions can one give an adequate account of how anomalies are rationally dealt with in science. The other important strand in Popper's thinking about 'avoidance' of refutation which has seriously misled some of his commentators is his unfounded belief in the dangers of ad hoc hypotheses. I examine the accounts that a sample of such commentators provide of the trans-Uranian planet hypotheses of Leverrier and Adams. These commentators imply or assert what Popper only hints at, namely, that there is something fishy about this hypothesis. I provide a further defence of the rationality of entertaining this hypothesis at the time. I conclude with a few remarks about Popper's dilemma in respect of scientific practice and his long standing emphasis on refutations. (shrink)

Please follow the link below for the most recent version of this paper: http://philsci-archive.pitt.edu/archive/00004005/.

What is wrong with ad hoc hypotheses? Ever since Popper’s falsificationist account of adhocness, there has been a lively philosophical discussion about what constitutes adhocness in scientific explanation, and what, if anything, distinguishes legitimate auxiliary hypotheses from illicit ad hoc ones. This paper draws upon distinct examples from pseudoscience to provide us with a clearer view as to what is troubling about ad hoc hypotheses. In contrast with other philosophical proposals, our approach retains the colloquial, derogative meaning of adhocness, and (...) calls attention to the way in which the context of a theoretical move bears on the charge of adhocness. We also discuss the role of motivations implicit in the concept of adhocness, and the way ad hoc moves draw on theory-internal rationalizations. (shrink)