Combinatory logic and lambda-conversion were originally devised in the 1920s for investigating the foundations of mathematics using the basic concept of 'operation' instead of 'set'. They have now developed into linguistic tools, useful in several branches of logic and computer science, especially in the study of programming languages. These notes form a simple introduction to the two topics, suitable for a reader who has no previous knowledge of combinatory logic, but has taken an undergraduate course in predicate calculus and recursive (...) functions. The key ideas and basic results are presented, as well as a number of more specialised topics, and man), exercises are included to provide manipulative practice. (shrink)

Introduction Combinatory logic deals with a class of formal systems designed for studying certain primitive ways in which functions can be combined to form ...

This paper raises questions about the epistemological foundations of evidence-based medicine . We argue that EBM is based upon reliabilist epistemological assumptions, and that this is appropriate - we should focus on identifying the most reliable processes for generating and collecting medical knowledge. However, we note that this should not be reduced to narrow questions about which research methodologies are the best for gathering evidence. Reliable processes for generating medical evidence might lie outside of formal research methods. We also question (...) the notion of the knower that is assumed by EBM. We argue that EBM assumes an enlightenment conception of knowers as autonomous, substitutable individuals. This conception is troubled by the way that clinicians learn the role of anecdote in health care and the role of patient choice, all of which bring into play features of clinicians and patients as situated individuals with particular backgrounds and experiences. EBM's enlightenment conception of the knower is also troubled by aspects of the way evidence is produced. Given these limitations, we argue that EBM should retain its reliabilist bent, but should look beyond formal research methodologies in identifying processes that yield reliable evidence for clinical practice. We suggest looking to feminist epistemology, with its focus on the standpoints of individual situated knowers, and the role of social context in determining what counts as knowledge. (shrink)

Although little noticed by practicing theorists, narrative voice influences theoretical work. This essay presents a demonstration of voice as method, concentrating on brief segments of works by Garfinkel and Goffman. We attend to two methodological themes: how theorists use voice to establish intellectual autonomy, and how the use of voice influences credibility with readers. Garfinkel maximizes his autonomy by using narrative techniques that isolate him from his readers, and produce little common context with them as a result. Goffman maintains a (...) context for credibility with his readers by using a personal voice, but he uses this voice to request their indulgence as he follows his autonomous muse. Goffman's narrative self-indulgence prevents him from fashioning a coherent theoretical program for his readers, something Garfinkel's distant voice enables him to achieve. (shrink)

Because the main difference between combinatory weak equality and λβ-equality is that the rule \begin{equation*}\tag{\xi} X = Y \vdash \lambda x.X = \lambda x.Y\end{equation*} is valid for the latter but not the former, it is easy to assume that another way of defining combinatory β-equality is to add rule (ξ) to the postulates for weak equality. However, to make this true, one must choose the definition of combinatory abstraction in (ξ) very carefully. If one tries to use one of the (...) more common abstraction algorithms, the result will be an equality, = ξ , that is either equivalent to βη-equality (and so strictly stronger than β-equality) or else strictly weaker than β-equality. This paper will study the relations = ξ for several commonly used abstraction algorithms, distinguish between them, and axiomatize them. (shrink)

(Report assembled for the Workshop of the AMIA Working Group on Formal Biomedical Knowledge Representation in connection with AMIA Symposium, Washington DC, 2005.) Best practices in ontology building for biomedicine have been frequently discussed in recent years. However there is a range of seemingly disparate views represented by experts in the field. These views not only reflect the different uses to which ontologies are put, but also the experiences and disciplinary background of these experts themselves. We asked six questions related (...) to biomedical ontologies to what we believe is a representative sample of ontologists in the biomedical field and came to a number conclusions which we believe can help provide an insight into the practical problems which ontology builders face today. (shrink)

Variations in levels of apolipoprotein E have been tied to the risk and progression of Alzheimer's disease . Our group has previously compared and contrasted the promoters of the mouse and human ApoE gene promoter sequences and found notable similarities and significant differences that suggest the importance of the APOE promoter's role in the human disease. We examine here three specific single-nucleotide polymorphisms within the human APOE promoter region, specifically at -491 , -427 , and at -219 upstream from the (...) +1 transcription start site. The -219 and -491 polymorphic variations have significant association with instance of AD, and -491AA has significant risk even when stratified for the APOEepsilon4 allele. We also show significant effects on reporter gene expression in neuronal cell cultures, and, notably, these effects are modified by species origin of the cells. The -491 and -219 polymorphisms may have an interactive effect in addition to any independent activity. DNA-protein interactions differ between each polymorphic state. We propose SP1 and GATA as candidates for regulatory control of the -491 and -219 polymorphic sites. This work's significance lies in drawing connection among APOE promoter polymorphisms' associations with AD to functional promoter activity differences and specific changes in DNA-protein interactions in cell culture-based assays. Taken together, these results suggest that APOE expression levels are a risk factor for AD irrespective of APOEepsilon4 allele status. (shrink)

