This paper is the first in a two-part series in which we discuss several notions of completeness for systems of mathematical axioms, with special focus on their interrelations and historical origins in the development of the axiomatic method. We argue that, both from historical and logical points of view, higher-order logic is an appropriate framework for considering such notions, and we consider some open questions in higher-order axiomatics. In addition, we indicate how one can fruitfully extend the usual set-theoretic semantics (...) so as to shed new light on the relevant strengths and limits of higher-order logic. (shrink)

Computing with logic / Maier, D., Warren, D.S.

Ausgehend von der Beschreibung einer Situation im Unterricht in einer inklusiven Gesamtschule einer Großstadt analysieren Elise v. Bernstorff und Carla J. Maier transkulturelle Praktiken im Hinblick auf die Performativität menschlicher und nichtmenschlicher Akteure. Ein Schüler, der vor zwei Jahren mit seiner Familie von Ägypten nach Deutschland migriert ist, liest eine Geschichte vor, die er zu einem Sammelband mit persönlichen Geschichten von jungen Menschen über alte und neue Heimatländer beigetragen hat. Wir analysieren die komplexen und verwobenen transkulturellen Aspekte, die sich (...) nicht entlang ethnischer und nationaler Grenzziehungen zuordnen lassen, aus Perspektive der Sound Studies und des New Materialism. (shrink)

In his restitution of metaphysical founded ethics Hans Jonas replied to the challenges of modern technology. His reperception of the immanent teleology of nature tries to prevent the technological overkill. This article shows in opposition to Jonas the impossibility to deduct a moral obligation from the teleology of nature. Moreover in theological thoughts it is illegitime to talk obout a good nature in which men ought to incorporate themselves.

Der Jesuit Erich Przywara (1889-1972) und Gertrud von le Fort (1876-1971) lernten sich Mitte der 1920-er Jahre kennen, zur Zeit der Konversion le Forts zum katholischen Glauben. Seither standen sie in einem durchgehenden, wenn auch losen Briefwechsel, vor allem in den beiden Jahrzehnten nach dem Zweiten Weltkrieg. Die von Manfred Lochbrunner herausgegebene Korrespondenz ist das berührende Dokument einer freundschaftlichen Beziehung zwischen der angesehenen Dichterin und dem nicht minder bedeutenden Religionsphilosophen und Theologen mit eigenen dichterischen Ambitionen. In einem Einführungsessay werden (...) die wesentlichen Briefinhalte kurz vorgestellt. Anmerkungen kommentieren den Text der Briefe. Abgerundet wird die Edition durch drei biographische Exkurse zu nahestehenden Personen und Anhänge, etwa zu gegenseitigen Widmungen, sowie ein Literaturverzeichnis"-- Back cover. (shrink)

Can we still watch Woody Allen's movies? Can we still laugh at Bill Cosby's jokes? Woody Allen, Kevin Spacey, Dave Chappelle, Louis C. K., J.K. Rowling, Michael Jackson, Roseanne Barr. Recent years have proven rife with revelations about the misdeeds, objectional views, and, in some instances, crimes of popular artists.

Philosophers have used the terms 'impersonal' and 'personal value' to refer to, among others things, whether something's value is universal or particular to an individual. In this paper, I propose an account of impersonal value that, I argue, better captures the intuitive distinction than potential alternatives, while providing conceptual resources for moving beyond the traditional stark dichotomy. I illustrate the practical importance of my theoretical account with reference to debate over the evaluative scope of cultural heritage.

This translation of four of Plato's dialogues brings these classic texts alive for modern readers. Allen introduces and comments on the dialogues in an accessible way, inviting the reader to re-examine the issues Plato continually raises.

In this paper, I present an outline of the oppression account of cultural appropriation and argue that it offers the best explanation for the wrongfulness of the varied and complex cases of appropriation to which people often object. I then compare the oppression account with the intimacy account defended by C. Thi Nguyen and Matt Strohl. Though I believe that Nguyen and Strohl’s account offers important insight into an essential dimension of the cultural appropriation debate, I argue that justified objections (...) to cultural appropriation must ultimately be grounded in considerations of oppression as opposed to group intimacy. I present three primary objections to the intimacy account. First, I suggest that in its effort to explain expressive appropriation claims (those that purportedly lack an independent ground), the intimacy account doubles down on the boundary problem. Second, I question whether group intimacy possess the kind of bare normativity that Nguyen and Strohl claim for it. Finally, I argue that these objections give us reason to accept the importance of group intimacy to the cultural appropriation debate, but question the source of its significance as identified by Nguyen and Strohl. (shrink)

