According to the demand of the Hypothetico-Deductive (H-D) method, a theory is confirmed when the prediction-observation (p-o) gap is small and disconfirmed when the gap is large. A major goal of this paper is to introduce a research domain for which this demand does not hold. In contrast to the H-D method's demand, this research, called the Catch model for reconstructing a face previously seen from memory, requires an increase, within limits, in the p-o gap. The Catch model research substantiates (...) theoretically and empirically a new proposed method that I call the "Deductive-Reconstruction" (D-R) method. This method provides essential conditions whose fulfillment guarantees successful reconstruction of past events (a face previously seen) from memory. It is argued that the D-R method fits the area of research of reconstructing past events from memory better than the H-D method. Application of the H-D method to the Catch model's research domain leads to an internal contradiction and failure to reconstruct past events (a face previously seen) from memory. Finally, the nature of the D-R method along with the Catch model is discussed from three points of view: confirmation, explanation, and generality. (shrink)

I review the philosophical literature on the question of when two physical theories are equivalent. This includes a discussion of empirical equivalence, which is often taken to be necessary, and sometimes taken to be sufficient, for theoretical equivalence; and "interpretational" equivalence, which is the idea that two theories are equivalent just in case they have the same interpretation. It also includes a discussion of several formal notions of equivalence that have been considered in the recent philosophical literature, including definitional equivalence (...) and categorical equivalence. The article concludes with a brief discussion of the relationship between equivalence and duality. (shrink)

Handbook of the History of Logic, vol. 10, eds. Dov Gabbay, Stephan Hartmann, and John Woods, forthcoming.

State of the art paper on the problem of induction: how to justify the conclusion that ‘all Fs are Gs’ from the premise that ‘all observed Fs are Gs’. The most prominent theories of contemporary philosophical literature are discussed and analysed, such as: inductivism, reliabilism, perspective of laws of nature, rationalism, falsificationism, the material theory of induction and probabilistic approaches, according to Carnap, Reichenbach and Bayesianism. In the end, we discuss the new problem of induction of Goodman, raised by the (...) grue predicate. (shrink)

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

Early modern experimental philosophers often appear to commit to, and utilise, corpuscular and mechanical hypotheses. This is somewhat mysterious: such hypotheses frequently appear to be simply assumed, odd for a research program which emphasises the careful experimental accumulation of facts. Isaac Newton was one such experimental philosopher, and his optical work is considered a clear example of the experimental method. Focusing on his optical investigations, I identify three roles for hypotheses. Firstly, Newton introduces a hypothesis to explicate his abstract theory. (...) The purpose here is primarily to improve understanding or uptake of the theory. Secondly, he uses a hypothesis as a platform from which to generate some crucial experiments to decide between competing accounts. The purpose here is to suggest experiments in order to bring a dispute to empirical resolution. Thirdly, he uses a hypothesis to suggest an underlying physical cause, which he then operationalises and represents abstractly in his formal theory. The second and third roles are related in that they are both cases of scaffolding: hypotheses provide a temporary platform from which further experimental work and/or theorising can be carried out. In short, the entities and processes included in Newton’s optical hypothesis are not simply assumed hypothetical posits. Rather, they play instrumental roles in Newton’s experimental philosophy. (shrink)

I offer an explicit account of the underdetermination thesis as well as of the many challenges it poses to scientific realism; a way to answer to these challenges is explored and outlined, by shifting attention to the content of theories. I argue that, even if we have solid grounds (as I contend we do) to support that some varieties of the underdetermination thesis are true, scientific realism can still offer an adequate picture of the aims and achievements of science.

