A. Herzig

Die 5. "Verhandlungen der Gesellschaft fur Okologie" enthalten die Vortrage der vom 22. bis 24. September 197 5 in Wien durchgefuhrten J ahrestagung. Schwer- punktsmassig behandeln die Referate alpine und arktische Okosysteme, die okologi- schen und genetischen Voraussetzungen fur das Leben in Trockengebieten sowie limnische Okosysteme. Durch die Berucksichtigung der diese Systeme tangierenden IBP- und MAB-Forschungsprogramme liefern sie zugleich auch aktuelle Informa- tionen uber laufende Forschungsprojekte unserer Osterreichischen und schweizer Kollegen. Struktudle und energetische Untersuchungen uber einzelne Okosysteme, Biozo- nosen und Populationen stehen dabei im Vordergrund. Die vorgelegten Arbeiten verdeutlichen, dass jedes lebendige System uber die Kenntnis seiner Struktur, Funk- tion und Geschichte Informationen zu einem tieferen Verstandnis des von ihm belebten Raumes liefert. Sie zeigen, dass letztlich jeder Suche nach "Belastungsindi- katoren" und "okologischen Kriterien" die Frage nach dem Informationsgehalt von Organismen und lebenden Systemen sowie deren Reaktionen auf endo- und exogene Faktoren zugrunde liegt. Sowohl aus Veranderungen der Areal- und Okosysteme, als auch aus Wandlungen von Biozonosen und deren Reaktionen wurden Ruckschlusse auf die diese Veranderungen auslosenden Faktoren gezogen. Populationen und Bio- zonosen reagieren naturgemass nach eigenen Regeln, konnen jedoch nur existieren, wenn sie bestandig auch Informationen uber andere Komponenten aus ihrem Ver- breitungsgebiet speichern und verarbeiten. Diese adaptiven Fahigkeiten der unter- suchten Arten und Systeme sind jedoch noch weitgehend unbearbeitet. Hier klafft eine echte Lucke, die den Transfer okologischer Daten z. B. in di. c Landesplanung erschwert. Die Qualitat jeder Planung hangt weitgehend von den eingesetzten okologischen, sozialen und wirtschaftlichen Erhebungsdaten ab.

Understanding the role of deduction in human reasoning has been an important activity in philosophy, logic, and more recetnly artificial intelligence. The basic patter of this kind of reasoning can be represented by conditional expressions of the form `if...then.' There are various kinds of conditionals that fit into this pattern, such as counterfactual conditionals (`if it were the case that A then it would be the case that B'), causal conditionals (`if A then causally B'), action conditionals (`if A then B is obtained'), conditional obligations (`if A then B should be brought about'), generic conditionals (`if A then normally B')etc. The common pattern to all these constructions is their conditional form which connects the antecedetn to the consequent in such a way that the antecedent represents a condition (or a context) for the consequent. The general question arises: is it possible to give a formal logical account of these constructions? This question is considered in this volume by a group of internationally recognized pure and applied logicians and computer scientists. Their papers reflect all the current research in this subject, and should serve as a guide for future development.