The later Wittgenstein is notoriously hard to understand. His novel philosophical approach is the key to understanding his perplexing work. This volume assembles leading Wittgenstein scholars to come to grips with its least well understood aspect: the unfamiliar aims and method that shape Wittgenstein's approach. Wittgenstein at Work investigates Wittgenstein's aims, rationale and method in two steps. The first seven chapters analyse how he proceeds in core parts of the Philosophical Investigations: the discussion of the Augustinian picture of language, ostensive (...) definition, philosophical method, understanding, rule-following, and private language. The final five chapters examine his most striking methodological remarks: his repudiation of theory and non-trivial theses, and some core notions of his methodology: his notions of clarification, synoptic representation, nonsense, and philosophical pictures. The volume considerably advances discussion of the therapeutic aspects of his approach that are currently a focus of debate. This volume is an indispensable methodological companion to the Philosophical Investigations, useful to both specialists and students alike. Fischer, Erich Ammereller, Severin Schroder, Anthony Kenny, Oswald Hanfling, Cora Diamond, Hans-Johann Glock, Stuart Shanker. (shrink)

Here, Erich H. Loewy expands on his earlier book Textbook of Medical Ethics (1989) offering healthcare workers and students a new perspective on ethical practice. Textbook of Healthcare Ethics focuses on the social conditions in which medical practice occurs and how ethical healthcare decisions involves nurses, social workers, psychologists, technicians, and patients as well as physicians. This thoroughly revised and expanded edition addresses historical and theoretical underpinnings and practical concerns. A series of case studies serve as a guideline for (...) further discussion. The text examines provocative issues such as organ donation, care of the terminally ill, abortion, HIV-positive healthcare professionals, physician-assisted suicide, and experimentation with fetal tissue. This is an ideal book for all members of the healthcare team as well as students and residents in any discipline of medicine. (shrink)

First Published in 1999. Routledge is an imprint of Taylor & Francis, an informa company.

The historiographical concept "Enlightenment" has for a long time wavered between the idea of a single unified Enlightenment and the notion of multiple competing enlightenments. This volume revisits this seeming contradiction by asserting that the Enlightenment should be understood as a shared process of communication, seeking ways to accommodate and mediate rival ideologies and orient enlightenment projects towards the betterment of humankind. Taking the work of the eminent Enlightenment scholar Hans Erich Bödeker as their point of departure, the different (...) chapters seek to explore this perspective through specific case studies of political communication. Readers are offered a selection of Bödeker's texts never previously translated into English, along with a series of contributions from his former colleagues, students, and collaborators. In doing so the book displays the broad scope of Bödeker's own work, as well as the multiplicity of themes captured within the framework of the Enlightenment. Genres, modes, and strategies of communication are contrasted with the institutions and cultural practices underpinning them. In exploring the depth and scope of Bödeker's work, the volume pays tribute to a German tradition rooted in historical semantics, while at the same time querying its present state and its future. (shrink)

Guarded fragments of first-order logic were recently introduced by Andreka, van Benthem and Nemeti; they consist of relational first-order formulae whose quantifiers are appropriately relativized by atoms. These fragments are interesting because they extend in a natural way many propositional modal logics, because they have useful model-theoretic properties and especially because they are decidable classes that avoid the usual syntactic restrictions (on the arity of relation symbols, the quantifier pattern or the number of variables) of almost all other known decidable (...) fragments of first-order logic. Here, we investigate the computational complexity of these fragments. We prove that the satisfiability problems for the guarded fragment (GF) and the loosely guarded fragment (LGF) of first-order logic are complete for deterministic double exponential time. For the subfragments that have only a bounded number of variables or only relation symbols of bounded arity, satisfiability is EXPTIME-complete. We further establish a tree model property for both the guarded fragment and the loosely guarded fragment, and give a proof of the finite model property of the guarded fragment. It is also shown that some natural, modest extensions of the guarded fragments are undecidable. (shrink)

Is there something morally wrong with cultural appropriation in the arts? I argue that the little philosophical work on this topic has been overly dismissive of moral objections to cultural appropriation. Nevertheless, I argue that philosophers working on epistemic injustice have developed powerful conceptual tools that can aid in our understanding of objections that have been levied by other scholars and artists. I then consider the relationship between these objections and the harms of cultural essentialism. I argue that focusing on (...) the systematic nature of appropriative harms may allow us to sidestep the problem of essentialism, but not without cost. (shrink)

