ABSTRACT This paper reports on an empirical performance analysis of four modal theorem provers on benchmark suites of randomly generated formulae. The theorem provers tested are the Davis-Putnam-based procedure KSAT, the tableaux-based system KRZIS, the sequent-based Logics Workbench, and a translation approach combined with the first-order theorem prover SPASS. Our benchmark suites are sets of multi-modal formulae in a certain normal form randomly generated according to the scheme of Giunchiglia and Sebastiani [GS 96a, GS 96b]. We investigate the quality of (...) the random modal formulae and show that the scheme has some shortcomings, which may lead to mistaken conclusions. We propose improvements to the evaluation method and show that the translation approach provides a viable alternative to the other approaches. (shrink)

This paper considers a new class of agent dynamic logics which provide a formal means of specifying and reasoning about the agents activities and informational, motivational and practical aspects of the behaviour of the agents. We present a Hilbert-style deductive system for a basic agent dynamic logic and consider a number of extensions of this logic with axiom schemata formalising interactions between knowledge and commitment (expressing an agent s awareness of her commitments), and interactions between knowledge and actions (expressing no (...) learning and persistence of knowledge after actions). The deductive systems are proved sound and complete with respect to a Kripke-style semantics. Each of the considered logics is shown to have the small model property and therefore decidable. (shrink)

Der Band verbindet aktuelle Diskurse um nichtmenschliche oder mehr-als-menschliche Akteure in ästhetischen Prozessen mit der derzeit virulenten Debatte um "Care" bzw. Fürsorgeethik in der Kunst. Gefragt wird nach den Bedingungen, Modi und Konsequenzen einer nichtmenschlichen Ästhetik und danach, in welcher Form Tiere, Pflanzen, Pilze, Mikroben, Bakterien, Maschinen oder künstliche Intelligenzen im Rahmen von Kunstwerken handeln. Die Beiträge beleuchten, wie Künstler*innen mit nichtmenschlichen Entitäten im Rahmen von performativen oder installativen Kunstwerken interagieren und wie sie füreinander sorgen und füreinander verantwortlich sind.

Alles dreht sich um Werte. Sie werden von Politikern herbeizitiert, gerne bekennt man sich zu ihnen? in der Konsumwelt, in der politischen Aktionskunst, beim Wohnen, beim Essen und im Fitnesskult. Wolfgang Ullrich nimmt die Karriere der Werte in verschiedenen Bereichen unter die Lupe. Seine These: Sich zu Werten zu bekennen ist so beliebt, weil es dem Selbstbewusstsein schmeichelt. Man darf sich dann moralisch gut und sogar kreativ fühlen. Ullrich untersucht, wie Werte im Einzelnen in Szene gesetzt werden. Aber (...) er fragt auch, wie sich gesellschaftspolitische Debatten unter diesen Vorzeichen entwickeln. (shrink)

Is consolidation needed to account for retroactive interference in free recall? Interfering mental activity during the retention interval of a memory task impairs performance, in particular if the interference occurs in temporal proximity to the encoding of the to-be-remembered information. There are at least two rival theoretical accounts of this temporal gradient of retroactive interference. The cognitive neuroscience literature has suggested neural consolidation is a pivotal factor determining item recall. According to this account, interfering activity interrupts consolidation processes that would (...) otherwise stabilize the memory representations of TBR items post-encoding. Temporal distinctiveness theory, by contrast, proposes that the retrievability of items depends on their isolation in psychological time. According to this theory, information processed after the encoding of TBR material will reduce the temporal distinctiveness of the TBR information. To test between these accounts, implementations of consolidation were added to the SIMPLE model of memory and learning. We report data from two experiments utilizing a two-list free recall paradigm. Modeling results imply that SIMPLE was able to model the data and did not benefit from the addition of consolidation. It is concluded that the temporal gradient of retroactive interference cannot be taken as evidence for memory consolidation. (shrink)

Following the publication of the Contributions to Philosophy, Mindfulness and the History of Being, the question of the significance of Heidegger’s later work has been widely discussed. However, th...

stufe oder Unterstufe im emporsteigenden Gang zur absoluten Er kenntnis gewinnen. Man kann sagen, daB das philosophisehe Interesse in vollbe wuBter Weise als leitendes Ziel das vor Augen hat, was sieh in jedem 5 rein theoretisehen Interesse als gleiehsam verborgene Tendenz be kundet: Die Tendenz auf vollkommene Erkenntnis liegt in allem rein theoretisehen Bestreben. a) Immerfort ftihlt es sieh fortgetrieben im Sinne mOgliehster Verdeutliehung, Klarung, mogliehst vollkom mener Begriindung. b) Immerfort ftihlt es sieh mit der vereinzelten 10 Tatsaehe, mit dem (...) vereinzelten Gesetz unbefriedigt; es kann daran nieht haften bleiben. Es ftihlt sich gedrangt, von dem Besonderen emporzusteigen zum Allgemeineren, von der Tatsaehe zum Gesetz, von der niederen Allgemeinheit zu der hoheren. Damit nieht zufrie den, muB es aIle mogliehen theoretisehen Lehren durehlaufen, um- 15 spannende Theorien bauen, die Theorien zu umfassenden Theorien verbinden, und so immer weiter. Dabei erweitert sieh der enge Kreis der yom theoretisehen Interesse zunaehst ins Auge gefaBten Gegen standliehkeiten; Einheit der theoretisehen Erkenntnis greift immer weiter von Gebiet zu Gebiet, ohne Grenze. 20 Bringen wir uns diese Tendenzen zur Klarheit, so sehen wir, daB sie im Verborgenen dem Ziel der hoehsten Vereinheitliehung die nen, daB sie verstreuten, zusammenhangslosen Erkenntnissen feind sind, daB sie gleiehsam niehts Untheoretisehes, Unvereinheitlichtes dulden wollen ebensowenig als ein Ende, soweit irgend noeh ein plus 25 ultra denkbar ist. Und zu alledem gehort offenbar aueh die Tendenz zu voll ausweisender Klarheit. (shrink)

