Beiträge zu einer Fachtagung der Universität Ulm 1990, auf der erstmalig israelische und deutsche Psychiater und Juristen über Psychiatrie und Justiz während der nationalsozialistischen Herschaft referierten. Die israelischen Referenten berichten über Entstehung, Manifestation und Behandlung der psychischen Leiden bei den Überlebenden und bei den Tätern der Vernichtungsmaschinerie: u. a. von der nationalsozialistischen Psychiatrie am Beispiel Grafeneck und der Situation in Grafeneck 50 Jahre danach.

Aus verschiedenen Perspektiven werden verschiedene gesellschaftliche Subkulturen beschrieben. In ihnen zeigt sich die Spannung zwischen Themenanspruch und sozialer Praxis. Ethik hat diese Spannung zu ertragen. Sie hat Relationen in den Kulturen und zwischen ihnen zu erkennen. In den Blick genommen werden: die Politik, die Medien, die Zivilreligion, die Wirtschaft.

The Description Logic Handbook covers all aspects of the research in the field of knowledge representation. Written by some of the most prominent researchers in the field, and covering the basic technical material and implementational aspects, it is both a unique reference and a self-study guide.

Unification was originally introduced in automated deduction and term rewriting, but has recently also found applications in other fields. In this article, we give a survey of the results on unification obtained in two closely related, yet different, application areas of unification: description logics and modal logics.

English summary: This volume contains controversial views and discussions on the purpose, function, analysis and justification of value judgments and norms in the social sciences and humanities.

The first introductory textbook on description logics, relevant to computer science, knowledge representation and the semantic web.

The article outlines the Multiple-Field-Approach ("Mehr-Felder-Ansatz") in Gestalt Theoretical Psychotherapy and in psychotherapy in general. This Gestalt theory based approach deals 1) with the conditions under which a secondary phenomenal field (containing a secondary phenomenal ego and a secondary phenomenal environment) segregates within the primary phenomenal field, 2) with the dynamic field interaction between primary and secondary field and their role in psychotherapy, 3) with psychotherapeutic techniques favouring the segregation and favouring the dissolution of a secondary field . Some of (...) these phenomena have been discussed as mind-wandering, daydreaming, or - in a pathological context - as dissociation. But it seems that the Gestalt psychological approach presented in this paper has to offer a more promising framework for these phenomena and their dynamics. (shrink)

Basically, the connection of two many-sorted theories is obtained by taking their disjoint union, and then connecting the two parts through connection functions that must behave like homomorphisms on the shared signature. We determine conditions under which decidability of the validity of universal formulae in the component theories transfers to their connection. In addition, we consider variants of the basic connection scheme. Our results can be seen as a generalization of the so-called E-connection approach for combining modal logics to an (...) algebraic setting. (shrink)

Originally presented as the author's thesis (doctoral)--Universitèat Tèubingen, 1993.

This contribution compares entries on Friedrich Froebel and the kindergarten in German and United States’ histories of education from 1857 to 1933. In the American histories, Froebel appears as the great “hero” of education of the 19th century, whereas in the German histories, Pestalozzi is the “hero.” This difference in the perspectives goes back to fundamental differences in the political culture and political traditions of the two countries, which differed greatly as to the shaping of the public and private spheres. (...) Consequently, there were also different views on public education. In the immigration society of the United States, it was important to integrate children with various language and cultural backgrounds. As families could not do this alone, public kindergartens were needed. In Germany, in contrast, Froebel’s idea of the kindergarten was seen as an attack on family ties, and Pestalozzi was highly esteemed, because he made home education central. The American interest in “making citizens” produced Froebel as the hero; the German interest in leaving the education of young children to mothers and in the family lauded Pestalozzi. This case study of the reception of Froebel in Germany and the United States illustrates the high context-dependence of the construction of educational “heroes.”. (shrink)

Description logics are a family of knowledge representation formalisms that are descended from semantic networks and frames via the system Kl-one. During the last decade, it has been shown that the important reasoning problems (like subsumption and satisfiability) in a great variety of description logics can be decided using tableau-like algorithms. This is not very surprising since description logics have turned out to be closely related to propositional modal logics and logics of programs (such as propositional dynamic logic), for which (...) tableau procedures have been quite successful.Nevertheless, due to different underlying institutions and applications, most description logics differ significantly from run-of-the-mill modal and program logics. Consequently, the research on tableau algorithms in description logics led to new techniques and results, which are, however, also of interest for modal logicians. In this article, we will focus on three features that play an important rôle in description logics (number restrictions, terminological axioms, and role constructors), and show how they can be taken into account by tableau algorithms. (shrink)

