| Full text | |
| Author(s): |
Total Authors: 4
|
| Affiliation: | [1] Univ Milan, Dipartimento Sci Salute, Milan - Italy
[2] Ist Europeo Oncol, Dept Expt Oncol, Milan - Italy
[3] Univ Ferrara, Dept Econ & Management, I-44100 Ferrara - Italy
[4] Univ G dAnnunzio, Dept Philosophy, Pescara - Italy
[5] Univ Estadual Campinas, Ctr Log Epistemol & Hist Sci, Campinas, SP - Brazil
Total Affiliations: 5
|
| Document type: | Journal article |
| Source: | EUROPEAN JOURNAL FOR PHILOSOPHY OF SCIENCE; v. 5, n. 3, p. 399-417, OCT 2015. |
| Web of Science Citations: | 6 |
| 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. (AU) | |
| FAPESP's process: | 13/22371-0 - Towards a unified setting for non-monotony and paraconsistency |
| Grantee: | Gabriele Pulcini |
| Support Opportunities: | Scholarships in Brazil - Post-Doctoral |