Physicians have a sacred commitment to dedicate themselves through their art and through science to the improvement of the human condition. They have the solemn responsibility to focus on both the prevention and the cure of disease. The human genome project, a 15-year effort to draw the first detailed map in human DNA, will inevitably lead to the widespread implementation of human-gene therapy for the treatment and prevention of disease. We are on the verge of nothing less than a biomedical (...) revolution, the likes of which have not been encountered before. The human genome project will lead to profound changes in the ability to manipulate genes. It will change the way we are born, how we live, how we die, and how we view ourselves in relation to our destiny. Before us lies a difficult transition. (shrink)

Words like you, here, and tomorrow are different from other expressions in two ways. First, and by definition, they have different kinds of meanings, which are context-dependent in ways that the meanings of names and descriptions are not. Second, their meanings play a different kind of role in the interpretations of the utterances that contain them. For example, the meaning of you can be paraphrased by a description like "the addressee of the utterance." But an utterance of (1) doesn't say (...) the same thing as an utterance of (2). (shrink)

A visual imagery task is presented which is beyond the limits of normal human ability, and some of the factors contributing to its difficulty are isolated by comparing the difficulty of related tasks. It is argued that complex objects are assigned hierarchical structural descriptions by being parsed into parts, each of which has its own local system of significant directions. Two quite different schemas for a wire‐frame cube are used to illustrate this theory, and some striking perceptual differences to which (...) they give rise are described. The difficulty of certain mental imagery tasks is shown to depend on which of the alternative structural descriptions of an object is used, and this is interpreted as evidence that structural descriptions are an important component of mental images. Finally, it is argued that analog transformations like mental folding involve changing the values of continuous variables in a structural description. (shrink)

Category theory and topos theory have been seen as providing a structuralist framework for mathematics autonomous vis-a-vis set theory. It is argued here that these theories require a background logic of relations and substantive assumptions addressing mathematical existence of categories themselves. We propose a synthesis of Bell's many-topoi view and modal-structuralism. Surprisingly, a combination of mereology and plural quantification suffices to describe hypothetical large domains, recovering the Grothendieck method of universes. Both topos theory and set theory can be carried out (...) relative to such domains; puzzles about ‘large categories’ and ‘proper classes’ are handled in a uniform way, by relativization, sustaining insights of Zermelo. (shrink)

Macmillan papermac 3003. Bibliography: p. 80-81.

The value of rational choice theory for the social sciences has long been contested. It is argued here that, in the debate over its role, it is necessary to distinguish between claims that people maximise manifest payoffs, and claims that people maximise their utility. The former version has been falsified. The latter is unfalsifiable, because utility cannot be observed. In principle, utility maximisation can be adapted to fit any form of behaviour, including the behaviour of non-human organisms. Allegedly 'inconsistent' behaviour (...) is also impossible to establish without qualification. This utility-maximising version of rational choice theory has the character of a universal 'explanation' that can be made to 'fit' any set of events. This is a sign of weakness rather than strength. In its excessive quest for generality, utility-maximising rational choice theory fails to focus on the historically and geographically specific features of socio-economic systems. As long as such theory is confined to ahistorical generalities, then it will remain highly limited in dealing with the real world. Instead we have to consider the real social and psychological determinants of human behaviour. (shrink)

Hellman and Shapiro explore the development of the idea of the continuous, from the Aristotelian view that a true continuum cannot be composed of points to the now standard, entirely punctiform frameworks for analysis and geometry. They then investigate the underlying metaphysical issues concerning the nature of space or space-time.

The present work is a systematic study of five frameworks or perspectives articulating mathematical structuralism, whose core idea is that mathematics is concerned primarily with interrelations in abstraction from the nature of objects. The first two, set-theoretic and category-theoretic, arose within mathematics itself. After exposing a number of problems, the book considers three further perspectives formulated by logicians and philosophers of mathematics: sui generis, treating structures as abstract universals, modal, eliminating structures as objects in favor of freely entertained logical possibilities, (...) and finally, modal-set-theoretic, a sort of synthesis of the set-theoretic and modal perspectives. (shrink)

Some remarks on determination, physicalism, model theory, and logical truth.//An attempt to defend physicalism against objections that its bases are indeterminate.

