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.

The eight essays and three responses collected in Rethinking Borders were commissioned from an exciting range of leading younger writers, artists and intellectuals whose work has raised significant questions about the border cultures in ...

An important book, one that can truly be called seminal. --America In a popular, informal style, the Jesuit author of many theological books and articles explores the question of interpersonal commitments . . . His book should do much to clarify a great deal of muddy thinking on a critical issue. --Library Journal Haughey is not addressing one life-style, but is writing for all, since all of us are committed to someone or something. His book is carefully written and deserves (...) careful reading. --Best Sellers John C. Haughey, SJ, is the author of 'The Holy Use of Money' and 'Should Anyone Say Forever?'. (shrink)

Each chapter heading bears a phrase from a contemporary author, held to incorporate the character of that section of the study under consideration. Chapter 1 carries the title given to early English translations of the Lettres provinciales; chapter 2 recalls the description of Pascall by Boyle and other English scientists; and chapter 3 draws from Kennett's preface to his version of the Pensees. The heading of chapter 4 is from Pope's Essay on Man. The exclamation which introduces chapter 5 concludes (...) an essay in the Gentleman's Magazine for 1789, probably by Boswell; the words for chapter 6 come from a pastoral letter of John Wesley; and chapter 7 represents the verdict of Coleridge. The title of the book itself is derived from the heading to the twenty-first chapter of Kennett's Pensees, which seems to have forecast the essence of the eighteenth-century's perplexity upon the issues raised by Pascal: 'The strange Contrarieties discoverable in Human Nature, with regard to Truth, and Happiness, and many other things.'. (shrink)

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)

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)

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)

For Swedish visionary Emanuel Swedenborg, God's love and wisdom is the basis for everything that happens in the world, from creation itself to the details of our everyday existence. In this volume, he describes the nature of God and heaven and how they relate to our human existence. This edition is a reprint of an 1885 translation by John C. Ager.

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)

The planninnjg of this Study Week at the Pontifical Academy of Science from September 28 to October 4, 1964, began just two years before when the President, Professor Lemaitre, asked me if 1 would be responsible for a Study Week relating Psychology to what we may call the Neurosciences. 1 accepted this responsibility on the understanding that 1 could have as sistance from two colleagues in the Academy, Professors Heymans and Chagas. Besides participating in the Study Week they gave me (...) much needed assistance and advice in the arduous and, at times, perplexing task that 1 had undertaken, and 1 gratefully acknowledge my indebtedness to them. Though there have been in recent years many symposia concerned with the so-called higher functions of the brain, for example witbh percep tion, learning and conditioning, and with the processing of information in the brain, there has to my knowledge been no symposium specifically with brain functions and consciousness since the memorable treating Laurentian Conference of 1953, which was later published in 1954 as the book, "Brain Mechanisms and Consciousness. (shrink)

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.”.

In this article I address the ethical implications of the legal issues the U. S. Supreme Court resolved in New York Times v. Sullivan and its progeny. In a ruling with far-reaching moral implications, the Court addressed truthtelling-journalism's primary ethical directive-and undermined it by favoring other moral principles and social goals. Much of this article focuses on the ethical arguments addressed to the Court in legal briefs that sought rulings that would support fundamental principals of ethical journalism. The creation of (...) actual malice as a legal concept in the Sullivan case owes more to the Court's pursuit of other moral and social values than strict legal reasoning, according to the descriptive theory of pragmatic instrumentalism, which informs this analysis. (shrink)

The current ethical norms of genomic biobanking creating and maintaining large repositories of human DNA and/or associated data for biomedical research have generated criticism from every angle, at both the practical and theoretical levels. The traditional research model has involved investigators seeking biospecimens for specific purposes that they can describe and disclose to prospective subjects, from whom they can then seek informed consent. In the case of many biobanks, however, the institution that collects and maintains the biospecimens may not itself (...) be directly involved in research, instead banking the biospecimens and associated data for other researchers. Moreover, the future uses of biospecimens may be unknown, if not unknowable, at the time of collection. Biobanking may thus stretch the meanings of inform and consent to their breaking point: if you cannot inform subjects about what their biospecimens will be used for, what can they consent to? Given that informed consent by individual subjects is the ethical gold standard, the seeming dilution of the concept in the context of biobanking is a profound problem. (shrink)

Previous studies have found Forsyth’s Ethical Position Questionnaire (EPQ) to vary between countries, but none has made a systematic evaluation of its psychometric properties across consumers from many countries. Using confirmatory factor analysis and multi-group LISREL analysis, this paper explores the factor structure of the EPQ and the measurement equivalence in five societies: Austria, Britain, Brunei, Hong Kong and USA. The results suggest that the modified scale, measuring idealism and relativism, was applicable in all five societies. Equivalence was found across (...) Britain, Brunei and USA, but the original scale cannot be used validly. (shrink)

Previous studies have found Forsyth’s Ethical Position Questionnaire (EPQ) to vary between countries, but none has made a systematic evaluation of its psychometric properties across consumers from many countries. Using confirmatory factor analysis and multi-group LISREL analysis, this paper explores the factor structure of the EPQ and the measurement equivalence in five societies: Austria, Britain, Brunei, Hong Kong and USA. The results suggest that the modified scale, measuring idealism and relativism, was applicable in all five societies. Equivalence was found across (...) Britain, Brunei and USA, but the original scale cannot be used validly. (shrink)