Research areas: Formal Epistemology, Philosophy of Science, Philosophy of Logic and Mathematics, Formal Logic, Artificial Intelligence
I am a scientific realist and a mathematical instrumentalist with a particular interest in what our best current scientific theories say about the nature of physical reality. As a logician my research primarily involves the development of systematic logics for the representation of uncertain inferences, especially the logic by which evidence may support or refute scientific hypotheses and theories. These logics are central to the area of research called formal epistemology. Much of my work in this area explicates and extends the probabilistic inductive logic known as Bayesian Inference or Bayesian Confirmation Theory. I also work on logics for comparative plausibility relations (e.g., X is at least as plausible as Y) and on logics of defeasible support.
For an extensive list of publications, with links to manuscripts, click here.