In this paper we describe the Curry-Howard-De Bruijn isomorphism between Higher Order Many Sorted Intuitionistic Predicate Logic PREDω and the type system λPREDω, which can be considered a subsystem of the Calculus of Constructions. The type system is presented using the concept of a Pure Type System, which is a very elegant framework for describing type systems. We show in great detail how formulae and proof trees of the logic relate to types and terms of the type system, respectively. Finally, (...) we discuss some consequences of the isomorphism with respect to the relation between the systems discussed in this paper. (shrink)

Residential rent control is a contentious issue in many jurisdictions throughout the world. While tenant groups have often argued vociferously in defence of control, landlord groups and the vast majority of economists have been equally vehement in their criticisms. This paper examines some key normative issues involved in rent control. In particular I examine arguments in favor of control based on the alleged unfairness of winfall profits, upon affordability, and finally on the creation of rights to security of tenure. Various (...) objections by libertarian and free market philosophers and economists are examined. I conclude with a somewhat limited defense of rent control as used in specific situations as part of a more comprehensive policy to satisfy the normative demands at the root of tenant pressure for rent control. (shrink)

ABSTRACT Coase's now famous paper, ‘The Problem of Social Cost’, argues that social harms caused by industry are best addressed through a policy which would be optimal in terms of market efficiency. I argue that this narrowly based policy represents a classic example of the failure of many welfare economists to consider adequately the ethical implications of their recommendations. I also indicate the manner in which Coase's recommendations conflict with intuitively well‐established ethical principles. I conclude that only an approach that (...) considers many more features than market efficiency can produce an optimal policy for dealing with the social costs of production. (shrink)

This text discusses aspects of Human-Machine Interaction from the perspectives of an engineer and a philosopher. Machines are viewed not so much as tools, but more as complex socio-technical systems. On this basis, the relation between production and use of such systems and its influence on the interaction between human and machine is examined. The concept of intentionality serves as a common thread, and its close connection with the concepts of usefulness, purpose, and functionality as well as the more socio-culturally (...) shaped concept of destination is shown. We also discuss the connection of these considerations to current philosophical debates around Floridi’s “Onlife Manifesto”. The core of our argumentation is the significance of the unintended in the interplay between justified expectations, the intended, and experienced results of real-world cooperative action. We extend the meaning of this term up to the negatively intended as harmful effect in order to highlight the prominent position of problem solving in the socio-cultural development of humankind. We focus on information processes in that Human-Machine Interaction and the concept of unintended information. With the advancing digital transformation and the growing possibilities of digital monitoring, the importance of information processes as forms of description is growing, too. We show how the concept of non-intended information is linked to such concepts of control of development, in which the non-intended is marginalised and thus an essential driver of socio-cultural development is deactivated. We compare this with Floridi’s reflections on “fears and risks in a hyperconnected era”. (shrink)

During the last decade, there has been a wave of mergers and hostile takeovers throughout the corporate world. This wave has been accompanied by various defensive strategies of managers to defend target firms from these takeovers. These include: greenmail, golden parachutes, and leveraged management buyouts. This paper examines hostile takeovers and defenses against them from a stakeholder point of view; that is, from a consideration of the various obligations a firm has to the different groups that have a stake in (...) the firm. I conclude that many stakeholders, such as workers and communities, have unjustly suffered as a result of hostile takeovers and the associated defenses, and that their rights as stakeholders have been violated. Finally, I suggest some possible reforms to protect these stakeholders in the future. (shrink)

Many computational tools for the simulation and design of emergency evacuation and egress are now available. However, due to the scarcity of human and social behavioral data, these computational tools rely on assumptions that have been found inconsistent or unrealistic. This paper presents a multi-agent based framework for simulating human and social behavior during emergency evacuation. A prototype system has been developed, which is able to demonstrate some emergent behaviors, such as competitive, queuing, and herding behaviors. For illustration, an example (...) application of the system for safe egress design is provided. (shrink)

The publication of Jurgen Habermas's Nachmetaphysisches Denken (Post-Metaphysical Thinking) and the publication of a Hans-Willi Weis article about my work prompted several people in Germany to approach me with questions about my response to those pieces. What follows is a brief reply to both.

