Accessing knowledge of a single knowledge source with different client applications often requires the help of mediator systems as middleware components. In the domain of theorem proving large efforts have been made to formalize knowledge for mathematics and verification issues, and to structure it in databases. But these databases are either specialized for a single client, or if the knowledge is stored in a general database, the services this database can provide are usually limited and hard to adjust for a (...) particular theorem prover. Only recently there have been initiatives to flexibly connect existing theorem proving systems into networked environments that contain large knowledge bases. An intermediate layer containing both, search and proving functionality can be used to mediate between the two. In this paper we motivate the need and discuss the requirements for mediators between mathematical knowledge bases and theorem proving systems. We also present an attempt at a concurrent mediator between a knowledge base and a proof planning system. (shrink)

Gnothi sauton - Erkenne dich selbst! Das Streben nach Erkenntnis und Selbsterkenntnis, das nach antiker Auffassung der Gott selbst in dieser Aufforderung dem Menschen ans Herz legt, bildet ein zentrales Moment von Arbogast Schmitts jahrzehntelanger Beschaftigung mit antiker Literatur und Philosophie, die zugleich immer auch eine kritische Auseinandersetzung mit modernen Konzepten und Positionen darstellt. Die vorliegende Festschrift vereint zwolf neue Beitrage zur antiken Philosophie, Literatur und Literaturtheorie, in denen Schuler, Freunde und Weggefahrten Arbogast Schmitts dieses Erkenntnisstreben beantworten und fortsetzen. Mit (...) Beitragen von: Wolfgang Bernard, Stefan Buttner, Sabine Follinger, Hans Ulrich Gumbrecht, Andreas Kablitz, Michael Krewet, Joachim Latacz, Thomas Leinkauf, Christian Pietsch, Ernst-Richard Schwinge, Rainer Thiel und Gregor Vogt-Spira. (shrink)

English summary: This book concerns a metaphysical definition of artifacts, taken as a key term of the philosophy of technology. Due to the fact that classical determinations are not only insufficient at explicating the term but also inapplicable to real artifacts, the work tries to develop a concept of artifacts using the thought of truth given by Martin Heidegger. In so far as a hermeneutic interpretation of his oeuvre shows us, truth actually is an object-generating happening. That is why an (...) analysis of forms of judgments allows the description of factic things. Assuming that there are theoretical judgments concerning technique - wherefore technique is an historically contingent kind of metaphysics - artifacts are given as geometrical universals, meaning terms, without being able to subsume thought-independent of individuals, unless artifacts exceptionally are known as subjects of practical philosophy. German description: Diese Studie befasst sich mit der metaphysischen Bestimmung des Gegenstandes Artefakt, der fur die Technikphilosophie zentral ist. Da klassische Bestimmungen weder eine zureichende Explikation des Begriffes noch die eindeutige Identifikation solcher Sachen erlauben, greift der Autor dazu auf das Denken der Wahrheit bei Martin Heidegger zuruck. Eine hermeneutische Deutung von dessen Werk zeigt, dass Wahrheit als ein Geschehen zu betrachten ist, das Gegenstande generiert. Demzufolge ermoglicht die Analyse von Urteilsformen, faktisch begegnende Sachen zu bestimmen. Nimmt man an, dass es spezifisch technik-theoretisches Urteilen gibt - weshalb Technik als ein historisch kontingenter Metaphysiktyp aufgefasst werden muss -, zeigt sich, dass Artefakte als geometrische Universalien begegnen. Sie sind also Begriffe, unter welche keine denkunabhangigen Einzeldinge subsumiert werden konnen, es sei denn man fasst Artefakte ausschliesslich als Gegenstande der praktischen Philosophie auf. (shrink)

Etablir l'art de l'interprétation comme science, tel est l'objectif de l'Essai de G. Fr. Meier, publié à Halle en 1757. Il s'agit du traité systématique d'herméneutique le plus abouti du rationalisme des Lumières dans son effort pour dégager des principes généraux de l'interprétation, dont le principe d'équité est le coeur. Les règles méthodologiques dégagées permettent de justifier la prétention de l'interprétation à être une connaissance, favorisant ainsi tant la culture que la lutte contre la superstition. La traduction de l'Essai (...) en français permet d'introduire l'herméneutique des Lumières, sa prétention à l'objectivité, son rapport avec la logique et la théorie du langage, dans un paysage marqué par la philosophie herméneutique de Heidegger et Gadamer. (shrink)

