Ariel Jonathan Roffé

The aim of this work is to introduce a series of requisites for building sound and complete tableaux systems for inferential logics based on non-deterministic valuation schemes and extend them with rules for metainferences, thus yielding metainferential tableaux system capable of proving metainferences of any level n. We show the construction of our tableaux for the logics of the Strong Kleene family and a wide range of different logical systems, most of which have not been studied previously from a metainferential standpoint. Furthermore, we implement this system into a user-friendly, publicly accessible software, designed both for educational purposes as well as assistance in research endeavors.

The book Linajes: Esas cosas que evolucionan by Gustavo Caponi has the overarching goal of defending the thesis of taxonomic individualism, according to which biological taxa should be thought of as individuals and not as natural classes. That is, terms such as Panthera leo are proper names that designate particular entities (lineages) that have parts, rather than terms that designate natural classes that have instances. To this end, he embarks on a series of tasks of different kinds, ranging from the search for definitions of terms such as “species”, “lineage”, and “reproduction” to clarify the content of the thesis, to the defense of this thesis against common objections. In the present critical note, I give a brief introduction to the individuality thesis and then focus on and criticize four aspects of the book’s content. These are (1) the constant search for definitions as antithetical to the metatheoretical spirit that Caponi claims to adopt; (2) his defense of the image of the tree of life against phenomena such as hybridization and symbiogenesis, which would require the use of networks; (3) his original idea according to which lineages have a temporal but not a spatial location; and (4) his assimilation of adaptations (as explananda of the theory of natural selection) with the characters used in contemporary systematics.

In this paper, we examine the issue of the empirical or non-empirical status of philosophical metatheories. In particular, we ask whether a specific type of metatheoretical product, formal reconstructions of scientific theories, can be empirically tested. To answer this, we take Metatheoretical Structuralism as a metatheory and Classical Mechanics as our case studies. We show how classical mechanics can be reconstructed from structuralism. We then present a computer program, called Reconstructor, and show how it can be used to test the adequacy of the reconstruction. Finally, we discuss some philosophical points regarding these tests, namely, the issues of holism, circularity and metatheoretical predictions.

In this article we scrutinize what can be called an "experimentalist dogma" presupposed in Pablo Melogno's analysis of empirical incommensurability in the chemical revolution. According to Melogno, the fact that experimental methods were preserved throughout the chemical revolution was an indication that there were no relevant perceptual differences between Joseph Priestley and Antoine Lavoisier. In order to refine Melogno's general analysis, we will present a taxonomy of varieties of empirical incommensurability and discuss their relationships. To exemplify this categorization, and to show its metatheoretical adequacy, we will apply it to the neuronist revolution, that is, to the process of discovery of the neuron in the late 19th and early 20th centuries within neuroanatomy, taking as our main case study the controversy between Camillo Golgi and Santiago Ramón y Cajal. From the analysis of the controversies regarding dendritic spines and stellate cells of the cerebellum, in particular, we question the experimentalist dogma, highlighting how, in these controversies, the conservation of experimental practices does not guarantee the similarity of perceptual contents. Moreover, we will argue that, all other experimental conditions being equal, differences in experiential content between Golgi and Cajal are best explained by differences in their commitments to incompatible conceptual schemes.

The Price equation provides a comprehensive representation of evolutionary processes. Since its original formulation by George Price, it has been used to model a variety of phenomena in quantitative genetics and related fields. However, there is no consensus on the explanatory power of the equation. In this article we aim to clarify its place within modern evolutionary theory. To this end, we first state the basic concepts from which the Price equation can be derived as a theorem. From this axiomatization, we conclude that the Price equation is not explanatory in itself. It merely provides a phenomenological description of evolutionary processes. We argue that its role is analogous to that of Galilean kinematics in classical mechanics. Both the Price equation and Galilean kinematics function as conceptual frameworks that define the basic features of the behavior of a class of systems. Practitioners are encouraged to theorize further on these frameworks to find the possible explanation of this behavior in various specific scenarios. Thus, despite its phenomenological character, the Price equation integrates different fields of evolutionary biology by providing a common formalization of their shared explanandum.

