Adding logic to the toolbox of molecular biology

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

doi:10.1007/s13194-015-0118-9

Adding logic to the toolbox of molecular biology

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

Istituto Europeo di Oncologia

Research output: Contribution to journal › Article › peer-review

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.

Original language	English
Pages (from-to)	399-417
Number of pages	19
Journal	European Journal for Philosophy of Science
Volume	5
Issue number	3
DOIs	https://doi.org/10.1007/s13194-015-0118-9
Publication status	Published - Oct 4 2015

Keywords

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

ASJC Scopus subject areas

History and Philosophy of Science

Access to Document

10.1007/s13194-015-0118-9

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

Cite this

@article{f0ef84b525f547c9aceac4aee008087d,

title = "Adding logic to the toolbox of molecular biology",

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.",

keywords = "Biochemical pathways, Curry-Howard isomorphism, Natural deduction, State transitions, Substructural logics, Zsyntax",

author = "Giovanni Boniolo and Marcello D{\textquoteright}Agostino and Mario Piazza and Gabriele Pulcini",

year = "2015",

month = oct,

day = "4",

doi = "10.1007/s13194-015-0118-9",

language = "English",

volume = "5",

pages = "399--417",

journal = "European Journal for Philosophy of Science",

issn = "1879-4912",

publisher = "Springer Netherlands",

number = "3",

}

TY - JOUR

T1 - Adding logic to the toolbox of molecular biology

AU - Boniolo, Giovanni

AU - D’Agostino, Marcello

AU - Piazza, Mario

AU - Pulcini, Gabriele

PY - 2015/10/4

Y1 - 2015/10/4

N2 - 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.

AB - 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.

KW - Biochemical pathways

KW - Curry-Howard isomorphism

KW - Natural deduction

KW - State transitions

KW - Substructural logics

KW - Zsyntax

UR - http://www.scopus.com/inward/record.url?scp=84940662333&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84940662333&partnerID=8YFLogxK

U2 - 10.1007/s13194-015-0118-9

DO - 10.1007/s13194-015-0118-9

M3 - Article

AN - SCOPUS:84940662333

VL - 5

SP - 399

EP - 417

JO - European Journal for Philosophy of Science

JF - European Journal for Philosophy of Science

SN - 1879-4912

IS - 3

ER -

Adding logic to the toolbox of molecular biology

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Cite this