This book assesses how Vatican II opened up the Catholic Church to encounter, dialogue, and engagement with other world religions. Opening with a contribution from the President of the Pontifical Council for Interreligious Dialogue, Cardinal Jean-Louis Tauran, it next explores the impact, relevance, and promise of the Declaration Nostra Aetate before turning to consider how Vatican II in general has influenced interfaith dialogue and the intellectual and comparative study of world religions in the postconciliar decades, as well as the contribution (...) of particular past and present thinkers to the formation of current interreligious and comparative theological methods. Additionally, chapters consider interreligious dialogue vis-à-vis theological anthropology in conciliar documents; openness to the spiritual practices of other faith traditions as a way of encouraging positive interreligious encounter; the role of lay and new ecclesial movements in interreligious dialogue; and the development of Monastic Interreligious Dialogue. Finally, it includes a range of perspectives on the fruits and future of Vatican’s II’s opening to particular faiths such as Judaism, Islam, Hinduism, and Buddhism. (shrink)

This book, sure to become a standard reference work, is a comprehensive, lucid, and systematic commentary on Kant's practical philosophy. Kant is arguably the most important moral philosopher of the modern period. Using as nontechnical a language as possible, Professor Sullivan offers a detailed, authoritative account of Kant's moral philosophy - including his ethical theory, his philosophy of history, his political philosophy, his philosophy of religion, and his philosophy of education - and demonstrates the historical, Kantian origins of such important (...) notions as 'autonomy', 'respect for persons', 'rights', and 'duties'. An invaluable resource, this book will be extremely useful to advanced undergraduates, graduates, and professional philosophers alike. (shrink)

An international legal agreement governing the global antimicrobial commons would represent the strongest commitment mechanism for achieving collective action on antimicrobial resistance (AMR). Since AMR has important similarities to climate change—both are common pool resource challenges that require massive, long-term political commitments—the first article in this special issue draws lessons from various climate agreements that could be applicable for developing a grand bargain on AMR. We consider the similarities and differences between the Paris Climate Agreement and current governance structures for (...) AMR, and identify the merits and challenges associated with different international forums for developing a long-term international agreement on AMR. To be effective, fair, and feasible, an enduring legal agreement on AMR will require a combination of universal, differentiated, and individualized requirements, nationally determined contributions that are regularly reviewed and ratcheted up in level of ambition, a regular independent scientific stocktake to support evidence informed policymaking, and a concrete global goal to rally support. (shrink)

The contributors, not identified except by name, are mostly westerners. No bibliography. Paperback edition ($12.95) not seen. Annotation copyrighted by Book News, Inc., Portland, OR.

Antimicrobial resistance (AMR) is an urgent threat to global public health and development. Mitigating this threat requires substantial short-term action on key AMR priorities. While international legal agreements are the strongest mechanism for ensuring collaboration among countries, negotiating new international agreements can be a slow process. In the second article in this special issue, we consider whether harnessing existing international legal agreements offers an opportunity to increase collective action on AMR goals in the short-term. We highlight ten AMR priorities and (...) several strategies for achieving these goals using existing “legal hooks” that draw on elements of international environmental, trade and health laws governing related matters that could be used as they exist or revised to include AMR. We also consider the institutional mandates of international authorities to highlight areas where additional steps could be taken on AMR without constitutional changes. Overall, we identify 37 possible mechanisms to strengthen AMR governance using the International Health Regulations, the Agreement on the Application of Sanitary and Phytosanitary Measures, the Agreement on Trade-Related Aspects of Intellectual Property Rights, the Agreement on Technical Barriers to Trade, the International Convention on the Harmonized Commodity Description and Coding System, and the Basel, Rotterdam, and Stockholm conventions. Although we identify many shorter-term opportunities for addressing AMR using existing legal hooks, none of these options are capable of comprehensively addressing all global governance challenges related to AMR, such that they should be pursued simultaneously with longer-term approaches including a dedicated international legal agreement on AMR. (shrink)

