This chapter utilises scholarship in philosophy of biology and philosophy of chemistry to produce meaningful implications for biology and chemistry education. The primary purpose for studying philosophical literature is to identify different perspectives on the nature of laws and explanations within these disciplines. The goal is not to resolve ongoing debates about the nature of laws and explanations but to consider their multiple forms and purposes in ways that promote deep and practical understanding of biological and chemical knowledge in educational (...) contexts. Most studies on the nature of science in science education tend to focus on general features of scientific knowledge and underemphasise disciplinary nuances. The authors aim to contribute to science education research by focusing on the characterisations of laws and explanations in biology and chemistry in the philosophical literature and illustrating how the typical coverage of biology and chemistry textbooks does not problematise meta-perspectives on the nature of laws and explanations. The chapter concludes with suggestions for making science teaching, learning and curriculum more inclusive of the epistemological dimensions of biology and chemistry. (shrink)

This (brief) note is about the (evidential) “favoring” relation. Pre-theoretically, favoring is a three-place (epistemic) relation, between an evidential proposition E and two hypotheses H1 and H2. Favoring relations are expressed via locutions of the form: E favors H1 over H2. Strictly speaking, favoring should really be thought of as a four-place relation, between E, H1, H2, and a corpus of background evidence K. But, for present purposes (which won't address issues involving K), I will suppress the background corpus, so (...) as to simplify our discussion. Moreover, the favoring relation is meant to be a propositional epistemic relation, as opposed to a doxastic epistemic relation. That is, the favoring relation is not meant to be restricted to bodies of evidence that are possessed (as evidence) by some actual agent(s), or to hypotheses that are (in fact) entertained by some actual agent(s). In this sense, favoring is analogous to the relation of propositional justification — as opposed to doxastic justification (Conee 1980). In order to facilitate a comparison of Likelihoodist vs Bayesian explications of favoring, I will presuppose the following bridge principle, linking favoring and evidential support: • E favors H1 over H2 iff E supports H1 more strongly than E supports H2.1 Finally, I will only be discussing instances of the favoring relation involving contingent, empirical claims. So, it is to be understood that “favoring” will not apply if any of E, H1, or H2 are non-contingent (and/or non-empirical). With this background in place, we're ready to begin. (shrink)

This overview of philosophy of biology lays out what implications biology and recent philosophy of biology have for general philosophy of science. The following topics are addressed in five sections: natural kinds, conceptual change, discovery and confirmation, explanation and reduction, and naturalism.

This paper is a sympathetic critique of the argument that Reichenbach develops in Chap. 2 of Experience and Prediction for the thesis that sense experience justifies belief in the existence of an external world. After discussing his attack on the positivist theory of meaning, I describe the probability ideas that Reichenbach presents. I argue that Reichenbach begins with an argument grounded in the Law of Likelihood but that he then endorses a different argument that involves prior probabilities. I try to (...) show how this second step in Reichenbach's approach can be strengthened by using ideas that have been developed recently for understanding causation in terms of the idea of intervention. (shrink)

A complete calculus of inductive inference captures the totality of facts about inductive support within some domain of propositions as relations or theorems within the calculus. It is demonstrated that there can be no complete, non-trivial calculus of inductive inference.

According to influential accounts of scientific method, e.g., critical rationalism, scientific knowledge grows by repeatedly testing our best hypotheses. In comparison to rivaling accounts of scientific reasoning such as Bayesianism, these accounts are closer to crucial aspects of scientific practice. But despite the preeminence of hypothesis tests in statistical inference, their philosophical foundations are shaky. In particular, the interpretation of "insignificant results"---outcomes where the tested hypothesis has survived the test---poses a major epistemic challenge that is not sufficiently addressed by the (...) standard methodology for conducting such tests. In this paper, I argue that a quantitative explication of degree of corroboration can fill this important methodological and epistemological gap. First, I argue that this concept is distinct from the Bayesian notion of evidential support and that it plays an independent role in scientific reasoning. Second, I demonstrate that degree of corroboration cannot be suitably explicated in a probabilistic relevance framework, as proposed by Popper. Third, I derive two measures of corroboration that possess a large number of attractive properties, establish an insightful relation between corroboration and evidential support and are not committed to a Bayesian or a frequentist framework. In sum, the paper rethinks the foundations of inductive inference by providing a novel logic of hypothesis testing. (shrink)

I aim to provide some evidence that Husserl’s description of perceptual updating actually fits very nicely into the Bayesian Brain paradigm, articulated by Karl Friston and others, and that that paradigm, in turn, can be taken as an excellent example of “Neurophenomenology”. The apparently un-phenomenological Helmholtzian component of the Bayesian Brain paradigm, according to which what one consciously seems to see is a product of unconscious causal reasoning to the best explanation of one’s sensory stimulations, can be finessed, I claim, (...) in a way that makes it compatible with a phenomenological orientation. I begin by roughly characterizing the Bayesian Brain paradigm as it relates to perceptual cognition. I then show how Husserl’s descriptions of the conscious perceptual process relate to the paradigm. I conclude with some considerations about how to understand the relation between conscious and unconscious brain process in the present case and in relation to Neurophenomenology generally. (shrink)

Phylogenetic trees are meant to represent the genealogical history of life and apparently derive their justification from the existence of the tree of life and the fact that evolutionary processes are treelike. However, there are a number of problems for these assumptions. Here it is argued that once we understand the important role that phylogenetic trees play as models that contain idealizations, we can accept these criticisms and deny the reality of the tree while justifying the continued use of trees (...) in phylogenetic theory and preserving nearly all of what defenders of trees have called the “importance of tree thinking.”. (shrink)

One of the first questions that paleontologists ask when they identify a large-scale trend in the fossil record (e.g., size increase, complexity increase) is whether it is passive or driven. In this article, I explore two questions about driven trends: (1) what is the underlying cause or source of the directional bias? and (2) has the strength of the directional bias changed over time? I identify two underdetermination problems that prevent scientists from giving complete answers to these two questions.

Darwin’s theory of evolution by natural selection is central to modern biology, but is resisted by many people. This paper discusses the major psychological obstacles to accepting Darwin’s theory. Cognitive obstacles to adopting evolution by natural selection include conceptual difficulties, methodological issues, and coherence problems that derive from the intuitiveness of alternative theories. The main emotional obstacles to accepting evolution are its apparent conflict with valued beliefs about God, souls, and morality. We draw on the philosophy of science and on (...) a psychological theory of cognitive and emotional belief revision to make suggestions about what can be done to improve acceptance of Darwinian ideas. (shrink)

This paper considers a key point of contention between classical and Bayesian statistics that is brought to the fore when examining so-called ‘persistent experimenters’—the issue of stopping rules, or more accurately, outcome spaces, and their influence on statistical analysis. First, a working definition of classical and Bayesian statistical tests is given, which makes clear that (1) once an experimental outcome is recorded, other possible outcomes matter only for classical inference, and (2) full outcome spaces are nevertheless relevant to both the (...) classical and Bayesian approaches, when it comes to planning/choosing a test. The latter point is shown to have important repercussions. Here we argue that it undermines what Bayesians may admit to be a compelling argument against their approach—the Bayesian indifference to persistent experimenters and their optional stopping rules. We acknowledge the prima facie appeal of the pro-classical ‘optional stopping intuition’, even for those who ordinarily have Bayesian sympathies. The final section of the paper, however, provides three error theories that may assist a Bayesian in explaining away the apparent anomaly in their reasoning. (shrink)

Bernoulli’s 1713 golden theorem is viewed retrospectively in the context of modern model-based frequentist inference that revolves around the concept of a prespecified statistical model Mθx\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{M}}_{{{\varvec{\uptheta}}}} \left( {\mathbf{x}} \right)$$\end{document}, defining the inductive premises of inference. It is argued that several widely-accepted claims relating to the golden theorem and frequentist inference are either misleading or erroneous: (a) Bernoulli solved the problem of inference ‘from probability to frequency’, and thus (b) the golden theorem (...) cannot justify an approximate Confidence Interval (CI) for the unknown parameter θ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\theta$$\end{document}, (c) Bernoulli identified the probability PA\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$P\left( A \right)$$\end{document} with the relative frequency 1n∑k=1nxk\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\frac{1}{n}\sum\nolimits_{k = 1}^{n} {x_{k} }$$\end{document} of event A as a result of conflating f(x0|θ)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$f({\mathbf{x}}_{0} |\theta )$$\end{document} with f(θ|x0),\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$f(\theta |{\mathbf{x}}_{0} ),$$\end{document} where x0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf{x}}_{0}$$\end{document} denotes the observed data, and (d) the same ‘swindle’ is currently perpetrated by the p value testers. In interrogating the claims (a)–(d), the paper raises several foundational issues that are particularly relevant for statistical induction as it relates to the current discussions on the replication crises and the trustworthiness of empirical evidence, arguing that: [i] The alleged Bernoulli swindle is grounded in the unwarranted claim θ^nx0≃θ∗,\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\hat{\theta }_{n} \left( {{\mathbf{x}}_{0} } \right) \simeq \theta^{*},$$\end{document} for a large enough n, where θ^nX\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\hat{\theta }_{n} \left( {\mathbf{X}} \right)$$\end{document} is an optimal estimator of the true value θ∗\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\theta^{*}$$\end{document} of θ. [ii] Frequentist error probabilities are not conditional on hypotheses (H0 and H1) framed in terms of an unknown parameter θ since θ is neither a random variable nor an event. [iii] The direct versus inverse inference problem is a contrived and misplaced charge since neither conditional distribution f(x0|θ)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$f({\mathbf{x}}_{0} |\theta )$$\end{document} and f(θ|x0)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$f(\theta |{\mathbf{x}}_{0} )$$\end{document} exists (formally or logically) in model-based (Mθx\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{M}}_{{{\varvec{\uptheta}}}} \left( {\mathbf{x}} \right)$$\end{document}) frequentist inference. (shrink)

