Formal Methods in the Philosophy of Science | Zendy

Leon Horsten | Zendy; Igor Douven | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Formal Methods in the Philosophy of Science

Author(s) -

Leon Horsten,

Igor Douven

Publication year - 2008

Publication title -

studia logica

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.736

H-Index - 39

eISSN - 1572-8730

pISSN - 0039-3215

DOI - 10.1007/s11225-008-9129-2

Subject(s) - formal science , formal epistemology , philosophy of science , theory , grammar systems theory , philosophy of computer science , formal methods , computer science , epistemology , formal semantics (linguistics) , computational linguistics , formal language , philosophy of language , domain (mathematical analysis) , western philosophy , artificial intelligence , mathematics , philosophy , programming language , social epistemology , metaphysics , generative grammar , emergent grammar , mathematical analysis

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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research