While differentialists deny that non-linguistic animals can have a sense of justice, assimilationists credit some animals with such an advanced moral attitude. We approach this debate from a philosophical perspective. First, we outline the history of the notion of justice in philosophy and how various facets of that notion play a role in contemporary empirical investigations of justice among humans. On this basis, we develop a scheme for the elements of justice-relevant situations and for criteria of justice that should be (...) fruitful in studying both humans and animals. Furthermore, we investigate the conceptual connections between a sense of justice, on the one hand, and various other mental powers, on the other, and indicate which of the latter may be beyond the ken of animals. Next, we consider recent empirical research on justicerelated phenomena in animals. We argue for an intermediate position: While animals can at least in principle satisfy some preconditions of justice (intentional action, rulefollowing), others are problematic, notably possessing a notion of desert. A space for justice in social animals exists, yet it is rather limited compared to the rich cultures of justice in humans. Finally, we reflect on some actual or alleged implications of research on animal justice. As regards justice in humans, one should avoid a simplistic image of ‘‘natural justice’’ as boiling down to equal allocation of goods. As regards justice for animals, one should be weary of the contractualist assumption that only those capable of justice themselves are deserving of ‘‘just’’ treatment. (shrink)

This article gives a practice-based and theoretical overview of the transformation from a traditional hierarchical organization in the care and cure sector towards a so-called Community-driven organization providing human happiness to 6000 elderly people. The actual case study is intertwined with conceptual information for better understanding of the innovative transition which took place at Humanitas. The case description includes its initial situation, its new core values, mission and objectives and shows the sequence of emerging policies and interventions that resulted in (...) a stakeholder oriented business model for the care sector. The selected concepts are Graves' Emerging Cyclical Level of Existence Theory (or Spiral Dynamics), Ken Wilber's Four Quadrant Model, Roberts Simons' Four Levers of Control and various elements from the European Corporate Sustainability Framework sponsored by the European Commission. The conclusion marks the match between theory and practice in transforming Humanitas Rotterdam into providing cure, care, housing and well-being to elderly people. (shrink)

This article gives a practice-based and theoretical overview of the transformation from a traditional hierarchical organization in the care and cure sector towards a so-called Community-driven organization providing human happiness to 6000 elderly people. The actual case study is intertwined with conceptual information for better understanding of the innovative transition which took place at Humanitas. The case description includes its initial situation, its new core values, mission and objectives and shows the sequence of emerging policies and interventions that resulted in (...) a stakeholder oriented business model for the care sector. The selected concepts are Graves'' Emerging Cyclical Level of Existence Theory (or Spiral Dynamics), Ken Wilber''s Four Quadrant Model, Roberts Simons'' Four Levers of Control and various elements from the European Corporate Sustainability Framework sponsored by the European Commission. The conclusion marks the match between theory and practice in transforming Humanitas Rotterdam into providing cure, care, housing and well-being to elderly people. (shrink)

ABSTRACT Ken Hanly's recent article in this Journal (Vol. 9, No. 1, 1992) takes issue with Ronald Coase's approach to resolving problems of externalities, as set forth in his classic paper ‘The Problem of Social Cost’. I argue that Hanly's discussion of Coase misinterprets or inappropriately rejects certain aspects of Coase's analysis, specifically, with regard to the reciprocal nature of externalities and the economic role of government. The resolution of externality problems is presented as an issue of selective (...) normative choice as to whose interests are to count; neither efficiency nor morality claims are uniquely dispositive of the issue. (shrink)

v. 1. The spectrum of consciousness ; No boundary ; Selected essays -- v. 2. The Atman Project ; Up from Eden -- v. 3. A sociable god ; Eye to eye -- v. 4. Integral psychology ; Transformations of consciousness ; Selected essays -- v. 5. Grace and grit : spirituality and healing in the life and death of Treya Killam Wilber. 2nd ed. -- v. 6. Sex, ecology, spirituality : the spirit of evolution. 2nd, rev. ed. -- v. (...) 7. A brief history of everything ; The eye of spirit -- v. 8. The marriage of sense and soul ; One taste. (shrink)

In this book Wilber presents a model of consciousness that encompasses empirical, psychological, and spiritual modes of understanding. Wilber examines three realms of knowledge: the empirical realm of the senses, the rational realm of the mind, and the contemplative realm of the spirit. Eye to Eye points the way to a broader, more inclusive understanding of ourselves and the universe.

A new, easy-to-grasp map of human consciousness against which the various therapies from both Western and Eastern sources are introduced. Designed to help individuals understand the practice of each therapy.

