Formal Methods in the Philosophy of Science

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.

[1]  H. Feigl,et al.  Inquiries and Provocations , 1980 .

[2]  Arthur W. Burks,et al.  The Presupposition Theory of Induction , 1953, Philosophy of Science.

[3]  Wayne C. Myrvold,et al.  A Bayesian Account of the Virtue of Unification , 2003, Philosophy of Science.

[4]  THE DISCURSIVE DILEMMA AS A LOTTERY PARADOX* , 2007, Economics and Philosophy.

[5]  Jaakko Kuorikoski,et al.  Computing the Perfect Model: Why Do Economists Shun Simulation?* , 2007, Philosophy of Science.

[6]  Carl G. Hempel,et al.  I.—STUDIES IN THE LOGIC OF CONFIRMATION (II.) , 1945 .

[7]  Cristina Bicchieri,et al.  Trust among Strangers* , 2002, Philosophy of Science.

[8]  C. Howson.  Hume's Problem , 2000 .

[9]  N. Chater,et al.  Précis of Bayesian Rationality: The Probabilistic Approach to Human Reasoning , 2009, Behavioral and Brain Sciences.

[10]  Hao Wang.  VI.—ON FORMALIZATION , 1955 .

[11]  C. List,et al.  Aggregating Sets of Judgments: An Impossibility Result , 2002, Economics and Philosophy.

[12]  N. Goodman.  Fact, Fiction, and Forecast , 1955 .

[13]  Gregory M. Mikkelson.  Realism versus Instrumentalism in a New Statistical Framework* , 2006, Philosophy of Science.

[14]  I. Lakatos.  Falsification and the Methodology of Scientific Research Programmes , 1976 .

[15]  C. Hempel,et al.  Studies in the Logic of Explanation , 1948, Philosophy of Science.

[16]  B. Russell.  Our Knowledge of the External World , 1960 .

[17]  L. Horsten,et al.  Earman on Underdetermination and Empirical Indistinguishability , 1998 .

[18]  T. Kuhn,et al.  The Structure of Scientific Revolutions. , 1964 .

[19]  John Earman,et al.  Bayes or bust , 1992 .

[20]  Branden Fitelson.  A probabilistic theory of coherence , 2003 .

[21]  Marc Pauly,et al.  Logical Constraints on Judgement Aggregation , 2006, J. Philos. Log..

[22]  M. Kendall,et al.  The Logic of Scientific Discovery. , 1959 .

[23]  J. Mackie,et al.  The cement of the universe : a study of causation , 1977 .

[24]  Peter Vanderschraaf,et al.  Follow the Leader: Local Interactions with Influence Neighborhoods* , 2005, Philosophy of Science.

[25]  H. Feigl.  Scientific method without metaphysical presuppositions , 1954 .

[26]  I. Lakatos,et al.  Criticism and the Growth of Knowledge: Falsification and the Methodology of Scientific Research Programmes , 1970 .

[27]  Felix Kaufmann.  Truth and Logic , 1940 .

[28]  R. Carnap.  Der logische Aufbau der Welt , 1998 .

[29]  J. Schupbach.  On a Bayesian Analysis of the Virtue of Unification* , 2005, Philosophy of Science.

[30]  Richard C. Jeffrey,et al.  Studies in inductive logic and probability , 1971 .

[31]  Bertrand Russell,et al.  Logic and Knowledge , 1957 .

[32]  Hajnal Andréka,et al.  Axiomatizing Relativistic Dynamics without Conservation Postulates , 2008, Stud Logica.

[33]  Rudolf Carnap,et al.  Logical foundations of probability , 1951 .

[34]  W. Salmon.  Four decades of scientific explanation , 1989 .

[35]  Patrick Suppes,et al.  The Desirability of Formalization in Science , 1968 .

[36]  John Earman,et al.  A Primer on Determinism , 1986 .

[37]  David Hilbert,et al.  Grundlagen der Geometrie , 2022 .