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)

The idea that human cognitive capacities are explainable by computational models is often conjoined with the idea that, while the states postulated by such models are in fact realized by brain states, there are no type-type correlations between the states postulated by computational models and brain states (a corollary of token physicalism). I argue that these ideas are not jointly tenable. I discuss the kinds of empirical evidence available to cognitive scientists for (dis)confirming computational models of cognition and argue that (...) none of these kinds of evidence can be relevant to a choice among competing computational models unless there are in fact type-type correlations between the states postulated by computational models and brain states. Thus, I conclude, research into the computational procedures employed in human cognition must be conducted hand-in-hand with research into the brain processes which realize those procedures. (shrink)

Despite the considerable attention that the systematicity argument has enjoyed, it is worthwhile examining the argument within the context of similar explanatory arguments from the history of science. This kind of analysis helps show that Connectionism, qua Connectionism, really does not have an explanation of systematicity. Second, and more surprisingly, one finds that the systematicity argument sets such a high explanatory standard that not even Classicism can explain the systematicity of thought.

New computer systems of discovery create a research program for logic and philosophy of science. These systems consist of inference rules and control knowledge that guide the discovery process. Their paths of discovery are influenced by the available data and the discovery steps coincide with the justification of results. The discovery process can be described in terms of fundamental concepts of artificial intelligence such as heuristic search, and can also be interpreted in terms of logic. The traditional distinction that places (...) studies of scientific discovery outside the philosophy of science, in psychology, sociology, or history, is no longer valid in view of the existence of computer systems of discovery. It becomes both reasonable and attractive to study the schemes of discovery in the same way as the criteria of justification were studied: empirically as facts, and logically as norms. (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)

Philosophers have often wanted to state a principled way of demarcating empirical from non-empirical thought. This was a major concern of the Vienna Circle. In my view, this is an important intellectual project. Although it is not so common now to address the issue directly, it hovers in the background of many discussions. Non-empirical thought comes in different kinds. Perhaps some is a priori. Common candidates are mathematical, logical, modal and moral thought. Some non-empirical thought might be non-cognitive. Common candidates (...) are moral, aesthetic and religious thought. Or some non-empirical thought might be pseudo-empirical. Common candidates are astrological, theistic, Marxist or psychoanalytic thought; such thought masquerades as empirical, but in fact is not. These are all ways that thought can fail to be empirical. Here I shall focus for the most part on the case of morality, where there has been a lively debate about the empirical status of moral thought. I shall probe the prospects for a demarcation principle that can be used to decide whether or not moral thought is empirical. Some philosophers have recently presented what seems like a compelling case for thinking that moral thought is empirical, and so engaging with their arguments will raise the issue of what the empirical/nonempirical distinction amounts to, and also the issue of how to tell which forms of thought are empirical and which are not. (shrink)

As a working hypothesis for philosophy of science, the unity of science thesis has been decisively challenged in all its standard formulations; it cannot be assumed that the sciences presuppose an orderly world, that they are united by the goal of systematically describing and explaining this order, or that they rely on distinctively scientific methodologies which, properly applied, produce domain-specific results that converge on a single coherent and comprehensive system of knowledge. I first delineate the scope of arguments against global (...) unity theses. However implausible old-style global unity theses may now seem, I argue that unifying strategies of a more local and contingent nature do play an important role in scientific inquiry. This is particularly clear in archaeology where, to establish evidential claims of any kind, practitioners must exploit a range of inter-field and inter-theory connections. At the same time, the robustness of these evidential claims depends on significant disunity between the sciences from which archaeologists draw background assumptions and auxiliary hypotheses. This juxtaposition of unity with disunity poses a challenge to standard positions in the debate about scientific unity. (shrink)

This paper documents the pragmatic turn in the later philosophy of C. G. Hempel.

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

_ doi:10.1093/analys/anx072 _, published: 27 June 2017.

Anti-exceptionalism about logic takes logical theories to be continuous with scientific theories. Scientific theories are subject to criteria of theoretical equivalence. This article compares two types of theoretical equivalence – one syntactic and one semantic – in the context of logical anti-exceptionalism, and argues that the syntactic approach leads to undesirable consequences. The anti-exceptionalist should therefore take a semantic approach when evaluating whether logical theories, understood as scientific theories, are equivalent. This article argues for a particular semantic approach, in terms (...) of categorical equivalence, to determine whether logical theories are equivalent. (shrink)

That many of our most successful scientific theories involve one or more idealizations poses a challenge to traditional models of theory confirmation. One popular response amongst scientific realists is the “improvement model of confirmation”: if tightening up one or more of the idealizations leads to greater predictive accuracy, then this supports the belief that the theory’s inaccuracy is a result of its idealizations and not because it is wrong. In this article I argue that the improvement model is deeply flawed (...) and that therefore idealizations continue to undermine “success-to-truth” arguments for scientific realism. (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)

