In this paper we define Martin-L¨of complexes to be algebras for monads on the category of (reflexive) globular sets which freely add cells in accordance with the rules of intensional Martin-L¨of type theory. We then study the resulting categories of algebras for several theories. Our principal result is that there exists a cofibrantly generated Quillen model structure on the category of 1-truncated Martin-L¨of complexes and that this category is Quillen equivalent to the category of groupoids. In particular, 1-truncated Martin-L¨of complexes (...) are a model of homotopy 1-types. In order to establish these facts we give a proof-theoretic analysis, using a modified version of Tait’s logical predicates argument, of the propositional equality classes of terms of identity type in the 1-truncated theory. (shrink)

Globalization generates new structures of human interdependence and vulnerability while also posing challenges for models of democracy rooted in territorially bounded states. The diverse phenomena of globalization have stimulated two relatively new branches of political theory: theoretical accounts of the possibilities of democracy beyond the state; and comparative political theory, which aims at bringing non-Western political thought into conversation with the Western traditions that remain dominant in the political theory academy. This article links these two theoretical responses to globalization by (...) showing how comparative political theory can contribute to the emergence of new global “publics” around the common fates that globalization forges across borders. Building on the pragmatist foundations of deliberative democratic theory, it makes a democratic case for comparative political theory as an architecture of translation that helps deliberative publics grow across boundaries of culture. (shrink)

In El Salvador from 1978 to 1988, contraceptive use among married women 15–44 years of age increased from 34% to 47%, and the total fertility rate declined from 6·3 to 4·6 children per woman. Most of this change took place from 1978 to 1985. Sterilization is the most prevalent method used, but nearly one-half of the women who are sterilized did not use any contraception before their operation. Few young couples use reversible methods of contraception to space births or delay (...) the start of childbearing. On average, women wait 8 years after marriage and have nearly three children before they use contraception. (shrink)

Acceptance of elderly or marginal health individuals as kidney donors is debated, with practices varying between centres. Transplant recipients, live kidney donors and health-care professionals caring for patients with renal failure were surveyed regarding their views on live donor kidney transplantation (LDKT) of marginal health (diabetes, hypertension, atherosclerosis, obesity, etc.) and elderly donors. Participants were recruited within a tertiary renal and transplant centre and invited to participate in focus groups and structured interviews. They also completed an anonymous questionnaire. Of 464 (...) participants who completed the questionnaire (36% health-care professionals and 64% patients), 49% and 64%, respectively, stated that marginal and elderly donors should be accepted for LDKT. In the structured interviews, emphasis was given to presenting to donor, recipient and their respective families a calculated risk regarding the effect that either a nephrectomy or transplant has on long-term quality of life. Participants stated that an independent third party in addition to the transplant team should discuss involved risks. Issues of ‘how desperate’ the recipient's situation is should also be considered. Health-care professionals stated that regardless of the strength of will of an individual to donate a kidney (despite age, health problems or personal risk), they should always have the right to say ‘no’ if performing a specific LDKT was against their professional and ethical values. About half of those surveyed considered that marginal health and elderly donors were acceptable for LDKT. Emphasis was given to the explanation to donors and recipients of the risks involved in such transplantation. (shrink)

Because of the “all-or-none” character of nervous activity, neural events and the relations among them can be treated by means of propositional logic. It is found that the behavior of every net can be described in these terms, with the addition of more complicated logical means for nets containing circles; and that for any logical expression satisfying certain conditions, one can find a net behaving in the fashion it describes. It is shown that many particular choices among possible neurophysiological assumptions (...) are equivalent, in the sense that for every net behaving under one assumption, there exists another net which behaves under the other and gives the same results, although perhaps not in the same time. Various applications of the calculus are discussed. (shrink)

