In this article, I develop three conceptual innovations within the area of formal metatheory, and present a computer program, called Reconstructor, that implements those developments. The first development consists in a methodology for testing formal reconstructions of scientific theories, which involves checking both whether translations of paradigmatically successful applications into models satisfy the formalisation of the laws, and also whether unsuccessful applications do not. I show how Reconstructor can help carry this out, since it allows the end-user to specify a (...) formal language, input axioms and models formulated in that language, and then ask if the models satisfy the axioms. The second innovation is the introduction of incomplete models (for which the denotation of some terms is missing) into scientific metatheory, in order to represent cases of missing information. I specify the paracomplete semantics built into Reconstructor to deal with sentences where denotation failures occur. The third development consists in a new way of explicating the structuralist notion of a determination method, by equating them with algorithms. This allows determination methods to be loaded into Reconstructor and then executed within a model to find out the value of a previously non-denoting term (i.e. it allows the formal reconstruction to make predictions). This, in turn, can help test the reconstruction in a different way. Finally, I conclude with some suggestions about additional uses the program may have. (shrink)

The concept of fitness has generated a lot of discussion in philosophy of biology. There is, however, relative agreement about the need to distinguish at least two uses of the term: ecological fitness on the one hand, and population genetics fitness on the other. The goal of this paper is to give an explication of the concept of ecological fitness by providing a reconstruction of the theory of natural selection in which this concept was framed, that is, based on the (...) way the theory was put to use in Darwin’s main texts. I will contend that this reconstruction enables us to account for the current use of the theory of natural selection. The framework presupposed in the analysis will be that of metatheoretical structuralism. This framework will provide both a better understanding of the nature of ecological fitness and a more complete reconstruction of the theory. In particular, it will provide what I think is a better way of understanding how the concept of fitness is applied through heterogeneous cases. One of the major advantages of my way of thinking about natural selection theory is that it would not have the peculiar metatheoretical status that it has in other available views. I will argue that in order to achieve these goals it is necessary to make several concepts explicit, concepts that are frequently omitted in usual reconstructions. (shrink)