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)

An interesting metatheoretical controversy took place during the 1980’s and 1990’s between pattern and phylogenetic cladists. What was always at stake in the discussion was not how work in systematics should be carried out, but rather how this practice should be metatheoretically interpreted. In this article, we criticize Pearson’s account of the metatheoretical factors at play in this discussion. Following him, we focus on the issue of circularity, and on the role that phylogenetic hypotheses play in the determination of “primary (...) homologies”. Pearson argues that the recognition of primary homologies cannot be achieved without recourse to previous phylogenetic knowledge, and that to claim otherwise is to state that primary homologies are observable. To show why that view would be inadequate, he appeals to Hanson’s views about theory-laden observation, alongside with a specific case study, which allegedly illustrates the more complex relation between observation and theory. We will argue that the pattern cladists’ point is better addressed by taking a quite different approach: instead of thinking in terms of observability, the topic can be tackled by paying attention to the way in which concepts are determined. We will take the notion of T-theoricity from metatheoretical structuralism and show that, once the issue is discussed with the appropriate metatheoretical framework, the alleged counterexample brought up by Pearson is not problematic at all for pattern cladism. (shrink)

Due to an unfortunate turn of events, the family name of the first author was erroneously published as ‘RoffÕ’ in the original publication. The correct representation of the first author’s family name is listed above and below.

In this article, I examine the issue of the alleged circularity in the determination of homologies within cladistic analysis. More specifically, I focus on the claims made by the proponents of the dynamic homology approach, regarding the distinction (sometimes made in the literature) between primary and secondary homology. This distinction is sometimes invoked to dissolve the circularity issue, by upholding that characters in a cladistic data matrix have to be only primarily homologous, and thus can be determined independently of phylogenetic (...) hypotheses, by using the classical Owenian criteria (for morphological characters) or via multiple sequence alignment (for sequence data). However, since in the dynamic approach, sequence data can be analyzed without being pre-aligned, proponents have claimed that the distinction between primary and secondary homology has no place within cladistics. I will argue that this is not the case, since cladistic practice within the dynamic framework does presuppose primary homology statements at a higher level. (shrink)

The present work analyzes the controversy within biological systematics regarding the status of cladistics. The use of the parsimony method for phylogenetic reconstruction has been defended by appealing to a methodological principle of simplicity, as well as to empirical principles that external to systematics. I propose new kind of approach, which consists in considering it an empirical theory, thus justifying its application by its empirical success. To defend this point, a formal structuralist reconstruction of cladistics will be provided, which will (...) help clarify what its central empirical statements are. At the same time, I show how these principles have been used to test that theory using experimental phylogenies. (shrink)

This work takes a stand on whether Wallace should be regarded as co-author of the theory of natural selection alongside Darwin as he is usually considered on behalf of his alleged essential contribution to the conception of the theory. It does so from a perspective unexplored thus far: we will argue for Darwin’s priority based on a rational reconstruction of the theory of natural selection as it appears in the writings of both authors. We show that the theory does not (...) appear in exactly the same manner in the writings of each of its alleged co-discoverers: tough we find the same fundamental elements in both works, even in Darwin’s early texts, we discern a more complex unifying and ramified structure than the one we find in Wallace’s Ternate manuscript. Even when we think the badge of the “Darwin–Wallace” theory is well deserved, the unifying force of Darwin’s version has proved to be one of the keys for the ulterior success of the so-called Darwinian revolution in Biology. (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)