Writings by a thinker—a psychiatrist, a philosopher, a cybernetician, and a poet—whose ideas about mind and brain were far ahead of his time. Warren S. McCulloch was an original thinker, in many respects far ahead of his time. McCulloch, who was a psychiatrist, a philosopher, a teacher, a mathematician, and a poet, termed his work “experimental epistemology.” He said, “There is one answer, only one, toward which I've groped for thirty years: to find out how brains work.” Embodiments of (...) Mind, first published more than fifty years ago, teems with intriguing concepts about the mind/brain that are highly relevant to recent developments in neuroscience and neural networks. It includes two classic papers coauthored with Walter Pitts, one of which applies Boolean algebra to neurons considered as gates, and the other of which shows the kind of nervous circuitry that could be used in perceiving universals. These first models are part of the basis of artificial intelligence. Chapters range from “What Is a Number, that a Man May Know It, and a Man, that He May Know a Number,” and “Why the Mind Is in the Head,” to “What the Frog's Eye Tells the Frog's Brain” (with Jerome Lettvin, Humberto Maturana, and Walter Pitts), “Machines that Think and Want,” and “A Logical Calculus of the Ideas Immanent in Nervous Activity” (with Walter Pitts). Embodiments of Mind concludes with a selection of McCulloch's poems and sonnets. This reissued edition offers a new foreword and a biographical essay by McCulloch's one-time research assistant, the neuroscientist and computer scientist Michael Arbib. (shrink)

Stable URL: http://links.jstor.org/sici?sici=0048-3915%28198923%2918%3A4%3C334%3AAIACTD%3E2.0.CO%3B2-P..

What does it mean to know oneself, and what is the self that one hopes to know? This article outlines the implications of an embodied understanding of persons and some aspects of the “self” that are generally ignored when thinking about our selves. The Cartesian model of body–soul dualism reinforces the idea that there is within us a soul, or self, or mind that is our hidden, inner, and real self. Thus, the path to self-knowledge is introspection. The alternative view (...) is that persons are embodied, embedded, and at times extended. This article emphasizes the bodily, active, contextual, relational, often simulated, and sometimes extended nature of the selves that we are, and that we hope to know. (shrink)

Rankings of countries by perceived corruption have emerged over the past decade as leading indicators of governance and development. Designed to highlight countries that are known to be corrupt, their objective is to encourage transparency and good governance. High rankings on corruption, it is argued, will serve as a strong incentive for reform. The practice of ranking and labeling countries "corrupt," however, may have a perverse effect. Consistent with Social Labeling Theory, we argue that perceptual indices can encourage the loss (...) of needed investment and, thus, contribute to higher rates of corruption within unfavorably ranked countries. In effect, corruption indices may inhibit foreign direct investment, the effect of which is to encourage the status quo in terms of corruption ranking. Using an experimental study design, we test the effects of country corruption rankings on the assessment of country investment desirability and find ranking exposure causes shifts in country investment desirability for 10 of 12 countries studied. These findings suggest that corruption rankings, which are based on perceptions of corruption, may cause country isolation and a reduction in legitimate means of investment. (shrink)

If humans are purely physical, and if it is the brain that does the work formerly assigned to the mind or soul, then how can it fail to be the case that all of our thoughts and actions are determined by the laws of neurobiology? If this is the case, then free will, moral responsibility, and, indeed, reason itself would appear to be in jeopardy. Murphy and Brown present an original defence of a non-reductive version of physicalism whereby humans are (...) the authors of their own thoughts and actions. (shrink)

ABSTRACT:U.S. Organizational Sentencing Guidelines provide firms with incentives to develop formal ethics programs to promote ethical organizational cultures and thereby decrease corporate offenses. Yet critics argue such programs are cosmetic. Here we studied bank employees before and after the introduction of formal ethics training—an important component of formal ethics programs—to examine the effects of training on ethical organizational culture. Two years after a single training session, we find sustained, positive effects on indicators of an ethical organizational culture (observed unethical behavior, (...) intentions to behave ethically, perceptions of organizational efficacy in managing ethics, and the firm’s normative structure). While espoused organizational values also rose in importance post-training, the boost dissipated after the second year which suggests perceptions of values are not driving sustained behavioral improvements. This finding conflicts with past theory which asserts that enduring behavioral improvements arise from the inculcation of organizational values. Implications for future research are discussed. (shrink)

This is a response to Russell McCutcheon’s book chapter titled “On Concepts and Entities: Varieties of Critical Scholarship” in which he criticizes the value-driven approached advocated in previous editorials of Critical Research on Religion. This response points out that critical religion is also value-driven and not non-normative as he claims, but that this is what makes it critical.

