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. [10.1007/s13194-015-0118-9]
Adding logic to the toolbox of molecular biology
G. Boniolo;M. D’Agostino;
2015
Abstract
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.File | Dimensione | Formato | |
---|---|---|---|
2015_Zsyntax_Tool.pdf
accesso riservato
Tipologia:
Publisher's version/PDF
Dimensione
949.77 kB
Formato
Adobe PDF
|
949.77 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.