Philosophers have developed several detailed accounts of what makes some mathematical proofs explanatory. Significantly less attention has been paid, however, to what makes some proofs more explanatory than other proofs. That is problematic, since the reasons for thinking that some proofs explain are also reasons for thinking that some proofs are more explanatory than others. So in this paper, I develop an account of comparative explanation in mathematics. I propose a theory of the `at least as explanatory as' relation among (...) mathematical proofs. (shrink)

A longstanding philosophical premise perceives simplicity as a desirable attribute of scientific theories. One of several raised justifications for this notion is that simple theories are more likely to indicate the true makeup of natural systems. Qualitatively parsimonious hypotheses and theories keep to a minimum the number of different postulated entities within a system. Formulation of such ontologically simple working hypotheses proved to be useful in the experimental probing of narrowly defined bio systems. It is less certain, however, whether qualitatively (...) parsimonious theories are effective indicators of the true nature of complex biological systems. This paper assesses the success of ontologically simple theories in envisaging the makeup of three complex systems in bacteriology, immunology, and molecular biology. Evidence shows that parsimonious theories completely misconstrued the actual ontologically complex constitutions of the three examined systems. Since evolution and selective pressures typically produce ontologically intricate rather than simple bio systems, qualitatively parsimonious theories are mostly inapt indicators of the true nature of complex biological systems. (shrink)

Taking Carnap’s classic exposition as a starting point, this paper develops a pragmatic account of the method of explication, defends it against a range of challenges and proposes a detailed recipe for the practice of explicating. It is then argued that confusions are involved in characterizing explications as definitions, and in advocating precising definitions as an alternative to explications. Explication is better characterized as conceptual re-engineering for theoretical purposes, in contrast to conceptual re-engineering for other purposes and improving exactness for (...) purely practical reasons. Finally, three limitations which call for further development of the method of explication are discussed. (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.

It is mostly agreed that Popper's criterion of falsifiability fails to provide a useful demarcation between science and pseudo-science, because ad-hoc assumptions are always able to save any theory that conflicts with the empirical data, and a characterization of ad-hoc assumptions is lacking. Moreover, adding some testable predictions is not very difficult. It should be emphasized that the Duhem-Quine argument does not simply make the demarcation approximate, but it makes it totally useless. Indeed, no philosophical criterion of demarcation is presently (...) able to rule out even some of the most blatant cases of pseudo-science, not even approximatively. This is in sharp contrast with our firm belief that some theories are clearly not scientific. Where does this belief come from? In this paper I argue that it is necessary and possible to recognize the notion of syntactic simplicity that is able to tell the difference between empirically equivalent scientific and non-scientific theories, with a precision that is adequate to many important practical purposes, and it fully agrees with the judgments generally held in the scientific community. (shrink)

One of the main goals of scientific research is to provide a description of the empirical data which is as accurate and comprehensive as possible, while relying on as few and simple assumptions as possible. In this paper, I propose a definition of the notion of few and simple assumptions that is not affected by known problems. This leads to the introduction of a simple model of scientific progress that is based only on empirical accuracy and conciseness. An essential point (...) in this task is the understanding of the role played by measurability in the formulation of a scientific theory. This is the key to prevent artificially concise formulations. The model is confronted here with many possible objections and with challenging cases of real progress. Although I cannot exclude that the model might have some limitations, it includes all the cases of genuine progress examined here, and no spurious one. In this model, I stress the role of the state of the art, which is the collection of all the theories that are the only legitimate source of scientific predictions. Progress is a global upgrade of the state of the art. (shrink)