This is the most up-to-date, brief and accessible introduction to Kant's ethics available. It approaches the moral theory via the political philosophy, thus allowing the reader to appreciate why Kant argued that the legal structure for any civil society must have a moral basis. This approach also explains why Kant thought that our basic moral norms should serve as laws of conduct for everyone. The volume includes a detailed commentary on Foundations of the Metaphysics of Morals, Kant's most widely studied (...) work of moral philosophy. The book complements the author's much more comprehensive and systematic study Immanuel Kant's Moral Theory, a volume that has received the highest critical praise. With its briefer compass and non-technical style this new introduction should help to disseminate the key elements of one of the great modern philosophies to an even wider readership. (shrink)

I defend the view that the design of the built environment should be a proper part of environmental ethics. An environmentally responsible culture should be one in which citizens take responsibility for the domesticated environments in which they live, as well as for their effects on wild nature. How we build our world reveals both the possibilities in nature and our own stance toward the world. Our constructions and contrivances also objectively constrain the possibilities for the development of a human (...) way of life integrated with wild nature. An environmentally responsible culture should require a built world that reflects and projects care and respect toward nature. (shrink)

Recent developments in quantum theory have focused attention on fundamental questions, in particular on whether it might be necessary to modify quantum mechanics to reconcile quantum gravity and general relativity. This book is based on a conference held in Oxford in the spring of 1984 to discuss quantum gravity. It brings together contributors who examine different aspects of the problem, including the experimental support for quantum mechanics, its strange and apparently paradoxical features, its underlying philosophy, and possible modifications to the (...) theory. (shrink)

The word 'hypocrisy' has its root in the classical Greek verb 'hupokrinesthai', 'to answer'. In Attic Greek, the verb could mean 'to speak in dialogue' and hence 'to play a part on the stage'. From here it was a short route to the 'hypokrisia' with which the Pharisees are charge in the Gospel of St. Matthew. Accusations of hypocrisy are surprisingly common in our culture, both at the personal and the political level. Judith Shklar goes so far as to characterise (...) our age as that in which 'hypocrisy...alone is...inexcusable'. But, perhaps equally surprisingly, the nature of hypocrisy is hard to grasp. In this paper, we shall suggest that recent discussion of hypocrisy has foundered through a failure to recognise distinct forms of hypocrisy. We shall outline these different forms, and then consider various views on what they have in common. (shrink)

(1979). Some Observations on the Problems of Grading Examinations with Several Components: a reply to P. J. Squire. Educational Studies: Vol. 5, No. 3, pp. 225-230.

Gil R, Arroyo-Anllo EM, Ingrand P, Gil M, Neau JP, Ornon C, Bonnaud V. Self-consciousness and Alzheimer’s disease. Acta Neurol Scand 2001: 104: 296–300. # Munksgaard 2001. Objectives – To propose a neuropsychological study of the various aspects of self-consciousness (SC) in Alzheimer’s disease. Methods – Forty-five patients with probable mild or moderate AD were included in the study. Severity of their dementia was assessed by the Mini Mental State (MMS). Fourteen questions were prepared to evaluate SC. Results – No (...) significant correlations were found between SC score and educational level, age, and duration of disease. A significant correlation was found between SC score and the severity of dementia, whereas frontal disturbances were just short of the significance threshold. The various aspects of SC were not impaired to the same degree. The most disturbed ones were awareness of cognitive deficiencies, moral judgements and prospective memory. The least disturbed aspects were awareness of identity and of mental representation of the body. Items relating to anosognosia and moral judgements were significantly correlated with the MMS score, whereas affective state, body representation disorders, prospective memory, and capacities for introspection were not related to the severity of the dementia. Consciousness of identity was sound, regardless of MMS score. Conclusions – AD clearly induces an heterogeneous impairment of SC. SC requires a convergence of many neural networks. In AD, neuronal alterations involve many cortical areas and information sent to the associative frontal cortex from memory, language and visuospatial areas is lacking or disturbed. Thus, the sequential order of successive stimuli cannot be maintained by the heteromodal associative cortex (dorsal convexity of the prefrontal cortex), and the supramodal associative cortex (located rostrally in the frontal lobes) is unable to provide reliable monitoring and assessment of simultaneous neural cognitive networks carrying insufficient and inadequate input. The core deficiency in AD patients might be impaired SC equated with the disability to maintain sequential and simultaneous ‘‘attention to life’’. The Self-Consciousness Questionnaire, a clinical scale providing multidimensional measurement, indicates that different aspects of consciousness are not correlated with overall cognitive deficiency as determined by the MMSE. (shrink)

