These two volumes collect papers presented at the first joint meeting of the two principal logic programming conferences, held in August of 1988. The more than fifty contributions cover all aspects of the field, including applications (particularly those that exploit the unique character of logic programming), the role of logic programming in artificial intelligence, deductive databases, relations to other computational paradigms, language issues, methodology, implementations on sequential and parallel architectures, and theory.Logic Programming is included in the Logic Programming series Research (...) Reports and Notes, edited by Ehud Shapiro. (shrink)

Meta-programs, which treat other computer programs as data, include compilers, editors, simulators, debuggers, and program transformers. Because of the wide ranging applications, meta-programming has become a subject of considerable practical and theoretical interest. This book provides the first comprehensive view of topics in the theory and application of meta-programming, covering problems of representation and of soundness and correctness of interpreters, analysis and evaluation of meta-logic programs, and applications to sophisticated knowledge-based systems.Harvey Abramson is Reader in Computer Science at the University (...) of Bristol, England; M. H. Rogers is Professor of Computer Science, also at the University of Bristol. Meta-Programming in Logic Programming is in the series Logic Programming Research Reports and Notes, edited by Ehud Shapiro. (shrink)

Reflecting Alan Robinson's fundamental contribution to computational logic, this book brings together seminal papers in inference, equality theories, and logic programming. It is an exceptional collection that ranges from surveys of major areas to new results in more specialized topics. Alan Robinson is currently the University Professor at Syracuse University. Jean-Louis Lassez is a Research Scientist at the IBM Thomas J. Watson Research Center. Gordon Plotkin is Professor of Computer Science at the University of Edinburgh. Contents: Inference. Subsumption, A Sometimes (...) Undervalued Procedure, Larry Wos, Ross Overbeek, and Ewing Lusk. The Markgraf Karl Refutation Procedure, Hans Jurgen Ohlbach and Jorg H. Siekmann. Modal Logic Should Say More than it Does, Melvin Fitting. Interactive Proof Presentation, W. W. Bledsoe. Intelligent Backtracking Revisited, Maurice Bruynooghe. A Science of Reasoning, Alan Bundy. Inductive Inference of Theories from Facts, Ehud Y. Shapiro. Equality. Solving Equations in Abstract Algebras: A Rule-based Survey of Unification, Jean-Pierre Jouannaud and Claude Kirchner. Disunification: A Survey, Hubert Comon. A Case Study of the Completion Procedure: Proving Ring Commutativity Problems, Deepak Kapur and Hantao Zhang. Computations in Regular Rewriting Systems I and II, Girard Huet and JeanJacques Levy. Unification and ML Type Reconstruction, Paris Kanellakis, Harry Mairson, and John Mitchell. Automatic Dimensional Analysis, Mitchell Wand. Logic Programming. Logic Programming Schemes and Their Implementations, Keith Clark. A Near-Horn Prolog for Compilation, Donald Loveland and David Reed. Unfold/Fold Transformations of Logic Programs, P. A. Gardner and J. C. Shepherdson. An Algebraic Representation of Logic Program Computations, Andrea Corradini and Ugo Montanari. Theory of Disjunctive Logic Programs, Jack Minker, Arcot Rajasekar, and Jorge Lobo. Bottom-Up Evaluation of Logic Programs, Jeffrey Naughton and Raghu Ramakrishnan. Absys, the First Logic Programming Language: A View of the Inevitability of Logic Programming, E. W. Elcock. (shrink)

The central contention of this book is that second-order logic has a central role to play in laying the foundations of mathematics. In order to develop the argument fully, the author presents a detailed description of higher-order logic, including a comprehensive discussion of its semantics. He goes on to demonstrate the prevalence of second-order concepts in mathematics and the extent to which mathematical ideas can be formulated in higher-order logic. He also shows how first-order languages are often insufficient to codify (...) many concepts in contemporary mathematics, and thus that both first- and higher-order logics are needed to fully reflect current work. Throughout, the emphasis is on discussing the associated philosophical and historical issues and the implications they have for foundational studies. For the most part, the author assumes little more than a familiarity with logic comparable to that provided in a beginning graduate course which includes the incompleteness of arithmetic and the Lowenheim-Skolem theorems. All those concerned with the foundations of mathematics will find this a thought-provoking discussion of some of the central issues in the field today. (shrink)

