Formal methods in the philosophy of science

DOI10.1007/s11225-008-9129-2zbMath1147.03004OpenAlexW2012415308MaRDI QIDQ941743

Leon Horsten, Igor Douven

Publication date: 2 September 2008

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-008-9129-2

zbMATH Keywords

applied logicformal methodformalizationKuhnian paradigm shift

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Related Items (3)

Informal proofs and mathematical rigour ⋮ Philosophical Logic = Philosophy + Logic? ⋮ Objects: a study in Kantian formal epistemology

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Logical constraints on judgement aggregation
• Earman on underdetermination and empirical indistinguishability
• Measuring coherence
• A Bayesian Account of the Virtue of Unification
• VI.—ON FORMALIZATION
• Probabilistic Causality
• A probabilistic theory of coherence
• I.—STUDIES IN THE LOGIC OF CONFIRMATION (I.)

This page was built for publication: Formal methods in the philosophy of science