Formal Methods in the Philosophy of Science |
| |
Authors: | Leon Horsten Igor Douven |
| |
Institution: | (1) Department of Philosophy, University of Bristol, 9 Woodland Road, Bristol, BS81TB, UK;(2) Center for Logic and Philosophy of Science, Institute of Philosophy, Kardinaal Mercierplein 2, B-3000 Leuven, Belgium |
| |
Abstract: | 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. |
| |
Keywords: | formalization formal method applied logic |
本文献已被 SpringerLink 等数据库收录! |
|