Hunting is a complex phenomenon. l examine it from four different perspectives-animal liberation, the land ethic, primitivism, and ecofeminism-and find no moral justification for sport hunting in any of them. At the same time, however, I argue that there are theoretical flaws in each of these approaches. Animal liberationists focus too much on the individual animal and ignore the difference between domestic and wild animals. Leopold’s land ethic fails to come to terms with the self-domestication of humans. I argue that (...) the holism of the land ethic does not in itself justify hunting as a human act of predation appropriate to the demands of wild biotic communities. Primitivists, such as Paul Shepard and Ortega y Gasset, mistakenly argue that hunting is an essential part of human nature and hence part of a healthy return to a natural way of life. Their argument marginalizes women’s relations to nature. Finally, I take seriously the ecofeminist claim that sport hunting is a symptom ofpatriarchy’s fixation on death and violence, although I criticize the more radical claim that women are closer to nature than men. Hunting should be investigated within the broader context of patriarchal social relations between men and women. As an act of violence it constitutes one element of a cultural matrix which is destructive to hoth women and nature. (shrink)

This essay articulates the importance of the domesticated landscape for a mature environmental ethics. Human beings are spatial beings, deeply implicated in their relationships to places, both wild and domesticated. Human identity evolves contextually through interaction with a "world." If this world obscures our perception of wild nature, it will be difficult to motivate the social and psychological will to imagine, let alone participate in, a culture that values environmentally responsible conduct. My argument is informed by a pragmatist suspicion of (...) fixed dualisms separating humans from nature, the wild from the domesticated, and the natural from the artificial. Drawing on a variety of sources, the essay calls for greater attention to the ways in which the making of our domesticated worlds can contribute to or undermine our ability to take the intrinsic value of nature seriously. (shrink)

ONE Wholes and Parts: Introductory Survey COMMON WISDOM ABOUT THE WORLD GUIDES us WELL in daily living, but getting along practically is not enough; ...

Efforts to bring science into early 19th century breeding practices in Central Europe, organised from Brno, the Hapsburg city in which Mendel would later turn breeding experiments into a body of timeless theory, are here considered as a significant prelude to the great discovery. During those years prior to Mendel's arrival in Brno, enlightened breeders were seeking ways to regulate the process of heredity, which they viewed as a force to be controlled. Many were specialising in sheep breeding for the (...) benefit of the local wool industry while others were showing an interest in commercial plants, especially fruit trees and vines, and later cereals. Breeders explained their problems in regulating heredity in terms of climatic influences disruption due to crossing sports or saltations. Practical experience led them to the concepts of 'inheritance capacity' and the 'mutual elective affinity' of parents. The former was seen to differ among individuals and also among traits; the latter was proposed as a means of adding strength to heredity. The breeders came to recognise that traits might be hidden and yet transmitted as a 'potential' to future generations. They also grew to understand that heredity would be strengthened when a quality was 'fixed' within a lineage by 'pure blood relations.' Continued selection of the desired quality might then lead to 'a higher perfection.' But the ultimate 'physiological' question about breeding, 'what is inherited and how?,' found no answer. Major figures in this development included Abbot Napp, the one who asked this question and who was due to receive Mendel into the monastery in 1843, and Professor Diebl whose lectures on agriculture and natural science at the Brno Philosophical Institute Mendel would attend in 1846. Here we analyse their progress in theorizing about breeding up until about 1840. In discussing this development, we refer to certain international contacts, especially with respect to information transfer and scientific education, within the wider context of the late Enlightenment. (shrink)

It is generally accepted that the notion of inclusion derived or evolved from the practices of mainstreaming or integrating students with disabilities into regular schools. Halting the practice of segregating children with disabilities was a progressive social movement. The value of this achievement is not in dispute. However, our charter as scholars and cultural vigilantes () is to always look for how we can improve things; to avoid stasis and complacency we must continue to ask, how can we do it (...) better? Thus, we must ask ourselves uncomfortable questions and develop a critical perspective that Foucault characterised as an ‘ethic of discomfort’ (, p. xxvi) by following the Nietzschean principle where one acts ‘counter to our time and thereby on our time... for the benefit of a time to come’ (Nietzsche, 1874, p. 60 in, p. xxvi). This paper begins with a fundamental question for those participating in inclusive education research and scholarship—when we talk of including, into what do we seek to include? (shrink)

We present a theory of conversation comprehension in which a line of the conversation is “understood” by relating it to one of seven possible “points”. We define these points, and present examples where it seems plausible that the failure to “get the point” would indeed constitute a failure to understand the conversation. We argue that the recognition of such points must proceed in both a top down and bottom up fashion, and thus is likely to be quite complicated. Finally, we (...) see the processing of information in the conversation to be dependent upon which point classification the user decides upon. (shrink)