This paper compares the recently proposed Robust Full Computational Tree Logic to model robustness in concurrent systems with other computational tree logic -based logics. RoCTL* extends CTL* with the addition of the operators Obligatory and Robustly, which quantify over failure-free paths and paths with one more failure respectively. This paper focuses on examining the succinctness and expressiveness of RoCTL* by presenting translations to and from RoCTL*. The core result of this paper is to show that RoCTL* is expressively equivalent to (...) CTL* but is non-elementarily more succinct. That is, RoCTL* does not add any expressive power over CTL*, but can represent some properties using vastly reduced formulae. We present a translation from RoCTL* into CTL* that preserves truth but may result in non-elementary growth in the length of the translated formula, as each nested Robustly operator may result in an extra exponential blowup. However, we show that this translation is optimal in the sense th.. (shrink)

Alterity, the difference that being-other makes, is not an overt theme in the writing of Ueda Shizuteru, and yet by bringing alterity to the fore we are able to connect and examine several themes that Ueda does engage explicitly. It will turn out that several models of alterity are discernable in Ueda’s philosophy, and their common ground opens a mode of being-other that offers an alternative to dominant models of irreducible difference. Ueda’s philosophy of language suggests four alternative configurations that (...) increasingly allow for the dual emergence of authentic otherness and selfhood. Those configurations are intimated in his interpretations of Nishida’s pure experience, of the interplay of language and silence, of a dialogue envisioned in a Zen oxherding picture, and of the poetic form known as linked verse, which best models how discrete beings help create a world in common. (shrink)

We outline some ways in which motor neglect (the underutilization of a limb despite adequate strength) and hysterical paralysis (failure to move a limb despite no relevant structural damage or disease) may throw light on the pathophysiology of catatonia. We also comment on the manifold inadequacies of distinguishing too firmly between symptoms of “neurologic origin” and of “psychiatric origin.”.

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

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)

Peter Abelard (1079–1142 ce) was the most wide‐ranging philosopher of the twelfth century. He quickly established himself as a leading teacher of logic in and near Paris shortly after 1100. After his affair with Heloise, and his subsequent castration, Abelard became a monk, but he returned to teaching in the Paris schools until 1140, when his work was condemned by a Church Council at Sens. His logical writings were based around discussion of the “Old Logic”: Porphyry's Isagoge, aristotle'S Categories and (...) On Interpretation and boethius'S textbook on topical inference. They comprise a freestanding Dialectica (“Logic”; probably c.1116), a set of commentaries (known as the Logica [Ingredientibus], c. 1119) and a later (c. 1125) commentary on the Isagoge (Logica Nostrorum Petititoni Sociorum or Glossulae). In a work Abelard called his Theologia, issued in three main versions (between 1120 and c.1134), he attempted a logical analysis of trinitarian relations and explored the philosophical problems surrounding God's claims to omnipotence and omniscience. The Collationes (“Debates,” also known as “Dialogue between a Christian, a Philosopher and a Jew”; probably c.1130) present a rational investigation into the nature of the highest good, in which the Christian and the Philosopher (who seems to be modeled on a philosopher of pagan antiquity) are remarkably in agreement. The unfinished Scito teipsum (“Know thyself,” also known as the “Ethics”; c.1138) analyses moral action. (shrink)

When von Neumann's and Morgenstern's Theory of Games and Economic Behavior appeared in 1944, one thought that a complete theory of strategic social behavior had appeared out of nowhere. However, game theory has, to this very day, remained a fast-growing assemblage of models which have gradually been united in a new social theory - a theory that is far from being completed even after recent advances in game theory, as evidenced by the work of the three Nobel Prize winners, (...) class='Hi'>John F. Nash, John C. Harsanyi, and Reinhard Selten. Two of them, Harsanyi and Selten, have contributed important articles to the present volume. This book leaves no doubt that the game-theoretical models are on the right track to becoming a respectable new theory, just like the great theories of the twentieth century originated from formerly separate models which merged in the course of decades. For social scientists, the age of great discover ies is not over. The recent advances of today's game theory surpass by far the results of traditional game theory. For example, modem game theory has a new empirical and social foundation, namely, societal experiences; this has changed its methods, its "rationality. " Morgenstern (I worked together with him for four years) dreamed of an encompassing theory of social behavior. With the inclusion of the concept of evolution in mathematical form, this dream will become true. Perhaps the new foundation will even lead to a new name, "conflict theory" instead of "game theory. (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 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)