The paper presents basic Gestalt psychological concepts of ego and self. They differ from other concepts in the way that they do not comprehend ego and self as fixed entities or as central controlling instances of the psyche, but as one specific organized unit in a psychological field in dynamic interrelation with the other organized units—the environment units—of this field. On this theme, well-known representatives of Gestalt theory have presented some general and special theories since the early days of this (...) approach that could partly be substantiated experimentally. They illuminate the relationship between ego and world in everyday life as well as in the case of mental disorders. Not only the spatial extension of the phenomenal ego is subject to situational changes, but also its place in the world, its functional fitting in this world, its internal differentiation, its permeability to the environment, and much more. The German Gestalt psychologist Wolfgang Metzger emphasizes the significant functional role that this dynamic plasticity of the phenomenal world and its continuously changing segregation of ego and environment have for human life by designating the phenomenal world as a “Central Steering Mechanism.” In this article, ego and self as part of this field in their interrelation with the total psychological field will be illuminated from the perspective of the thinking of the Gestalt psychologists Max Wertheimer, Kurt Koffka, Wolfgang Köhler, Kurt Lewin, Wolfgang Metzger, Mary Henle, Edwin Rausch, and Giuseppe Galli. (shrink)

In der 1970 gegründeten Reihe erscheinen Arbeiten, die philosophiehistorische Studien mit einem systematischen Ansatz oder systematische Studien mit philosophiehistorischen Rekonstruktionen verbinden. Neben deutschsprachigen werden auch englischsprachige Monographien veröffentlicht. Gründungsherausgeber sind: Erhard Scheibe (Herausgeber bis 1991), Günther Patzig (bis 1999) und Wolfgang Wieland (bis 2003). Von 1990 bis 2007 wurde die Reihe von Jürgen Mittelstraß mitherausgegeben.

We discuss several ontological properties of explicit mathematics and operational set theory: global choice, decidable classes, totality and extensionality of operations, function spaces, class and set formation via formulas that contain the definedness predicate and applications.

Feature logics are the logical basis for so-called unification grammars studied in computational linguistics. We investigate the expressivity of feature terms with negation and the functional uncertainty construct needed for the description of long-distance dependencies and obtain the following results: satisfiability of feature terms is undecidable, sort equations can be internalized, consistency of sort equations is decidable if there is at least one atom, and consistency of sort equations is undecidable if there is no atom.

An important finding of the game theoretic research on signaling games is the insight that under many circumstances, a signal obtains credibility by incurring costs to the sender. Therefore it seems questionable whether or not cheap talk—signals that are not payoff relevant—can serve to transmit information among rational agents. This issue is non-trivial in strategic interactions where the preferences of the players are not aligned. Researchers like Crawford & Sobel, Rabin, and Farrell demonstrated, however, that even in the case of (...) partially divergent interests, cheap talk may be informative. They assume that signals have an exogenously given meaning that is common knowledge between the players, and they explore the conditions under which such a signal is credible. This discussion has obvious relevance to the program of Gricean pragmatics in linguistics. According to Grice’s "Cooperative Principle”, this research tradition only considers scenarios where the interests of the players are aligned. Nevertheless, the assumption of differential signaling costs introduces an element of non-aligned interests. The present paper proposes a framework that combines these two research strands. Using an inference protocol of iterated best response, it gives a recipe for how the interlocutors derive rationalizable strategies from exogeneously given "literal” meanings of signals. No special assumptions about the alignment of interests or signaling costs are made. After introducing the formal model, the paper sketches several applications of this model to problems in linguistic pragmatics, like scalar implicatures, the division of pragmatic labor, and the interpretation of measure terms. (shrink)

Robert Stalnaker has argued that mathematical information is information about the sentences and expressions of mathematics. I argue that this metalinguistic account is open to a variant of Alonzo Church's translation objection and that Stalnaker's attempt to get around this objection is not successful. If correct, this tells not only against Stalnaker's account of mathematical truths, but against any metalinguistic account of truths that are both necessary and informative.

During a conference entitled “_Un logicien consciencieux. La philosophie de Evert Willem Beth_,” held in Nancy in 1998 and published in this journal, volume 3, cahier 4 [Barth, Heinzmann _et al._ 1998-1999], the participants regretted that a reasoned biography of Beth was not available. In view of the efforts made since then in this direction, in particular by Paul van Ulsen in his PhD thesis in Dutch [2000], this article attempts to provide an overview of Beth’s work for a broader (...) community of philosophers of science. However, my focus is not so much on Beth’s widely discussed and important contributions to mathematical logic, where his most creative merits reside. My aim is to emphasize Beth’s philosophical and cultural background. Both are also discussed in the first two chapters of Ulsen’s thesis, which globally focuses on Beth’s work in logic. Of course, philosophical and scientific aspects cannot be systematically separated, but Beth’s influence on the philosophy of mathematics be... (shrink)

