Adding logic to the toolbox of molecular biology

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

Research output: Contribution to journalArticlepeer-review


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


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

Cite this