In recent times, the exponential growth of sequenced genomes and structural knowledge of proteins, as well as the development of computational tools and controlled vocabularies to deal with this growth, has fueled a demand for conceptual clarification regarding the concept of function in molecular biology. In this article, we will attempt to develop an account of function fit to deal with the conceptual/philosophical problems in that domain, but which can be extended to other areas of biology. To provide this account, we will argue for three theses: (1) some authors have confused metatheoretical issues (about the meaning and application criteria of terms) with metaphysical ones (about teleology); this led them to (2) look for explicit definitions of “function”, in terms of necessary and sufficient criteria of application, in order to make the concept of function eliminable; however, (3) if one leaves metaphysical worries aside and focuses on functional attribution practices, it is more adequate to say that the concept of function has an open texture. That is, that a multiplicity of application criteria is available, none of which is sufficient nor necessary to attribute a function to a trait, and which only in concert form a clear picture. We distinguish this thesis from some usual forms of pluralism. Finally, we will illustrate this account with a historical reconstruction of the ascription of a water transport function to aquaporins.

In this paper, we examine the issue of the empirical or non-empirical status of philosophical metatheories. In particular, we ask whether a specific type of metatheoretical product, formal reconstructions of scientific theories, can be empirically tested. To answer this, we take Metatheoretical Structuralism as a metatheory and Classical Mechanics as our case studies. We show how classical mechanics can be reconstructed from structuralism. We then present a computer program, called Reconstructor, and show how it can be used to test the adequacy of the reconstruction. Finally, we discuss some philosophical points regarding these tests, namely, the issues of holism, circularity and metatheoretical predictions.

The observational-theoretical distinction has played a central role in the philosophy of science from logical empiricism onwards. Developments within the discipline have shown that such a distinction hides two non-identical distinctions: observational vs. non-observational and theoretical vs. non-theoretical. Likewise, metatheoretical structuralism proposed a more sophisticated treatment of theoricity in terms of the operational dependence or independence of concepts from the theories in which they appear. Despite this remarkable sophistication, it is still generally accepted that the distinction between theoretical and non-theoretical concepts coincides with the explanatory vs. non-explanatory and testing vs. non-testing distinctions. Ginnobili and Carman argued for the independence between theoricity and explanation. In this paper we will focus on testing and argue for its independence from both theoricity and explanation. To do so, we propose an account of theory testing based on the framework of metatheoretical structuralism and apply it to natural selection theory and cladistics.

En este artículo sostenemos que, en aquellos casos en los cuales la capacidad _ explanandum _ de un análisis sistémico o mecanicista constituye una función biológica, globalmente, la función explica la estructura y no a la inversa, a pesar de que en algunos casos particulares, el orden en que se determinan los conceptos participantes en la explicación no coincide con el orden de la explicación. Para defender esta tesis, adoptaremos una concepción mínima de explicación basada en la idea de subsunción ampliativa del estructuralismo e ilustraremos las diferencias entre el orden de la explicación y el orden de determinación de los conceptos mediante un estudio de caso tomado de la afasiología moderna.

In a recent book, McShea and Brandon argue that the observed diversity and complexity of life are explainable by a principle they call the “zero-force evolutionary law” or “ZFEL”. Although this principle would be implicit in many explanations given by biologists, it would have never been made explicit. Assuming that this idea is interesting, and that the authors are right, we will discuss the metatheoretical way in which they present said principle, as being a part of probability theory. This allows the authors to claim that probability theory provides the reductive basis for all evolutionary biology. We will defend, in accordance with them, that ZFEL is not a solely biological principle, but not because it is a part of probability theory, but rather because it is a specific version of the principle of common cause.

