This book introduces an important group of logics that have come to be known under the umbrella term 'susbstructural'. Substructural logics have independently led to significant developments in philosophy, computing and linguistics. _An Introduction to Substrucural Logics_ is the first book to systematically survey the new results and the significant impact that this class of logics has had on a wide range of fields.The following topics are covered: * Proof Theory * Propositional Structures * Frames * Decidability * Coda Both (...) students and professors of philosophy, computing, linguistics, and mathematics will find this to be an important addition to their reading. (shrink)

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.

The writings of Joseph Henry Woodger (1894–1981) are often taken to exemplify everything that was wrongheaded, misguided, and just plain wrong with early twentieth-century philosophy of biology. Over the years, commentators have said of Woodger: (a) that he was a fervent logical empiricist who tried to impose the explanatory gold standards of physics onto biology, (b) that his philosophical work was completely disconnected from biological science, (c) that he possessed no scientific or philosophical credentials, and (d) that his work was (...) disparaged – if not altogether ignored – by the biologists and philosophers of his era. In this paper, we provide the first systematic examination of Woodger’s oeuvre, and use it to demonstrate that the four preceding claims are false. We argue that Woodger’s ideas have exerted an important influence on biology and philosophy, and submit that the current consensus on his legacy stems from a highly selective reading of his works. By rehabilitating Woodger, we hope to show that there is no good reason to continue to disregard the numerous contributions to the philosophy of biology produced in the decades prior to the professionalization of the discipline. (shrink)

During the past hundred years or so, those scholars studying science have isolated themselves as much as possible from scientists as well as from workers in other disciplines who study science. The result of this effort is history of science, philosophy of science and sociology of science as separate disciplines. I argue in this paper that now is the time for these disciplinary boundaries to be lowered or at least made more permeable so that a unified discipline of Science Studies (...) might emerge. I discuss representative problems that stand in the way of such an integration. These problems may seem so formidable in the abstract that no one in their right mind would waste their time trying to bring about a unified field of Science Studies. However, those of us who limit ourselves to the study of the biological sciences have already formed a society in which workers from all disciplines can share their expertise -- the International Society for the History, Philosophy and Social Studies of Science. (shrink)

The first Ukrainian translation of the most famous Quine’s article (1951), which became one of the classic texts of Analytical Philosophy.

Much of the recent philosophical debate on causation and causal explanation in the biological and biomedical sciences has focused on the notion of mechanism. Mechanisms, their nature and epistemic roles have been tackled by a range of so-called neo-mechanistic theories, and widely discussed. Without denying the merits of this approach, our paper aims to show how lately it has failed to give proper credit to processes, which are central to the field, especially of contemporary molecular biology. Processes can be summed (...) up in the notion of ‘pathway’, which is far from being just equivalent to that of ‘mechanism’ and has a profound epistemological and explanatory relevance. It is argued that an adequate consideration of pathways impels some rethinking of scientific explanation in molecular biology, namely its functional and contextual features. A number of examples are given to suggest that the focus of philosophical attention in this disciplinary field should shift from the notion of mechanism to the notion of pathway. (shrink)

Logic and philosophy of science share a long history, though contacts have gone through ups and downs. This paper is a brief survey of some major themes in logical studies of empirical theories, including links to computer science and current studies of rational agency. The survey has no new results: we just try to make some things into common knowledge.

A critical analysis of Woodger's work on formal logic in biology, especially genetics, reveals that the claim for the value of such methods in genetics is misplaced.