What is law (and why should we care)? -- Crazy little thing called "law" -- Austin's sanction theory -- Hart and the rule of recognition -- How to do things with plans -- The making of a legal system -- What law is -- Legal reasoning and judicial decision making -- Hard cases -- Theoretical disagreements -- Dworkin and distrust -- The economy of trust -- The interpretation of plans -- The value of legality.

Some authors have claimed that ante rem structuralism has problems with structures that have indiscernible places. In response, I argue that there is no requirement that mathematical objects be individuated in a non-trivial way. Metaphysical principles and intuitions to the contrary do not stand up to ordinary mathematical practice, which presupposes an identity relation that, in a sense, cannot be defined. In complex analysis, the two square roots of –1 are indiscernible: anything true of one of them is true of (...) the other. I suggest that ‘i’ functions like a parameter in natural deduction systems. I gave an early version of this paper at a workshop on structuralism in mathematics and science, held in the Autumn of 2006, at Bristol University. Thanks to the organizers, particularly Hannes Leitgeb, James Ladyman, and Øystein Linnebo, to my commentator Richard Pettigrew, and to the audience there. The paper also benefited considerably from a preliminary session at the Arché Research Centre at the University of St Andrews. I am indebted to my colleagues Craige Roberts, for help with the linguistics literature, and Ben Caplan and Gabriel Uzquiano, for help with the metaphysics. Thanks also to Hannes Leitgeb and Jeffrey Ketland for reading an earlier version of the manuscript and making helpful suggestions. I also benefited from conversations with Richard Heck, John Mayberry, Kevin Scharp, and Jason Stanley. CiteULike Connotea Del.icio.us What's this? (shrink)

Deflationists about truth seek to undermine debates about the nature of truth by arguing that the truth predicate is merely a device that allows us to express a certain kind of generality. I argue that a parallel approach is available in the case of logical consequence. Just as deflationism about truth offers an alternative to accounts of truth's nature in terms of correspondence or justification, deflationism about consequence promises an alternative to model-theoretic or proof-theoretic accounts of consequence's nature. I then (...) argue, against considerations put forward by Field and Beall, that Curry's paradox no more rules out deflationism about consequence than the liar paradox rules out deflationism about truth. (shrink)

This paper uses neo-Fregean-style abstraction principles to develop the integers from the natural numbers (assuming Hume’s principle), the rational numbers from the integers, and the real numbers from the rationals. The first two are first-order abstractions that treat pairs of numbers: (DIF) INT(a,b)=INT(c,d) ≡ (a+d)=(b+c). (QUOT) Q(m,n)=Q(p,q) ≡ (n=0 & q=0) ∨ (n≠0 & q≠0 & m⋅q=n⋅p). The development of the real numbers is an adaption of the Dedekind program involving “cuts” of rational numbers. Let P be a property (of (...) rational numbers) and r a rational number. Say that r is an upper bound of P, written P≤r, if for any rational number s, if Ps then either s<r or s=r. In other words, P≤r if r is greater than or equal to any rational number that P applies to. Consider the Cut Abstraction Principle: (CP) ∀P∀Q(C(P)=C(Q) ≡ ∀r(P≤r ≡ Q≤r)). In other words, the cut of P is identical to the cut of Q if and only if P and Q share all of their upper bounds. The axioms of second-order real analysis can be derived from (CP), just as the axioms of second-order Peano arithmetic can be derived from Hume’s principle. The paper raises some of the philosophical issues connected with the neo-Fregean program, using the above abstraction principles as case studies. (shrink)

When conceived as an empirical claim, it is natural to wonder how one might test the hypothesis of multiple realization. I consider general issues of testability, show how they apply specifically to the hypothesis of multiple realization, and propose an auxiliary assumption that, I argue, must be conjoined to the hypothesis of multiple realization to ensure its testability. I argue further that Bechtel and Mundale go astray because they fail to appreciate the need for this auxiliary assumption. †To contact the (...) author, please write to: Department of Philosophy, University of Wisconsin–Madison, 5185 Helen C. White Hall, 600 North Park Street, Madison, WI 53706; e‐mail: [email protected]. (shrink)

