Mitchell, J.C. and E. Moggi, Kripke-style models for typed lambda calculus, Annals of Pure and Applied Logic 51 99–124. The semantics of typed lambda calculus is usually described using Henkin models, consisting of functions over some collection of sets, or concrete cartesian closed categories, which are essentially equivalent. We describe a more general class of Kripke-style models. In categorical terms, our Kripke lambda models are cartesian closed subcategories of the presheaves over a poset. To those familiar with Kripke models (...) of modal or intuitionistic logics, Kripke lambda models are likely to seem adequately ‘semantic’. However, when viewed as cartesian closed categories, they do not have the property variously referred to as concreteness, well- pointedness or having enough points. While the traditional lambda calculus proof system is not complete for Henkin models that may have empty types, we prove strong completeness for Kripke models. In fact, every set of equations that is closed under implication is the theory of a single Kripke model. We also develop some properties of logical relations over Kripke structures, showing that every theory is the theory of a model determined by a Kripke equivalence relation over a Henkin model. We discuss cartesian closed categories but present the main definitions and results without the use of category theory. (shrink)

§ 1. Introduction. Perhaps the most surprising recent development in complexity theory is the discovery that the class NP can be characterized using a form of randomized proof checker that only examines a constant number of bits of the “proof” that a string is in a language [6, 5, 31, 3, 4]. More specifically, writing ∣x∣ for the length of a string x, a language L in the class NP of languages recognizable in Nondeterministic polynomial time is traditionally given by (...) a polynomial p and a polynomial-time predicate P such that a string x is in L iff there is some string y satisfying P, where ∣y∣ ≤ p. Intuitively, we can think of a string y as a possible proof that x ϵ L, with the predicate P some kind of proof checker that distinguishes good proofs from bad ones. A string x is therefore in a language L ϵ NP if there is a short proof that x ϵ L, and not in L otherwise. The surprising discovery is that the deterministic proof checker that reads the entire input and proof can be replaced by a probabilistic verifier that on input x and possible proof y, where y is presented in a certain way, flips at most O coins and reads at most a constant number of bits of x and y. Obviously, a probabilistic verifier that does not read the whole proof will sometimes make mistakes. However, the surprising and essentially non-intuitive mathematical fact is that for each language L in NP, it is possible to find a polynomial q and verifier V flipping a logarithmic number of coins and reading a constant number of bits such that, for any x ϵ L, there exists y with ∣y∣ ≤ q and with V accepting with probability 1 and, for x ∉ L, there is no y with ∣y∣ ≤ q and with V accepting with probability ≥ 1/4. This idea canalsobeextended to PSPACE [10, 9], using a game that alternates between two players instead of a proof presented by a “single player.”. (shrink)

Multilevel research strategies characterize contemporary molecular inquiry into biological systems. We outline conceptual, methodological, and explanatory dimensions of these multilevel strategies in microbial ecology, systems biology, protein research, and developmental biology. This review of emerging lines of inquiry in these fields suggests that multilevel research in molecular life sciences has significant implications for philosophical understandings of explanation, modeling, and representation.

We are big fans of propositions. But we are not big fans of the proposed by Mitchell et al. The authors ignore the critical role played by implicit, non-inferential processes in biological cognition, overestimate the work that propositions alone can do, and gloss over substantial differences in how different kinds of animals and different kinds of cognitive processes approximate propositional representations.

