Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind. Der Verlag stellt mit diesem Archiv Quellen für die historische wie auch die disziplingeschichtliche Forschung zur Verfügung, die jeweils im historischen Kontext betrachtet werden müssen. Dieser Titel erschien in der Zeit vor 1945 und wird daher in seiner zeittypischen politisch-ideologischen Ausrichtung vom Verlag nicht beworben.

Heinrich Behmann (1891-1970) obtained his Habilitation under David Hilbert in Göttingen in 1921 with a thesis on the decision problem. In his thesis, he solved - independently of Löwenheim and Skolem's earlier work - the decision problem for monadic second-order logic in a framework that combined elements of the algebra of logic and the newer axiomatic approach to logic then being developed in Göttingen. In a talk given in 1921, he outlined this solution, but also presented important programmatic (...) remarks on the significance of the decision problem and of decision procedures more generally. The text of this talk as well as a partial English translation are included. (shrink)

Although the principle of informed consent is well established and its importance widely acknowledged, it has met with criticism for decades. Doubts have been raised for a number of different reasons. In particular, empirical data show that people regularly fail to reproduce the information provided to them. Many critics agree, therefore, that the received concept of informed consent is no more than a myth. Strategies to overcome this problem often rest on a flawed concept of informed consent. In this paper, (...) it is suggested that informed consent is a communicative act between two persons. The challenge is to elucidate the norms and constraints for successfully performing such a communicative act. The view developed here has major consequences with regard to the standards for information disclosure as well as for the general scope of informed consent. (shrink)

The aim of the present paper is to analyse compactness properties of nonmonotonic inference operations within the framework of model theory. For this purpose the concepts of a deductive frame and its semantical counterpart, a semantical frame are introduced. Compactness properties play a fundamental in the study of non-monotonic inference, and in the paper several new versions of compactness are studied.

Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations etc. It contains many new technical results and presentations of novel proof procedures. The volume is of immense importance for the interdisciplinary fields of logic, knowledge representation, and automated deduction.

In diesem Buch werden die zwei Grundsäulen der "Kritischen Patriarchatstheorie" - die Matriarchale Naturphilosophie und die Patriarchatskritische Geschichtsphilosophie - vorgestellt und im Rahmen einer kritischen Auseinandersetzung mit der Naturphilosophie Giordano Brunos sowie der Geschichtsphilosophie Martin Heideggers erläutert.

Examines the diverse cultural influences which have shaped the basic philosophical traditions of India "Indian philosophy was at the heart of Zimmer's interest..

As the discoverer of electromagnetic waves, Hertz is one of the most important figures in the history of physics. In commemoration of the 100th anniversary of his death, this volume ties together his personal and professional life. It contains 11 of Hertz's most important papers, seven accounts of his life by renowned contemporaries, and a biographical introduction. A bibliography of Hertz's scientific papers, a general bibliography of books and articles about his contributions to physics, and a comprehensive index round out (...) the coverage. Annotation copyright by Book News, Inc., Portland, OR. (shrink)