I here address Descartes' account of human nature as a union of mind and body by appealing to The Passions of the Soul. I first show that Descartes takes us to be able to reform the naturally instituted associations between bodily and mental states. I go on to argue that Descartes offers a teleological explanation of body-mind associations (those instituted both by nature and by artifice). This explanation sheds light on the ontological status of the union. I suggest that it (...) affords a way of understanding how mind and body form a true unit without compromising Descartes' dualism. (shrink)

As the hospice movement continues to grow, caregivers are increasingly required to interact with dying patients for longer periods and in more intimate and more meaningful ways. Practical models of competent and compassionate communication and understanding need to be developed to accommodate the changing environment of the patient and caregiver and their relationship. We therefore: examine current death education trends in hospice care and education; and describe the need for a more expansive and transpersonal view, and ways of fulfilling that (...) need. The aware patient and the aware caregiver can learn much during the dying trajectory. We hope that someday the potential for expansiveness during the dying trajectory will be more commonly recognized and accommodated as a doorway to the transpersonal. (shrink)

SNePS, the Semantic Network Processing System 45, 54], has been designed to be a system for representing the beliefs of a natural-language-using intelligent system (a \cognitive agent"). It has always been the intention that a SNePS-based \knowledge base" would ultimatelybe built, not by a programmeror knowledge engineer entering representations of knowledge in some formallanguage or data entry system, but by a human informing it using a natural language (NL) (generally supposed to be English), or by the system reading books or (...) articles that had been prepared for human readers. Because of this motivation, the criteria for the development of SNePS have included: it should be able to represent anything and everything expressible in NL; it should be able to represent generic, as well as speci c information; it should be able to use the generic and the speci c information to reason and infer information implied by what it has been told; it cannot count on any particular order among the pieces of information it is given; it must continue to act reasonably even if the information it is given includes circular de nitions, recursive rules, and inconsistent information. (shrink)

The authors developed this textbook in response to an increasing interest in ethics, and a growing number of courses on this topic that are now being offered in educational leadership programs. It is designed to fill a gap in instructional materials for teaching the ethics component of the knowledge base that has been established for the profession. The text has several purposes: First, it demonstrates the application of different ethical paradigms (the ethics of justice, care, critique, and the profession) through (...) discussion and analysis of real-life moral dilemmas that educational leaders face in their schools and communities. Second, it addresses some of the practical, pedagogical, and curricular issues related to the teaching of ethics for educational leaders. Third, it emphasizes the importance of ethics instruction from a variety of theoretical approaches. Finally, it provides a process that instructors might follow to develop their own ethics unit or course. * Part I provides an overview of why ethics is so important, especially for today's educational leaders, and describes a multiparadigm approach essential to practitioners as they grapple with ethical dilemmas. * Part II deals with the dilemmas themselves. Ethical dilemmas written by the authors' graduate students bring readers face-to-face with the kinds of dilemmas faced by practicing administrators in urban, suburban, and rural settings in an era full of complexities and contradictions. * Part III focuses on pedagogy and provides teaching notes for the instructor. The authors discuss the importance of self-reflection on the part of both instructors and students, and model how they thought through their own personal and professional ethical codes as well as reflected upon the critical incidents in their lives that shaped their teaching and frequently determined what they privileged in class. (shrink)

The article presents the feminist discourse on Lilith and asks why she has returned to the centre of activity and creation? It begins with Lilith’s Integrative Myth – a description of the classic Lilith myths – whilst trying to define her image’s central characteristics. Following, I offer one integrative myth: a complex essence that contains contrasts, and stems from a variety of sources, each contributing to the formation of Lilith’s story’s numerous aspects. Lilith’s Revival is discussed, surveying the different ways (...) in which Lilith appears in today’s feminist spiritual discourse, while presenting some of the ways in which her story is re-interpreted and used towards contemporary feminist needs. A feminist Jungian outlook on Lilith’s Myths is included, deciphering Lilith as a symbol of the life-death-life cycle, which leads to a summary of the Jungian analysis’ implications. (shrink)

Locke's claims about the "inadequacy" of substance-ideas can only be understood once it is recognized that the "sort" represented by such an idea is not wholly determined by the idea's descriptive content. The key to his compromise between classificatory conventionalism and essentialism is his injunction to "perfect" the abstract ideas that serve as "nominal essences." This injunction promotes the pursuit of collections of perceptible qualities that approach ever closer to singling out things that possess some shared explanatory-level constitution. It is (...) in view of this norm regulating natural-historical inquiry that a substance-idea represents a sort for which some such constitution serves as the "real essence," i.e. as that on which all the sort's characteristic "properties" depend. (shrink)

There are multiple formal characterizations of the natural numbers available. Despite being inter-derivable, they plausibly codify different possible applications of the naturals – doing basic arithmetic, counting, and ordering – as well as different philosophical conceptions of those numbers: structuralist, cardinal, and ordinal. Some influential philosophers of mathematics have argued for a non-egalitarian attitude according to which one of those characterizations is ‘more basic’ or ‘more fundamental’ than the others. This paper addresses two related issues. First, we review some of (...) these non-egalitarian arguments, lay out a laundry list of different, legitimate, notions of relative priority, and suggest that these arguments plausibly employ different such notions. Secondly, we argue that given a metaphysical-cum-epistemological gloss suggested by Frege's foundationalist epistemology, the ordinals are plausibly more basic than the cardinals. This is just one orientation to relative priority one could take, however. Ultimately, we subscribe to an egalitarian attitude towards these formal characterizations: they are, in some sense, equally ‘legitimate’. (shrink)

There is a standard objection against purported explanations of how a language L can express the notion of being a true sentence of L. According to this objection, such explanations avoid one paradox (the Liar) only to succumb to another of the same kind. Even if L can contain its own truth predicate, we can identify another notion it cannot express, on pain of contradiction via Liar-like reasoning. This paper seeks to undermine such ‘revenge’ by arguing that it presupposes a (...) dubious assumption about the linguistic expression of concepts. Successful revenge would require that there be a notion other than truth that plays the same role with respect to concept-expression that truth is naturally thought to play before we are confronted with the Liar paradox. (shrink)

Prominent defenders of the extended cognition thesis have looked to evolutionary theory for support. Roughly, the idea is that natural selection leads one to expect that cognitive strategies should exploit the environment, and exploitation of the right sort results in a cognitive system that extends beyond the head of the organism. I argue that proper appreciation of evolutionary theory should create no such expectation. This leaves open whether cognitive systems might in fact bear a relationship to the environment that leads (...) to their extension. *Received July 2009; revised January 2010. †To contact the author, please write to: Department of Philosophy, 5185 Helen C. White Hall, 600 North Park Street, University of Wisconsin, Madison, WI 53706; e‐mail: [email protected]. (shrink)

Cells are cognitive entities possessing great computational power. DNA serves as a multivalent information storage medium for these computations at various time scales. Information is stored in sequences, epigenetic modifications, and rapidly changing nucleoprotein complexes. Because DNA must operate through complexes formed with other molecules in the cell, genome functions are inherently interactive and involve two-way communication with various cellular compartments. Both coding sequences and repetitive sequences contribute to the hierarchical systemic organization of the genome. By virtue of nucleoprotein complexes, (...) epigenetic modifications, and natural genetic engineering activities, the genome can serve as a read-write storage system. An interactive informatic conceptualization of the genome allows us to understand the functional importance of DNA that does not code for protein or RNA structure, clarifies the essential multidirectional and systemic nature of genomic information transfer, and emphasizes the need to investigate how cellular computation operates in reproduction and evolution. (shrink)

Within the evidence-based medicine construct, clinical expertise is acknowledged to be both derived from primary experience and necessary for optimal medical practice. Primary experience in medical practice, however, remains undervalued. Clinicians’ primary experience tends to be dismissed by EBM as unsystematic or anecdotal, a source of bias rather than knowledge, never serving as the “best” evidence to support a clinical decision. The position that clinical expertise is necessary but that primary experience is untrustworthy in clinical decision-making is epistemically incoherent. Here (...) we argue for the value and utility of knowledge gained from primary experience for the practice of medicine. Primary experience provides knowledge necessary to diagnose, treat, and assess response in individual patients. Hierarchies of evidence, when advanced as guides for clinical decisions, mistake the relationship between propositional and experiential knowledge. We argue that primary experience represents a kind of medical knowledge distinct from the propositional knowledge produced by clinical research, both of which are crucial to determining the best diagnosis and course of action for particular patients. (shrink)

While Descartes’s Passions of the Soul has been taken to hold a place in the history to human physiology, until recently philosophers have neglected the work. In this research summary, I set Descartes’s last published work in context and then sketch out its philosophical significance. From it, we gain further insight into Descartes’s solution to the Mind--Body Problem -- that is, to the problem of the ontological status of the mind--body union in a human being, to the nature of body--mind (...) causation, and to the way body-caused thoughts represent the world. In addition, the work contains Descartes’s developed ethics, in his account of virtue and of the passion of générosité in particular. Through his taxonomy of the passions and the account of their regulation, we also learn more about his moral psychology. (shrink)

: McDowell opposes the view that the intentionality of language and thought remains mysterious unless it can be understood ‘from outside the conceptual order’. While he thinks the demand for such a ‘sideways-on’ understanding can be the result of ‘scientistic prejudice’, he points to Sellars's thought as exhibiting a different source: a distortion of our perspective ‘from within the conceptual order’. The distortion involves a failure on Sellars's part to see how descriptions from within the conceptual order can present expressions (...) and mental acts as related to extra-conceptual objects (a failure in turn explained by his failure to see how such relations could have normative import). In this paper, I argue that Sellars's thought suffers from no such distortion. If that is right, McDowell's examination of Sellars has not uncovered a disorder whose treatment might help relieve the desire for a sideways-on view. (shrink)

Technologies are being developed for significantly altering the traits of existing persons (or fetuses or embryos) and of future persons via germ line modification. The availability of such technologies may affect our philosophical, legal, and everyday understandings of several important concepts, including that of personal identity. I consider whether the idea of personal identity requires reconstruction, revision or abandonment in the face of such possibilities of technological intervention into the nature and form of an individual's attributes. This requires an account (...) of the work done by the concept of personal identity, and an explanation of what “conceptual impacts of technology” and “conceptual reconstruction” might mean. Our existing notions of personal identity and related ideas such as personhood and autonomy may seem unable to comfortably accommodate the possibilities of technologically directed trait formation and development. This is a matter of moral and legal importance because the idea of personal identity embeds major values and reflects value-laden beliefs and attitudes. The assumed endurance of identity underlies interpersonal relationships, the assignment of rewards and punishments, and the very idea of what constitutes an autonomous person. Perhaps radical restructuring or even abandonment of concepts are sometimes called for when the world changes drastically, but I suggest that conceptual modification is not “compelled” for personal identity except under extreme circumstances—the remote possibility of rapid human “shape shifting” where physical and mentational attributes can be transformed quickly and continuously. Efforts to enhance human traits, including merit attributes and other resource-attractive characteristics (e.g., intellectual and athletic aptitudes, physical size and appearance), may generate legal problems wherever the persistence of identity is presupposed. Some advance speculation is thus warranted on how trait change generally will be managed within our legal and socioeconomic systems, and more particularly on rights of access to trait-altering technologies. I mention the possible distributive effects of enhancing highly-resource attractive traits, including the strengthening individual powers to acquire still more increments in such traits in a self-reinforcing cycle. A brief review of some constitutional issues bearing on trait change completes the discussion. I conclude that existing and projected technologies do not impel the abandonment or remodeling of the idea of personal identity. We may, however, have to reconsider some uses of this concept in different settings, to rethink our understandings of ideas of merit and desert, and to deal with the distribution of resources that may enlarge and entrench the “distances” between social and economic groups. (shrink)

We describe a knowledge representation and inference formalism, based on an intensional propositional semantic network, in which variables are structures terms consisting of quantifier, type, and other information. This has three important consequences for natural language processing. First, this leads to an extended, more natural formalism whose use and representations are consistent with the use of variables in natural language in two ways: the structure of representations mirrors the structure of the language and allows re-use phenomena such as pronouns and (...) ellipsis. Second, the formalism allows the specification of description subsumption as a partial ordering on related concepts (variable nodes in a semantic network) that relates more general concepts to more specific instances of that concept, as is done in language. Finally, this structured variable representation simplifies the resolution of some representational difficulties with certain classes of natural language sentences, namely, donkey sentences and sentences involving branching quantifiers. The implementation of this formalism is called ANALOG (A NAtural LOGIC) and its utility for natural language processing tasks is illustrated. (shrink)

Shors & Matzel set up a straw man, that LTP is a memory storage mechanism, and knock him down without due consideration of the important relations among different levels of organization and analysis regarding LTP, learning, and memory. Assessing these relationships requires analysis and hypotheses linking specific brain regions, neural circuits, plasticity mechanisms, and task demands. The issue addressed by the authors is important, but their analysis is off target.

Over the past two decades ethics committees have proliferated in healthcare institutions across the country. Catalysts for this growth include the endorsement of ethics committees by the New Jersey Supreme Court in the Quinlan case, by the President's Commission for the Study of Ethical Problems in Medicine and Biomedical Research in its report entitled Deciding to Forgo Life Sustaining Medical Treatment, by the U.S. Department of Health and Human Services in its 1985 “Baby Doe” regulations, by numerous other courts in (...) treatment decisionmaking opinions issued after Quinlan, and more recently by the Joint Commission on Accreditation of Healthcare Organizations. (shrink)

Since the founding of psychophysics in the latter half of the nineteenth century, controversy has raged over the subject matter of psychophysical laws. Originally, Fechner characterized psycho physics as the science describing the relation between physical magnitudes and the sensations these magnitudes produce in us. Today many psycho-physicists would deny that sensation is or could be a topic of psycho-physical investigation. I consider Savage's (1970) influential objections to the possibility of such an investigation and argue that they depend upon (i) (...) holding psychophysics to higher standards than those to which we hold other sciences; and (ii) misrepresenting Fechner's stated goals for psychophysics. (shrink)

A central idea of contemporary philosophical egalitarianism's theory of justice is that involuntary inequalities or disadvantages—those that arise through no choice or fault of one's own—should be minimized or rectified in some way. Egalitarians believe that the preferred institutional vehicle for fulfilling these obligations of justice is some form of a welfare state. Of course, contemporary egalitarians disagree about the best way to interpret or understand their theory of justice and institutions: Which inequalities are chosen and which are unchosen? What (...) form of a welfare state will best serve justice? However, no contemporary egalitarian denies that egalitarian justice requires a welfare state that will redistribute income and wealth to aid the involuntarily disadvantaged. (shrink)

Many authors have described the ethical issues associated with international adoption for all members of the adoption triad, including adoptive parents, birth parents and the adopted child, and for both sending and receiving countries. This paper explores how political variants of care ethics, combined with a narrative approach to practice, can be used as a conceptual framework for ethically informed practice with families formed via international adoption. Political variants of care ethics foreground the particularized needs of the individual, but also (...) take into account the broader social, political, economic and cultural dynamics in which the experience of individuals occurs. This framework is particularly applicable to collaborative work with individuals or groups, such as families formed via international adoption, whose experience is both highly individualized and shaped by broader contexts and issues of social justice. This paper describes how changes in the social construction of international adoption have meaning for applied ethics and practice. Political variants of care ethics are then explored as a framework for ethical decision making. Finally, the relevance of a narrative, approach to practice is considered. This approach focuses on understanding the needs and experiences of families from their own points of view and within the social, economic, cultural and political contexts in which they have lived; linking a relationship-based, narrative approach to practice to important assumptions in many models of care ethics. (shrink)

In his four Unmodern Observations (Unzeitmässige Betrachtungen) of the 1870s, Nietzsche confronted early philosophical versions of positions more recentlydiscussed under such rubrics as globalization and the end of history. What he intended by marking these essays as “unmodern” or “untimely” was to designatetheir critical stance toward both the philistine self-congratulation of the era and the Hegelian philosophy with which it explained and justified itself. Basic to thisHegelian conception of history is a concept of the world-historical “great event,” a turning point (...) that manifests itself in the world of political states. The Unmodernseries broke off with Nietzsche’s essay on Wagner, where he attempted to articulate his own non-statist version of a great event. The current essay diagnoses theinterruption of this project as a failure to fully abandon Hegelian thinking, and outlines a reading of Nietzsche’s later, more compelling (and unHegelian) conceptof the great event. (shrink)

One of the major tasks of medical educators is to help maintain and increase trainee empathy for patients. Yet research suggests that during the course of medical training, empathy in medical students and residents decreases. Various exercises and more comprehensive paradigms have been introduced to promote empathy and other humanistic values, but with inadequate success. This paper argues that the potential for medical education to promote empathy is not easy for two reasons: a) Medical students and residents have complex and (...) mostly unresolved emotional responses to the universal human vulnerability to illness, disability, decay, and ultimately death that they must confront in the process of rendering patient care b) Modernist assumptions about the capacity to protect, control, and restore run deep in institutional cultures of mainstream biomedicine and can create barriers to empathic relationships. In the absence of appropriate discourses about how to emotionally manage distressing aspects of the human condition, it is likely that trainees will resort to coping mechanisms that result in distance and detachment. This paper suggests the need for an epistemological paradigm that helps trainees develop a tolerance for imperfection in self and others; and acceptance of shared emotional vulnerability and suffering while simultaneously honoring the existence of difference. Reducing the sense of anxiety and threat that are now reinforced by the dominant medical discourse in the presence of illness will enable trainees to learn to emotionally contain the suffering of their patients and themselves, thus providing a psychologically sound foundation for the development of true empathy. (shrink)

