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.

For many years, the downtown in Clarksdale, with a municipal population of 17,960 and located in the northern part of the Mississippi Delta, had lost its role as the centre providing a wide range of jobs and services to those living in the surrounding region. For many cities and towns in America, downtown decline has been associated with the flight to the suburbs and the growth in shopping malls serving flourishing gated communities. In Clarksdale’s case, downtown decline has been due (...) largely to the advent of big box retailing and the location of new retail and commercial developments along the state highway on the edge of town, combined with the loss of jobs and population associated with agricultural restructuring. Today, however, Clarksdale has taken up the challenge to ‘revitalize’ the downtown in the face of economic adversity. Recovery is under way, and much of this is associated with blues music and Delta culture: Clarksdale is situated at the fabled ‘crossroads’ of Highways 49 and 61 and is also the home to national icons in literature, art and other cultural pursuits. These are key elements around which the downtown revitalization effort is focused. This paper charts the process by which the Clarksdale community has embarked on the road to downtown recovery, and highlights the town’s indelible links with the blues, borne out of years of toil, hardship and social deprivation. The paper emphasizes the importance of ‘champions’ and ‘creative people’, drawing on community support, in achieving downtown revitalization. Positive results are becoming evident with new businesses and jobs, improved levels of service, refurbishment of derelict buildings, a renewed sense of place, and an uplift in community confidence. The significance of cultural tourism to downtown revitalization is highlighted, with particular emphasis on the global appeal of blues, but with its roots firmly established in Clarksdale and the Delta. (shrink)

The concept of the sick role entered sociology in 1951 when Talcott Parsons creatively separated the sick person out of the doctor–patient dyad. The idea became fundamental in the subdiscipline of medical sociology. By the 1990s, the concept had almost disappeared from the research literature. Beyond the generational and theoretical changes that explain how the sick role idea could become irrelevant or unnecessary to sociologists, there were two immediate factors: the negative politicization of the concept and the shift of medical (...) sociologists to a focus on applied health behavior. In the later, fragmented discipline of sociology, final, total abandonment was still uncertain. (shrink)

Briggs (English, U. of California, Riverside) clarifies the close relation between Bacon's famous reform of scientific method and his less well-known conceptions of rhetoric, nature, and religion. He reveals, among many other things, Bacon's conviction that nature is God's code, which scientists decipher and exploit. Annotation copyrighted by Book News, Inc., Portland, OR.

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

It is argued that mathematical statements are "a posteriori synthetic" statements of a very special sort, To be called "structure-Analytic" statements. They follow logically from the axioms defining the mathematical structure they are describing--Provided that these axioms are "consistent". Yet, Consistency of these axioms is an empirical claim: it may be "empirically verifiable" by existence of a finite model, Or may have the nature of an "empirically falsifiable hypothesis" that no contradiction can be derived from the axioms.

This article challenges the generally accepted dogma that reliance is an essential ingredient in contractual formation. We argue that this view has resulted from an erroneous interpretation of the relevant case law, failure to cite contrary authority, and the elevation of often oblique judicial references to the need for reliance to the status of fundamental contractual principle. Contractual theory and clear policy reasons support our position that in English law a contractual obligation subsists when a person, knowing of a promise, (...) performs the stipulated act (or gives the promise) requested by the promisor, even though that person has not relied on the promise. (shrink)

One of the paradoxes of the physical sciences is that as our knowledge has progressed, more and more diverse physical phenomena can be explained in terms of fewer underlying laws, or principles. In Hidden Unity, eminent physicist John Taylor puts many of these findings into historical perspective and documents how progress is made when unexpected, hidden unities are uncovered between apparently unrelated physical phenomena. Taylor cites examples from the ancient Greeks to the present day, such as the unity of (...) celestial and terrestrial dynamics (17th century), the unity of heat within the rest of dynamics (18th century), the unity of electricity, magnetism, and light (19th century), the unity of space and time and the unification of nuclear forces with electromagnetism (20th century). Without relying on mathematical detail, Taylor's emphasis is on fundamental physics, like particle physics and cosmology. Balancing what is understood with the unestablished theories and still unanswered questions, Taylor takes readers on a fascinating ongoing journey. John C. Taylor is Professor Emeritus of Mathematical Physics at the University of Cambridge. A student of Nobel laureate Abdus Salam, Taylor's research career has spanned the era of developments in elementary particle physics since the 1950s. He taught theoretical physics at Imperial College, London, and at the Universities of Oxford and Cambridge, and he has lectured worldwide. He is a Fellow of the Royal Society and a Fellow of the Institute of Physics. (shrink)

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

Zen Buddhist Attitudes to War HIRATA Seiko IN ORDER FULLY TO UNDERSTAND the standpoint of Zen on the question of nationalism, one must first consider the ...

Linear logic, introduced by Girard, is a refinement of classical logic with a natural, intrinsic accounting of resources. This accounting is made possible by removing the ‘structural’ rules of contraction and weakening, adding a modal operator and adding finer versions of the propositional connectives. Linear logic has fundamental logical interest and applications to computer science, particularly to Petri nets, concurrency, storage allocation, garbage collection and the control structure of logic programs. In addition, there is a direct correspondence between polynomial-time computation (...) and proof normalization in a bounded form of linear logic. In this paper we show that unlike most other propositional logics, full propositional linear logic is undecidable. Further, we prove that without the modal storage operator, which indicates unboundedness of resources, the decision problem becomes PSPACE-complete. We also establish membership in NP for the multiplicative fragment, NP-completeness for the multiplicative fragment extended with unrestricted weakening, and undecidability for fragments of noncommutative propositional linear logic. (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)

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)

A DISQUISITION ON GOVERNMENT. In order to have a clear and just conception of the nature and object of government, it is indispensable to understand ...

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)

This bibliography is a comprehensive listing of published works by John Locke, including all known editions and translations of his works, abridgments and selections in anthologies and several works which he edited or translated, from the first editions to the present. It covers not only the works published during Locke's lifetime, but also those printed from the voluminous manuscripts he left behind at his death in 1704. In addition, Locke's works are set in their original controversial context: entries are (...) provided for the works Locke wrote about and for the attacks and defenses his writings provoked during and immediately following his lifetime. An appendix contains a list of works incorrectly attributed to Locke. Three indexes complete the bibliography: an index to the names of the editors, the translators, and authors of works cited in the annotations; an index to the titles of anonymous works; and a language index that lists all the works that have been translated into each language. (shrink)

This paper concerns the semantics of belief-sentences. I pass over ontologically lavish theories which appeal to impossible worlds, or other points of reference which contain more than possible worlds. I then refute ontologically stingy, quotational theories. My own theory employs the techniques of possible worlds semantics to elaborate a Fregean analysis of belief-sentences. In a belief-sentence, the embedded clause does not have its usual reference, but refers rather to its own semantic structure. I show how this theory can accommodate quantification (...) into belief-contexts. I close with skirmishes against the threat posed by the Liar Paradox. (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)

E. P. Wigner 's argument that the probability of the existence of self-reproducing units, e.g., organisms, is zero according to standard quantum theory is stated and analyzed. Theorems are presented which indicate that Wigner 's mathematical result in fact should not be interpreted as asserting the improbability of self-reproducing units.

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.