The combination of Fuzzy Logics and Description Logics has been investigated for at least two decades because such fuzzy DLs can be used to formalize imprecise concepts. In particular, tableau algorithms for crisp Description Logics have been extended to reason also with their fuzzy counterparts. It has turned out, however, that in the presence of general concept inclusion axioms this extension is less straightforward than thought. In fact, a number of tableau algorithms claimed to deal correctly with fuzzy DLs with (...) GCIs have recently been shown to be incorrect. In this paper, we concentrate on fuzzy \, the fuzzy extension of the well-known DL \. We present a terminating, sound, and complete tableau algorithm for fuzzy \ with arbitrary continuous t-norms. Unfortunately, in the presence of GCIs, this algorithm does not yield a decision procedure for consistency of fuzzy \ ontologies since it uses as a sub-procedure a solvability test for a finitely represented, but possibly infinite, system of inequations over the real interval [0,1], which are built using the t-norm. In general, it is not clear whether this solvability problem is decidable for such infinite systems of inequations. This may depend on the specific t-norm used. In fact, we also show in this paper that consistency of fuzzy \ ontologies with GCIs is undecidable for the product t-norm. This implies, of course, that for the infinite systems of inequations produced by the tableau algorithm for fuzzy \ with product t-norm, solvability is in general undecidable. We also give a brief overview of recently obtained decidability results for fuzzy \ w.r.t. other t-norms. (shrink)

Gerhard Richter's groundbreaking study argues that the concept of "afterness" is a key figure in the thought and aesthetics of modernity. It pursues questions such as: What does it mean for something to "follow" something else? Does that which follows mark a clear break with what came before it, or does it in fact tacitly perpetuate its predecessor as a consequence of its inevitable indebtedness to the terms and conditions of that from which it claims to have departed? Indeed, (...) is not the very act of breaking with, and then following upon, a way of retroactively constructing and fortifying that from which the break that set the movement of following into motion had occurred? The book explores the concept and movement of afterness as a privileged yet uncanny category through close readings of writers such as Kant, Kafka, Heidegger, Bloch, Benjamin, Brecht, Adorno, Arendt, Lyotard, and Derrida. It shows how the vexed concepts of afterness, following, and coming after shed new light on a constellation of modern preoccupations, including personal and cultural memory, translation, photography, hope, and the historical and conceptual specificity of what has been termed "after Auschwitz." The study's various analyses—across a heterogeneous collection of modern writers and thinkers, diverse historical moments of articulation, and a range of media—conspire to illuminate Lyotard's apodictic statement that "after philosophy comes philosophy. But it has been altered by the 'after.'" As Richter's intricate study demonstrates, much hinges on our interpretation of the "after." After all, our most fundamental assumptions concerning modern aesthetic representation, conceptual discourse, community, subjectivity, and politics are at stake. (shrink)

Although Walter Benjamin's writings are considered to be among the most powerful theoretical enterprises of the twentieth century, his ideas are resistant to cooptation by the doctrines of various critical programs. These essays engage this resistance by examining the ghostly in Benjamin's work. The contributors show that the haunting truths Benjamin offers point towards new forms of responsibility. These truths reside in a figurative elsewhere, a ghostly space that his texts delimit but never fully inhabit, and these essays seek to (...) do justice to the ghosts of Benjamin. Issues explored include: the status of the image in Benjamin's literary reflections and in his meditations on cinema and visual culture; abiding Benjaminian notions of messianism, aura, reproducibility, semblance, and melancholy; Benjamin's relation to Freud; his innovative rethinking of history, virtuality, and translation; and his reflections on tragedy and prophecy, the geometrical dimensions of writing, and the relation between eros and language. (shrink)

Unification in description logics has been proposed as a novel inference service that can, for example, be used to detect redundancies in ontologies. The inexpressive description logic EL is of particular interest in this context since, on the one hand, several large biomedical ontologies are defined using EL. On the other hand, unification in EL has been shown to be NP-complete and, thus, of considerably lower complexity than unification in other description logics of similarly restricted expressive power. However, EL allows (...) the use of the top concept, which represents the whole interpretation domain, whereas the large medical ontology SNOMED CT makes no use of this feature. Surprisingly, removing the top concept from EL makes the unification problem considerably harder. More precisely, we will show that unification in EL without the top concept is PSPACE-complete. In addition to the decision problem, we also consider the problem of actually computing EL−⊤-unifiers. (shrink)

Keine ausführliche Beschreibung für "Fermenta cognitionis, Heft 1." verfügbar.

Par leurs contributions à ce livre, vingt-trois chercheur.e.s rendent hommage à leur collègue qui souvent fut aussi leur professeure, l’historienne juive Paula Hyman. Comme le rappelle Richard I. Cohen dans son avant-propos, P. Hyman fut une historienne des Juifs de France et les publications qu’elle a consacrées à la vie des Juifs dans la France contemporaine ont constitué un apport considérable à ce champ de recherches. Toutefois le volume dont il est ici question célèbre P. Hyman pour ses...

To find more information on Rowman & Littlefield titles, please visit us at www.rowmanlittlefield.com.

Proceedings of a symposium held Sept. 24-28, 1996 in Vienna, Austria.