Adding logic to the toolbox of molecular biology
- 161 Downloads
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.
KeywordsSubstructural logics Natural deduction Curry-Howard isomorphism State transitions Biochemical pathways Zsyntax
G.P. acknowledges the support from FAPESP Post-Doc Grant 2013/22371-0, São Paulo State, Brazil.
- Aliseda, A. (2006). Abductive reasoning Vol. 330. Netherlands: Springer.Google Scholar
- Beall, J.C., & Restall, G. (2006). Logical pluralism. Oxford: Clarendon Press.Google Scholar
- Boniolo, G. (2009). Laws of nature: the kantian approach. In M. Bitbol, P. Kerszberg, & J. Petitot (Eds.), Constituting objectivity: transcendental perspectives on modern physics, Western Ontario series in the philosophy of science (pp. 183–201). Springer.Google Scholar
- Cartwright, N., Shomar, T., & Suárez, M. (1995). The tool-box of science. Tools for the building of models with a superconductivity example. Poznań Studies in the Philosophy of the Sciences and the Humanities, 44, 137–149.Google Scholar
- Chauduri, K., & Despeyroux, J. (2010). A hybrid linear logic for constrained transition systems with applications to molecular biology. Technical report, INRIA-HAL. Available at http://www-sop.inria.fr/members/Joelle.Despeyroux/papers/hyll_report.pdf.
- D’Agostino, M., Gabbay, D.M., & Broda, K. (1999). Tableau methods for substructural logics. In M. D’Agostino, D.M. Gabbay, R. Hähnle, & J. Posegga (Eds.), Handbook of tableaux methods (pp. 397–468). Kluwer Academic.Google Scholar
- de Queiroz, R.J.G.B, de Oliveira, A.G., & Gabbay, D.M. (2011). The functional interpretation of logical deduction. London: Imperial College Press/World Scientific.Google Scholar
- Gabbay, D.M. (1993). How to construct a logic for your application. In H.J. Ohlbach (Ed.), GWAI ‘92: advances in artificial intelligence of lecture notes in computer science, (Vol. 671 pp. 1–30). Berlin: Springer.Google Scholar
- Gabbay, D.M. (1994). What is a logical system? In D.M. Gabbay (Ed.), What is a logical system? (pp. 179–216). Oxford: Clarendon Press.Google Scholar
- Giere, R.N. (2006). Scientific pluralism. University of Minnesota Press.Google Scholar
- Girard, J.-Y. (1995). Linear logic: its syntax and semantics. In J.-Y. Girard, Y. Lafont, & L. Regnier (Eds.), Advances in linear logic of London mathematical society lecture notes series, (Vol. 222 pp. 1–42). Cambridge University Press.Google Scholar
- Girard, J.-Y., Lafont, Y., & Taylor, P. (1989). Proofs and types. Cambridge: Cambridge University Press.Google Scholar
- Howard, W.A. (1980). The formulae-as-types notion of construction. In J.P. Seldin, & J.R. Hindley (Eds.), To H. B. Curry: essays on combinatory logic, lambda calculus and formalism (pp. 479–490). London: Academic Press.Google Scholar
- Kellert, S.H., Longino, H.E., & Waters, C.K. (Eds.) (2006). Scientific pluralism. University of Minnesota Press.Google Scholar
- Lipton, P. (2004). Inference to the best explanation, 2nd edn. London: Routledge.Google Scholar