In the debate on the ethics of the non-medical use of pharmaceuticals for cognitive performance enhancement in healthy individuals there is a clear division between those who view “cognitive enhancement” as ethically unproblematic and those who see such practices as fraught with ethical problems. Yet another, more subtle issue, relates to the relevance and quality of the contribution of scholarly bioethics to this debate. More specifically, how have various forms of speculation, anticipatory ethics, and methods to predict scientific trends and (...) societal responses augmented or diminished this contribution? In this paper, we use the discussion of the ethics of cognitive enhancement to explore the positive and negative contribution of speculation in bioethics scholarship. First, we review and discuss how speculation has relied on different sets of assumptions regarding the non-medical use of stimulants, namely: terminology and framing; scientific aspects such as efficacy and safety; estimates of prevalence and consequent normalization; and the need for normative reflection and regulatory guidelines. Second, three methodological guideposts are proposed to alleviate some of the pitfalls of speculation: acknowledge assumptions more explicitly and identify the value attributed to assumptions; validate assumptions with interdisciplinary literature; and adopt a broad perspective to promote more comprehensive reflection. We conclude that, through the examination of the controversy about cognitive enhancement, we can employ these methodological guideposts to enhance the value of contributions from bioethics and minimize potential epistemic and practical pitfalls in this case and perhaps in other areas of bioethical debate. (shrink)

Eric Martin and Daniel N. Osherson present a theory of inductive logic built on model theory. Their aim is to extend the mathematics of Formal Learning Theory to a more general setting and to provide a more accurate image of empirical inquiry. The formal results of their study illuminate aspects of scientific inquiry that are not covered by the commonly applied Bayesian approach.

Clinical ethics consultation is largely outside the scope of regulation and oversight, despite its importance. For decades, the bioethics community has been unable to reach a consensus on whether there should be accountability in this work, as there is for other clinical activities that influence the care of patients. The American Society for Bioethics and Humanities, the primary society of bioethicists and scholars in the medical humanities and the organizational home for individuals who perform CEC in the United States, has (...) initiated a two‐step quality attestation process as a means to assess clinical ethics consultants and help identify individuals who are qualified to perform this role. This article describes the process. (shrink)

While consensus exists among many practitioners of ethics consultation about the need for and identification of core competencies and standards, there has been virtually no attempt to determine how these competencies and standards are best taught and assessed. We believe that clinical ethics consultation has reached a state of sufficient maturity that expert practitioners can evaluate those who are new to the field. We will outline several steps that can facilitate the creation of a certification process for clinical ethics consultants, (...) assuring the competency and quality of consultation for the patients, families, and healthcare professionals who utilize ECSs. (shrink)

In all of these discourses, she has sought to cultivate an awareness of how the self is situated and influenced, as well as the ways in which a self can influence others.In this volume, twelve scholars examine and display the influence of ...

A model of inductive inquiry is defined within the context of first‐order logic. The model conceives of inquiry as a game between Nature and a scientist. To begin the game, a nonlogical vocabulary is agreed upon by the two players, along with a partition of a class of countable structures for that vocabulary. Next, Nature secretly chooses one structure from some cell of the partition. She then presents the scientist with a sequence of facts about the chosen structure. With each (...) new datum the scientist announces a guess about the cell to which the chosen structure belongs. To succeed in his or her inquiry, the scientist’s successive conjectures must be correct all but finitely often, that is, the conjectures must converge in the limit to the correct cell. Different kinds of scientists can be investigated within this framework. At opposite ends of the spectrum are dumb scientists that rely on the strategy of “induction by enumeration,” and smart scientists that rely on an operator of belief revision. We report some results about the scope and limits of these two inductive strategies. (shrink)

Although clinical ethics consultation is a high-stakes endeavor with an increasing prominence in health care systems, progress in developing standards for quality is challenging. In this article, we describe the results of a pilot project utilizing portfolios as an evaluation tool. We found that this approach is feasible and resulted in a reasonably wide distribution of scores among the 23 submitted portfolios that we evaluated. We discuss limitations and implications of these results, and suggest that this is a significant step (...) on the pathway to an eventual certification process for clinical ethics consultants. (shrink)

