This paper is the second 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)

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)

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)

Consider two commonly cited requirements of love. The first is that we should love people for who they are. The second is that loving people should involve concern for their well-being. But what happens when an aspect of someone’s identity conflicts with her well-being? In examining this question, I develop an account of loving someone in spite of something. Although there are cases where loving in spite of is merited, I argue that we generally do wrong to love people in (...) spite of who they are, even where it appears that some aspect of their identity is in tension with their well-being. (shrink)

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

From time to time medical ethicists bemoan the loss of a religious perspective in medical ethics. The discipline had its origins in the thinking of explicitly religious thinkers such as Paul Ramsey and Joseph Fletcher. Furthermore, many of those who contributed to the early development of the discipline had training in theology. One thinks of Daniel Callahan, Richard McCormick, Albert Jonsen, Sam. Banks. As the discipline becomes more and more self-reflective, with attention being paid to methodological and conditional concerns, it (...) is only natural that the roots are due for a reexamination. The time has therefore come for some reassessment. The first steps here are taken in the form of a dialogue between the coauthors to clarify authentic contributions and weed out unauthentic ones. (shrink)

Bisimulations, behavioral equivalence and logical equivalence are investigated for stochastic image-coalgebras that interpret coalgebraic logic which is defined in terms of predicate liftings. We investigate the conditions for the functor under which these notions of equivalence are related by discussing congruences for the underlying stochastic relation. It is demonstrated that logics as diverse as continuous time stochastic logic and general modal logics can be usefully approached through coalgebraic methods.

In this published version of the Lord Northcliffe Lectures in Literature, delivered at University College London in Spring 1975, Professor Heller is concerned with the imaginative mediation between life and art which is a major theme in the work of the four writers he discusses. The profound process by which a great work of literary art ('poem' in the title is used in a sense close to the German 'Dichtung') may grow out of a situation in life, mirror, and yet (...) transcend it is illustrated by Goethe in Marienbad, Nietzsche in the 'Waste Land', Rilke in Paris and Thomas Mann in Venice. (shrink)

Principles are investigated that allow one to establish a preference ordering between possible actions based on the question of whether the acting agent himself or other agents will benefit or be harmed by the consequences of an action. It is shown that a combination of utility maximization, an altruist principle, and weak negative utilitarianism yields an ordering that seems to be intuitively appealing, although it does not necessarily reflect common everyday evaluations of actions.

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)

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.

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

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)

This paper argues that we have wrongly and not for the patient’s benefit made a form of stark autonomy our highest value which allows physicians to slip out from under their basic duty which has always been to pursue a particular patient’s good. In general – I shall argue – it is the patient’s right to select his or her own goals and the physician’s duty to inform the patient of the feasibility of that goal and of the means needed (...) to attain it. If the goal is not one that is possible, the patient, with the physician and family, must select a feasible goal and then discuss the costs/benefits of various approaches. The physician should take a leading role in helping the patient select the goal. I argue that to simply present a laundry list of means and insist that patients choose for themselves is not only abandoning patients to their autonomy but is, in fact, a crass form of violating the patient’s autonomy. Freely choosing not to choose is a choice a patient with decisional capacity is entitled to make and one that needs to be respected. (shrink)

Various contributors to recent philosophy of mathematics havetaken Richard Dedekind to be the founder of structuralismin mathematics. In this paper I examine whether Dedekind did, in fact, hold structuralist views and, insofar as that is the case, how they relate to the main contemporary variants. In addition, I argue that his writings contain philosophical insights that are worth reexamining and reviving. The discussion focusses on Dedekind''s classic essay Was sind und was sollen die Zahlen?, supplemented by evidence from Stetigkeit und (...) irrationale Zahlen, his scientific correspondence, and his Nachlaß. (shrink)

We introduce an atomic formula ${\vec{y} \bot_{\vec{x}}\vec{z}}$ intuitively saying that the variables ${\vec{y}}$ are independent from the variables ${\vec{z}}$ if the variables ${\vec{x}}$ are kept constant. We contrast this with dependence logic ${\mathcal{D}}$ based on the atomic formula = ${(\vec{x}, \vec{y})}$ , actually equivalent to ${\vec{y} \bot_{\vec{x}}\vec{y}}$ , saying that the variables ${\vec{y}}$ are totally determined by the variables ${\vec{x}}$ . We show that ${\vec{y} \bot_{\vec{x}}\vec{z}}$ gives rise to a natural logic capable of formalizing basic intuitions about independence and dependence. (...) We show that ${\vec{y} \bot_{\vec{x}}\vec{z}}$ can be used to give partially ordered quantifiers and IF-logic an alternative interpretation without some of the shortcomings related to so called signaling that interpretations using = ${(\vec{x}, \vec{y})}$ have. (shrink)

The problem of value disagreement and contextualist, relativist and metalinguistic attempts of solving it are laid out. Although the metalinguistic account seems to be on the right track, it is argued that it does not sufficiently explain why and how disagreements about the meaning of evaluative terms are based on and can be decided by appeal to existing social practices. As a remedy, it is argued that original suggestions from Putnam's 'The Meaning of "Meaning"' ought to be taken seriously. The (...) resulting dual aspect theory of meaning can explain value disagreement in much the same way as it deals with disagreement about general terms. However, the account goes beyond Putnam's by not just defending a version of social externalism, but also defending the thesis that the truth conditional meaning of many evaluative terms is not fixed by experts either and instead constantly contested as part of a normal function of language. (shrink)

The question of whether physicians or other healthcare workers are ethically entitled to strike is troubling in that it entails a conflict in obligations. This question of a conflict of obligations (and the answer to it) has wider implications for many other workers.