Ben shu yi dong zhong shu zi ran guan wei shi jiao,Chan shu le dong zhong shu de"tian ren gan ying"lun,"wu lei lei bi"he"xun ming de li"de fang fa lun,Yi tian wei yuan ben de yu zhou lun,"bian er you chang"de bian zheng tian dao guan,Yi ji dong zhong shu you guan yuan qi,Yin yang,Wu xing de zi ran ke xue si xiang,Zai zong ti shang ken ding le dong zhong shu zai jie shi he ren shi zi ran gui (...) lü shang de jin bu xing,Ken ding le dong zhong shu dui zhong guo gu dai zi ran ke xue de gong xian,Bing pi ping le yi wang dui dong zhong shu bu gong zheng di ping pan.Ben shu tong shi ye zhi chu le dong zhong shu de mou xie si xiang dui hou shi de fu mian ying xiang. (shrink)

Part I -- Scientific Composition and the New Mechanism. - 1. Laura Franklin-Hall: New Mechanistic Explanation and the Need for Explanatory Constraints. - 2. Kenneth Aizawa: Compositional Explanation: Dimensioned Realization, New Mechanism, and Ground. - 3. Jens Harbecke: Is Mechanistic Constitution a Version of Material Constitution?. - 4. Derk Pereboom: Anti-Reductionism, Anti-Rationalism, and the Material Constitution of the Mental. Part II -- Grounding, Science, and Verticality in Nature. - 5. Jonathan Schaffer: Ground Rules: Lessons from Wilson. - 6. Jessica Wilson: (...) The Unity and Priority Arguments for Grounding. - 7. Carl Gillett: The Metaphysics of Nature, Science, and the Rules of Engagement. - 8. Andrew Melnyk: Grounding and the Formulation of Physicalism. - 9. Alyssa Ney: Grounding in the Philosophy of Mind: A Defense. (shrink)

Wilber's groundbreaking synthesis of religion, philosophy, physics, and psychology started a revolution in transpersonal psychology.

A provocative examination of how the great religious traditions can remain relevant in modern times by incorporating scientific truths learned about human nature over the last century A single purpose lies at the heart of all the great religious traditions: awakening to the astonishing reality of the true nature of ourselves and the universe. At the same time, through centuries of cultural accretion and focus on myth and ritual as ends in themselves, this core insight has become obscured. Here, Ken (...) Wilber provides a path for re-envisioning a religion of the future that acknowledges the evolution of humanity in every realm while remaining faithful to that original spiritual vision. For the traditions to attract modern men and women, Wilber asserts, they must incorporate the extraordinary number of scientific truths learned about human nature in just the past hundred years—for example, about the mind and brain, emotions, and the growth of consciousness—that the ancients were simply unaware of and thus were unable to include in their meditative systems. Taking Buddhism as an example, Wilber demonstrates how his comprehensive Integral Approach—which is already being applied to several world religions by some of their adherents—can avert a “cultural disaster of unparalleled proportions”: the utter neglect of the glorious upper reaches of human potential by the materialistic postmodern worldview. Moreover, he shows how we can apply this approach to our own spiritual practice. This, his most sweeping work since Sex, Ecology, Spirituality, is a thrilling call for wholeness, inclusiveness, and unity in the religions of tomorrow. (shrink)

It is widely held that Bayesian decision theory is the final word on how a rational person should make decisions. However, Leonard Savage--the inventor of Bayesian decision theory--argued that it would be ridiculous to use his theory outside the kind of small world in which it is always possible to "look before you leap." If taken seriously, this view makes Bayesian decision theory inappropriate for the large worlds of scientific discovery and macroeconomic enterprise. When is it correct to use Bayesian (...) decision theory--and when does it need to be modified? Using a minimum of mathematics, Rational Decisions clearly explains the foundations of Bayesian decision theory and shows why Savage restricted the theory's application to small worlds. The book is a wide-ranging exploration of standard theories of choice and belief under risk and uncertainty. Ken Binmore discusses the various philosophical attitudes related to the nature of probability and offers resolutions to paradoxes believed to hinder further progress. In arguing that the Bayesian approach to knowledge is inadequate in a large world, Binmore proposes an extension to Bayesian decision theory--allowing the idea of a mixed strategy in game theory to be expanded to a larger set of what Binmore refers to as "muddled" strategies. Written by one of the world's leading game theorists, Rational Decisions is the touchstone for anyone needing a concise, accessible, and expert view on Bayesian decision making. (shrink)