Online controlled experiments, also known as A/B tests, have become ubiquitous. While many practical challenges in running experiments at scale have been thoroughly discussed, the ethical dimension of A/B testing has been neglected. This article fills this gap in the literature by introducing a new, soft ethics and governance framework that explicitly recognizes how the rise of an experimentation culture in industry settings brings not only unprecedented opportunities to businesses but also significant responsibilities. More precisely, the article (a) introduces a (...) set of principles to encourage ethical and responsible experimentation to protect users, customers, and society; (b) argues that ensuring compliance with the proposed principles is a complex challenge unlikely to be addressed by resorting to a one-solution response; (c) discusses the relevance and effectiveness of several mechanisms and policies in educating, governing, and incentivizing companies conducting online controlled experiments; and (d) offers a list of prompting questions specifically designed to help and empower practitioners by stimulating specific ethical deliberations and facilitating coordination among different groups of stakeholders. (shrink)

In this book Heinrich Meier takes on the question of the meaning of Nietzsche's Thus Spoke Zarathustra, which has long proven controversial among readers. Meier closely examines the work to find a coherent structure and uncover the meanings in the figure of Zarathustra. By showing the unity in Zarathustra's life and teaching, Meier argues that the hidden architecture of the work reveals the development of self-knowledge for the philosopher. What Is Nietzsche's Zarathustra? A Philosophical Confrontation makes clear (...) in its careful attention to the text that Nietzsche's deepest concern is with understanding himself and the world, rather than with a view of himself as a prophet. (shrink)

We investigated the competition between automatic and controlled processes in a word stem completion task. Prime-display duration and the prime-target interval were manipulated. On each trial a masked prime was displayed briefly, followed either immediately or after a delay by a word stem. The subjects were required to complete each stem with the first word that came to mind, to report any prime they could identify, and not to give as completion any identified prime. By the assumption that automatic processes (...) require less stimulus input and can be completed faster than consciously controlled processes we expected a stronger performance contribution from automatic processes with the shorter prime-display durations and in the immediate stems condition. The results confirmed this expectation. The findings highlight that consciously controlled processes require more time to run their course than unconscious automatic processes. (shrink)

A reappraisal of Ecce Homo and The Antichrist within Nietzsche’s oeuvre. Nietzsche's Legacy takes on the most challenging and misunderstood works in Nietzsche’s oeuvre to illuminate his view of what a philosopher is and what constitutes a philosophic life. Interpreting Ecce Homo and The Antichrist as twin books meant to replace the abandoned Will to Power project, Heinrich Meier recovers them from the stigma of Nietzsche’s late mental collapse, showing that these works are, above all, a lucid self-assessment. The (...) carefully written pair contains both the highest affirmation—the Yes of the “revaluation of all values”—and the most resolute negation—the No to Christianity. How the Yes and the No go together, how the relation between nature and politics is to be determined, how Nietzsche’s intention is governing the political-philosophical double-face: this is the subject of Nietzsche’s Legacy, which opens up a new understanding of Nietzsche’s philosophy as a whole. (shrink)

The impact of large digital corporations on our freedom is often lamented but rarely investigated systematically. This paper aims to fill this desideratum by focusing on the power of social media corporations and the freedom of their users. In order to analyze this relationship, I distinguish two forms of freedom and two corresponding forms of power. Social media corporations extend their users’ freedom of choice by providing many new options. This provision, however, comes with the domination by these corporations because (...) it is based on their power of uncontrolled interference. Users could escape this domination through exit. One reason why they do not choose this option is that they would lose the benefits associated with the network effects provided by social media services. A second reason is that the power of social media corporations runs so deep that they are able to manipulate the autonomous decision-making processes of their users. Users are provided with many new avenues for authentic self-presentation on social media. By using them, however, users need to conform to a web interface that is designed by corporations to undermine self-control. Through these two mechanisms, corporations are able to promote an interest in users to present themselves on their platforms. Insofar as this works, they secure the users’ compliance to their domination through subjectivation. This double conjunction of choice and domination, on the one hand, and autonomy and subjectivation, on the other, makes the case that the very power of corporate social media stems from their intrinsic connection to genuine practices of freedom. (shrink)

Sartre’s account of the emotions presupposes a conception of human nature that is never fully articulated. The paper aims to render such conception explicit and to argue that frustration occupies a foundational place in Sartre’s picture of affective existence.

