Adding logic to the toolbox of molecular biology

European Journal for Philosophy of Science 5 (3):399-417 (2015)
  Copy   BIBTEX

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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 98,169

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

The Significance of the Curry-Howard Isomorphism.Richard Zach - 2018 - In Gabriele Mras, Paul Weingartner & Bernhard Ritter (eds.), Philosophy of Logic and Mathematics: Proceedings of the 41st International Ludwig Wittgenstein Symposium. Berlin, Boston: De Gruyter. pp. 313-326.
The Significance of the Curry-Howard Isomorphism.Richard Zach - 2018 - In Gabriele Mras, Paul Weingartner & Bernhard Ritter (eds.), Philosophy of Logic and Mathematics: Proceedings of the 41st International Ludwig Wittgenstein Symposium. Berlin, Boston: De Gruyter. pp. 313-326.
Natural Deduction for Quantum Logic.K. Tokuo - 2022 - Logica Universalis 16 (3):469-497.
Lectures on the Curry-Howard isomorphism.Morten Heine Sørensen - 2007 - Boston: Elsevier. Edited by Paweł Urzyczyn.
The Curry-Howard isomorphism.Philippe De Groote (ed.) - 1995 - Louvain-la-Neuve: Academia.

Analytics

Added to PP
2015-06-29

Downloads
71 (#245,013)

6 months
8 (#472,057)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

References found in this work

How the laws of physics lie.Nancy Cartwright - 1983 - New York: Oxford University Press.
Logical pluralism.Jc Beall & Greg Restall - 2000 - Australasian Journal of Philosophy 78 (4):475 – 493.
Logical Pluralism.J. C. Beall & Greg Restall - 2005 - Oxford, GB: Oxford University Press. Edited by Greg Restall.

View all 29 references / Add more references