ABSTRACT:U.S. Organizational Sentencing Guidelines provide firms with incentives to develop formal ethics programs to promote ethical organizational cultures and thereby decrease corporate offenses. Yet critics argue such programs are cosmetic. Here we studied bank employees before and after the introduction of formal ethics training—an important component of formal ethics programs—to examine the effects of training on ethical organizational culture. Two years after a single training session, we find sustained, positive effects on indicators of an ethical organizational culture (observed unethical behavior, (...) intentions to behave ethically, perceptions of organizational efficacy in managing ethics, and the firm’s normative structure). While espoused organizational values also rose in importance post-training, the boost dissipated after the second year which suggests perceptions of values are not driving sustained behavioral improvements. This finding conflicts with past theory which asserts that enduring behavioral improvements arise from the inculcation of organizational values. Implications for future research are discussed. (shrink)

We present a solution to the problem of defining a counterpart in Algebraic Set Theory of the construction of internal sheaves in Topos Theory. Our approach is general in that we consider sheaves as determined by Lawvere-Tierney coverages, rather than by Grothendieck coverages, and assume only a weakening of the axioms for small maps originally introduced by Joyal and Moerdijk, thus subsuming the existing topos-theoretic results.

Donald MacKay's description of the embodiment of an efficacious conscious mind is reviewed as a version of non-reductive physicalism. Particular focus is given to MacKay's analysis of the emergence of consciousness in the capacity for self-evaluation which results from informational feedback regarding the results of action. Unique to MacKay's posthumously published Gifford Lectures is his analysis of agents in dialog as a particular form of an environmental feedback loop. His analysis of dialog is reviewed and expanded to encompass concepts of (...) a First and Second Order Theory of Mind. Finally, MacKay's view of the status of the soul is considered, and the particular role of dialogue as critical to the instantiation of soul is suggested. (shrink)

It was first suggested that the ribosome is associated with protein synthesis in the 1950s. Initially, its components were revealed as surface‐accessible proteins and as molecules of RNA apparently providing a scaffold for subunit shape. Attributing function to the proteins proved difficult, although bacterial protein L11 proved essential for binding one of the decoding protein release factors (RFs). With the discovery that RNA could be a catalyst, interest focussed on the rRNA that, in partnership with mRNA and tRNAs, could potentially (...) mediate the chemical reaction underlying protein synthesis. rRNA interactions and conformational changes were invoked as key elements that facilitated function. The decoding RFs, which are proteins, are exceptions to this rule because they usurp a tRNA function in mediating stop signal recognition. Cryoelectron microscopy and associated image reconstruction technology have now given dramatic snapshots of almost every step of protein synthesis, and X‐ray crystallography has revealed, at last, the subunits and monomeric ribosome in exquisite atomic detail. BioEssays 26:582–588, 2004. © 2004 Wiley Periodicals, Inc. (shrink)

The Search for the Legacy of the USPHS Syphilis Study at Tuskegee is a collection of essays from experts in a variety of fields seeking to redefine the legacy of the infamous Tuskegee Syphilis Study. The essayists place the legacy of the study within the evolution of racial and ethnic relations in the United States. Contributors include two leading historians on the study, two former United States Surgeons General, and other prominent scholars from a wide range of fields.

