The biological sciences study (bio)complex living systems. Research directed at the mechanistic explanation of the "live" state truly requires a pluralist research program, i.e. BioComplexity research. The program should apply multiple intra-level and inter-level theories and methodologies. We substantiate this thesis with analysis of BioComplexity: metabolic and modular control analysis of metabolic pathways, emergence of oscillations, and the analysis of the functioning of glycolysis.

Two problems involving Thucydides and medicine have attracted intense treatment by classical scholars and medical men working separately or in combination. They are, first, the nature of the Athenian Plague which Thucydides describes and, second, the possibility of his having been influenced by the doctrines and outlook of Hippocrates and his followers. It is the purpose of the present paper to reconsider both these problems, to indicate some false assumptions made in the methodology of previous attempts to identify the Plague, (...) and to suggest a somewhat radical revaluation of Thucydides' approach to medical matters compared with that of Hippocrates. (shrink)

We will show that there is a strong form of emergence in cell biology. Beginning with C.D. Broad's classic discussion of emergence, we distinguish two conditions sufficient for emergence. Emergence in biology must be compatible with the thought that all explanations of systemic properties are mechanistic explanations and with their sufficiency. Explanations of systemic properties are always in terms of the properties of the parts within the system. Nonetheless, systemic properties can still be emergent. If the properties of the components (...) within the system cannot be predicted, even in principle, from the behavior of the system's parts within simpler wholes then there also will be systemic properties which cannot be predicted, even in principle, on basis of the behavior of these parts. We show in an explicit case study drawn from molecular cell physiology that biochemical networks display this kind of emergence, even though they deploy only mechanistic explanations. This illustrates emergence and its place in nature. (shrink)

Spatial and temporal heterogeneity are often described as important factors having a strong impact on biodiversity. The effect of heterogeneity is in most cases analyzed by the response of biotic interactions such as competition of predation. It may also modify intrinsic population properties such as growth rate. Most of the studies are theoretic since it is often difficult to manipulate spatial heterogeneity in practice. Despite the large number of studies dealing with this topics, it is still difficult to understand how (...) the heterogeneity affects populations dynamics. On the basis of a very simple model, this paper aims to explicitly provide a simple mechanism which can explain why spatial heterogeneity may be a favorable factor for production. We consider a two patch model and a logistic growth is assumed on each patch. A general condition on the migration rates and the local subpopulation growth rates is provided under which the total carrying capacity is higher than the sum of the local carrying capacities, which is not intuitive. As we illustrate, this result is robust under stochastic perturbations. (shrink)

Since the publication of our article on Thucydides and the Plague of Athens, Dr Heinrich von Staden of Yale University has kindly drawn our attention to a paper by Eby and Evjen suggesting that the Plague was glanders. We do not think that this diagnosis can possibly be correct, though there are undoubtedly some points in its favour. The authors have argued their case as persuasively as possible, and the proposal has sufficient merit to deserve a serious reply.

In the recent past, several papers have pointed to the possibility that tumour removal generates a permissive environment in which tumour growth is potentiated. This phenomenon has been coined “perioperative tumour growth” and whilst it represents a departure in terms of our attitude to the surgical process, this concept was first hinted at by Paget1Sir James Paget (1814–1899) was a surgeon and physiologist who is widely held (along with Rudolph Virchow) to be the father of the science of pathology. Paget (...) described Paget's disease of the nipple as well as Paget's disease of bone. himself. Despite this, the time interval immediately before and after cancer surgery (i.e. the perioperative period) remains an underutilised interval during which chemotherapeutic regimens are rarely implemented. Herein, we present a summarised review of the literature that supports the concept that tumour removal may potentiate the growth of residual neoplastic disease. We also outline current knowledge regarding underlying mechanisms and in this manner highlight potential therapeutic entry points. Finally, we emphasise the urgent need for trials of agents that could protect patients against the harmful host–tumour interactions that may occur during the perioperative period. BioEssays 28: 433–437, 2006. © 2006 Wiley Periodicals, Inc. (shrink)

BackgroundECMO is a particularly scarce resource during the COVID-19 pandemic. Its allocation involves ethical considerations that may be different to usual times. There is limited pre-pandemic literature on the ethical factors that ECMO physicians consider during ECMO allocation. During the pandemic, there has been relatively little professional guidance specifically relating to ethics and ECMO allocation; although there has been active ethical debate about allocation of other critical care resources. We report the results of a small international exploratory survey of ECMO (...) clinicians’ views on different patient factors in ECMO decision-making prior to and during the COVID-19 pandemic. We then outline current ethical decision procedures and recommendations for rationing life-sustaining treatment during the COVID-19 pandemic, and examine the extent to which current guidelines for ECMO allocation (and reported practice) adhere to these ethical guidelines and recommendations.MethodsAn online survey was performed with responses recorded between mid May and mid August 2020. Participants (n = 48) were sourced from the ECMOCard study group—an international group of experts (n = 120) taking part in a prospective international study of ECMO and intensive care for patients during the COVID-19 pandemic. The survey compared the extent to which certain ethical factors involved in ECMO resource allocation were considered prior to and during the pandemic.ResultsWhen initiating ECMO during the pandemic, compared to usual times, participants reported giving more ethical weight to the benefit of ECMO to other patients not yet admitted as opposed to those already receiving ECMO, (p < 0.001). If a full unit were referred a good candidate for ECMO, participants were more likely during the pandemic to consider discontinuing ECMO from a current patient with low chance of survival (53% during pandemic vs. 33% prior p = 0.002). If the clinical team recommends that ECMO should cease, but family do not agree, the majority of participants indicated that they would continue treatment, both in usual circumstances (67%) and during the pandemic (56%).ConclusionsWe found differences during the COVID-19 pandemic in prioritisation of several ethical factors in the context of ECMO allocation. The ethical principles prioritised by survey participants were largely consistent with ECMO allocation guidelines, current ethical decision procedures and recommendations for allocation of life-sustaining treatment during the COVID-19 pandemic. (shrink)

