Studia Logica

, 89:151

Formal Methods in the Philosophy of Science


DOI: 10.1007/s11225-008-9129-2

Cite this article as:
Horsten, L. & Douven, I. Stud Logica (2008) 89: 151. doi:10.1007/s11225-008-9129-2


In this article, we reflect on the use of formal methods in the philosophy of science. These are taken to comprise not just methods from logic broadly conceived, but also from other formal disciplines such as probability theory, game theory, and graph theory. We explain how formal modelling in the philosophy of science can shed light on difficult problems in this domain.


formalizationformal methodapplied logic

Copyright information

© Springer Science+Business Media B.V. 2008

Authors and Affiliations

  1. 1.Department of PhilosophyUniversity of BristolBristolUK
  2. 2.Center for Logic and Philosophy of ScienceInstitute of PhilosophyLeuvenBelgium