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.

We have developed a first generation tool for the unbiased identification and characterization of human pluripotent stem cells, termed PluriTest. This assay utilizes all the information contained on a microarray and abandons the conventional stem cell marker concept. Stem cells are defined by the ability to replenish themselves and to differentiate into more mature cell types. As differentiation potential is a property that cannot be directly proven in the stem cell state, biologists have to rely on correlative measurements in stem (...) cells associated with differentiation potential. Unfortunately, most, if not all, of those markers are only valid within narrow limits of specific experimental systems. Microarray technologies and recently next‐generation sequencing have revolutionized how cellular phenotypes can be characterized on a systems‐wide level. Here we discuss the challenges PluriTest and similar global assays need to address to fulfill their enormous potential for industrial, diagnostic and therapeutic applications. (shrink)

The short version of the Bielefeld Partnership Expectations Questionnaire assesses the partner-related attachment dimensions fear of rejection, readiness for self-disclosure, and conscious need for care. The presented study investigated the factor structure in two samples and evaluated the convergent validity of scales. The sample included N = 175 patients with panic disorder and/or agoraphobia and N = 143 healthy controls. Besides, the BPEQ, the Experiences in Close Relationships Questionnaire, and the Brief Symptom Inventory were assessed as well, and the Adult (...) Attachment Prototype Rating was conducted. A confirmatory factor analysis of the three factor model revealed an acceptable model fit for the entire sample, patients and controls in terms of low RMSEA and SRMR. We found metric, scalar, and strict measurement invariance for the presence of anxiety disorder. However, only for fear of rejection and readiness for self-disclosure the reliability was acceptable, and convergent validity in terms of large correlations with the ECR scales was found in both samples. The scale conscious need for care had a questionable reliability and correlated only slightly with ECR-R scales. We conclude that fear of rejection and readiness for self-disclosure of the BPEQ-12 are reliable and valid scales for measuring partner-related attachment in healthy and clinical samples. (shrink)

Franz Rosenzweig's philosophical writings from his years of study (1906-1914) are now published for the first time. The publication of his historical and art-historical works is planned. In the first part of the two - volume publication we find his seminar work on the main subjects of the Kantian philosophy, which he gave to his academic teachers Alois Riehl at the Friedrich Wilhelm University of Berlin (1907/1908) and the professors Jonas Cohn and Hans Rickert at the University of Freiburg (...) (1908) / 1910). They provide an insightful insight into the development of his philosophical thinking and testify to the intensive study of Kant, which was later to be found in the system of Rosenzweig's "Star of Redemption" (1920). "The three verbs, which form the star, namely, the question of the possibilities 'to perceive the All', 'to experience the miracle,' to 'ask the kingdom,' is what the temporality of the thematized in it appears, In a certain analogy to the three epigrams, which, with their respective 'objects' indicated by infinitives, set aside the field of philosophizing in Kant: 'to know', 'to do', 'to hope.' " (Bernhard Casper). (shrink)

(Sudhoffs Archiv; Beiheft 61) Stuttgart: Franz Steiner 2013. 493 S., zahlr. Abb. u. Tab., kart., € 74,00. ISBN 978‐3‐515‐10468‐5.

Die jungsten Finanzkrisen haben die Diskussion uber die Moral der Markte wiederbelebt: Welche Verantwortung haben Unternehmen, Banken, Politik und letztlich jeder Einzelne in unserer Gesellschaft? Droht die Okonomisierung aller Lebensbereiche, der Ausverkauf des Menschen? Ist der Markt moralfrei? Brauchen wir neue Perspektiven und Werte? Diese drangenden Fragen werden im vorliegenden Buch von namhaften Autorinnen und Autoren wie Franz Muntefering und Rita Sussmuth beantwortet: Der Mensch muss wieder ins Zentrum rucken, Verantwortung und Moral sollten grundlegender Massstab auch des wirtschaftlichen Handelns (...) sein. Mit diesen Forderungen appellieren die BeitragerInnen an einen echten Dialog zwischen Gesellschaft, Wirtschaft und Ethik. Mit Beitragen von Bernhard Emunds, Jurgen Hardt, Linus Hauser, Esther Junger, Josef Kaiser, Siegfried Karl, Andreas Lenz, Uta Meier-Grawe, Franz Muntefering, Thomas Petersen, Marcus K. Reif, Rainer Schwarz, Rita Sussmuth und Joachim Wiemeyer". (shrink)

It is a well-known fact that the reformer Martin Luther highly esteemed Bernhard of Clairvaux. But what exactly was the significance of Bernhard for him? During the last years some Luther scholars became highly interested in the theological and historical relations between these two remarkable theologians. Recently Franz Posset published an article on this subject in Luther Jahrbuch. He discusses Bernhard of Clairvaux's Sermons of Christmas-time, Lent- and Easter-time as a source for Martin Luther. Theo Bell (...) contributes to this discussion firstly by examining some of the references, which are given by Posset. Did Luther refer to the Bernards second Easter sermon indeed? Was he not familiar at all with his Lenten sermons on Ps. 90? Secondly he argues, that Posset's statement, that Luther is a Bernardus redivivus, is a questionable one. Finally: the main question to the relation Luther-Bernard no longer is: did Luther read Bernard's writings and which ones did he explicitely know, but how did he read and understand them from his sixteenth century point of view? This reception problem should get the proper attention it deserves. (shrink)

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.

Growing out of concerns for environment-development interlinkages expressed at the United Nations Conference on the Human Environment, 1972, this volume is a compilation of edited versions of statements made at that conference and at the ...

"Aristoteles und seine Weltanschauung" ist Franz Brentanos letztes Wort in seiner lebenslänglichen Auseinandersetzung mit seinem ersten und größten philosophischen Lehrer. Indem er sich auf die aristotelische Metaphysik und hier vor allem auf die Gotteslehre konzentriert, versucht er einerseits zu zeigen, dass die oft als dunkel und widersprüchlich hingestellten Lehren des Aristoteles sich konsistent rekonstruieren lassen, und dass Aristoteles andererseits als ein Vertreter des metaphysischen Optimismus, als ein "antiker Leibniz" also, betrachtet werden kann.

Den 1905 gefaßten Plan einer Gesamtdarstellung der Aristotelischen Lehre brachte Brentano nicht mehr zur Ausführung. Die hier erstmals veröffentlichten Vorarbeiten aus den Jahren 1908 bis 1911 für die Abhandlung »Aristoteles und seine Weltanschauung« bieten einen detaillierten Einblick in das Aristoteles-Bild des späten Brentano.