Rethinking Woodger's legacy in the philosophy of biology

DJ Nicholson, R Gawne - Journal of the History of Biology, 2014 - Springer
Abstract The writings of Joseph Henry Woodger (1894–1981) are often taken to exemplify
everything that was wrongheaded, misguided, and just plain wrong with early twentieth …

Formal reasoning about systems biology using theorem proving

A Rashid, O Hasan, U Siddique, S Tahar - Plos one, 2017 - journals.plos.org
System biology provides the basis to understand the behavioral properties of complex
biological organisms at different levels of abstraction. Traditionally, analysing systems …

Molecular pathways and the contextual explanation of molecular functions

G Boniolo, R Campaner - Biology & Philosophy, 2018 - Springer
Much of the recent philosophical debate on causation and causal explanation in the
biological and biomedical sciences has focused on the notion of mechanism. Mechanisms …

Adding logic to the toolbox of molecular biology

G Boniolo, M D'agostino, M Piazza… - European Journal for …, 2015 - Springer
The aim of this paper is to argue that logic can play an important role in the “toolbox” of
molecular biology. We show how biochemical pathways, ie, transitions from a molecular …

Molecular biology meets logic: Context-sensitiveness in focus

G Boniolo, M D'Agostino, M Piazza, G Pulcini - Foundations of Science, 2021 - Springer
Some real life processes, including molecular ones, are context-sensitive, in the sense that
their outcome depends on side conditions that are most of the times difficult, or impossible …

[HTML][HTML] A logic of non-monotonic interactions

G Boniolo, M DʼAgostino, M Piazza, G Pulcini - Journal of Applied Logic, 2013 - Elsevier
In this paper, which is part of the Zsyntax project outlined in Boniolo et al.(2010)[2], we
provide a proof-theoretical setting for the study of context-sensitive interactions by means of …

On molecular mechanisms and contexts of physical explanation

G Boniolo - Biological Theory, 2013 - Springer
In this article, two issues regarding mechanisms are discussed. The first concerns the
relationships between “mechanism description” and “mechanism explanation.” It is …

A tractable logic for molecular biology

A Husson, J Krivine - arXiv preprint arXiv:1909.08236, 2019 - arxiv.org
We introduce a logic for knowledge representation and reasoning on protein-protein
interactions. Modulo a theory, formulas describe protein structures and dynamic changes …

[PDF][PDF] Logical foundations of a modelling assistant for molecular biology

A Husson - 2019 - ahusson.fr
This thesis addresses the issue of “Executable Knowledge Representation” in the context of
molecular biology. We introduce the foundation of a logical framework, termed iota, whose …

On the formalization of zsyntax with applications in molecular biology

S Ahmad, O Hasan, U Siddique - Scalable Computing: Practice and …, 2015 - scpe.org
Recent progress in nanotechnology and optical imaging offers promising features to
develop effective drugs to cure chronic diseases, such as cancer and malaria. However …