This paper shows how late 1960’s student protests influenced the thought of Imre Lakatos and Paul Feyerabend. I argue that student movements shaped their work from this period, specifically Lakatos’s “Falsification and the Methodology of Scientific Research Programmes” and Feyerabend’s Against Method. Archival evidence shows that their political environments at London and Berkeley inflected their writing on scientific method, entrenching Lakatos’s search for a rationalist account of scientific development, and encouraging Feyerabend’s ‘anarchistic’ theory of knowledge. I document this influence and (...) draw two broader lessons: one lesson about the role of biography in philosophy and the other about the historiography of student protests. (shrink)

This paper shows how late 1960’s student protests influenced the thought of Imre Lakatos and Paul Feyerabend. I argue that student movements shaped their work from this period, specifically Lakatos’s “Falsification and the Methodology of Scientific Research Programmes” and Feyerabend’s Against Method. Archival evidence shows that their political environments at London and Berkeley inflected their writing on scientific method, entrenching Lakatos’s search for a rationalist account of scientific development, and encouraging Feyerabend’s ‘anarchistic’ theory of knowledge. I document this influence and (...) draw two broader lessons: one lesson about the role of biography in philosophy and the other about the historiography of student protests. (shrink)

Brain reading technologies are rapidly being developed in a number of neuroscience fields. These technologies can record, process, and decode neural signals. This has been described as ‘mind reading technology’ in some instances, especially in popular media. Should the public at large, be concerned about this kind of technology? Can it really read minds? Concerns about mind-reading might include the thought that, in having one’s mind open to view, the possibility for free deliberation, and for self-conception, are eroded where one (...) isn’t at liberty to privately mull things over. Themes including privacy, cognitive liberty, and self-conception and expression appear to be areas of vital ethical concern. Overall, this article explores whether brain reading technologies are really mind reading technologies. If they are, ethical ways to deal with them must be developed. If they are not, researchers and technology developers need to find ways to describe them more accurately, in order to dispel unwarranted concerns and address appropriately those that are warranted. (shrink)

Scientific inquiry is represented as a process of rational hypothesis revision in the face of data. For the concept of rationality, we rely on the theory of belief dynamics as developed in [5, 9]. Among other things, it is shown that if belief states are left unclosed under deductive logic then scientific theories can be expanded in a uniform, consistent fashion that allows inquiry to proceed by any method of hypothesis revision based on "kernel" contraction. In contrast, if belief states (...) are closed under logic, then no such expansion is possible. (shrink)

Science and Ideology This article illustrates some of the relationships between science and ideologies. It discusses how science has been enlisted to support particular ideologies and how ideologies have influenced the processes and interpretations of scientific inquiry. An example from the biological sciences illustrates this. In the early 20th century, evolutionary theory was used to … Continue reading Science and Ideology →.

It is a classical result of Mortimer that $L^2$ , first-order logic with two variables, is decidable for satisfiability. We show that going beyond $L^2$ by adding any one of the following leads to an undecidable logic:– very weak forms of recursion, viz.¶(i) transitive closure operations¶(ii) (restricted) monadic fixed-point operations¶– weak access to cardinalities, through the Härtig (or equicardinality) quantifier¶– a choice construct known as Hilbert's $\epsilon$ -operator.In fact all these extensions of $L^2$ prove to be undecidable both for satisfiability, (...) and for satisfiability in finite structures. Moreover most of them are hard for $\Sigma^1_1$ , the first level of the analytical hierachy, and thus have a much higher degree of undecidability than first-order logic. (shrink)

Scientific inquiry is represented as a process of rational hypothesis revision in the face of data. For the concept of rationality, we rely on the theory of belief dynamics as developed in [5, 9]. Among other things, it is shown that if belief states are left unclosed under deductive logic then scientific theories can be expanded in a uniform, consistent fashion that allows inquiry to proceed by any method of hypothesis revision based on “kernel” contraction. In contrast, if belief states (...) are closed under logic, then no such expansion is possible. (shrink)