RESUMENSegún un punto de vista muy difundido, y alineado con la concepción nómica de la explicación causal, la biología funcional está sometida a un régimen de heteronomía explicativa en cuyo marco los fenómenos orgánicos deben explicarse causalmente recurriendo a leyes oriundas de la física y la química. En contra de esa perspectiva, la concepción experimental de la causación permite entender la naturaleza de muchas explicaciones biológicas que, sin hacer referencia a leyes causales - físicas, químicas o de cualquier otra naturaleza (...) - se legitiman por el hecho de ponernos en condiciones de controlar experimentalmente fenómenos relativos al funcionamiento y a la constitución de los organismos. Esas explicaciones suponen invariantes locales que muchas veces, pero no necesariamente, podrán llegar a ser caracterizados como instancias de leyes físico-químicas. ABSTRACTIn accordance with a widespread point of view, aligned with the nomological conception of causal explanation, Functional Biology is subjected to a regime of explanatory heteronomy under which, organic phenomena should be causally explained by using laws of Physics and Chemistry. Against this perspective, the experimental conception of causation allows us to understand the nature of many biological explanations that, without make any reference to causal laws - physical, chemical or of other nature - are legitimized because they permit the experimental control of phenomena that have to do with the functioning and development of organisms. These explanations involve local invariants that often, but not necessarily, may be characterized as instances of physical and chemical laws. (shrink)

A given explanatory theory T falls into circular reasoning if the only way to determine its explanandum is through the application of T. To find an underlying theory T′ that determines T′s explanandum helps us save T from this accusation of circularity. We follow the structuralist view of theories in presenting and dealing with this issue, by applying it to particular theories. More specifically, we focus on the relationship between the Darwinian theory of common ancestry and the determination of homologies.

Algunos aspectos de La expresión de las emociones de Charles Darwin pueden resultar intrigantes, pues, en la explicación de cómo tales expresiones se originan, Darwin casi nunca apela a la selección natural. En cambio, apela principalmente a la idea de que movimientos voluntarios se asocian a emociones, volviéndose por hábito innatos e involuntarios al heredarse a la descendencia. Si bien Darwin da varias razones para defender esta explicación, en este trabajo trataré de mostrar que, si se entiende el libro sobre (...) las expresiones en relación con los objetivos explícitos e implícitos de El origen del hombre (libro del cual originalmente iba a ser un capítulo), el asunto se entiende mejor. En particular, resulta interesante la tesis que Desmond y Moore plantean respecto a la importancia de los ideales antiesclavistas de Darwin a la hora del tratamiento de las razas. Defenderé en este trabajo que el enfoque de Desmond y Moore puede extenderse al libro acerca de las expresiones. Específicamente, estableceré vínculos entre la explicación del origen de las razas y la explicación del origen del rubor. (shrink)

Two metascientific concepts that have been ― and still are ― object of philosophical analysis are the concepts of model and theory. But while the concept of scientific theory was one of the concepts to which philosophers of science devoted most attention during the 20th century, it is only in recent decades that the concept of scientific model has come to occupy a central position in philosophical reflection. However, it has done so in such a way that, at present, as (...) Jim Bogen states in the back cover of the book Scientific Models in the Philosophy of Science, by Daniela Bailer-Jones, “[t]he standard philosophical literature on the role of models in scientific reasoning is voluminous, disorganized, and confusing”. In spite of this, one of the axes that would allow us to organize at least part of this literature, and with which Bailer-Jones’ book closes, is that which is identified as one of the “contemporary philosophical issues: how theories and models relate to each other” (Bailer-Jones 2009, p. 208).That is why, in this introduction to the special issues of Metatheoria devoted to the topic of “Models and Theories in Biology”, we will present the main advances that have been made in the philosophical analysis of the concepts of model and theory in general and in biology in particular, and we will also do the same with the answers that have been given to the problem of "how theories and models relate to each other”. (shrink)

Three metascientific concepts that have been object of philosophical analysis are the concepts oflaw, model and theory. The aim ofthis article is to present the explication of these concepts, and of their relationships, made within the framework of Sneedean or Metatheoretical Structuralism (Balzer et al. 1987), and of their application to a case from the realm of biology: Population Dynamics. The analysis carried out will make it possible to support, contrary to what some philosophers of science in general and of (...) biology in particular hold, the following claims: a) there are "laws" in biological sciences, b) many of the heterogeneous and different "models" of biology can be accommodated under some "theory", and c) this is exactly what confers great unifying power to biological theories. (shrink)