Higher-Order Logic (HOL) is a proof development system intended for applications to both hardware and software. It is principally used in two ways: for directly proving theorems, and as theorem-proving support for application-specific verification systems. HOL is currently being applied to a wide variety of problems, including the specification and verification of critical systems. Introduction to HOL provides a coherent and self-contained description of HOL containing both a tutorial introduction and most of the material that is needed for day-to-day work (...) with the system. After a quick overview that gives a "hands-on feel" for the way HOL is used, there follows a detailed description of the ML language. The logic that HOL supports and how this logic is embedded in ML, are then described in detail. This is followed by an explanation of the theorem-proving infrastructure provided by HOL. Finally two appendices contain a subset of the reference manual, and an overview of the HOL library, including an example of an actual library documentation. (shrink)

Plato is one of the key ancient authors studied by both classicists and philosophers. This long-awaited new edition contains seven of the dialogues of Plato, and is the first in the five-volume complete edition of his works in the Oxford Classical Texts series. The result of many years of painstaking scholarship, the new volume will replace the now nearly 100 year old original edition, and is destined to become just as long-lasting a classic.

For a computable structure A\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{A}}$$\end{document}, there may not be a computable infinitary Scott sentence. When there is a computable infinitary Scott sentence φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\varphi}$$\end{document}, then the complexity of the index set I\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${I}$$\end{document} is bounded by that of φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\varphi}$$\end{document}. There are results giving “optimal” Scott sentences for (...) structures of various familiar kinds. These results have been driven by the thesis that the complexity of the index set should match that of an optimal Scott sentence. In this note, it is shown that the thesis does not always hold. For a certain subgroup of Q\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{Q}}$$\end{document}, there is no computable d-Σ2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Sigma_2}$$\end{document} Scott sentence, even though the index set is d-Σ20\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Sigma^0_2}$$\end{document}. (shrink)

En el primer libro de su Ética Nicomaquea, Aristóteles hace dos intentos por establecer la tesis de que ser un ser humano tiene un punto, usando dos conjuntos paralelos de ejemplos. Su primer paso es sostener que siempre que algo tiene una actividad característica esa actividad es su fin, usando el ejemplo del “flautista, el escultor y, en general, cualquier artesano”. Esta identificación de la actividad característica de un artesano con la ubicación de su “bien y lo bueno” qua artesano (...) y, por ello, presumiblemente con el télos del artesano, podría ser cuestionada, por supuesto, pero esto no afecta el curso de los argumentos y el uso de los ejemplos que quiero perseguir. Es suficiente que, para ciertos roles dados, pueda haber una relación teleológica con algún punto para aquel rol. (shrink)

This book reports the proceedings of the International Congress on the Education of Teachers of Physics in Secondary Schools, held in Eger, Hungary, during September 1970.

This paper explores the question of whether or not the law is a computable number in the sense described by Alan Turing in his 1937 paper ‘On computable numbers with an application to the Entscheidungsproblem.’ Drawing upon the legal, social, and political context of Alan Turing’s own involvement with the law following his arrest in 1952 for the criminal offence of gross indecency, the article explores the parameters of computability within the law and analyses the applicability of Turing’s computability thesis (...) within the context of legal decision-making. (shrink)

The fundamental tenet of contemporary sociobiology, namely the assumption of a single process of evolution involving the selection of genes, is critically examined. An alternative multiple-level, multiple-process model of evolution is presented which posits that the primary process that operates via selection upon the genes cannot account for certain kinds of biological phenomena, especially complex, learned, social behaviours. The primary process has evolved subsidiary evolutionary levels and processes that act to bridge the gap between genes and these complex behaviours. The (...) subsidiary levels are development, individual animal learning, and socioculture itself. It is argued that individual learning is pivotal to the derivation and biological analysis of culture. The differences between cultural and noncultural societies are stressed. It is concluded that such a multiple-level model of evolution can form the basis for reconciling opposing sides in the sociobiology debate. (shrink)

The influence of sediment oxygen heterogeneity, due to bioturbation, on diffusive oxygen flux was investigated. Laboratory experiments were carried out with 3 macrobenthic species presenting different bioturbation behaviour patterns: the polychaetes Nereis diversicolor and Nereis virens, both constructing ventilated galleries in the sediment column, and the gastropod Cyclope neritea, a burrowing species which does not build any structure. Oxygen two-dimensional distribution in sediments was quantified by means of the optical planar optode technique. Diffusive oxygen fluxes and a variability index were (...) calculated on the captured oxygen images. All species increased sediment oxygen heterogeneity compared to the controls without animals. This was particularly noticeable with the polychaetes because of the construction of more or less complex burrows. Integrated diffusive oxygen flux increased with oxygen heterogeneity due to the production of interface available for solute exchanges between overlying water and sediments. This work shows that sediment heterogeneity is an important feature of the control of oxygen exchanges at the sediment–water interface. (shrink)