A model of inductive inquiry is defined within a first-order context. Intuitively, the model pictures inquiry as a game between Nature and a scientist. To begin the game, a nonlogical vocabulary is agreed upon by the two players along with a partition of a class of structures for that vocabulary. Next, Nature secretly chooses one structure ("the real world") from some cell of the partition. She then presents the scientist with a sequence of atomic facts about the chosen structure. With (...) each new datum the scientist announces a guess about the cell to which the chosen structure belongs. To succeed in his inquiry, the scientist's successive conjectures must be correct all but finitely often, that is, the conjectures must converge in the limit to the correct cell. A special kind of scientist selects his hypotheses on the basis of a belief revision operator. We show that reliance on belief revision allows scientists to solve a wide class of problems. (shrink)

In Minker and Rajasekar (J Log Program 9(1):45–74, 1990), Minker proposed a semantics for negation-free disjunctive logic programs that offers a natural generalisation of the fixed point semantics for definite logic programs. We show that this semantics can be further generalised for disjunctive logic programs with classical negation, in a constructive modal-theoretic framework where rules are built from _claims_ and _hypotheses_, namely, formulas of the form \(\Box \varphi \) and \(\Diamond \Box \varphi \) where \(\varphi \) is a literal, respectively, (...) yielding a “base semantics” for general disjunctive logic programs. Model-theoretically, this base semantics is expressed in terms of a classical notion of logical consequence. It has a complete proof procedure based on a general form of the cut rule. Usually, alternative semantics of logic programs amount to a particular interpretation of nonclassical negation as “failure to derive.” The counterpart in our framework is to complement the original program with a set of hypotheses required to satisfy specific conditions, and apply the base semantics to the resulting set. We demonstrate the approach for the answer set semantics. The proposed framework is purely classical in mainly three ways. First, it uses classical negation as unique form of negation. Second, it advocates the computation of logical consequences rather than of particular models. Third, it makes no reference to a notion of preferred or minimal interpretation. (shrink)

The inductive logic developed in the second and third essays is limited in important ways. For example: (a) the logic makes no provision for missing or misleading data; (b) it gives the scientist no control over the evidence reaching him; (c) revision-based scientist must work with theories written in the cramped idiom of firstorder logic; (d) the idea of efficient induction is only weakly expressed (in terms of “dominance”).

The following correction will help establish more clearly and fully the ways in which I drew on Matteo Collodel’s work in the composition of this paper. Given that we were researching similar topics and that I was acquainted with his achievements.

Parametric logic is a framework that generalises classical first-order logic. A generalised notion of logical consequence—a form of preferential entailment based on a closed world assumption—is defined as a function of some parameters. A concept of possible knowledge base—the counterpart to the consistent theories of first-order logic—is introduced. The notion of compactness is weakened. The degree of weakening is quantified by a nonnull ordinal—the larger the ordinal, the more significant the weakening. For every possible knowledge base T, a hierarchy of (...) sentences that are generalised logical consequences of T is built. The first layer of the hierarchies corresponds to sentences that can be obtained by a deductive inference, characterised by the compactness property. The second layer of the hierarchies corresponds to sentences that can be obtained by an inductive inference, characterised by the property of weak compactness quantified by 1. Weaker forms of compactness—quantified by nonnull ordinals—determine higher layers in the hierarchies, corresponding to more complex inferences. The naturalness of the hierarchies built over the possible knowledge bases is attested by fundamental connections with notions from Learning theory and from topology. The naturalness of the hierarchies built over the possible knowledge bases is attested by fundamental connections with notions from Learning theory—classification in the limit, with or without a bounded number of mind changes—and from topology—in reference to the Borel and the difference hierarchies. In this paper, we introduce the key model-theoretic aspects of Parametric logic, justify the concept of the knowledge base, define the hierarchies of generalised logical consequences and illustrate their relevance to Nonmonotonic reasoning. More specifically, we show that the degree of nonmonotonicity that is required to infer a sentence can be characterised by the least nonnull ordinal that quantifies the weakening of compactness used to locate the inferred sentence in the hierarchies. (shrink)

This paper reviews the natural philosophies of John Polkinghorne and Nancy Cartwright, with particular emphasis on the role of pluralism in their respective writings. While often motivated by distinct projects, their philosophies display some interesting and perhaps unexpected similarities. It is suggested that Polkinghorne's views are not far away from some of Cartwright's proposals, and further that certain debates about God's providential action could be helpfully reoriented if the insistence on natural laws as a centerpiece of scientific explanation were relinquished.

