• This is an introduction to the Isabelle proof assistant aimed at philosophers and their students.
  • Bayesian Epistemology
    Oxford University Press. 2003.
    Probabilistic models have much to offer to philosophy. We continually receive information from a variety of sources: from our senses, from witnesses, from scientific instruments. When considering whether we should believe this information, we assess whether the sources are independent, how reliable they are, and how plausible and coherent the information is. Bovens and Hartmann provide a systematic Bayesian account of these features of reasoning. Simple Bayesian Networks allow us to model alter…Read more
  • Against Brute Fundamentalism
    Dialectica 71 (2): 231-261. 2017.
    In metaphysics, the fundamental is standardly equated with that which has no explana- tion – with that which is, in other words, ‘brute’. But this doctrine of brutalism is in tension with physicists’ ambitions to not only describe but also explain why the fundamental is as it is. The tension would ease were science taken to be incapable of furnishing the sort of explanations that brutalism is concerned with, given that these are understood to be dis- tinctively ‘metaphysical’ in character. But t…Read more
  • Structuralism in the Idiom of Determination
    British Journal for the Philosophy of Science 71 (2): 497-522. 2020.
    Ontic structural realism is a thesis of fundamentality metaphysics: the thesis that structure, not objects, has fundamental status. Claimed as the metaphysic most befitting of modern physics, OSR first emerged as an entreaty to eliminate objects from the metaphysics of fundamental physics. Such elimination was urged by Steven French and James Ladyman on the grounds that only it could resolve the ‘underdetermination of metaphysics by physics’ that they claimed reduced any putative objectual commi…Read more
  • Ontic Structural Realism
    Philosophy Compass 12 (4). 2017.
    Ontic structural realism is at its core the view that “structure is ontologically fundamental.” Informed from its inception by the scientific revolutions that punctuated the 20th century, its advocates often present the position as the perspective on ontology best befitting of modern physics. But the idea that structure is fundamental has proved difficult to articulate adequately, and what OSR's claimed naturalistic credentials consist in is hard to precisify as well. Nor is it clear that the po…Read more
  • What Truth Is
    Oxford University Press. 2018.
    Mark Jago presents and defends a novel theory of what truth is, in terms of the metaphysical notion of truthmaking. This is the relation which holds between a truth and some entity in the world, in virtue of which that truth is true. By coming to an understanding of this relation, he argues, we gain better insight into the metaphysics of truth. The first part of the book discusses the property being true, and how we should understand it in terms of truthmaking. The second part focuses on truthma…Read more
  • This chapter defends a (minimal) realist conception of progress in scientific understanding in the face of the ubiquitous plurality of perspectives in science. The argument turns on the counterfactual-dependence framework of explanation and understanding, which is illustrated and evidenced with reference to different explanations of the rainbow.
  • Four Kinds of Perspectival Truth
    Philosophy and Phenomenological Research 96 (2): 342-359. 2018.
    In this paper, I assess recent claims in philosophy of science about scientific perspectivism being compatible with realism. I clarify the rationale for scientific perspectivism and the problems and challenges that perspectivism faces in delivering a form of realism. In particular, I concentrate my attention on truth, and on ways in which truth can be understood in perspectival terms. I offer a cost-benefit analysis of each of them and defend a version that in my view is most promising in living…Read more
  • This article provides a non-technical overview of the conflict between the special theory of relativity and the dynamic theories of time. The chief argument against dynamic theories of time from relativistic mechanics is presented. The space of current responses to that argument is subsequently mapped.