The thesis consists of an introduction and five papers. The introduction gives a brief historical survey of empirical investigations into the effectiveness of medicinal interventions, as well as surveys of the concept of evidence and of the history and philosophy of experiments. The main ideas of the EBM movement are also presented. Paper I: Concerns have been raised that clinical trials do not offer reliable evidence for some types of treatment, in particular for highly individualised treatments, for example traditional homeopathy. (...) With respect to individualised treatments, it is argued that such concerns are unfounded. There are two minimal conditions related to the nature of the treatments that must be fulfilled for evaluability in a clinical trial, namely the proper distinction of treatment groups and the elimination of confounding variables or variations. These conditions do not preclude the testing of individualised medicine. Paper II: Traditionally, mechanistic reasoning has been assigned a negligible role in the EBM literature. When discussed, mechanistic reasoning has almost exclusively been positive – both in an epistemic sense of claiming that there is a mechanistic chain and in a health-related sense of there being claimed benefits for the patient. Negative mechanistic reasoning has been neglected. I distinguish three main types of negative mechanistic reasoning and subsume them under a new definition. One of the three distinguished types, which is negative only in the health-related sense, has a corresponding positive counterpart, whereas the other two, which are epistemically negative, do not have such counterparts, at least not that are particularly interesting as evidence. Accounting for negative mechanistic reasoning in EBM is therefore partly different from accounting for positive mechanistic reasoning. Paper III: Evidence hierarchies are lists of investigative strategies ordered with regard to the claimed strength of evidence. They have been used for a couple of decades within EBM, particularly for the assessment of evidence for treatment recommendations, but they remain controversial. An under-investigated question is what the order in the hierarchy means. Four interpretations of the order are distinguished and discussed. The two most credible ones are, in rough terms, “typically stronger” and “ideally stronger”. The GRADE framework seems to be based on the “typically stronger” reading. Even if the interpretation of an evidence hierarchy were established, hierarchies appear to be rather unhelpful for the task of evidence aggregation. However, specifying the intended order relation may help sort out disagreements. Paper IV: There are three main arguments for randomisation that connect inseparably to theoretical concepts: Randomisation is useful for performing null hypothesis testing. Randomisation is needed for plausible causal inferences from treatment to effect. Randomisation is acceptable and computationally convenient in a Bayesian setting. A critical scrutiny of these arguments shows that is acceptable in the context of clinical trials. As for, it is argued that randomisation only provides weak reasons for drawing causal inferences in the context of real clinical trials. Argument is weak because it is controversial among Bayesians, and because formally Bayesian analyses of trial results are rarely asked for. Paper V: Practical arguments for randomisation are arguments with no necessary connections to theoretical frameworks like null hypothesis testing or causal inferences. Four common practical arguments in the context of clinical trials are distinguished and assessed: Randomisation contributes to allocation concealment. Randomisation contributes to the baseline balance of treatment groups. Randomisation decreases self-selection bias. Randomisation removes allocation bias. Argument is rejected. Arguments and are approved. Argument is rejected if it is formulated so as to be independent from and, but it is true that randomisation contributes to balance through the mechanisms mentioned in and. It is judged that may be the strongest single argument. (shrink)

"Partial realism" is a common position in the contemporary philosophy of science literature. It states that the "essential" elements of empirically successful scientific theories accurately represent corresponding features the world. This thesis makes several novel contributions related to this position. Firstly, it offers a new definition of the concept of “empirical success”, representing a principled merger between the use-novelty and unification accounts. Secondly, it provides a comparative critical analysis of various accounts of which elements are "essential" to the success of (...) a theory, including structural realism and the divide et impera strategy. A novel account of essentialness, entitled the “empirically successful sub-theory "account", is defended. Thirdly, it is argued that the realism/anti-realism debate should put to the side metaphysical questions and focus instead on partial realism's commitment to the continuity of science. Because this commitment lacks metaphysical implications, it is referred to as "deflationary realism". Anti-realists cannot reject deflationary realism as a matter of a priori principle; its overall viability can therefore only be assessed by a careful examination of the history of science. Finally, another consequence of partial realism, named "partial rationalism", is defended. Partial rationalism states that, in cases where several competing theories have been suggested, scientists are rational just in case they accept the essential elements of each of the scientific theories on offer. This novel position subverts the existing literature on scientific "revolutions", as it sometimes demands that scientists devise a synthesis between competing scientific theories, instead of "choosing" only one. The philosophical points defended in this thesis are illustrated and supported by case studies from the history of science, including Fresnel’s wave theory of light, the Copernican revolution, the "neo-Darwinian synthesis" in evolutionary biology, the "prion revolution" in molecular biology, the miasma theory of disease, and the chemical revolution. (shrink)

The fine-tuning argument can be used to support the Many Universe hypothesis. The Inverse Gambler’s Fallacy objection seeks to undercut the support for the Many Universe hypothesis. The objection is that although the evidence that there is life somewhere confirms Many Universes, the specific evidence that there is life in this universe does not. I will argue that the Inverse Gambler’s Fallacy is not committed by the fine-tuning argument. The key issue is the procedure by which the universe with life (...) is selected for observation. Once we take account of the procedure, we find that the support for the Many Universe hypothesis remains. (shrink)

