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