La memética constituye un enfoque sobre la evolución cultural que se ha encontrado en el foco de la discusión y recolectado críticas de diverso tipo en las últimas décadas. El propósito de nuestro trabajo consiste en indagar si, más allá de las críticas y defensas existentes, puede considerarse que existe actualmente algún programa de investigación que pueda caracterizarse adecuadamente como memético. Nos centraremos, específicamente, en el ámbito del estudio de la evolución cultural de los cantos de aves, pues allí algunos autores han utilizado la palabra «meme» para referirse a los ítems culturales bajo estudio. Sin embargo, no todos utilizan la palabra, pues, probablemente por su carácter controversial, ha caído en desuso. Eso implica que para cumplir con el objetivo de nuestro trabajo no pueda apelarse a análisis bibliométricos. Por este motivo elucidaremos los diferentes sentidos en los que puede caracterizarse a la memética. Nuestro objetivo es defender que en el área de cantos de aves se pueden encontrar investigaciones que responden a la perspectiva memética en todos los sentidos señalados. Texto del resumen en castellano o en el idioma que está redactado.

In this article, we provide three generators of propositional formulae for arbitrary languages, which uniformly sample three different formulae spaces. They take the same three parameters as input, namely, a desired depth, a set of atomics and a set of logical constants (with specified arities). The first generator returns formulae of exactly the given depth, using all or some of the propositional letters. The second does the same but samples up-to the given depth. The third generator outputs formulae with exactly the desired depth and all the atomics in the set. To make the generators uniform (i.e. to make them return every formula in their space with the same probability), we will prove various cardinality results about those spaces.

In this paper, we present a way to translate the metainferences of a mixed metainferential system into formulae of an extended-language system, called its associated σ-system. To do this, the σ-system will contain new operators (one for each standard), called the σ operators, which represent the notions of "belonging to a (given) standard". We first prove, in a model-theoretic way, that these translations preserve (in)validity. That is, that a metainference is valid in the base system if and only if its translation is a tautology of its corresponding σ-system. We then use these results to obtain other key advantages. Most interestingly, we provide a recipe for building unlabeled sequent calculi for σ-systems. We then exemplify this with a σ-system useful for logics of the ST family, and prove soundness and completeness for it, which indirectly gives us a calculus for the metainferences of all those mixed systems. Finally, we respond to some possible objections and show how our σ-framework can shed light on the “obeying” discussion within mixed metainferential contexts

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.

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.

El objetivo de este trabajo consiste en analizar las relaciones entre los modelos de optimalidad y la selección natural. Defenderemos que esas relaciones pueden dividirse en dos tipos, en tanto hay dos tipos de explicaciones seleccionistas, que llamaremos “históricas” y “ahistóricas”. Las explicaciones históricas revelan como una población dada adquiere un rasgo que es adaptativo en ese ambiente e involucran muchas generaciones, variación, etc. Las explicaciones ahistóricas, explican por qué, en determinado momento, ciertos tipos de organismos tienen un mayor éxito reproductivo que otros. Mostraremos que los modelos de optimalidad pueden jugar un rol en la determinación del explanandum de las explicaciones histórica seleccionistas, esto es, que ayudan a reconocer qué rasgos son adaptativos. Por otra parte, mostramos que los modelos de optimalidad nos permiten determinar a veces la parte del explanans de las explicaciones ahistóricas (particularmente, el concepto de fitness). The goal of this paper is to analyze the relations between optimality models and natural selection. We contend that these relationships can be divided into two kinds, as there are two kinds of natural selection explanations, which we call “historical” and “ahistorical”. Historical explanations reveal how a given population acquires a trait which is adaptive in its environment, and involves many generations, variations, etc. Ahistorical ones, explain why, at a given moment, certain kinds of organisms have a greater reproductive success than others. We show that optimality models can play a role in determining the explanandum of historical selectionist explanations, that is, they help us to recognize which traits are adaptive. And, on the other hand, that optimality models sometimes allow us to determine part of the explanans of ahistorical explanations (particularly, the concept of fitness).

How questions and why questions interact in complex ways within biological practice. One of the most fruitful accounts to think about this relation is the widely known systemic approach, which has its origin mainly in the works of Robert Cummins (1975, 1983). As we will show, this approach effectively manages to capture much of what biologists do, especially in areas such as molecular biology, neuroscience and neuroethology. Our aim with this work is to discuss the metatheoretical status of the presuppositions behind systemic analysis. We will hold that these assumptions are of an empirical nature, and that they can be reconstructed as parts of a theory

