Advanced search
Start date
(Reference retrieved automatically from Web of Science through information on FAPESP grant and its corresponding number as mentioned in the publication by the authors.)

Adding logic to the toolbox of molecular biology

Full text
Boniolo, Giovanni [1, 2] ; D'Agostino, Marcello [3] ; Piazza, Mario [4] ; Pulcini, Gabriele [5]
Total Authors: 4
[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
Total Affiliations: 5
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

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 type: Scholarships in Brazil - Post-Doctorate