I argue that a criterion of theoretical equivalence due to Glymour :227–251, 1977) does not capture an important sense in which two theories may be equivalent. I then motivate and state an alternative criterion that does capture the sense of equivalence I have in mind. The principal claim of the paper is that relative to this second criterion, the answer to the question posed in the title is “yes”, at least on one natural understanding of Newtonian gravitation.

This article examines the effect of material evidence upon historiographic hypotheses. Through a series of successive Bayesian conditionalizations, I analyze the extended competition among several hypotheses that offered different accounts of the transition between the Bronze Age and the Iron Age in Palestine and in particular to the “emergence of Israel”. The model reconstructs, with low sensitivity to initial assumptions, the actual outcomes including a complete alteration of the scientific consensus. Several known issues of Bayesian confirmation, including the problem of (...) old evidence, the introduction and confirmation of novel theories and the sensitivity of convergence to uncertain and disputed evidence are discussed in relation to the model’s result and the actual historical process. The most important result is that convergence of probabilities and of scientific opinion is indeed possible when advocates of rival hypotheses hold similar judgment about the factual content of evidence, even if they differ sharply in their historiographic interpretation. This speaks against the contention that understanding of present remains is so irrevocably biased by theoretical and cultural presumptions as to make an objective assessment impossible. (shrink)

In a recent paper James Bogen and James Woodward denounce a set of views on confirmation that they collectively brand 'IRS'. The supporters of these views cast confirmation in terms of Inferential Relations between observational and theoretical Sentences. Against 1RS accounts of confirmation, Bogen and Woodward unveil two main objections: (a) inferential relations are not necessary to model confirmation relations since many data are neither in sentential form nor can they be put in such a form and (b) inferential relations (...) are not sufficient to model confirmation relations because the former cannot capture evidentially relevant factors about the detection processes and instruments that generate the data. In this paper I have a two-fold aim: (i) to show that Bogen and Woodward fail to provide compelling grounds for the rejection of IRS models and (ii) to highlight some of the models' neglected merits. (shrink)

The story of how Perrin’s experimental work established the reality of atoms and molecules has been a staple in (realist) philosophy of science writings (Wesley Salmon, Clark Glymour, Peter Achinstein, Penelope Maddy, …). I’ll argue that how this story is told distorts both what the work was and its significance, and draw morals for the understanding of how theories can be or fail to be empirically grounded.

Logic and philosophy of science share a long history, though contacts have gone through ups and downs. This paper is a brief survey of some major themes in logical studies of empirical theories, including links to computer science and current studies of rational agency. The survey has no new results: we just try to make some things into common knowledge.

The frequent occurrence of comorbidity has brought about an extensive theoretical debate in psychiatry. Why are the rates of psychiatric comorbidity so high and what are their implications for the ontological and epistemological status of comorbid psychiatric diseases? Current explanations focus either on classification choices or on causal ties between disorders. Based on empirical and philosophical arguments, we propose a conventionalist interpretation of psychiatric comorbidity instead. We argue that a conventionalist approach fits well with research and clinical practice and resolves (...) two problems for psychiatric diseases: experimenter’s regress and arbitrariness. (shrink)

Much of scientific inference involves fitting numerical data with a curve, or functional relation. The received view is that the fittest curve is the curve which best balances the conflicting demands of simplicity and accuracy, where simplicity is measured by the number ofparameters in the curve. The problem with this view is that there is no commonly accepted justification for desiring simplicity. This paper presents a measure of the stability of equations. It is argued that the fittest curve is the (...) curve which best balances stability and accuracy. The received view is defended with a proof that simplicity corresponds to stability, for linear regression equations. 1This paper is based on part of my doctoral dissertation. My thanks go to my thesis supervisor Professor Alasdair Urquhart for his encouragement, constructive criticism, and for directing me to several relevant articles: to my advisor Professor Ian Hacking for reminding me to concentrate on results that might have some application in the real world; and to my friend Wendy Brandts for sharing her ideas on a closely related problem. My thanks also to an anonymous referee of The British Journal of the Philosophy of Science for several helpful comments, to my friends and family for unfailing support, and to the Social Sciences and Humanities Research Council (awards 452-86-5885 and 453-87-0513) and the University of Toronto for financial assistance. (shrink)

Philosophers have often noted that science displays an uncommon degree of consensus on beliefs among its practitioners. Yet consensus in the sciences is not a goal in itself. I consider cases of consensus on beliefs as concrete events. Consensus on beliefs is neither a sufficient nor a necessary condition for presuming that these beliefs constitute knowledge. A concrete consensus on a set of beliefs by a group of people at a given historical period may be explained by different factors according (...) to various hypotheses. A particularly interesting hypothesis from an epistemic perspective is the knowledge hypothesis: shared knowledge explains a consensus on beliefs. If all the alternative hypotheses to the knowledge hypotheses are false or are not as good in explaining a concrete consensus on beliefs, the knowledge hypothesis is the best explanation of the consensus. If the knowledge hypothesis is best, a consensus becomes a plausible, though fallible, indicator of knowledge. I argue that if a consensus on beliefs is uncoerced, uniquely heterogeneous and large, the gap between the likelihood of the consensus given the knowledge hypothesis and its likelihoods given competing hypotheses tends to increase significantly. Consensus is a better indicator of knowledge than "success" or "human flourishing". (shrink)

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)

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)

