Model-theoretic proofs of functional completenes along the lines of [McCullough 1971, Journal of Symbolic Logic 36, 15–20] are given for various constructive modal propositional logics with strong negation.

Text: Reproduktion nach Scan der Ausgabe von 1934, Verlag von J. C. B. Mohr (Paul Siebeck) in Tübingen. - Von dem kleinen Buch, das ich hier der Öffentlichkeit übergebe, bitte ich den Leser, nichts anderes zu erwarten, als das, was sein Titel ausdrücklich sagt. Es handelt sich in ihm nicht etwa um die Grundlinien eines Systems der Philosophie, sondern ausschließlich um dessen Probleme, und wenn diese sich auch nicht darlegen lassen, ohne die Richtung anzudeuten, in der das System bei der (...) Ausführung sich zu bewegen hätte, so sollen doch in dieser Schrift hauptsächlich Fragen gestellt, nicht Antworten gegeben werden. Oft brechen die Darlegungen dort ab, wo mancher Leser glauben kann, daß die größten Schwierigkeiten noch ungelöst sind. Ja mehr: nur die Grundprobleme der Philosophie werden erörtert, und das Eingehen auf Sonderfragen ist fast überall vermieden. Einzelheiten sind dann allein herangezogen worden, wenn es zur Verdeutlichung der Hauptbegriffe wünschenswert erschien. [Auszug aus dem Vorwort des Buches]. (shrink)

Herophilus, a contemporary of Euclid, practiced medicine in Alexandria in the third century B.C., and seems to have been the first Western scientist to dissect the human body. He made especially impressive contributions to many branches of anatomy and also developed influential views on many other aspects of medicine. Von Staden assembles the fragmentary evidence concerning one of the more important scientists of ancient Greece. Part 1 of the book presents the Greek and Latin texts accompanied by English translation and (...) interpretative commentary. Significant background information is given in the introductory essay preceding each chapter. Part 2 briefly sketches the major developments within the Herophilean school after Herophilus, and discusses the individual members within it. Anyone interested in the history of science, the history of medicine, or intellectual history will find this book a rich source of information about an unusual and important aspect of Greek culture. (shrink)

General Ontological Language (GOL) is a formal framework for representing and building ontologies. The purpose of GOL is to provide a system of top-level ontologies which can be used as a basis for building domain-specific ontologies. The present paper gives an overview about the basic categories of the GOL-ontology. GOL is part of the work of the research group Ontologies in Medicine (Onto-Med) at the University of Leipzig which is based on the collaborative work of the Institute of Medical Informatics (...) (IMISE) and the Institute for Computer Science (IfI). It represents work in progress toward a proposal for an integrated family of top-level ontologies and will be applied to several fields of medicine, in particular to the field of Clinical Trials. (shrink)

It is shown that every displayable propositional logic enjoys strong cut-elimination. This result strengthens Belnap's general cut-elimination theorem for Display Logic.

The purpose of this article is to illustrate the role of sociology in the field of corporate social responsibility. It presents a case study conducted by a research group consisting of two University partners in association with a Swiss SME. This project attempted to draw conclusions from a specific sociological consultancy research project on the general possibilities and opportunities of sociology in applied research and operational sustainability consulting. On the basis of the project findings, the article reflects on the extent (...) to which sociology could profitably intervene, on the limitations for sociological research and consultations in this field and on the conclusions that can be drawn for future analyses. (shrink)

Czy eutanazja gwałci prawo do życia ("the right to life")? Odpowiedź na to pytanie zależy od rozumienia terminu "prawo do życia". Autor, odwołując się do pojęcia uprawnienia i typologii uprawnień, zaproponowanej przez Stiga oraz Helle Kanger, wyróżnia i analizuje w kategoriach formalnologicznych cztery rozumienia tego terminu. Każdemu z nich odpowiada odmienne stanowisko w sprawie dopuszczalności eutanazji. Pierwszym z tych stanowisk jest "mocna doktryna świętości życia", według której prawu do życia towarzyszy obowiązek przedłużania życia za pomocą wszelkich możliwych środków. Eutanazja zatem, (...) według zwolenników tego stanowiska, jest niedopuszczalna pod żadną postacią. Takie zdecydowane odrzucenie eutanazji stoi w sprzeczności z zasadą szacunku dla autonomii pacjenta oraz zasadą niezadawania zbędnego cierpienia (the principle of nonmaleficence). Uwzględnienie tych dwóch zasad prowadzi do modyfikacji powyższego stanowiska, w wyniku czego otrzymujemy "słabą doktrynę świętości życia". Według tego stanowiska dopuszczalna jest pod pewnymi warunkami eutanazja bierna, czyli zaniechanie leczenia czy też podtrzymywania życia pacjenta. Odmienne stanowisko od zwolenników doktryny świętości życia w obu jej odmianach zajmują zwolennicy liberalnego podejścia do eutanazji. Tutaj także możemy wyróżnić dwa stanowiska. Według słabego stanowiska liberalnego, w pewnych warunkach dopuszczalne moralnie jest popełnienie samobójstwa, niemniej jednak ściśle zakazana jest pomoc osób trzecich w samobójstwie, jak też pozbawienie z rozmysłem życia drugiej osoby na jej własną prośbę. Mocne liberalne stanowisko uznaje za moralnie dopuszczalną pomoc w samobójstwie czy też pozbawienie z rozmysłem życia drugiej osoby na jej własną prośbę. Innymi słowy, za moralnie dopuszczalną uznaje eutanazję czynną. (shrink)

This is an EXACT reproduction of a book published before 1923. This IS NOT an OCR'd book with strange characters, introduced typographical errors, and jumbled words. This book may have occasional imperfections such as missing or blurred pages, poor pictures, errant marks, etc. that were either part of the original artifact, or were introduced by the scanning process. We believe this work is culturally important, and despite the imperfections, have elected to bring it back into print as part of our (...) continuing commitment to the preservation of printed works worldwide. We appreciate your understanding of the imperfections in the preservation process, and hope you enjoy this valuable book. (shrink)

This book develops an original theory of performative beauty. Philosophical aesthetics has largely neglected one's own actions as a potential experience of the beautiful. Throughout the book, the author uses own experiences of Argentine tango as a case study; one important incentive for social dancing is to have pleasurable and beautiful experiences. This book begins by investigating the methodological causes for why beauty in modernity has been seen to result only from contemplating external objects. It then builds a theory of (...) performative beauty that incorporates findings from new phenomenology, neuroaesthetics, enactivism, and somaesthetics and that reassesses existing inquiries of beauty. The result is an account that identifies kinaesthetic awareness as the point of emergence of both theory and practice, of creation (poiesis) and perception (aisthesis), and of moving (agency) and being moved (reception). Performative beauty is the pleasure of being moved by the dance where the dancer feels both as a creative improvisor and as an integrated part of the activity itself. A Somaesthetics of Performative Beauty - Tangoing Desire and Nostalgia will appeal to scholars and advanced students working in aesthetics, dance studies, performance studies and related fields of artistic research. (shrink)