Adding logic to the toolbox of molecular biology

Autor(es)

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

Afiliação do(s) autor(es)

^[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

• Tipo de documento: Artigo Científico
• Fonte: EUROPEAN JOURNAL FOR PHILOSOPHY OF SCIENCE; v. 5, n. 3, p. 399-417, OCT 2015.
• Citações Web of Science: 6

Resumo

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)

• Processo FAPESP: 13/22371-0 - Em direção a um marco lógico unitário para a não-monotonidade e a paraconsistência
• Beneficiário: Gabriele Pulcini
• Linha de fomento: Bolsas no Brasil - Pós-Doutorado