The theory of embodied cognition makes the claim that our cognitive processes are, at their core, sensorimotor, situated, and action-relevant. Our mental system is built primarily to control action, and so mind is formed by the nature of the body and its interactions with the world. In this paper we will explore the nature of virtue and its formation from the perspective of embodied cognition. We specifically describe exemplars of the virtue of compassion (caregivers of individuals with developmental disabilities in (...) L'Arche communities), speculating as to what might have been the formative influences in their character development. Embodied formation is understood in the context of the openness of human cortical systems to formation by social interactions, and in terms of the openness to reorganization and change of complex dynamical systems. Specific formative influences explored include interpersonal imitation, social attachment, language, and story. (shrink)

If we want to retain classical logic and standard syntax in light of the liar, we are forced to restrict the T-schema. The traditional philosophical justification for this is sentential – liar sentences somehow malfunction. But the standard formal way of implementing this is conditional, our T-sentences tell us that if “p” does not malfunction, then “p” is true if and only if p. Recently Bacon and others have pointed out that conditional T-restrictions like this flirt with incoherence. If we (...) want to keep the “malfunction” motivation, our only other option is to non-conditionally restrict the T-schema, but Field and others have given powerful philosophical and technical arguments against this kind of approach. Here I argue that if we really take the philosophical motivation for restricting T-sentences seriously, we can explain why conditional restrictions fail, answer Field's argument, and reason in a coherent way about truth using a non-conditional restriction strategy. This cracks the door open for a fully classical response to the liar and related paradoxes. In closing, I argue that, when properly understood, this kind of “restriction” is not really a restriction at all. If this is right, then the holy grail of liar studies (classical logic, naïve truth, and standard syntax) may yet be attainable. (Note for readers: when this paper was first put online, the typesetters had changed some instances of corners to brackets, leading to confusion. The paper has now been corrected online by PPR, so please make sure you have the corrected version before reading or citing.). (shrink)

ABSTRACTThe historical process underlying Darwin’s Origin of Species did not play a significant role in the early editions of the book, in spite of the particular inductivist scientific methodology it espoused. Darwin’s masterpiece did not adequately provide his sources or the historical perspective many contemporary critics expected. Later editions yielded the ‘Historical Sketch’ lacking in the earlier editions, but only under critical pressure. Notwithstanding the sources he provided, Darwin presented the Origin as an ‘abstract’ in order to avoid giving sources; (...) a compromise he acknowledged and undertook to set right in later editions, yet failed to provide throughout the six editions under his supervision. Darwin’s reluctance to publish the historical context of his theory and his sources, particularly sources which were also ‘precursors’, may be attributed as much to the matter of intellectual ownership as science, or even good literary practice. Of special concern to Darwin were issues of priority or originality over ‘descent with modification’ and especially over Natural Selection. Many later historians have argued that Darwin was unaware of the work of his precursors on Natural Selection. Darwin’s theory was an example of independent discovery, albeit along with such obscure precursors as Matthew or Wells, who were unknown to Darwin until after the publication of the Origin. Both Matthew and Wells had a medical education, like James Hutton or Erasmus Darwin earlier in the eighteenth century, or even Charles Darwin. Evolutionary theory, at least in Britain was a product largely of the medical evolutionists rather than the natural historians which ‘history’ has chosen to select for the focus of attention; and among the medical evolutionists the figure of John Hunter stands out as theorist, experimentalist and teacher: the medical evolutionists were predominantly the product of Hunter’s legacy or of the medical profession and particularly the Scottish Universities. Much recent Darwin scholarship has focused on the private Notebooks, to establish Darwin’s discovery of Natural Selection around 1837–1838 and demonstrate Darwin’s ignorance of his precursors; requiring an explicit acknowledgement by Darwin as the legitimate substantiation of any claim to prior influence. The precursors have been categorized as uniformly obscure or irrelevant to the science of evolution which may be defined exclusively as ‘Darwinian’. The inclination to acknowledge influences, however was not something Darwin was gratuitously given to doing, especially on matters of priority. The Notebooks are not Darwin’s private thoughts; from an early stage he considered them incipient public documents and later sought to protect them as proof of his originality. William C. Wells was not an obscure thinker, but a celebrated scientist whom Herschel, Darwin’s guide to scientific methodology, had recommended as providing a model of scientific method. Darwin discovered Wells through Herschel, and quickly acquired a copy of Wells’ recommended work, no later than 1831, and held it thereafter in his library at Down House. This book, the 1818 edition of Wells’ Two Essays contains a third essay, Wells’ account of Natural Selection. Later, in the Descent of Man Darwin acknowledged his separate discovery of the correlation of colour and disease immunity in man, also earlier recounted by Wells. (shrink)

Computing with logic / Maier, D., Warren, D.S.

This article is guided by principles and practices of bioethics and public health ethics focused on health care reform within the context of promoting Optimal Health. The Tuskegee University National Center for Bioethics in Research and Health Care is moving beyond the traditions of bioethics to incorporate public health ethics and Optimal Health. It is imperative to remember the legacy of the ill-fated research entitled Tuskegee Study of Untreated Syphilis in the Negro Male. Human participant research and health care must (...) be connected to principles of bioethics and public health ethics if the Affordable Care Act is expected to positively impact on the health of people living in the United States. Optimal Health describes a strategy to achieve individual and population health. Health care reform offers an opportunity to shift from the traditional pathology focus of managing diseases to target disease prevention and health promotion with a new set of tools. Transformational change is possible if the lessons learned from the U.S. Public Health Service Syphilis Study at Tuskegee are considered and strategies in bioethics and public heath ethics are employed. (shrink)