Adding logic to the toolbox of molecular biology

Author(s)

Boniolo, Giovanni ^{[1, 2]} ; D'Agostino, Marcello ^[3] ; Piazza, Mario ^[4] ; Pulcini, Gabriele ^[5]

Affiliation

^[1] Univ Milan, Dipartimento Sci Salute, Milan - Italy

^[2] Ist Europeo Oncol, Dept Expt Oncol, Milan - Italy

^[3] Univ Ferrara, Dept Econ & Management, I-44100 Ferrara - Italy

^[4] Univ G dAnnunzio, Dept Philosophy, Pescara - Italy

^[5] Univ Estadual Campinas, Ctr Log Epistemol & Hist Sci, Campinas, SP - Brazil

• Document type: Journal article
• Source: EUROPEAN JOURNAL FOR PHILOSOPHY OF SCIENCE; v. 5, n. 3, p. 399-417, OCT 2015.
• Web of Science Citations: 6

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. (AU)

• FAPESP's process: 13/22371-0 - Towards a unified setting for non-monotony and paraconsistency
• Grantee: Gabriele Pulcini
• Support Opportunities: Scholarships in Brazil - Post-Doctoral