Michel de Montaigne, the great Renaissance skeptic and pioneer of the essay form, is known for his innovative method of philosophical inquiry which mixes the anecdotal and the personal with serious critiques of human knowledge, politics and the law. He is the first European writer to be intensely interested in the representations of his own intimate life, including not just his reflections and emotions but also the state of his body. His rejection of fanaticism and cruelty and his admiration for (...) the civilizations of the New World mark him out as a predecessor of modern notions of tolerance and acceptance of otherness. In this volume an international team of contributors explores the range of his philosophy and also examines the social and intellectual contexts in which his thought was expressed. (shrink)

The point of departure of any ethical theory is the anthropological fact that normally developed humans must lead their own lives themselves. This means that their conduct is neither programmed nor determined by instincts. Human beings must on every occasion engage the circumstances of a practical situation by their own choice and decision. Even when they find themselves delivered over to the stimuli and powers of particular circumstances in a completely passive manner, this does not occur in the way that (...) it does for a robot, but rather, on the basis of a background of an essential possibility that they can conduct themselves otherwise than they are now behaving. Where there is the possibility of a choice, then the question inevitably arises regarding the principle of the choice. On what do we base our decision to choose one possibility rather than another? We can let fate decide, we can consult astrological charts, we can appeal to an authority, or we can try to find out what we truly want, what are our deepest desires and what choice agrees best with these desires. Finally, we can also inquire into what decision is the objectively correct and rational one, i.e. which decision is good independent of our subjective preferences. This latter case, of course, presupposes a standard of the objectively good and rational, in regard to which we can be responsible for and evaluate our decisions as well as our ensuing actions. (shrink)

I am grateful to the National Endowment for the Humanities for a year-long fellowship that enabled me to write major portions of this book; ...

ABSTRACTPeople often continue to rely on misinformation in their reasoning after they have acknowledged a retraction; this phenomenon is known as the continued-influence effect. Retractions can be particularly ineffective when the retracted misinformation is consistent with a pre-existing worldview. We investigated this effect in the context of depressive rumination. Given the prevalence of depressotypic worldviews in depressive rumination, we hypothesised that depressive rumination may affect the processing of retractions of valenced misinformation; specifically, we predicted that the retraction of negative misinformation (...) might be less effective in depressive ruminators. In two experiments, we found evidence against this hypothesis: in depressive ruminators, retractions of negative misinformation were at least as effective as they were in control participants, and more effective than retractions of positive misinformation. Findings are interpreted in terms of an attentional bias that may enhance the sali... (shrink)

Der Verantwortung von Ingenieurinnen und Ingenieuren kommt gesellschaftlich sicher ebenso große Bedeutung zu wie der Verantwortung von Ärzten. Doch das technische Denken ist nicht in derselben Weise mit Wertorientierungen durchflochten wie medizinisches Denken und ärztliche Praxis. Im medizinischen Feld steht das Naturwissenschaftliche im Zentrum und in vielen Zusammenhängen wird Verantwortung angesprochen – dieses Thema ist in der Berufspraxis durchgehend präsent. Für Ingenieure liegen die Verhältnisse anders, und zwar aufgrund der bislang vorherrschenden Fachkultur. Ähnlich wie die Mediziner sind auch Ingenieure immer (...) wieder dem Druck der Verantwortlichkeit ausgesetzt. Da ihr Denken jedoch durch einen allgemeinen Objektivitätsanspruch imprägniert scheint, schwebt dieses Thema oft gleichsam unverbunden neben dem fachlichen Diskurs. Deshalb wird in diesem Band der Versuch unternommen, das vermeintlich Fachfremde mit dem fachlichen Diskurs zu verbinden. Die Beiträge eignen sich für den Gebrauch in Lehrveranstaltungen. (shrink)

Martin Heidegger's Nietzsche's Second Untimely Meditation presents crucial elements for understanding Heidegger's thinking from 1936 to 1940. Heidegger offers a radically different reading of a text that he had read decades earlier, showing how his relationship with Nietzche's has changed, as well as how his understandings of the differences between animals and humans, temporality and history, and the Western philosophical tradition developed. With his new reading, Heidegger delineates three Nietzschean modes of history, which should be understood as grounded in the (...) structure of temporality or historicity and also offers a metaphysical determination of life and the essence of humankind. Ullrich Hasse and Mark Sinclair offer a clear and accessible translation despite the fragmentary and disjointed quality of the original lecture notes that comprise this text. (shrink)