Historical sciences like evolutionary biology reconstruct past events by using the traces that the past has bequeathed to the present. Markov chain theory entails that the passage of time reduces the amount of information that the present provides about the past. Here we use a Moran process framework to show that some evolutionary processes destroy information faster than others. Our results connect with Darwin’s principle that adaptive similarities provide scant evidence of common ancestry whereas neutral and deleterious similarities do better. (...) We also describe how the branching in phylogenetic trees affects the information that the present supplies about the past. (shrink)

This paper is a sympathetic critique of the argument that Reichenbach develops in Chap. 2 of Experience and Prediction for the thesis that sense experience justifies belief in the existence of an external world. After discussing his attack on the positivist theory of meaning, I describe the probability ideas that Reichenbach presents. I argue that Reichenbach begins with an argument grounded in the Law of Likelihood but that he then endorses a different argument that involves prior probabilities. I try to (...) show how this second step in Reichenbach’s approach can be strengthened by using ideas that have been developed recently for understanding causation in terms of the idea of intervention. (shrink)

Markov models of evolution describe changes in the probability distribution of the trait values a population might exhibit. In consequence, they also describe how entropy and conditional entropy values evolve, and how the mutual information that characterizes the relation between an earlier and a later moment in a lineage’s history depends on how much time separates them. These models therefore provide an interesting perspective on questions that usually are considered in the foundations of physics—when and why does entropy increase and (...) at what rates do changes in entropy take place? They also throw light on an important epistemological question: are there limits on what your observations of the present can tell you about the evolutionary past? (shrink)

