The axiomatic method in biology. (Q2603383)

In diesem Buch wird der interessante Versuch unternommen, einen Teil der theoretischen Biologie in der exakten Sprache des Logikkalküls wiederzugeben, da Verf. der Ansicht ist, daß sprachliche Unklarheiten, die mehr als einmal Verwirrung gestiftet haben, sich so am ehesten vermeiden lassen. Die notwendigen logistischen Kenntnisse werden in den ersten Kapiteln des Buches selbst vermittelt. Die Symbolik ist die der Principia Mathematica. Es werden dann verschiedene Undefinierte biologische Grundbegriffe wie ``Teil von'', ``früher als'', ``Klasse der Organismen'', ``Zelle'', ``männlich'', ``weiblich'', ``Umgebung'' usw. eingeführt, auf die kompliziertere Begriffe sich durch explizite Definitionen gründen. Für die Grundbegriffe werden in symbolischer Sprache verschiedene Axiome aufgestellt, aus denen nun die biologischen Theoreme gemäß den Regeln des Logikkalküls abgeleitet werden können. Von diesen Ableitungen konnten zunächst nur einige der wichtigeren gegeben werden. Das Buch verdient sicher Beachtung. Die Mitarbeit von \textit{A.~Tarski} gibt ihm noch eine besondere Note. Besprechung: F. B. Fitch, J. symbolic Logic 3 (1938), 42-43.