We identify the computational complexity of the satisfiability problem for FO 2 , the fragment of first-order logic consisting of all relational first-order sentences with at most two distinct variables. Although this fragment was shown to be decidable a long time ago, the computational complexity of its decision problem has not been pinpointed so far. In 1975 Mortimer proved that FO 2 has the finite-model property, which means that if an FO 2 -sentence is satisfiable, then it has a finite (...) model. Moreover, Mortimer showed that every satisfiable FO 2 -sentence has a model whose size is at most doubly exponential in the size of the sentence. In this paper, we improve Mortimer's bound by one exponential and show that every satisfiable FO 2 -sentence has a model whose size is at most exponential in the size of the sentence. As a consequence, we establish that the satisfiability problem for FO 2 is NEXPTIME-complete. (shrink)

‘Heritage’ is a concept that often carries significant normative weight in moral and political argument. In this article, I present and critique a prevalent conception according to which heritage must have a positive valence. I argue that this view of heritage leads to two moral problems: Disowning Injustice and Embracing Injustice. In response, I argue for an alternative conception of heritage that promises superior moral and political consequences. In particular, this alternative jettisons the traditional focus on heritage as a primarily (...) positive relationship to the past, and thus offers resources for coming to terms with histories of injustice. (shrink)

The book, with its emphasis on the interaction of microstructures with the entire biosphere, ecosystems etc., and on how micro- and macrocosmos mutually create the conditions for their further evolution, provides a comprehensive framework for a deeper understanding of human creativity in a time of transition.

The concept of Generative Artificial Intelligence (GenAI) is ubiquitous in the public and semi-technical domain, yet rarely defined precisely. We clarify main concepts that are usually discussed in connection to GenAI and argue that one ought to distinguish between the technical and the public discourse. In order to show its complex development and associated conceptual ambiguities, we offer a historical-systematic reconstruction of GenAI and explicitly discuss two exemplary cases: the generative status of the Large Language Model BERT and the differences (...) between protein structure predictions from AlphaFold 2 and 3. Our analysis shows that there is no unique and unambiguous definition of GenAI based on a purely technical account of the term. Following this conclusion, we argue that the public discourse is not simply a less complex way of speaking, but instead transcends its technical basis. As a means to structure this newly emerging discussion landscape we introduce a non-exhaustive list of four central aspects of GenAI: (multi-)modality, interaction, flexibility, and productivity. These dimensions constitute a first step towards defining GenAI beyond its technical basis. (shrink)

It is often assumed that there is a necessary relationship between historical value and irreplaceability, and that this is an essential feature of historical value’s distinctive character. Contrary to this assumption, I argue that it is a merely contingent fact that some historically valuable things are irreplaceable, and that irreplaceability is not a distinctive feature of historical value at all. Rather, historically significant objects, from heirlooms to artifacts, offer us an otherwise impossible connection with the past, a value that persists (...) even in the face of suitable replacements. (shrink)

The conversation between Erich Hörl and Premesh Lalu draws on their extended conversation on efforts to link discordant temporal and spatial encounters with the idea of the university and how, more importantly, to care for the future of its educational responsibilities. While much of the debate on the university is focused on how it is affected by large-scale geopolitical shifts and the rapid expansion of technological resources, Hörl and Lalu bring into view a language of the university that holds (...) to its promise in the sources of a founding supplement that may yet exhibit the potential for guiding the university through turbulent times ahead. This is a call for a retracing of the emergence of the complex hegemony of the master signifier in university discourse, and the potential to supersede it by way of a re-articulation of the desire for a concept of freedom borne out of the emancipation of the 19th-century institution of slavery. (shrink)

This chapter offers an overview of issues posed by the problem of immoral artists, artists who in word or deed violate commonly held moral principles. I briefly consider the question of whether the immorality of an artist can render their work aesthetically worse (making connections to chapters in the Theory section of the handbook), and then turn to questions about what the audience should do and feel in response to knowledge of these moral failings. I discuss questions such as whether (...) audiences have reason not to purchase or consume work by these artists, whether their shows and exhibitions should be canceled, and how fans might grapple with the emotional turmoil they feel when artists whom they love act or speak in ways that are morally condemnable. (shrink)

Those who comment on modern scientific institutions are often quick to praise institutional structures that leave scientists to their own devices. These comments reveal an underlying presumption that scientists do best when left alone—when they operate in what we call the ‘scientific state of nature’. Through computer simulation, we challenge this presumption by illustrating an inefficiency that arises in the scientific state of nature. This inefficiency suggests that one cannot simply presume that science is most efficient when institutional control is (...) absent. In some situations, actively encouraging unpopular, risky science would improve scientific outcomes. 1 Introduction2 Scientists and Bandits3 Choosing an ϵ4 Structure of Communication5 Discussion. (shrink)

Book reviewed in this article: For the Patient's Good: The Restoration of Beneficence in Health Care. By Edmund D. Pellegrino and David C. Thomasma.