In two occasions a Bibliography of Structuralism has been published in Erkenntnis (1989, 1994). Since then a lot of water has flowed under the bridge and the structuralist program has shown a continuous development. The aim of the present bibliography is to celebrate the 25th anniversary of the publication of An Architectonic for Science –structuralism’s main reference work– and of its recent translation into Spanish by updating the previous bibliographies with titles which have appeared since 1994 as well as before (...) that year but which are not included in them. As in the former deliveries, this bibliography only covers books and articles that are concerned directly with the structuralist approach in the philosophy of science. We would like to thank the many colleagues who have helped us in collecting all the information. Notwithstanding we apologize in advance for the possible entries that we missed to include in this third Bibliography of Structuralism. (shrink)

En este trabajo discutimos la extensión de la influencia que el pensamiento de Richard Owen tuvo sobre el de Charles Darwin. Además, se intentará mostrar lo heterogéneo de tal influencia, que va desde teorías específicas a giros retóricos. Esta influencia es en muchos casos subestimada, dando la sensación de que la novedad darwiniana consistió únicamente en mirar con ojos desprejuiciados lo que los otros no habían visto. Esta visión resulta injusta con Owen, y también con el esfuerzo conceptual llevado adelante (...) por Darwin con las piezas brindadas por sus precursores. Finalmente, este es un caso interesante para entender el tipo de novedad aportada por las revoluciones científicas y el modo sofisticado en que tal novedad se sustenta sobre el trabajo de los enfoques previos. (shrink)

Resumen: La capacidad unificadora de una teoría científica es un rasgo usualmente contemplado a la hora de evaluar su adecuación. Kitcher ha elucidado satisfactoriamente tal noción mediante su enfoque de los patrones explicativos. Sin embargo, su perspectiva adolece de ciertas carencias. Concretamente, sostendremos que el requisito de rigurosidad de los patrones para evaluar la capacidad unificadora debe ser repensado, pues atenta contra la heterogeneidad característica de las diferentes aplicaciones de teorías unificadoras. A su vez, mostraremos cómo estas dificultades bien pueden (...) ser subsanadas desde el marco del estructuralismo metateórico sin por ello resignar ninguna de las acertadas intuiciones de Kitcher. -/- Palabras clave: Explicación, Kitcher, estructuralismo metateórico, unificación, unificación espuria. -/- Abstract: Kitcher has satisfactorily explicated unification using his particular approach to scientific explanation. However, we believe that his perspective has certain problems, which have been inherited by more recent approaches to the topic. Specifically, the requirement of stringency of patterns that Kitcher proposes to determine the unifying power of an explanatory pattern undermines the typical and peculiar heterogeneity we can find in different applications of unifying theories. We will show how this topic can be better addressed by the perspective built by metatheoretical structuralism without sacrificing any of Kitcher’s correct intuitions. -/- Keywords: Explanation, Kitcher, metatheoretical structuralism, spurious unification, unification. (shrink)

Resumen: Usualmente se ha asumido que una única distinción puede dar cuenta del rol que cumplen los conceptos en una teoría respecto de la contrastación y respecto de la explicación. Intentaremos mostrar que esta asunción es incorrecta. Por una parte, no hay razones para considerar que esta coincidencia deba darse, y por otra, como se intentará mostrar a partir de varios ejemplos, de hecho, no se da. La base de contrastación de una teoría no tiene por qué coincidir con el (...) explanandum de la teoría. Para defender este punto se asumirá el estructuralismo metateórico. Se extraerán consecuencias para la concepción metateórica presupuesta. Palabras claves: Explicación; contrastación; T-teoricidad; Estructuralismo metateórico; Distinción teórico observacional -/- Title: Explain and test Abstract: It is usually held that one distinction can account for the role that concepts play in a theory regarding both test and explanation. We will demonstrate that this assumption is incorrect. On the one hand, there is no reason to think that this coincidence should exist. On the other, this is not the case, as we will show analysing several examples. The testing basis of a theory does not have to coincide with the explanandum of the theory. To defend this point we will endorse de metatheoretical structuralism. In addition, we will consider some repercussions that this discussion has for the assumed metatheoretical framework. Key-words: Explanation; Test; T-theoreticity; Metatheoretical Structuralism; Theoretical observational distinction . (shrink)