1. Srikantha In the Southern Saiva philosopher Srikantha (c. 1 150, although it is difficult to separate him from his really greater commentator ...

Introduction: Why so serious? -- The super body-politic: nationally assembling Joss Whedon's exceptional The avengers -- "He was deceived by a lie": tragedy and the dark plague of the politics of fear in George Lucas' Star wars -- Dystopian polyvalence: emancipating the mediated life from The matrix.

Given the recent cuts in government budgets, issues such as taxation, welfare, health care, social security, and environmental protection ar e drawing increasing attention to the basic problems of how to divide resources equitably among all members of society. Social Issues provid es a framework for discussing and resolving these current, pressing so cial issues. As each issue is considered, the book clarifies the moral, political, and economic dimensions that must be weighed as current p rograms and reform proposals are (...) evaluated. Throughout, this book prov ides a forum for open discussion in which the moral values and politic al and economic viewpoints from different viewpoints are entertained, discussed, and evaluated. (shrink)

My project is to defend and further develop Schacht's interpretation of Nietzsche on perspectivism and to challenge Clark's and Leiter's interpretations.

The ethical aspects of evolution.--Sermons: Childhood--a Christmas sermon. Stand-bys. Liberal Christianity and liberal orthodoxy. A dedication sermon, Omaha, 1871. A minister's ideal. The humanitarian side of religion.

At their basic level, sporting events are about numbers: wins and losses, percentages and points, shots and saves, clocks and countdowns. However, sports narratives quickly leave the realm of statistics. The stories we tell and retell, sometimes for decades, make sports dramatic and compelling. Just like any great drama, sports imply conflict, not just battles on the field of play, but clashes of personalities, goals, and strategies. In telling these stories, we create heroes, but we also create villains. This book (...) is about the latter, those players who transgress norms and expectations and who we label the "bad boys" of sports. Using a variety of approaches, contributors examine the cultural, social, and rhetorical implications of sports villainy. Each chapter focuses on a different athlete and sport, questioning issues such as how notorious sports figures are defined to be "bad" within particular sports and within the larger culture, the role media play in creating antiheroes, fan reactions when players cross boundaries, and how those boundaries shift depending on the athlete's gender, sexuality, and race. (shrink)

The fusion of law and equity in common law systems was a crucial moment in the development of the modern law. In this volume leading scholars assess the significance of the fusion of law and equity from comparative, doctrinal, historical and theoretical perspectives.

This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work. This work is in the public domain (...) in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

In the same year, 1961, Peter D. Mitchell and Robert R.J.P. Williams both put forward hypotheses for the mechanism of oxidative phosphorylation in mitochondria and photophosphorylation in chloroplasts. Mitchell's proposal was ultimately adopted and became known as the chemiosmotic theory. Both hypotheses were based on protons and differed markedly from the then prevailing chemical theory originally proposed by E.C. Slater in 1953, which by 1961 was failing to account for a number of experimental observations. Immediately following the publication (...) of Williams's hypothesis and before his own was published, Mitchell initiated a correspondence. Examination of the letters shows the development of a dispute based on the validity of the proposals, who should have priority and particularly whether Mitchell had drawn on Williams's work without acknowledgement. We have concluded that Mitchell's proposals were original although it is evident that prior to the correspondence Williams had considered and rejected a proposition similar to Mitchell's theory. However, a major cause of the dispute was the difference in disciplinary backgrounds of Mitchell, a microbial biochemist and Williams, a chemist. (shrink)

Introduction: Why so serious? -- The super body-politic: nationally assembling Joss Whedon's exceptional The avengers -- "He was deceived by a lie": tragedy and the dark plague of the politics of fear in George Lucas' Star wars -- Dystopian polyvalence: emancipating the mediated life from The matrix.

In this paper, we aim to clarify and evaluate the contention that immortality would be necessarily boring . It will emerge that, just as there are various importantly different kinds of immortality, there are various distinct kinds of boredom. To evaluate the Necessary Boredom Thesis, we need to specify the kind of immortality and the kind of boredom. We argue against the thesis, on various specifications of “immortality” and “boredom.”.

Transpersonal psychology: Dean, S. R. The ultraconscious mind. Arasteh, A. R. Final integration in the adult personality.--The nature of madness: First, E. Visions, voyages, and new interpretations of madness. Van Dusen, W. Hallucinations as the world of spirits.--Biofeedback: White, J. The yogi in the lab. Kiefer, D. EEG alpha feedback and subjective states of consciousness.--Meditation research: Griffith, F. F. Meditation research: its personal and social implications. Kiefer, D. Intermeditation notes: reports from inner space.--Psychic research: Honorton, C. Tracing ESP through altered (...) states of consciousness. Johnson, C. W. Unexplored areas of parapsychology.--Paraphysics: White, J. Plants, polygraphs, and paraphysics. Reiser, O. L. Messages to and from the galaxy.--Biotechnology: Beal, J. B. The new biotechnology. Tiller, W. A. Energy fields and the human body.--The neurosciences: Conway, H. Life, death, and antimatter. Floyd, K. Of time and mind: from paradox to paradigm.--Ecological consciousness: Smith, R. A. Our passport to evolutionary awareness. Esser, A. H. Synergy and social pollution in the communal imagery of mankind.--Space travel and extraterrestrial life: Mitchell, E. D. Global consciousness and the view from space. White, J. Exobiology--where science fiction meets science fact.--Death as an altered state of consciousness: Tietze, T. R. Some perspectives on survival. Noyes, R. Dying and mystical consciousness. (shrink)

This book presents the first detailed history of the modern passport and why it became so important for controlling movement in the modern world. It explores the history of passport laws, the parliamentary debates about those laws, and the social responses to their implementation. The author argues that modern nation-states and the international state system have 'monopolized the 'legitimate means of movement',' rendering persons dependent on states' authority to move about - especially, though not exclusively, across international boundaries. This new (...) edition reviews other scholarship, much of which was stimulated by the first edition, addressing the place of identification documents in contemporary life. It also updates the story of passport regulations from the publication of the first edition, which appeared just before the terrorist attacks of 9/11, to the present day. (shrink)

This is a paperback edition of a major contribution to the field, first published in hard covers in 1977. The book outlines a general theory of rational behaviour consisting of individual decision theory, ethics, and game theory as its main branches. Decision theory deals with a rational pursuit of individual utility; ethics with a rational pursuit of the common interests of society; and game theory with an interaction of two or more rational individuals, each pursuing his own interests in a (...) rational manner. (shrink)

Near-death experiences offer a glimpse not only into the nature of death but also into the meaning of life. They are not only useful tools to aid in the human quest to understand death but are also deeply meaningful, transformative experiences for the people who have them. In a unique contribution to the growing and popular literature on the subject, philosophers John Martin Fischer and Benjamin Mitchell-Yellin examine prominent near-death experiences, such as those of Pam Reynolds, Eben Alexander (...) and Colton Burpo. They combine their investigations with critiques of the narratives' analysis by those who take them to show that our minds are immaterial and heaven is for real. In contrast, the authors provide a blueprint for a science-based explanation. Focusing on the question of whether near-death experiences provide evidence that consciousness is separable from our brains and bodies, Fischer and Mitchell-Yellin give a naturalistic account of the profound meaning and transformative effects that these experiences engender in many. This book takes the reality of near-death experiences seriously. But it also shows that understanding them through the tools of science is completely compatible with acknowledging their profound meaning. (shrink)

Western civilization historically has tried to balance secular knowledge with revealed religion. Science is the modern world's version of secular knowledge and resists the kind of integration achieved by Augustine and Aquinas. Managing the conflict between religion and evolution by containing them in separate “frames,” as Stephen J. Gould suggested, does not resolve the issue. Science may have displaced religion from the public square, but the traditional science‐religion conflict has become threadbare in intellectual terms. Scientific theories have become increasingly abstract, (...) and science has been attacked from the left as a source of objective knowledge. However, technology, not science, has displaced religious belief, a phenomenon I call techno‐secularism. Robert Coles's suggestion that secularism is a form of doubt inevitably attached to religious belief, and William James's reduction of religious experiences to psychological states, evaluating them according to their “cash value,” are unhelpful. Technology enables us to remake our environment according to our wishes and has become a kind of magic that replaces not just revealed religion but also theoretical science. Techno‐secularism has an ethical vision that focuses on healthful living, self‐fulfillment, and avoiding the struggles of human life and the inevitability of death. (shrink)

In the same year, 1961, Peter D. Mitchell and Robert R.J.P. Williams both put forward hypotheses for the mechanism of oxidative phosphorylation in mitochondria and photophosphorylation in chloroplasts. Mitchell's proposal was ultimately adopted and became known as the chemiosmotic theory. Both hypotheses were based on protons and differed markedly from the then prevailing chemical theory originally proposed by E.C. Slater in 1953, which by 1961 was failing to account for a number of experimental observations. Immediately following the publication (...) of Williams 's hypothesis and before his own was published, Mitchell initiated a correspondence. Examination of the letters shows the development of a dispute based on the validity of the proposals, who should have priority and particularly whether Mitchell had drawn on Williams 's work without acknowledgement. We have concluded that Mitchell's proposals were original although it is evident that prior to the correspondence Williams had considered and rejected a proposition similar to Mitchell's theory. However, a major cause of the dispute was the difference in disciplinary backgrounds of Mitchell, a microbial biochemist and Williams, a chemist. (shrink)

Physical and chemical processes may act upon the mind; and when we are writing a difficult letter, our mind acts upon our body and, through a chain of physical...

Traces scholarly thought from the nineteenth-century birth of evolutionary biology to the mapping of the human genome through forty-eight essays, arranged in chronological order, each preceded by a one-page essay that explains the significance of the chosen work.