En este ambicioso libro, el biólogo Daniel W. McShea y el filósofo de la biología Robert N. Brandon desafían las explicaciones explícitas encontradas en la litera-tura acerca del origen de la diversidad y la complejidad en los seres vivos. Estas explicaciones recurren en su mayoría a la acción de la selección natural, como ser, a la selección diversificadora/disruptiva, a la selección de niveles superiores favoreciendo a especies/clados con mayor propensión a la especiación, o a las ventajas de una mayor división del trabajo, entre otras alternativas (p. 1). Si bien estas explicaciones pueden ser correctas, no constituirían toda la historia, según los autores, pues habría una tendencia de fondo no reconocida en la literatura (pero invocada en las explicaciones de casos concretos) hacia un aumento de la diversidad y la complejidad. Esta tendencia surgiría simplemente de que las variaciones azarosas, cuando se heredan, se acumulan en diferentes direcciones en diferentes poblaciones, con el resultado de que la diversidad se incrementa. Para expresar esta tendencia, los autores proponen una ley, que denominan ZFEL (por zero-force evolutionary law) y que formulan de la siguiente manera: “En cualquier sistema evolutivo en el que hay variación azarosa y he-rencia, en ausencia de fuerzas y constricciones, la diversidad y la complejidad tenderán a aumentar” (p. 4).

El objetivo de este artículo es analizar qué quiere decir capturar una teoría (se utilizará la aritmética como ejemplo paradigmático) por medio de un sistema axiomático formal. Se considerarán para ello dos enfoques, que pueden denominarse “semántico” y “sintáctico”, tanto en términos de sus ventajas como de sus limitaciones. El enfoque semántico (presupuesto por Barrio y Da Ré en este volumen y expuesto en la primera sección), entiende la expresabilidad como una restricción de la clase de los modelos; se muestra que esta concepción lleva a tres clases distintas de limitaciones expresivas. En la segunda sección se examinan -y finalmente rechazan- algunos posibles caminos de solución a estos problemas. En la última sección se ofrecen objeciones a las alternativas restantes y en base a ellas se elabora el enfoque sintáctico que liga la noción de captura a la de prueba de las oraciones relevantes. También se argumenta que desde este marco pueden evitarse algunas de las limitaciones del enfoque semántico.

Es una opinión extendida que la teoría de la selección natural, tal como fue formulada originalmente por Darwin de manera “cualitativa”, ha sido reemplazada por una versión cuantitativa superior, brindada por la genética de poblaciones. En este artículo se discute contra esa tesis, sosteniendo en cambio que ambas teorías son complementarias, no sucesivas. Para ello, se introduce una línea de argumentación novedosa, que toma su inspiración en la crítica al “inductivismo estrecho” de Hempel. Se sostiene que los genetistas de poblaciones serían incapaces de aplicar exitosamente su teoría sin hipótesis “ecológicas” preconcebidas, provenientes de la teoría darwiniana, que permitan particionar a la población en rasgos selectivamente relevantes. Se enfatiza además que la falla en notar este punto se debe a una mala comprensión de la estructura de la teoría darwiniana y de su ley o principio fundamental. A la luz de una mejor reconstrucción de dicho principio, se reexamina en mayor detalle la relación existente entre ambas teorías.

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.

The adequacy of Elliott Sober’s analogy between classical mechanics and evolutionary theory—according to which both theories explain via a zero-force law and a set of forces that alter the zero-force state—has been criticized from various points of view. I focus here on McShea and Brandon’s claim that drift shouldn’t be considered a force because it is not directional. I argue that there are a number of different theses that could be meant by this, and show that one of those theses—the idea that drift cannot bias populations to be taken somewhere in the evolutionary space from one generation to the next—is actually false. Not only has this thesis been implicitly assumed in the discussion of the force analogy thus far, but it is also commonly found in a wider range of philosophical and biological texts. I argue that correcting this view, and the usual images associated with it, will thereby bring heuristic benefits that impact the force analogy discussion, but that also go beyond it.

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.