Discusses how the conscious self is created by the brain, explains brain structure, and explores the mind-body connection.

Publisher's Foreword As the present book is reissued, The American Mental Health Foundation celebrates its 86th anniversary. Organized in 1924, AMHF is ...

In Man for Himself , Erich Fromm examines the confusion of modern women and men who, because they lack faith in any principle by which life ought to be guided, become the helpless prey forces both within and without. From the broad, interdisciplinary perspective that marks Fromm’s distinguished oeuvre, he shows that psychology cannot divorce itself from the problems of philosophy and ethics, and that human nature cannot be understood without understanding the values and moral conflicts that confront us (...) all. He shows that an ethical system can be based on human nature rather than on revelations or traditions. As Fromm asserts, “If man is to have confidence in values, he must know himself and the capacity of his nature for goodness and productiveness.”. (shrink)

Do members of cultural groups have special claims to own or control the products of the cultures to which they belong? Is there something morally wrong with employing artistic styles that are distinctive of a culture to which you do not belong? What is the relationship between cultural heritage and group identity? Is there a coherent and morally acceptable sense of cultural group membership in the first place? Is there a universal human heritage to which everyone has a claim? Questions (...) such as these concern the ethics of cultural heritage (or heritage ethics, for short). This entry seeks to provide an overview of the philosophical work on topics in heritage ethics, as well as introduce readers to some of the most philosophically relevant literature from other disciplines. (shrink)

Analytic philosophy--arguably one of the most important philosophical movements in the twentieth century--has gained a new historical self-consciousness, particularly about its own origins. Between 1880 and 1930, the most important work of its founding figures (Frege, Russell, Moore, Wittgenstein) not only gained attention but flourished. In this collection, fifteen previously unpublished essays explore different facets of this period, with an emphasis on the vital intellectual relationship between Frege and the early Wittgenstein.

‘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)

Man : wolf or sheep? -- Different forms of violence -- Love of death and love of life -- Individual and social narcissism -- Incestuous ties -- Freedom, determinism, alternativism.

v. 1. The philosophy of the Veda and of the epic.--The Buddha and the Jina.--The Sāmkhya and the classical Yoga-system.--v. 2. The Nature-philosophical schools and the Vaiśeṣika system.--The system of the Jaina.--The materialism.

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.

In a career that spans 60 years so far, W.W. Tait has made many highly influential contributions to logic, the philosophy of mathematics, and their history. The present collection of new essays - contributed by former students, colleagues, and friends - is a Festschrift, i.e., a celebration of his life and work. The essays address a variety of themes prominent in his work or related to it. The collection starts with an introduction in which Tait's contributions are sketched and put (...) into context. The eleven essays that follow are arranged in three parts: Part I. Proof Theory and its History; Part II. Logic and Philosophy of Mathematics; and Part III. History of Logic and Philosophy of Mathematics. Each of the essays contributes substantially to one or several of these areas. The authors included are: Steve Awodey, Solomon Feferman, Michael Friedman, Warren Goldfarb, Geoffrey Hellman, William Howard, Stephen Menn, Rebecca Morris, Charles Parsons, Erich Reck, Thomas Ricketts, and Wilfried Sieg. The editor, Erich H. Reck is Professor of Philosophy at the University of California at Riverside. (shrink)

Résumé Notre rapport aux technologies médiatiques ne nous met pas tant en présence de nouveaux objets que de nouveaux environnements. C’est donc à partir d’une écologie générale qu’il nous faut tenter de comprendre les médias, nouveaux et anciens. Les réflexions de Félix Guattari, Gilbert Simondon, mais aussi l’agentivité environnementale de Mark Hansen ou la « struction » de Jean-Luc Nancy sont convoqués ici comme autant de pistes fécondes en direction d’une techno-écologie du sens.

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)

Erich Frauwallners Buch "Die Philosophie des Buddhismus" ist längst zu einem,Klassiker' geworden. Die Form der Darstellung ist glücklich gewählt; sie verknüpft allgemeine Überblicke, Einführungen in das Denken individueller buddhistischer Philosophen und lange Exzerpte aus philosophischen Werken des südasiatischen Buddhismus in wörtlicher Übersetzung. Das Buch bewegt sich also zwischen einem Einführungswerk und einer Anthologie. Die knappen Einleitungen zu den repräsentativen Texten sind informativ und klar und rücken die philosophischen Inhalte in das Licht ihrer historischen Entwicklung; die Übersetzungen aus den relevanten (...) Sprachen (Pali, Sanskrit, Tibetisch, Chinesisch) wiederum sind außerordentlich verlässlich. Der Neuauflage des Bandes wurde ein Vorwort von Eli Franco und Karin Preisendanz zu Frauwallners Leben und Schaffen beigefügt, ergänzt durch eine Bibliographie seiner Schriften und eine kommentierte Liste weiterführender Literatur zum südasiatischen Buddhismus. (shrink)

A phenomenon called perspectival disagreement is laid out and modelled on the basis of modifications to known consensus measures for qualitative representations of preferences and transitive values by binary relations. Cases of perspectival disagreement are of general philosophical interest, because they allow for the possibility that two or more agents judge the value positions of other agents differently even when their assessments are based on the same evidence. Various examples of perspectival disagreement are given, generalizations are discussed, and it is (...) argued that any representation by cardinal utilities also gives rise to some form of perspectivity. Although the examples strongly suggest that this phenomenon occurs in real life, it is concluded in the end that it does not pose any fundamental threat to representations of preferences and values as binary relations. Instead, position‐sensitive measures of disagreement ought to be taken as a modelling option for cases in which the relative importance of preference changes matters to an agent. (shrink)