Adding logic to the toolbox of molecular biology

Giovanni Boniolo, Marcello D’Agostino, Mario Piazza, Gabriele Pulcini

Research output: Contribution to journalArticle


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.

Original languageEnglish
Pages (from-to)399-417
Number of pages19
JournalEuropean Journal for Philosophy of Science
Issue number3
Publication statusPublished - Oct 4 2015


  • Biochemical pathways
  • Curry-Howard isomorphism
  • Natural deduction
  • State transitions
  • Substructural logics
  • Zsyntax

ASJC Scopus subject areas

  • History and Philosophy of Science

Fingerprint Dive into the research topics of 'Adding logic to the toolbox of molecular biology'. Together they form a unique fingerprint.

  • Cite this