Kantian philosophy of space, time and gravity is significantly affected in three ways by particle physics. First, particle physics deflects Schlick’s General Relativity-based critique of synthetic a priori knowledge. Schlick argued that since geometry was not synthetic a priori, nothing was—a key step toward logical empiricism. Particle physics suggests a Kant-friendlier theory of space-time and gravity presumably approximating General Relativity arbitrarily well, massive spin-2 gravity, while retaining a flat space-time geometry that is indirectly observable at large distances. The theory’s roots (...) include Seeliger and Neumann in the 1890s and Einstein in 1917 as well as 1920s–1930s physics. Such theories have seen renewed scientific attention since 2000 and especially since 2010 due to breakthroughs addressing early 1970s technical difficulties. Second, particle physics casts additional doubt on Friedman’s constitutive a priori role for the principle of equivalence. Massive spin-2 gravity presumably should have nearly the same empirical content as General Relativity while differing radically on foundational issues. Empirical content even in General Relativity resides in partial differential equations, not in an additional principle identifying gravity and inertia. Third, Kant’s apparent claim that Newton’s results could be known a priori is undermined by an alternate gravitational equation. The modified theory has a smaller symmetry group than does Newton’s. What Kant wanted from Newton’s gravity is impossible due its large symmetry group, but is closer to achievable given the alternative theory. (shrink)