The topic of this study is to what extent standards of rational inquiry can be rationally criticized and revised. It is argued that it is rational to treat all such standards as open to criticism and revision. Arguments to the effect that we are fallible with regard to all standards of rational inquiry are presented. Standards cannot be ultimately justified and with certainty established either as adequate or as inescapable presuppositions. Apel's attempt to give ultimate justifications of certain moral and (...) logical rules is examined and criticized. Special attention is given to our fallibility with regard to logical inference rules. The idea that certain logical rules cannot be put into question because any critical argument presupposes them is criticized. It has been claimed that there must be some basic standards which are such that they cannot be rationally evaluated and hence are rationally unrevisable. This is called "the unrevisability thesis". Related to this thesis is the normative policy according to which rationality requires that some standards be treated as unrevisable, the unrevisability policy. Two arguments that have been used to defend the unrevisability thesis and policy are examined and criticized. The conclusion is that we are not forced to accept either the thesis or the policy. The negation of the unrevisability policy is the revisability policy, according to which it is rational to treat all standards as open to rational criticism and revision. Objections that have been directed against the revisability policy are discussed and criticized. According to the objections, the revisability policy leads to rationality relativism. These objections are refuted, and it is argued that it is, on the contrary, rational to adopt the revisability policy and treat all standards of rational inquiry as criticizable and revisable. It is proposed that the rational change of standards should be viewed as a bootstrap process. General features of a bootstrap view of rational change of standards are presented, and it is argued that it is impossible to formulate a real theory of bootstrapping. Two models of standard change are presented and discussed: Laudan's reticulated model of scientific rationality and Briskman's bootstrap theory. It is claimed that in spite of defects and limitations, these models contribute to a richer understanding of bootstrapping. The fallibility and revisability of standards of rational inquiry have consequences for how the normativity of rationality should be understood. The book ends with an account of how the rationality of cognitive actions is related to the idea of the adequacy of standards. A distinction between absolute and standard-relative rationality is made, and it is argued that what an inquiring agent rationally ought to do coincides with what it is standard-relatively rational for him to do. It is shown that this view of rationality of inquiry is nevertheless inconsistent with rationality relativism, and that it is compatible with an objectivistic view of rationality. (shrink)

With resources hinted at in different ways by both Duhem and Quine, it is argued that some of their misgivings about empirical confirmation, or crucial experiments, may be exaggerated or unfounded; and that such experiments, suitably conceived, can give good meaning to empirical sentences. With appropriate meanings one can then wonder about synonymy and analyticity.

En este trabajo hago una comparación sistemática entre las dos teorías de la confirmación más populares en la actualidad: el método hipotético-deductivo y el bayesianismo. En primer lugar, enumero los cinco problemas fundamentales de la teoría hipotético-deductivista. Estos son el problema de las hipótesis estadísticas, el del grado de confirmación, el de la conjunción irrelevante, el del holismo epistemológico y el de las hipótesis alternativas. Luego, hago una presentación general de la epistemología bayesiana y muestro de qué manera estos problemas (...) resultan tratables en el marco bayesiano. Finalmente, concluyo que los tres primeros admiten una solución satisfactoria, sobre la base de algunos supuestos razonables. Los dos últimos, en cambio, todavía son problemas abiertos para la teoría bayesiana de la confirmación. Bayesians often affirm they have produced the best available theory of confirmation. In particular, they claim to have superseded the venerable hypothetico-deductive method. In this paper I intend to assess that claim by making a systematic comparison between both theories of confirmation. I begin by listing the main problems of hypothetico-deductive confirmation. I then show that this conception is incompatible with Hempel's conditions of adequacy for qualitative confirmation. I expound the Bayesian theory of confirmation with some detail in order to show that this theory is able to solve three out of the five fundamental problems of hypothetico-deductive confirmation. largue that the remaining two problems are still open questions for the Bayesians. (shrink)

It seems improbable that life would exist in a naturalistic universe. But if the universe were spatially infinite, then seemingly improbable events would be expected to happen; life would be expected to exist. It follows that the existence of life provides evidence that the universe is spatially infinite.

Reliable Reasoning is a simple, accessible, beautifully explained introduction to Vapnik and Chervonenkis’s statistical learning theory. It includes a modest discussion of the application of the theory to the philosophy of induction; the purpose of these remarks is to say something more. 27.

For any normative domain, we can theorize about what is good in that domain. Such theories include utilitarianism, a view about what is good morally. But there are many domains other than the moral; these include the prudential, the aesthetic, and the intellectual or epistemic. In this last domain, it is good to be knowledgeable and bad to ignore evidence, quite apart from the morality, prudence, and aesthetics of these things. This dissertation builds a theory that stands to the epistemic (...) domain as utilitarianism stands to the moral domain. It builds an epistemic value theory. (shrink)

I review some recent work on applications of category theory to questions concerning theoretical structure and theoretical equivalence of classical field theories, including Newtonian gravitation, general relativity, and Yang-Mills theories.