A model of inductive inquiry is defined within the context of first‐order logic. The model conceives of inquiry as a game between Nature and a scientist. To begin the game, a nonlogical vocabulary is agreed upon by the two players, along with a partition of a class of countable structures for that vocabulary. Next, Nature secretly chooses one structure from some cell of the partition. She then presents the scientist with a sequence of facts about the chosen structure. With each (...) new datum the scientist announces a guess about the cell to which the chosen structure belongs. To succeed in his or her inquiry, the scientist’s successive conjectures must be correct all but finitely often, that is, the conjectures must converge in the limit to the correct cell. Different kinds of scientists can be investigated within this framework. At opposite ends of the spectrum are dumb scientists that rely on the strategy of “induction by enumeration,” and smart scientists that rely on an operator of belief revision. We report some results about the scope and limits of these two inductive strategies. (shrink)

In the four papers available on our web site (of which this is the first), we propose to develop an inductive logic. By “inductive logic” we mean a set of principles that distinguish between successful and unsuccessful strategies for scientific inquiry. Our logic will have a technical character, since it is built from the concepts and terminology of (elementary) model theory. The reader may therefore wish to know something about the kind of results on offer before investing time in definitions (...) and notation. Providing such an informal overview is the purpose of the present essay. We begin with discussion of the central concept under investigation, namely, theory acceptance. (shrink)

We present a model for first-order belief revision that is characterized by an underlying relevance-like relation and a background proof system. The model is extremely general in order to allow for a wide variety in these characterizing parameters. It allows some weakenings of beliefs which were initially implicit to become explicit and survive the revision process. The effects of revision are localized to the part of the theory that is influenced by the the new information. Iterated revision in this model (...) is handled trivially since the revision operator is constructive by definition. The usage of deductively limited proof systems permits an inconsistency tolerant model. The notion of a part of a theory capable of being influenced by new information (designed to accomodate the specific character of first-order languages) is shown to satisfy some intuitive and desirable properties. We show that for particular parametrizations, standard revision schemes can be embedded into our paradigm. (shrink)

Continuous sedation at the end of life is a practice that has attracted a great deal of attention. An increasing number of guidelines on the proposed correct performance of the practice have been drafted. All of the guidelines stress the importance of using sedation in proportion to the severity of the patient’s symptoms, thus to reduce the patient’s consciousness no more than is absolutely necessary. As different patients can have different experiences of suffering, the amount of suffering should, ideally, be (...) assessed subjectively; that is, via communication with the patient. Continuously sedated patients are often unable to communicate, however, making subjective methods of pain assessment unusable. For these patients, the degree of consciousness is the sole available measure. It therefore seems important to adequately measure how deeply the patient is sedated, thereby allowing sedation to be increased when it is too light and decreased when it is too heavy. This is in accordance with the idea that reducing consciousness is not an ethically neutral act.Although consciousness measuring techniques are a hot topic in anesthesiology, almost no research exists on the use of such techniques in the context of continuous sedation at the end of life. This article aims to review existing techniques to measure consciousness and to evaluate their applicability, efficiency, and invasiveness for patients who are continuously sedated until death.Techniques commonly used to assess the depth of sedation in continuously sedated patients are basic clinical assessment and sedation scales, as they are often considered reliable and noninvasive. These techniques might not be very reliable, however, since it is known that some patients are nonresponsive and yet aware. Moreover, sedation scales require stimulation of the patient (for example prodding, shaking, or providing painful stimuli), and can thus be considered invasive of one’s bodily integrity or dignity. Other techniques, such as EEG (electroencephalography) derivatives, may score better on reliability and invasiveness. Yet these have so far never been compared to sedation scale scores for patients receiving continuous sedation at the end of life.Therefore, we conclude that, for both clinical and ethical reasons, research into the efficiency and applicability of other techniques, such as derivatives of EEG, are urgently needed. (shrink)

Ramsey argued that the best way to understand how the theoretical terms of a theory function is to picture them as existentially bound variables. We explore the ontological ramifications of Ramsey's idea by developing a new type of dynamic model-theoretical semantics, based on the concept of an experimental logic.