Human-centered explainable AI (HCXAI) advocates for the integration of social aspects into AI explanations. Central to the HCXAI discourse is the Social Transparency (ST) framework, which aims to make the socio-organizational context of AI systems accessible to their users. In this work, we suggest extending the ST framework to address the risks of social misattributions in Large Language Models (LLMs), particularly in sensitive areas like mental health. In fact LLMs, which are remarkably capable of simulating roles and personas, may lead (...) to mismatches between designers' intentions and users' perceptions of social attributes, risking to promote emotional manipulation and dangerous behaviors, cases of epistemic injustice, and unwarranted trust. To address these issues, we propose enhancing the ST framework with a fifth 'W-question' to clarify the specific social attributions assigned to LLMs by its designers and users. This addition aims to bridge the gap between LLM capabilities and user perceptions, promoting the ethically responsible development and use of LLM-based technology. (shrink)

We can hardly know for certain how strongly a scholarly discipline like history is able to affect politics and society, popular views and morals. Whatever its impact, it's influence also varies from epoch to epoch. During a few decades of the nineteenth century, historians were overwhelmed by so many questions and by such high expectations that there existed a large public space for them that they merely had to occupy. At other times, they have had to conquer this space first (...) if they wanted to gain continued attention.To be sure, a differentiation has to be introduced: any society has particular interests, e.g., in parts of its more recent past or in events that society sees as having something like a “mythical quality” about then, events that represent a major divide, that are deeply imprinted on that society's memory, that have attained a special role through tradition. There is, of course, always a space commanding wider public attention for these aspects. However, they are no more than small specks on the large canvas of history. (shrink)

A new and comprehensive look at the reasons behind successful or failed nation building Nation Building presents bold new answers to an age-old question. Why is national integration achieved in some diverse countries, while others are destabilized by political inequality between ethnic groups, contentious politics, or even separatism and ethnic war? Traversing centuries and continents from early nineteenth-century Europe and Asia to Africa from the turn of the twenty-first century to today, Andreas Wimmer delves into the slow-moving forces that (...) encourage political alliances to stretch across ethnic divides and build national unity. Using datasets that cover the entire world and three pairs of case studies, Wimmer's theory of nation building focuses on slow-moving, generational processes: the spread of civil society organizations, linguistic assimilation, and the states' capacity to provide public goods. Wimmer contrasts Switzerland and Belgium to demonstrate how the early development of voluntary organizations enhanced nation building; he examines Botswana and Somalia to illustrate how providing public goods can bring diverse political constituencies together; and he shows that the differences between China and Russia indicate how a shared linguistic space may help build political alliances across ethnic boundaries. Wimmer then reveals, based on the statistical analysis of large-scale datasets, that these mechanisms are at work around the world and explain nation building better than competing arguments such as democratic governance or colonial legacies. He also shows that when political alliances crosscut ethnic divides and when most ethnic communities are represented at the highest levels of government, the general populace will identify with the nation and its symbols, further deepening national political integration. Offering a long-term historical perspective and global outlook, Nation Building sheds important new light on the challenges of political integration in diverse countries. (shrink)

This chapter contains section titled: Introduction:the European Union and the Law of Peoples The Argument of Law of Peoples Standards and Grounds for International Stability Human Rights in Federations The Argument of Law of Peoples for Inter‐people Inequality Distributive Justice in Federations Federal and Global Implications Toleration and Stability Reconsidered Acknowledgments Notes.

A growing number of consumer technology companies are aiming to convince older people that humanoid robots make helpful tools to support aging-in-place. As hybrid devices, socially assistive robots (SARs) are situated between health monitoring tools, familiar digital assistants, security aids, and more advanced AI-powered devices. Consequently, they implicate older people’s privacy in complex ways. Such devices are marketed to perform functions common to smart speakers (e.g., Amazon Echo) and smart home platforms (e.g., Google Home), while other functions are more specific (...) to older people, including health and safety monitoring and serving as companions to mitigate loneliness. Privacy is a key value central to debates about the ethics of using SARs in aged care, yet there has been very little interchange between these debates and the robust theoretical discussion in the legal literature about the future of privacy and AI governance. Drawing on two qualitative studies of older people’s views on consumer SARs, the paper contributes novel findings about older people’s thinking on privacy and data governance at the intersection of their experiences with present day digital technologies and projections for future AI systems, and places their views in dialogue with debates about the future of privacy protection and AI governance. (shrink)