What is death and why does it matter to us? How should the knowledge of our finitude affect the living of our lives and what are the virtues suitable to mortal beings? Does death destroy the meaningfulness of lives, or would lives that never ended be eternally and absurdly tedious? Should we reconcile ourselves to the fact of our forthcoming death, or refuse to "go gently into that good night"? Can death really be an evil if, after death, we no (...) longer exist as subjects of goods or evils? How should we respond to the deaths of others and do we have any duties towards the dead? These, and many other, questions are addressed in Geoffrey Scarre's book, which draws upon a wide variety of philosophical and literary sources to offer an up-to-date and highly readable study of some major ethical and metaphysical riddles concerning death and dying. (shrink)

Several leading topics outstanding after John Earman's Bayes or Bust? are investigated further, with emphasis on the relevance of Bayesian explication in epistemology of science, despite certain limitations. (1) Dutch Book arguments are reformulated so that their independence from utility and preference in epistemic contexts is evident. (2) The Bayesian analysis of the Quine-Duhem problem is pursued; the phenomenon of a "protective belt" of auxiliary statements around reasonably successful theories is explicated. (3) The Bayesian approach to understanding the superiority of (...) variety of evidence is pursued; a recent challenge (by Wayne) is converted into a positive result on behalf of the Bayesian analysis, potentially with far-reaching consequences. (4) The condition for applying the merger-of-opinion results and the thesis of underdetermination of theories are compared, revealing significant limitations in applicability of the former. (5) Implications concerning "diachronic Dutch Book" arguments and "non-Bayesian shifts" are drawn, highlighting the incompleteness, but not incorrectness, of Bayesian analysis. (shrink)

A plurality of approaches to foundational aspects of mathematics is a fact of life. Two loci of this are discussed here, the classicism/constructivism controversy over standards of proof, and the plurality of universes of discourse for mathematics arising in set theory and in category theory, whose problematic relationship is discussed. The first case illustrates the hypothesis that a sufficiently rich subject matter may require a multiplicity of approaches. The second case, while in some respects special to mathematics, raises issues of (...) ontological multiplicity and relativity encountered in the natural sciences as well. (shrink)

Originally published in 1967, this book aims to develop an ethical theory which remedies the defects of Utilitarianism while recognising the truths upon which Utilitarians have insisted. Its thesis is offered as a challenge to all schools of moral philosophy which have flourished in the twentieth century. Dr Grice argues that there are two kinds of Judgement of moral obligation. Social Contract theory, in a form which avoids the classical objections, is employed in setting out the ground of basic obligations; (...) and the ultra obligations of individual men are found to be grounded in their own characters. He then demonstrates that the theory offered, unlike Utilitarianism, throws light on judgements of rights and justice. Moral good is seen eventually as the coping stone, not the foundation stone of morality. (shrink)

Quantum logic as genuine non-classical logic provides no solution to the "paradoxes" of quantum mechanics. From the minimal condition that synonyms be substitutable salva veritate, it follows that synonymous sentential connectives be alike in point of truth-functionality. It is a fact of pure mathematics that any assignment Φ of (0, 1) to the subspaces of Hilbert space (dim. ≥ 3) which guarantees truth-preservation of the ordering and truth-functionality of QL negation, violates truth-functionality of QL ∨ and $\wedge $ . Thus, (...) from within both the classical framework and that of any QL that preserves elementary set theory, two distinct (nonsynonymous) sets of connectives are discernible. Classical derivations of QM paradoxes are all available unless the language of QM is not classically closed. Maintaining this requires a strong and selfdefeating verification theory of meaning, the philosophical cornerstone of the Copenhagen interpretation to which QL was to provide an alternative. (shrink)

Hird, G.R., Recursive properties of relations on models, Annals of Pure and Applied Logic 63 241–269. We prove general existence theorems for recursive models on which various relations have specified recursive properties. These capture common features of results in the literature for particular algebraic structures. For a useful class of models with new relations R, S, where S is r.e., we characterize those for which there is a recursive model isomorphic to on which the relation corresponding to S remains r.e., (...) while that corresponding to R is not r.e.; immune; hyperimmune. The results are applied to vector spaces, Boolean algebras and abelian groups. In the case of vector spaces, this leads to a new kind supermaximal subspace of V∞. (shrink)

