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
You can always find the topics here!Topics: Philosophy of science, Logical empiricism, Mathematical problems, Predicate logic, Logic, Formalization, Causation, Probability theory, Axioms, Scientific method
Were these topics helpful?See somethings inaccurate? Let us know!
Select the topics that are inaccurate.
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