This essay argues that techniques for assessing testimonial credibility were well established in English legal contexts before they appeared in English natural philosophy. ‘Matters of fact’ supported by testimony referred to human actions and events before the concept was applied to natural phenomena. The article surveys English legal views about testimony and argues that the criteria for credible testimony in both legal and scientific venues were not limited to those of gentle status. Natural philosophers became concerned with testimony when they (...) shifted their attention from universal statements about nature to particular natural and experimental events. Testimony thus became important in the construction of natural and experimental histories constructed by English naturalists. The shift to a more Baconian approach to natural investigation, itself shaped in part by legal concepts and practice, made it possible for members of the Royal Society to adopt an already familiar and societally approved approach to testimony. However, the essay also suggests how the use of scientific instruments and the desire to avoid the adversarial processes of the law modified legal conditions for fact determination, and made it possible for later generations to associate the concept of fact, supported by credible testimony, with the natural rather than the human sciences.Author Keywords: Natural history; Natural philosophy; Testimony; Credibility; Science and law. (shrink)

William Paley's Natural Theology has experienced a resurgence in popularity in recent decades with the continuing controversies over the teaching of evolution and the emergence of a new "intelligent design" movement. But while both the movement's supporters and detractors agree that Paley is an intellectual forefather of the present-day movement, this agreement is forged at the expense of historical accuracy. Paley's intelligent design has almost nothing in common with the present day movement and, in fact, suggests theological arguments against the (...) type of reasoning used by the modern movement. Paley wrote in reaction to Hume and in response to the evolutionary theories of Buffon and Erasmus Darwin. In this light, the Natural Theology suggests a different reading than it is usually given. Paley's narrowly-argued theology relies upon the ability to detect the presence of "purpose" in nature without relying upon knowing what those purposes are. His empirically-argued theology leads him to a God who operates through natural law, not in its contravention, and his concern goes far beyond proving the existence of a deity to undertaking the theological project of determining the attributes and characteristics of the deity. Though not himself an evolutionist, Paley put forth a theological worldview consistent with evolution. In fact, given his arguments that the observation of great contrivance increases the testimony of nature to God's power, Paley's philosophy might be more consistent with a theistic Darwinian evolution than with special creation. (shrink)