Neuroethics is typically conceived of as consisting of two traditions: the ethics of neuroscience and the neuroscience of moral judgment. However, recent work has sought to draw philosophical and ethical implications from the neuroscience of moral judgment. Such work, which concernsnormative moral neuroscience(NMN), is sufficiently distinct and complex to deserve recognition as a third tradition of neuroethics. Recognizing it as such can reduce confusion among researchers, eliminating conflations among both critics and proponents of NMN.This article identifies and unpacks some of (...) the most prominent goals, characteristic assumptions, and unique arguments in NMN and addresses some of the strongest objections NMN faces. The paper synthesizes these considerations into a set of heuristics, or loose discovery principles, that can help overcome obstacles in and attenuate resistance to NMN. These heuristics may simultaneously help identify those projects in NMN that are most likely to be fruitful and help fortify them. (shrink)

In a recent paper, while discussing the role of the notion of analyticity in Carnap’s thought, Howard Stein wrote: “The primitive view–surely that of Kant–was that whatever is trivial is obvious. We know that this is wrong; and I would put it that the nature of mathematical knowledge appears more deeply mysterious today than it ever did in earlier centuries – that one of the advances we have made in philosophy has been to come to an understanding of just ∗I (...) am grateful to audiences at the Steinfest, University of Chicago, May 21-23, 1999, and at the Philosophy of Mathematics Conference at the University of California, Santa Barbara, Feb. 4-6, 2000, and especially to Stewart Shapiro and Tony Anderson, for helpful comments on earlier drafts of this paper. (shrink)

This book brings together a number of essays that are optimistic about the ways certain neuroscientific insights might advance philosophical ethics, and other essays that are more circumspect about the relevance of neuroscience to philosophical ethics. As a whole, the essays form a self-reflective body of work that simultaneously seeks to derive normative ethical implications from neuroscience, and to question whether and how that may be possible at all. In doing so, the collection brings together psychology, neuroscience, philosophy of mind, (...) ethics, and philosophy of science. Neuroscience seeks to understand the biological systems that guide human behavior and cognition. Normative ethics, on the other hand, seeks to understand the system of abstract moral principles dictating how people ought to behave. By studying how the human brain makes moral judgments, can philosophers learn anything about the nature of morality itself? A growing number of researchers believe that neuroscience can, indeed, provide insights into the questions of philosophical ethics. However, even these advocates acknowledge that the path from neuroscientific is to normative ethical ought can be quite fraught. (shrink)

The rate‐limiting step in the uptake and metabolism of Dglucose by insulin target cells is thought to be glucose transport mediated by glucose transporters (primarily the GLUT4 isoform) localized to the plasma membrane. However, subcellular fractionation, photolabelling and immunocytochemical studies have shown that the pool of GLUT4 present in the plasma membrane is only one of many subcellular pools of this protein. GLUT4 has been found in occluded vesicles at the plasma membrane, clathrin‐coated pits and vesicles, early endosomes, and tubulo‐vesicular (...) structures; the latter are analogous to known specialized secretory compartments. Tracking the movement of GLUT4 through these compartments, and defining the mechanism and site of action of insulin in stimulating this subcellular trafficking, are major topics of current investigation. Recent evidence focuses attention on the exocytosis of GLUT4 as the major site of insulin action. Increased exocytosis may be due to decreased retention of glucose transporters in an intracellular pool, or possibly to increased assembly of a vesicle docking and fusion complex. Although details are unknown, the presence in GLUT4 vesicles of a synaptobrevin homologue leads us to propose that a process analogous to that occurring in synaptic vesicle trafficking is involved in the assembly of GLUT4 vesicles into a form suitable for fusion with the plasma membrane. Evidence that the pathways of signalling from the insulin receptor and of GLUT4 vesicle exocytosis may converge at the level of the key signalling enzyme, phosphatidylinositol 3‐kinase, is discussed. (shrink)

This paper explores the status of the von Neumann-Luders state transition rule (the "projection postulate") within "real-logic" quantum logic. The entire discussion proceeds from a reading of the Luders rule according to which, although idealized in applying only to "minimally disturbing" measurements, it nevertheless makes empirical claims and is not a purely mathematical theorem. An argument (due to Friedman and Putnam) is examined to the effect that QL has an explanatory advantage over Copenhagen and other interpretations which relativize truth-value assignments (...) to experimental arrangements. Two versions of QL, the lattice-theoretic (LT) and partial-Boolean-algebra (PBA), are considered. It turns out that the projection postulate is intimately connected with the choice of conditional connective for QL. The effect of the projection postulate is obtained with the Sasaki conditional. However, this choice is found to require extra assumptions, on both the LT and PBA versions, which are either just as ad hoc as the projection postulate itself or indefensible from within the real-logic QL framework. (shrink)