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.

We propose a probabilistic interpretation of Propositional Dynamic Logic (PDL). We show that logical and behavioral equivalence are equivalent over general measurable spaces. This is done first for the fragment of straight line programs and then extended to cater for the nondeterministic nature of choice and iteration, expanded to PDL as a whole. Bisimilarity is also discussed and shown to be equivalent to logical and behavioral equivalence, provided the base spaces are Polish spaces. We adapt techniques from coalgebraic stochastic logic (...) and point out some connections to Souslin's operation A from descriptive set theory. This leads to a discussion of complete stochastic Kripke models and model completion, which permits an adequate treatment of the test operator. (shrink)

We generalize stochastic Kripke models and Markov transition systems to stochastic right coalgebras. These are coalgebras for a functor with as an endofunctor on the category of analytic spaces, and is the subprobability functor. The modal operators are generalized through predicate liftings which are set-valued natural transformations involving the functor. Two states are equivalent iff they cannot be separated by a formula. This equivalence relation is used to construct a cospan for logical equivalent coalgebras under a separation condition for the (...) set of predicate liftings. Consequently, behavioral and logical equivalence are really the same. From the cospan we construct a span. The central argument is a selection argument giving us the dynamics of a mediating coalgebra from the domains of the cospan. This construction is used to establish that behavioral equivalent coalgebras are bisimilar, yielding the equivalence of all three characterizations of a coalgebra’s behavior as in the case of Kripke models or Markov transition systems. (shrink)

Excerpt from Kant Contra Haeckel: Fur den Entwicklungsgedanken, Gegen Naturwissenschaftlichen Dogmatismus Meine Schrift wendet sich an die, welche, geblendet von Haeckels beruhmtem Namen und wohlverdientem wissenschaftlichen Ruf, auch in philosophischen Fragen von ihm Auskunft erwarten. Sie mochte den philosophischen Nimbus, der ihn umgibt, zerstoren und so an ihrem Teil der Vernunft zum Durchbruch verhelfen. About the Publisher Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com This book is a reproduction of an important historical (...) work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works. (shrink)

© The Author [2017]. Published by Oxford University Press. All rights reserved. For permissions, please e-mail: [email protected] Dedekind was a contemporary of Bernhard Riemann, Georg Cantor, and Gottlob Frege, among others. Together, they revolutionized mathematics and logic in the second half of the nineteenth century. Dedekind had an especially strong influence on David Hilbert, Ernst Zermelo, Emmy Noether, and Nicolas Bourbaki, who completed that revolution in the twentieth century. With respect to mainstream mathematics, he is best known for his (...) contributions to algebra and number theory. With respect to logic and the foundations of mathematics, many of his technical results — his conceptualization of the natural and real numbers, his analysis of proofs by mathematical induction and definitions by recursion (extended to the transfinite by Zermelo, John von... (shrink)

This article compares representations of war in Walter Flex’ The Wanderer between Two Worlds, Ernst Jünger’s Storm of Steel, and Erich Maria Remarque’s All Quiet on the Western Front. It shows the extent to which these representations are shaped by political and ideological convictions. The difference between the romantic idealism of Flex and Jünger’s “soldierly nationalism”,which he proposed as a model for the time to come, reflects a major shift during World War I itself. By contrast, neither past (...) nor future seem to be of any use in Remarque’s famous antiwar novel, in which the war generation surprisingly is described as having nothing else to live for beyond the present, i.e. beyond war. Finally, the article suggests how these different representations of war each, in their own way, contributed to the aesthetics and ideology of fascism. (shrink)

Der Biologe Erich Wasmann SJ ging in seinem Buch “Die moderne Biologie und die Entwicklungstheorie” und in seinen Berliner Vorträgen 1907, in denen er sich mit dem Monisten Ernst Haeckel auseinandersetzte, das Problem der Evolution an. In Bezug auf die Entwicklung des Menschen vertrat er in beiden eine offene Position: Er hielt die Entwicklung des Menschen aus dem Tierreich für nicht erwiesen, rechnete jedoch damit, dass sie eines Tages bewiesen werden könnte, und betonte, dass sie nicht prinzipiell der (...) Offenbarung widerspreche. Dies führte zu Klagen in Rom. Der Jesuitengeneral Wernz erklärte, es sei “theologice certum”, dass der Mensch auch dem Leibe nach nicht aus dem Tierreich abstammen könne. Wasmann solle daher in künftigen Neuauflagen seines Buches nur die biologische Seite behandeln und Spekulationen über die prinzipielle Vereinbarkeit einer Humanevolution mit der Offenbarung unterlassen. Dies hatte zur Folge, dass es keine Neuauflage mehr gab.The Jesuit and biologue Erich Wasmann dealt in his book “Die moderne Biologie und die Entwicklunstheorie” and in his Berlin conferences in 1907, dealing with the monist Ernst Haeckel, the problem of evolution. Regarding the evolution of mankind, he defended an open position: he judged that it had not been proved, but reckoned with the possibility that it could be proved one day, and insisted that there would be no contradiction with Christian revelation. That provoked, in the time of the Modernist crisis, complaints to Rome. The Jesuit General Wernz declared that it would be “theologice certum” that mankind could not descend, not even regarding the body, from animal ancestors. Therefore Wasmann should deal, in future editions, only with the biological questions and omit speculations about the theoretical compatibility of human evolution with the revelation. That had the consequence, that no new edition of the book was ever published. (shrink)

Explores the acquisition and use of knowledge for human purposes and the extent of our ability to shape the future through the design, regulation, and restructuring of the lives of human systems at all levels.

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)

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.

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.

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

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)

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.

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.

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

"Death is a subject which has always been high on the philosophical agenda. But strangely enough the historically and traditionally most important aspect of that subject - the so-called transcendent problem of death, i.e. the question of what actually happens to mind or consciousness after physical death - is almost taboo-laden within modern academic philosophy." "It is, however, the contention of this book that a discussion of the transcendent problem of death makes good sense even on contemporary premises, granted the (...) fulfillment of certain preconditions that should not be rejected offhand." "The main parts of this book deal with questions concerning the viability of preconditions such as mind-body dualism, a substance-theory of mind, a non-reductionist view of personal identity, the notion of 'a minimal self', the persistence of the phenomenal 'now' etc." "In this connection the author presents and evaluates a number of arguments pertaining to the view that, even though an individual mind may contain outward-directed functions that allow it to relate to physical and social surroundings, it has an ontologically peculiar self-enclosed mode of being relative to the physical world. Hereby an understanding of 'the ontology of mind' is achieved, which indicates the possibility of a revival of some old and extremely important metaphysical questions which are commonly and unjustly neglected - for instance the transcendent problem of death." --Book Jacket. (shrink)

This article draws together research from various sub-disciplines of philosophy to offer an overview of recent philosophical work on the ethics of historic preservation. I discuss how philosophers writing about art, culture, and the environment have appealed to historical significance in crafting arguments about the preservation of objects, practices, and places. By demonstrating how it relates to core themes in moral and political philosophy, I argue that historic preservation is essentially concerned with ethical issues.