The standard representation of the Central Dogma (CD) of Molecular Biology conspicuously ignores metabolism. However, both the metabolites and the biochemical fluxes behind any biological phenomenon are encrypted in the DNA sequence. Metabolism constrains and even changes the information flow when the DNA‐encoded instructions conflict with the homeostasis of the biochemical network. Inspection of adaptive virulence programs and emergence of xenobiotic‐biodegradation pathways in environmental bacteria suggest that their main evolutionary drive is the expansion of their metabolic networks towards new chemical (...) landscapes rather than perpetuation and spreading of their DNA sequences. Faulty enzymatic reactions on suboptimal substrates often produce reactive oxygen species (ROS), a process that fosters DNA diversification and ultimately couples catabolism of the new chemicals to growth. All this calls for a revision of the CD in which metabolism (rather than DNA) has the leading role. (shrink)

Obras escogidas/M. Sánchez-Mazas. - v.1.

This book presents a systematic philosophical and historical analysis of operating systems (0S). The discussion starts with the evolution of OSs since before their birth. It continues with a comprehensive philosophical analysis grounded in technical aspects. Coverage looks at software and (where appropriate) hardware as well as their historical developments. The authors not only offer historical and philosophical reflections on operating systems. They also explore the programs they coordinate and trace the epsitemic and ontological consequences of their designs. Each chapter (...) investigates one or more overlapping fragments of this fascinating history. These include: the birth of the UNIX system and the development of early systems and prototypes; a conceptual analysis of the plurality of systems; an investigation into business, ethical, and aesthetics aspects related to operating systems; and logical principles of formal languages. This book will interest researchers from a diversity of backgrounds. It will appeal to historians, philosophers, as well as logicians and computer scientists who want to engage with topics relevant to the history and philosophy of programming and more specifically that of operating systems. (shrink)

[1] Relazioni e interventi.--[2] Comunicazioni.

The dream of Leibniz and that of Frege, to create a lingua characteristica in order to demonstrate conceptual thought, incorporates in a wider process, the division and tension between the distinct Spheres which the human sub-species have been creating. Spheres which remain hidden by natural language, essentially spoken language. For the creation and demonstration of the Conceptual Sphere the establishing of a language of characteres has become indispensable, essentially written language. Is a consequence a tension is established between Natural language-Formal (...) language with their corresponding reductionist tendences. (shrink)

En 1931 Gödel publica su Teorema de incompletud. Resultado clave en Lógica matemática, se interpretó como una limitación de los formalismos, un fracaso del Programa de Hilbert. Sin embargo, el método de aritmetización, la recursividad han propiciado una visión positiva y la creación de nuevas teorias - Teorías de la Complejidad, de Información algorítmica... -. Con ellas, nuevas demostraciones del teorema y, consecuentes, nuevas discusiones en Filosofía de la Matemática. En especial, desde la Teoría de la Complejidad. Además de incompleta, (...) la Matemática se ve por algunos como aleatoria y experimental. En este ensayo se pretende explicitar los supuestos de estas interpretaciones. Discusión que conduce, en principio, a su rechazo, dejando abierta la problemática sobre el aspecto epistemológico dei razonamiento matemático. (shrink)

The pascalian use of indivisibles is here considered in the context of the theological and mathematical debates of the time, by distinguishing it clearly from this of Cavalieri. The combinatory and geometrical approaches are closely linked in Pascal’s work. His use of indivisibles has a heuristic, inventive character and not only a demonstrative one. Ontologically speaking, it stems out from the acceptance of actual infinite. The use of the symmetry axiom of Archimedes is the basis of the pascalian use of (...) the infinitesimals, which has, in other respects, some close connexions with the Leibnizian conception of infinitesimals. (shrink)

May 2020 marked the 25th anniversary of the death of Miguel Sánchez-Mazas, founder of Theoria. An International Journal of Theory, History and Foundations of Science, and regarded as the person who brought mathematical logic to Spain. Here we present some of his biographical features and a summary of his contributions, from his early work in the 1950s - introducing contemporary advances in logic and philosophy of science in a philosophically backward milieu dominated by the scholasticism of that era in Spain (...) - to the development of a project of Lebnizian lineage aimed at producing an arithmetic calculation that would elude some of the difficulties confronting Leibniz’s calculus. (shrink)

Cass Sunstein and Richard Thaler have been arguing for what they named libertarian paternalism (henceforth LP). Their proposal generated extensive debate as to how and whether LP might lead down a full-blown paternalistic slippery slope. LP has the indubitable merit of having hardwired the best of the empirical psychological and sociological evidence into public and private policy making. It is unclear, though, to what extent the implementation of policies so constructed could enhance the capability for the exercise of an autonomous (...) citizenship. Sunstein and Thaler submit it that in most of the cases in which one is confronted with a set of choices, some default option must be picked out. In those cases whoever devises the features of the set of options ought to rank them according to the moral principle of non-maleficence and possibly to that of beneficence. In this paper we argue that LP can be better implemented if there is a preliminary deliberative debate among the stakeholders that elicits their preferences, and makes it possible to rationally defend them. (shrink)