This paper is an effort to realize and explore the connections that exist between nonmonotonic logic and confirmation theory. We pick up one of the most wide-spread nonmonotonic formalisms – default logic – and analyze to what extent and under what adjustments it could work as a logic of induction in the philosophical sense. By making use of this analysis, we extend default logic so as to make it able to minimally perform the task of a logic of induction, having (...) as a result a system which we believe has interesting properties from the standpoint of theory of confirmation. It is for instance able to represent chains of inductive rules as well as to reason paraconsistently on the conclusions obtained from them. We then use this logic to represent some traditional ideas concerning confirmation theory, in particular the ones proposed by Carl Hempel in his classical paper "Studies in the Logic of Confirmation" of 1945 and the ones incorporated in the so-called abductive and hy-pothetico-deductive models. (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 add to the theory’s observational consequences, and so are ruled scientifically inadmissibility by existing significance criteria. I spell out this objection by specifying shortcut terms 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)

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

For simplicity, most of the literature introduces the concept of definitional equivalence only to languages with disjoint signatures. In a recent paper, Barrett and Halvorson introduce a straightforward generalization to languages with non-disjoint signatures and they show that their generalization is not equivalent to intertranslatability in general. In this paper,we show that their generalization is not transitive and hence it is not an equivalence relation. Then we introduce the Andréka and Németi generalization as one of the many equivalent formulations for (...) languages with disjoint signatures. We show that the Andréka-Németi generalization is the smallest equivalence relation containing the Barrett–Halvorson generalization and it is equivalent to intertranslatability even for languages with non-disjoint signatures. Finally,we investigate which definitions for definitional equivalences remain equivalent when we generalize them for theories with non-disjoint signatures. (shrink)

The world science describes tends to have a very strange look. We can’t see atoms or force fields, nor are they imaginable within visualizable categories, so neither can we even imagine what the world must be like according to recent physical theories. That tension, between what science depicts as reality and how things appear to us, though it is more striking now, has been with us since modern science began. It can be addressed, and perhaps alleviated by inquiring into how (...) science represents nature. In general, representation is selective, the selection is of what is relevant to the purpose at hand, and success may even require distortion. From this point of view, the constraint on science, that it must ‘save the phenomena’, takes on a new form. The question to be faced is how the perspectival character of the appearances (that is, contents of measurement outcomes) can be related to the hidden structure that the sciences postulate. In the competing interpretations of quantum mechanics we can see how certain traditional ideals and constraints are left behind. Specifically, Carlo Rovelli’s Relational Quantum Mechanics offers a probative example of the freedom of scientific representation. (shrink)

In biomedical measurement, biomarkers are used to achieve reliable prediction of, and useful causal information about patient outcomes while minimizing complexity of measurement, resources, and invasiveness. A biomarker is an assayable metric that discloses the status of a biological process of interest, be it normative, pathophysiological, or in response to intervention. The greatest utility from biomarkers comes from their ability to help clinicians (and researchers) make and evaluate clinical decisions. In this paper we discuss a specific methodological use of clinical (...) biomarkers in pharmacological measurement: Some biomarkers, called ‘surrogate markers’, are used to substitute for a clinically meaningful endpoint corresponding to events and their penultimate risk factors. We confront the reliability of clinical biomarkers that are used to gather information about clinically meaningful endpoints. Our aim is to present a systematic methodology for assessing the reliability of multiple surrogate markers (and biomarkers in general). To do this we draw upon the robustness analysis literature in the philosophy of science and the empirical use of clinical biomarkers. After introducing robustness analysis we present two problems with biomarkers in relation to reliability. Next, we propose an intervention-based robustness methodology for organizing the reliability of biomarkers in general. We propose three relevant conditions for a robust methodology for biomarkers: (R1) Intervention-based demonstration of partial independence of modes: In biomarkers partial independence can be demonstrated through exogenous interventions that modify a process some number of “steps” removed from each of the markers. (R2) Comparison of diverging and converging results across biomarkers: By systematically comparing partially-independent biomarkers we can track under what conditions markers fail to converge in results, and under which conditions they successfully converge. (R3) Information within the context of theory: Through a systematic cross-comparison of the markers we can make causal conclusions as well as eliminate competing theories. We apply our robust methodology to currently developing Alzheimer’s research to show its usefulness for making causal conclusions. (shrink)

I will show that, in the Problem of Old Evidence, unless a rational agent has a property I will call theoretical omniscience (a stronger version of logical omniscience), a problem with non-commutativity of the learning theories follows. Therefore, scientists, when trying to behave as close to rationality as possible, should behave in a way close to the counterfactual strategy. The concept of theoretical omniscience will be applied to the problem of Jeffrey conditionalization, as an example, and we will see that (...) a more complete theoretical model can provide a classical conditionalization where you can learn that data was wrong and all you will not unlearn is your memory. (shrink)