You are not currently logged in.
Access JSTOR through your library or other institution:
Formal Methods in the Philosophy of Science
Leon Horsten and Igor Douven
Studia Logica: An International Journal for Symbolic Logic
Vol. 89, No. 2, Applied Logic in the Philosophy of Science (Jul., 2008), pp. 151-162
Published by: Springer
Stable URL: http://www.jstor.org/stable/40268970
Page Count: 12
Preview not available
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.
Studia Logica: An International Journal for Symbolic Logic © 2008 Springer