Sein, Identität und Kultur: Versuch einer strukturhermeneutischen Anthropologie im Anschluss an Martin Heidegger und Jean-Paul Sartre

Mit dem vorliegenden Buch verfolgt der Autor vor allem drei Ziele: Das erste besteht darin, die anthropologischen Überlegungen, die sich in konzentrierter Form vor allem in den frühen Hauptwerken von Martin Heidegger und Jean-Paul Sartre finden, herauszulösen, zu systematisieren und zu einem einheitlichen anthropologischen Gedankengefüge zu vernetzen. In einem zweiten Schritt soll dieses Gefüge durch eigene Überlegungen ergänzt und in Auseinandersetzung mit Helmuth Plessner und Karl Jaspers weiterentwickelt werden. Drittens schließlich sollen vor diesem Hintergrund Grundlagen einer »strukturhermeneutischen Anthropologie« ausgearbeitet werden, die ein hermeneutisches Instrumentarium für die Aufklärung der unbedingten persönlichen Geltung kultureller Bindung bereitstellen können und von eigenen identitätstheoretischen Grundüberlegungen getragen werden. Da im fokussierten Zusammenhang kultureller Bindung und interkultureller Auseinandersetzung die Fragen nach dem menschlichen Selbstverhältnis und den Möglichkeiten sowie Bedingungen des Fremdverstehens eine wichtige Rolle spielen, sollen dabei nicht nur die hermeneutischen Aspekte der erörterten anthropologischen Positionen in den Blick genommen werden, sondern auch die damit unmittelbar verknüpften Fragen der Sinn- und Identitätsbildung. In kulturphilosophischer Hinsicht soll ein zentrales Ergebnis der Arbeit sein, anthropologische Eckpunkte menschlichen Entwerfens und Mechanismen der kulturellen Sinn- und Identitätsstiftung herauszuarbeiten, um der Analyse kultureller Bindung sowohl ein anthropologisches als auch ein hermeneutisches Fundament zu geben.

A study of two Languages for Active Objects with Futures

In computer systems, specifically in multithread, parallel and distributed systems, a deadlock is both a very subtle problem - because difficult to pre- vent during the system coding - and a very dangerous one: a deadlocked system is easily completely stuck, with consequences ranging from simple annoyances to life-threatening circumstances, being also in between the not negligible scenario of economical losses. Then, how to avoid this problem? A lot of possible solutions has been studied, proposed and implemented. In this thesis we focus on detection of deadlocks with a static program analysis technique, i.e. an analysis per- formed without actually executing the program. To begin, we briefly present the static Deadlock Analysis Model devel- oped for coreABS−− in chapter 1, then we proceed by detailing the Class- based coreABS−− language in chapter 2. Then, in Chapter 3 we lay the foundation for further discussions by ana- lyzing the differences between coreABS−− and ASP, an untyped Object-based calculi, so as to show how it can be possible to extend the Deadlock Analysis to Object-based languages in general. In this regard, we explicit some hypotheses in chapter 4 first by present- ing a possible, unproven type system for ASP, modeled after the Deadlock Analysis Model developed for coreABS−−. Then, we conclude our discussion by presenting a simpler hypothesis, which may allow to circumvent the difficulties that arises from the definition of the ”ad-hoc” type system discussed in the aforegoing chapter.