Some claim that cognitive science of religion (CSR) either completely “explains religion away,” or at the very least calls the epistemic status of religious belief into question. Others claim that religious beliefs are the cognitive outputs of systems that seem highly reliable in other contexts, and thus CSR provides positive epistemic support for religious belief. I argue that (i) CSR does not provide evidence for atheism, but (ii) if one is an atheist, CSR lends “intellectual aid and comfort,” (iii) CSR (...) does not provide evidence for theism, but (iv) if one is a theist, CSR provides qualified support for Reformed Epistemology. (shrink)

What sort of evidence can confer the strongest support to a hypothesis? A natural answer is that the evidence entails the hypothesis. Roush (Tracking Truth: Knowledge, Evidence, and Science, Clarendon Press, Oxford, 2005) claims that the likelihood ratio measure of degree of incremental support can deliver this intuitively natural result, and regards it as unifying “[the] account of induction and deduction in the only way that makes sense” (p. 163). In this paper, we highlight a difficulty in the treatment of (...) this case, and question the great significance that is attached to this measure and its alleged capacity to accommodate the logicality requirement. We contrast the likelihood ratio measure with other measures (such as the Kemeny–Oppenheim measure and the difference measure), and argue that problems still emerge in light of tensions with plausible requirements for confirmation measures more generally. (shrink)

This paper addresses the general problem of how to rationally choose an algorithm for phylogenetic inference. Specifically, the controversy between maximum likelihood (ML) and maximum parsimony (MP) perspectives is reframed within the philosophical issue of theory choice. A Kuhnian approach in which rationality is bounded and value-laden is offered and construed through the notion of a Style of Modeling. A Style is divided into four stages: collecting remnant models, constructing models of taxonomical identity, implementing modeling algorithms, and finally inferring and (...) confirming evolutionary trees or cladograms. The identification and investigation of styles is useful for exploring sociological and epistemological issues such as individuating scientific communities and assessing the rationality of algorithm choice. Regarding the last point, this paper suggests that the values motivating ML and MP perspectives are justified but only contextually; these algorithms also have normative force because they can be therapeutic by allowing us to rationally choose among several competing trees, nonetheless this force is limited and cannot be used in order to decide the controversy tout court. (shrink)

This paper concerns local yet systematic problems of contrastive underdetermination of model choice in cognitive neuroscience debates about the so-called two visual systems hypothesis. The underdetermination problem is systematically generated by the way certain assumptions about the representationalist nature of computation are translated into experimental practice. The problem is that behavioural data underdetermine the choice between competing representational models. In this paper, I diagnose how these assumptions generate underdetermination problems in the choice between competing functional models of perception–action. Using the (...) tools of philosophy of science, I describe the type of underdetermination and sketch a possible cure. (shrink)

I believe that tenured historians, philosophers, and sociologists of science—when presented with the opportunity—have a professional obligation to get involved in public controversies over what should count as science. I stress ‘tenured’ because the involved academics need to be materially protected from the consequences of their involvement, given the amount of misrepresentation and abuse that is likely to follow, whatever position they take. Indeed, the institution of academic tenure justifies itself most clearly in such heat-seeking situations, where one may appear (...) to offer a reasoned defense for views that many consider indefensible. To be sure, the opportunities for involvement will vary in kind and number, but I believe that we are obliged to embrace them. In the specific case of ‘demarcation’ questions of what counts as science, the people who possess the sort of general and comparative knowledge most relevant for adducing this matter are historians, philosophers, and sociologists of science—not professional scientists unschooled in these areas.. (shrink)