The author uses a series of examples to illustrate two versions of a new, nonprobabilist principle of epistemic rationality, the special and general versions of the metacognitive, expected relative frequency principle. These are used to explain the rationality of revisions to an agent’s degrees of confidence in propositions based on evidence of the reliability or unreliability of the cognitive processes responsible for them—especially reductions in confidence assignments to propositions antecedently regarded as certain—including certainty-reductions to instances of the law of excluded (...) middle or the law of noncontradiction in logic or certainty-reductions to the certainties of probabilist epistemology. The author proposes special and general versions of the MERF principle and uses them to explain the examples, including the reasoning that would lead to thoroughgoing fallibilism—that is, to a state of being certain of nothing. The author responds to the main defenses of probabilism: Dutch Book arguments, Joyce’s potential accuracy defense, and the potential calibration defenses of Shimony and van Fraassen by showing that, even though they do not satisfy the probability axioms, degrees of belief that satisfy the MERF principle minimize expected inaccuracy in Joyce’s sense; they can be externally calibrated in Shimony and van Fraassen’s sense; and they can serve as a basis for rational betting, unlike probabilist degrees of belief, which, in many cases, human beings have no rational way of ascertaining. The author also uses the MERF principle to subsume the various epistemic akrasia principles in the literature. Finally, the author responds to Titelbaum’s argument that epistemic akrasia principles require that we be certain of some epistemological beliefs, if we are rational. (shrink)

Criteria of empirical significance are supposed to state conditions under which reference to an unobservable object or property is “empirically meaningful”. The intended kind of empirical meaningfulness should be necessary for admissibility into the selective contexts of scientific inquiry. I defend Justus’s recent argument that the reasons generally given for rejecting the project of defining a significance criterion are unpersuasive. However, as I show, this project remains wedded to an overly narrow conception of its subject matter. Even the most cutting (...) edge significance criteria identify empirical significance with predictive power, and thereby rule out vocabulary with legitimate scientific functions. In a nutshell, the problem is that there are terms that reduce the computational burden of extracting predictions from theory, and that may therefore be scientifically useful, but that do not produce any additional predictions, and so are ruled scientifically inadmissibility by existing significance criteria. I spell out this objection by specifying terms of this kind that are ruled inadmissible by Creath’s and Schurz’s criteria. Having objected in this way to extant criteria, and to the equation of empirical significance with predictive power in general, I discuss an approach to defining empirical significance that is capable of avoiding my objection and, more ambitiously, that may break the cycle of “punctures and patches” that has plagued the project from the beginning: I gloss Goldfarb and Ricketts’s idea of “case-by-case” delineations of empirically significant terms as the provision of special rather than general explications of the informal concept of empirical significance. (shrink)

Alexander Rosenberg has played a large role in creating the philosophy of economics as a distinct area of philosophy. But since the publication of Microeconomic Laws in 1976, Professor Rosenberg's thinking about economics has been casting the subject in an increasingly uncomplimentary light. This development is reflected in Rosenberg's new book Economics–Mathematical Politics or Science of Diminishing Returns? In this stimulating work Rosenberg endorses the view that economics does not constitute scientific empirical knowledge. He says.

Amalgamating evidence of different kinds for the same hypothesis into an overall confirmation is analogous, I argue, to amalgamating individuals’ preferences into a group preference. The latter faces well-known impossibility theorems, most famously “Arrow’s Theorem”. Once the analogy between amalgamating evidence and amalgamating preferences is tight, it is obvious that amalgamating evidence might face a theorem similar to Arrow’s. I prove that this is so, and end by discussing the plausibility of the axioms required for the theorem.

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)

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)

Why are conditional degrees of belief in an observation E, given a statistical hypothesis H, aligned with the objective probabilities expressed by H? After showing that standard replies are not satisfactory, I develop a suppositional analysis of conditional degree of belief, transferring Ramsey’s classical proposal to statistical inference. The analysis saves the alignment, explains the role of chance-credence coordination, and rebuts the charge of arbitrary assessment of evidence in Bayesian inference. Finally, I explore the implications of this analysis for Bayesian (...) reasoning with idealized models in science. (shrink)

One of the most troubling and persistent challenges for Bayesian Confirmation Theory is the Problem of Old Evidence. The problem arises for anyone who models scientific reasoning by means of Bayesian Conditionalization. This article addresses the problem as follows: First, I clarify the nature and varieties of the POE and analyze various solution proposals in the literature. Second, I present a novel solution that combines previous attempts while making weaker and more plausible assumptions. Third and last, I summarize my findings (...) and put them into the context of the general debate about POE and Bayesian reasoning. (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.