Abstract
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, i.e., transitions from a molecular aggregate to another molecular aggregate, can be viewed as deductive processes. In particular, our logical approach to molecular biology — developed in the form of a natural deduction system — is centered on the notion of Curry-Howard isomorphism, a cornerstone in nineteenth-century proof-theory.
| Original language | English |
|---|---|
| Pages (from-to) | 399-417 |
| Number of pages | 19 |
| Journal | European Journal for Philosophy of Science |
| Volume | 5 |
| Issue number | 3 |
| DOIs | |
| Publication status | Published - Oct 4 2015 |
Keywords
- Biochemical pathways
- Curry-Howard isomorphism
- Natural deduction
- State transitions
- Substructural logics
- Zsyntax
ASJC Scopus subject areas
- History and Philosophy of Science
Fingerprint Dive into the research topics of 'Adding logic to the toolbox of molecular biology'. Together they form a unique fingerprint.
Cite this
Boniolo, G., D’Agostino, M., Piazza, M., & Pulcini, G. (2015). Adding logic to the toolbox of molecular biology. European Journal for Philosophy of Science, 5(3), 399-417. https://doi.org/10.1007/s13194-015-0118-9