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)

First published in 1962, this is a book about Marx and Freud - the two intellectual giants of the 20th century.

This collection of revised and new essays argues that biology is an autonomous science rather than a branch of the physical sciences. Ernst Mayr, widely considered the most eminent evolutionary biologist of the 20th century, offers insights on the history of evolutionary thought, critiques the conditions of philosophy to the science of biology, and comments on several of the major developments in evolutionary theory. Notably, Mayr explains that Darwin's theory of evolution is actually five separate theories, each with its (...) own history, trajectory and impact. Ernst Mayr, commonly referred to as the "Darwin of the 20th century" and listed as one of the top 100 scientists of all-time, is Professor Emeritus at Harvard University. What Makes Biology Unique is the 25th book he has written during his long and prolific career. His recent books include This is Biology: The Science of the Living World (Belknap Press, 1997) and What Evolution Is (Basic Books, 2002). (shrink)

Bloch's The Spirit of Utopia, here presented for the first time in English translation, is one of the great historic books from the beginning of the twentieth-century. A peculiar amalgam of biblical, Marxist, and Expressionist turns, drawing on both Hegel and Schopenhauer for the groundwork of its metaphysics of music, but consistently interpreting the cultural legacy in the light of a certain Marxism, The Spirit of Utopia is a unique attempt to rethink the history of Western civilizations as a process (...) of revolutionary disruptions and to reread the artworks, religions, and philosophies of this tradition as incentives to continue disrupting. The first part concerns a mode of 'self-encounter' which presents itself in the history of music from Mozart through Mahler as an encounter with the problem of a community to come. The second part is entitled 'Karl Marx, Death and the Apocalypse'. (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.

A family heirloom. An endangered species. An ancient piece of pottery. A threatened language. These things differ in myriad ways, but they are tied together by a common thread: they are all examples of things that call out to be saved. The world is brimming with things worth saving, and we have limited time and resources. How do we decide what to save? Why do we make these choices? -/- Philosopher Erich Hatala Matthes explores these questions as they surface (...) in radically diverse contexts--from museums to TikTok, and from National Parks to the corner of your attic. Matthes illustrates the deep relationship between the things we might save and our sense of self. If our cares and concerns are a fundamental part of our identity, then what we care for and preserve will play a significant role in shaping and maintaining our understanding of who we are. In a world in which everything that we care about is subject to powerful forces of change--from climate disturbance and armed conflict, to social transformation and the wear and tear of time--the terms on which we confront change will be key to whether and how we can save the things we care about in the ways that really matter to us. Will change be foisted upon us? Or is there a role for us to play in rejecting, influencing, or managing change? As he explores these questions, Matthes tackles related themes such as authenticity, agency, and appropriation: Who exactly should be responsible for saving things, and on whose behalf should such efforts be pursued? These are all essential elements to a fuller understanding of what to save and why. (shrink)

During the last 25 years, a large number of publications on the history of analytic philosophy have appeared, significantly more than in the preceding period. As most of these works are by analytically trained authors, it is tempting to speak of a 'historical turn' in analytic philosophy. The present volume constitutes both a contribution to this body of work and a reflection on what is, or might be, achieved in it. The twelve new essays, by an international group of contributors, (...) range from case studies on individual philosophers through discussions of broader themes in the history of analytic philosophy to related methodological reflections. (shrink)

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)

An account of non-existing objects called 'classical possibilism', according to which objects that don't actually exist do exist in various other ways, is implemented in a two-dimensional modal logic with non-traditional predication theory. This account is very similar to Priest's, but preserves bivalence and does not endorse dialethism. The power of classical possibilism is illustrated by giving some examples that makes use of a description theory of reference. However, the same effect could also be achieved in a more Millian fashion. (...) It is argued that classical possibilism is ontologically more neutral than is commonly thought, because it allows for the formulation of various forms of reductionism within the object language. (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)

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.

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)