Stakeholder theory is widely recognized as a management theory, yet very little research has considered its implications for individual managerial decision-making. In the two studies reported here, we used stakeholder theory to examine managerial decisions about balancing stakeholder interests. Results of Study 1 suggest that indivisible resources and unequal levels of stakeholder saliency constrain managers’ efforts to balance stakeholder interests. Resource divisibility also influenced whether managers used a within-decision or an across-decision approach to balance stakeholder interests. In Study 2 we (...) examined instrumental and normative implications of these two approaches. We conclude by considering the contributions of this research. (shrink)

Collagen is the most abundant vertebrate protein and forms a stable fibrous architecture in connective tissues, such as bone, cartilage, skin and tendon. Much recent research has been directed towards an understanding of the molecular and cellular mechanisms involved in the synthesis and degradation of collagen, because a change in the normal balance, or an increased destruction of collagen, can cause loss of function of specialized tissues. This short review attempts to summarize present knowledge about the proteolytic destruction of collagen (...) and the exciting new work on the factors that are emerging as important controlling agents. An understanding of the regulatory processes is yielding some important clues regarding the levels at which they can fail in pathological conditions and we speculate about evolving strategies for preventing uncontrolled resorption. (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)

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)

Since children are considered incapable ofgiving informed consent to participate inresearch, regulations require that bothparental permission and the assent of thepotential child subject be obtained. Assent andpermission are uniquely bound together, eachserving a different purpose. Parentalpermission protects the child from assumingunreasonable risks. Assent demonstrates respectfor the child and his developing autonomy. Inorder to give meaningful assent, the child mustunderstand that procedures will be performed,voluntarily choose to undergo the procedures,and communicate this choice. Understanding theelements of informed consent has been theparadigm for (...) assessing capacity to give assent.This method leaves the youngest, leastcognitively mature children vulnerable towaiver of assent and forced researchparticipation. Voluntariness can also becompromised by the influence of authorityfigures who can exert undue influence andcoerce children to participate in research. This paper discusses factors that may influencethe decision to give assent/permission,potential parent-child conflict in theassent/permission process and how it isresolved, and potential parental undueinfluence on research participation. Theseissues are illustrated with quotations drawnfrom a larger qualitative study of parentalpermission and child assent (data notpresented). We suggest a developmentalapproach, viewing assent as a continuum rangingfrom mere affirmation in the youngest childrento the equivalent of the informed consentprocess in the mature adolescent. (shrink)

The design inference uncovers intelligent causes by isolating the key trademark of intelligent causes: specified events of small probability. Just about anything that happens is highly improbable, but when a highly improbable event is also specified (i.e., conforms to an independently given pattern) undirected natural causes lose their explanatory power. Design inferences can be found in a range of scientific pursuits from forensic science to research into the origins of life to the search for extraterrestrial intelligence.

The relation between body and mind is one of the oldest riddles that has puzzled mankind. That material and mental events may interact is accepted even by the law: our mental capacity to concentrate on the task can be seriously reduced by drugs. 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 events, upon the mind of the recipient of the (...) letter. This is what the authors of this book call the 'interaction of mental and physical events'. We know very little about this interaction; and according to recent philosophical fashions this is explained by the alleged fact that we have brains but no thoughts. The authors of this book stress that they cannot solve the body mind problem; but they hope that they have been able to shed new light on it. Eccles especially with his theory that the brain is a detector and amplifier; a theory that has given rise to important new developments, including new and exciting experiments; and Popper with his highly controversial theory of 'World 3'. They show that certain fashionable solutions which have been offered fail to understand the seriousness of the problems of the emergence of life, or consciousness and of the creativity of our minds. In Part I, Popper discusses the philosophical issue between dualist or even pluralist interaction on the one side, and materialism and parallelism on the other. There is also a historical review of these issues. In Part II, Eccles examines the mind from the neurological standpoint: the structure of the brain and its functional performance under normal as well as abnormal circumstances. The result is a radical and intriguing hypothesis on the interaction between mental events and detailed neurological occurrences in the cerebral cortex. Part III, based on twelve recorded conversations, reflects the exciting exchange between the authors as they attempt to come to terms with their opinions. (shrink)