This article on the epistemology of computational models stems from an analysis of the Gaia hypothesis (GH). It begins with James Kirchner’s criticisms of the central computational model of GH: Daisyworld. Among other things, the model has been criticized for being too abstract, describing fictional entities (fictive daisies on an imaginary planet) and trying to answer counterfactual (what-if) questions (how would a planet look like if life had no influence on it?). For these reasons the model has been considered not (...) testable and therefore not legitimate in science, and in any case not very interesting since it explores non actual issues. This criticism implicitly assumes that science should only be involved in the making of models that are ‘‘actual’’ (by opposition to what-if) and ‘‘specific’’ (by opposition to abstract). I challenge both of these criticisms in this article. First by showing that although the testability—understood as the comparison of model output with empirical data—is an important procedure for explanatory models, there are plenty of models that are not testable. The fact that these are not testable (in this restricted sense) has nothing to do with their being ‘‘abstract’’ or ‘‘what-if’’ but with their being predictive models. Secondly, I argue that ‘‘abstract’’ and ‘‘what-if’’ models aim at (respectable) epistemic purposes distinct from those pursued by ‘‘actual and specific models’’. Abstract models are used to propose how-possibly explanation or to pursue theorizing. What-if models are used to attribute causal or explanatory power to a variable of interest. The fact that they aim at different epistemic goals entails that it may not be accurate to consider the choice between different kinds of model as a ‘‘strategy‘‘. (shrink)

Current empirical studies of moral behavior of healthcare professionals are almost entirely focused on self-reports, usually collected under the assumption that an ethical disposition characterizes individuals across various contexts. It is well known, however, that individuals adjust their behavior to what they see being done by those in their peer group. That presents a methodological challenge to traditional research within a community of peers because the behavior of each individual is both the result of norms and a contributor to the (...) norms of others. Computer simulations can be used to address this methodological challenge. A Markov replicator model that runs on an Excel spreadsheet was used to investigate a community with four agent types in the dental community: devious practitioners, ethical practitioners who avoid involvement in the poor ethics of others, ethical practitioners who accept it as part of their professional responsibility to challenge colleagues who act unprofessionally, and those who enforce ethical standards. A panel of leaders in the profession independently estimated parameters for the model and criteria for a possible distribution of agent types in the community. The simulation converged on distributions of the agent types that were very similar to the expectations of the panel. The simulation suggests the following characteristics of such moral communities: The structure of such communities is robust across a wide distribution. It appears that reduction in unethical behavior is more sensitive to the way ethical practitioners interact with each other than to sanctions the enforcement community imposes on unethical practitioners, and that large external interventions will be short lived. (shrink)

Classical statistical inferences have been criticised for various reasons. To assess the soundness of such criticisms is a very important task because they are widely used in everyday scientific research. This is one of the reasons why the philosophy of statistics is an exciting field of study. In this paper, I focus on two such criticisms. The first one claims that the use of the p-value violates the principle of total evidence. It is a thesis that has been defended by (...) Elliott Sober and Bengt Autzen. The second one says that the result of classical tests does not only depend on the data but on the sampling plan of the experimenter also. The underlying criticism of course is that the sampling plan is not part of the evidence and that classical tests therefore violate PTE. The intentions of the experimenter should not affect the result of an inference. My aim is to show that both criticisms are unsound. Doing so, I hope to clarify the concept of p-value and the nature of the evidence in classical statistical tests. The point of my paper is to show that the identification of the evidence on which those criticisms rest is inadequate. (shrink)

Methodological likelihoodism is the view that it is possible to provide an adequate self-contained methodology for science on the basis of likelihood functions alone. I argue that methodological likelihoodism is false by arguing that an adequate self-contained methodology for science provides good norms of commitment vis-a-vis hypotheses, articulating minimal requirements for a norm of this kind, and proving that no purely likelihood-based norm satisfies those requirements.