The aim of this paper is to argue that logic can a 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.
Adding logic to the toolbox of molecular biology / G. Boniolo, M. D’Agostino, M. Piazza, G. Pulcini. - In: EUROPEAN JOURNAL FOR PHILOSOPHY OF SCIENCE. - ISSN 1879-4912. - 5:3(2015 Oct), pp. 399-417.
Titolo: | Adding logic to the toolbox of molecular biology |
Autori: | |
Parole Chiave: | Substructural logics · Natural deduction · Curry-Howard isomorphism · State transitions · Biochemical pathways · Zsyntax |
Settore Scientifico Disciplinare: | Settore M-FIL/02 - Logica e Filosofia della Scienza |
Data di pubblicazione: | ott-2015 |
Rivista: | |
Tipologia: | Article (author) |
Data ahead of print / Data di stampa: | 30-giu-2015 |
Digital Object Identifier (DOI): | http://dx.doi.org/10.1007/s13194-015-0118-9 |
Appare nelle tipologie: | 01 - Articolo su periodico |
File in questo prodotto:
File | Descrizione | Tipologia | Licenza | |
---|---|---|---|---|
2015_Zsyntax_Tool.pdf | Publisher's version/PDF | Administrator Richiedi una copia |