One of the most enigmatic and inevitably most suggestive words that Hölderlin’s philosophical work delivers to us is the neologism introduced in the summer of 1799: aorgisch, aorgic. A principle that is both ontological and mimetic, the aorgic undoubtedly represents the presence of the sublime in Hölderlin, albeit concealed terminologically, but also a particular declination that makes it not always easy to assimilate to the theories of the eighteenth-century and romantic sublime. This paper attempts to probe the role played by (...) the aorgic in the configuration of an aesthetics of the tragic by considering two precise moments: the writing, Grund zum Empedokles, which seeks to give speculative legitimacy to the unfinished tragedy on Empedocles, and the notes that accompanied the translations of Sophocles that Hölderlin published in 1804. Interpreted as the dimension of the formless, but also of the possible, the aorgic is necessarily thought by Hölderlin always next to its opposite pole, the organic, that is the dimension of the human in the broad sense (art, culture, history). The relationship between these two poles is not only dialectical, along the lines of Fichte’s Wechselwirkung, but also analogical, recovering that relationship between physis and techne that Aristotle had already indicated in the second book of Physics. The aorgic therefore represents the necessary alienation to which nature is subjected in order to become culture (or art), a passage that, from the point of view of traditional aesthetic categories, could be read as the transition from the (natural) unrepresentability of the sublime to the (cultural) configuration of the beautiful: from chaos to form. (shrink)

Powers, capacities and dispositions (in what follows I will use these terms synonymously) have become prominent in recent debates in metaphysics, philosophy of science and other areas of philosophy. In this paper I will analyse in some detail a well-known argument from scientific practice to the existence of powers/capacities/dispositions. According to this argument the practice of extrapolating scientific knowledge from one kind of situation to a different kind of situation requires a specific interpretation of laws of nature, namely as attributing (...) dispositions to systems. My main interest will be to discuss what characteristics these dispositions need to have in order to account for the scientific practice in question. I will furthermore assess whether the introduction of dispositions in the context of the extrapolation argument can be described as a ‘revitalization’ or as a ‘return’ to those notions repudiated by early modern philosophers. More particularly I will argue for the following claims: I. In repudiating scholastic terminology, including substantial forms with their causal powers, post-cartesian philosophers focussed on a concept of causation that was much stronger than 21st century conceptions of causation. For this reason alone, whatever ‘causal’ is supposed to mean in today’s causal powers, embracing causal powers is not a simple return to a pre-cartesian notion. II. The dispositions presupposed in scientific practice need not (and should not) be construed in causal terms (whether strong or weak). III. While some early modern philosophers contrasted the characterisation of the natural world in terms of substantial forms (and their causal powers) on the one hand and a mathematical characterization on the other and suggested that these approaches are incompatible, the dispositions postulated by the extrapolation argument to account for scientific practice are themselves characterized in mathematical terms. More precisely: The behaviour the systems are disposed to display is – at least in physics – often characterized in mathematical terms. IV. The dispositions assumed in the law-statements in scientific practice are determinable rather than determinate properties. (shrink)

Edmund Husserl is regarded as the founder of transcendental phenomenology, one of the major traditions to emerge in twentieth-century philosophy. In this book Andrea Staiti unearths and examines the deep theoretical links between Husserl's phenomenology and the philosophical debates of his time, showing how his thought developed in response to the conflicting demands of Neo-Kantianism and life-philosophy. Drawing on the work of thinkers including Heinrich Rickert, Wilhelm Dilthey and Georg Simmel, as well as Husserl's writings on the natural and human (...) sciences that are not available in English translation, Staiti illuminates a crucial chapter in the history of twentieth-century philosophy and enriches our understanding of Husserl's thought. His book will interest scholars and students of Husserl, phenomenology, and twentieth-century philosophy more generally. (shrink)

We argue that there are three coherent, nontrivial notions of basic-ness: conceptual basic-ness, biological basic-ness, and psychological basic-ness. There is considerable evidence for conceptually basic emotion categories (e.g., “anger,” “fear”). These categories do not designate biologically basic emotions, but some forms of anger, fear, and so on that are biologically basic in a sense we will specify. Finally, two notions of psychological basic-ness are distinguished, and the evidence for them is evaluated. The framework we offer acknowledges the force of some (...) of the objections to basic emotion theory whilst demonstrating that the notion of a basic emotion, once properly reformulated, is still of scientific value. (shrink)

In den letzten Jahren hat sich eine Vielfalt unterschiedlicher Gremien zur Ethikberatung entwickelt: vom Konsil mit einem einzelnen Berater bis zum Ethikkomitee. In dem Band werden die Ethikberatung, ihre Entwicklung und Anwendung, sowie die Gründung von Gremien in Krankenhäusern, Pflegeeinrichtungen, Hospizen und von niedergelassenen Ärzten anhand von Fallbeispielen erläutert. Dabei schlagen die Autoren eine Brücke zwischen traditioneller philosophischer Ethik und anwendungsbezogener klinischer Ethik. Auch rechtliche Fragen werden erörtert.