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.

Inference to the Best Explanation has become the subject of a livelydebate in the philosophy of science. Scientific realists maintain, while scientificantirealists deny, that it is a compelling rule of inference. It seems that anyattempt to settle this debate empirically must beg the question against theantirealist. The present paper argues that this impression is misleading. A methodis described that, by combining Glymour's theory of bootstrapping and Hacking'sarguments from microscopy, allows us to test IBE without begging any antirealistissues.

Typically, anti-realists argue for the underdetermination of theory by the data on the basis of the claim that each theory has empirically equivalent rivals. Leplin has recently sought to show that, whatever the truth-value of this latter claim, it cannot play any positive role in an argument for underdetermination. I argue that Leplin’s attempt fails.

Fitch’s paradox shows, from fairly innocent-looking assumptions, that if there are any unknown truths, then there are unknowable truths. This is generally thought to deliver a blow to antirealist positions that imply that all truths are knowable. The present paper argues that a probabilistic version of antirealism escapes Fitch’s result while still offering all that antirealists should care for.

To save antirealism from Fitch's Paradox, Tennant has proposed to restrict the scope of the antirealist principle that all truths are knowable to truths that can be consistently assumed to be known. Although the proposal solves the paradox, it has been accused of doing so in an ad hoc manner. This paper argues that, first, for all Tennant has shown, the accusation is just; second, a restriction of the antirealist principle apparently weaker than Tennat's yields a non-ad hoc solution to (...) Fitch's Paradox; and third, the alternative is only apparently weaker than, and even provably equivalent to, Tennant's. It is thereby shown that the latter is not ad hoc after all. (shrink)

The writings of Kuhn and Feyerabend on incommensurability challenged the idea that science progresses towards the truth. Davidson famously criticized the notion of incommensurability, arguing that it is incoherent. Davidson's argument was in turn criticized by Kuhn and others. This article argues that, although at least some of the objections raised against Davidson's argument are formally correct, they do it very little harm. What remains of the argument once the objections have been taken account of is still quite damaging to (...) the thesis that formerly endorsed scientific theories are incommensurable with those of today's science. (shrink)

I offer an explicit account of the underdetermination thesis as well as of the many challenges it poses to scientific realism; a way to answer to these challenges is explored and outlined, by shifting attention to the content of theories. I argue that, even if we have solid grounds (as I contend we do) to support that some varieties of the underdetermination thesis are true, scientific realism can still offer an adequate picture of the aims and achievements of science.

In this paper I discuss the rule of inference proposed by Kuipers under the name of Inference to the Best Theory. In particular, I argue that the rule needs to be strengthened if it is to serve realist purposes. I further describe a method for testing, and perhaps eventually justifying, a suitably strengthened version of it.