Natural Justice is a bold attempt to lay the foundations for a genuine science of morals using the theory of games. Since human morality is no less a product of evolution than any other human characteristic, the book takes the view that we need to explore its origins in the food-sharing social contracts of our prehuman ancestors. It is argued that the deep structure of our current fairness norms continues to reflect the logic of these primeval social contracts, but the (...) particular fairness norm a society operates is largely a product of cultural evolution. In pursuing this point, the book proposes a naturalistic reinterpretation of John Rawls' original position that reconciles his egalitarian theory of justice with John Harsanyi's utilitarian theory by identifying the environment appropriate to each. (shrink)

Ken Elkins retired as chief photographer of the Anniston Star in 2000, and this selection of his work demonstrates his brilliant eye for finding and capturing images of rural southern lives and landscapes in all their difficulty, candor, and humor. These are unadorned images of a timeless landscape and proud resourceful people, who know well their neighbors, honor their past, and face the tests of daily life with wit and a stoic sense of endurance.

Binmore argues that game theory provides a systematic tool for investigating ethical matters.

Wilber's most timely, accessible, and practical work to date. Here is a concise, comprehensive overview of Wilber's revolutionary thought and its application in today's world. Wilber has long been hailed as one of the most important thinkers of our time, but--until now--his work has seemed inaccessible to the general reader who lacks a background in consciousness studies or evolutionary theory. Integral Vision will allow a general audience to fully understand what all the excitement has been about. In clear, non-technical language, (...) Wilber presents complex, cutting-edge theories and models that integrate the realms of body, mind, soul, and spirit. He then demonstrates how these theories and models can be applied to real world problems. Finally, Wilber discusses daily practices that readers take up in order to apply this integrative vision to their own, everyday lives. Wilber begins by presenting a leading model of human evolution, a model called "spiral dynamics." He then goes on to summarize his ground-breaking "all-level, all-quadrant" model for integrating the seemingly contradictory realms of science and religion--the "all-level, all-quadrant" model has already been adopted by leading thinkers in a variety of fields. In a chapter entitle "The Real World," Wilber shows how these rather abstract theories and models are being applied to real-world issues such as politics, medicine, business, education, and the environment. Wilber goes on to present a collection of maps of the Kosmos. These are broader models that can integrate the various worldviews that have been developed around the world throughout the ages. The final chapter of the book, "One Taste," proposes that readers take up an "integral transformative practice" such as meditation to help them to apply and develop this integral vision in their personal, everyday lives. (shrink)

Nähere Informationen zu diesem Buch erhalten Sie direkt vom Verlag / For further information about this title please contact Mohr Siebeck.

It is widely held that Bayesian decision theory is the final word on how a rational person should make decisions. However, Leonard Savage--the inventor of Bayesian decision theory--argued that it would be ridiculous to use his theory outside the kind of small world in which it is always possible to "look before you leap." If taken seriously, this view makes Bayesian decision theory inappropriate for the large worlds of scientific discovery and macroeconomic enterprise. When is it correct to use Bayesian (...) decision theory--and when does it need to be modified? Using a minimum of mathematics, Rational Decisions clearly explains the foundations of Bayesian decision theory and shows why Savage restricted the theory's application to small worlds. The book is a wide-ranging exploration of standard theories of choice and belief under risk and uncertainty. Ken Binmore discusses the various philosophical attitudes related to the nature of probability and offers resolutions to paradoxes believed to hinder further progress. In arguing that the Bayesian approach to knowledge is inadequate in a large world, Binmore proposes an extension to Bayesian decision theory--allowing the idea of a mixed strategy in game theory to be expanded to a larger set of what Binmore refers to as "muddled" strategies. Written by one of the world's leading game theorists, Rational Decisions is the touchstone for anyone needing a concise, accessible, and expert view on Bayesian decision making. (shrink)

Experimental results on the Ellsberg paradox typically reveal behavior that is commonly interpreted as ambiguity aversion. The experiments reported in the current paper find the objective probabilities for drawing a red ball that make subjects indifferent between various risky and uncertain Ellsberg bets. They allow us to examine the predictive power of alternative principles of choice under uncertainty, including the objective maximin and Hurwicz criteria, the sure-thing principle, and the principle of insufficient reason. Contrary to our expectations, the principle of (...) insufficient reason performed substantially better than rival theories in our experiment, with ambiguity aversion appearing only as a secondary phenomenon. (shrink)