The Walker model raises a number of questions, particularly about the nature of the sleep states involved in consolidation enhancement. While REM sleep, Stage 2 sleep, and Stage 3/4 sleep have been implicated in procedural learning, we still do not understand which types of learning are involved with specific sleep states. Several possible ideas for future research are suggested.

The function of REM, or any other stage of sleep, can currently only be conjectured. A rational evaluation of the role of REM in memory processing requires systematic testing of hypotheses that are optimally derived from a complete synthesis of existing knowledge. Our view is that the large number of studies supporting a relationship between REM-related brain activity and memory is not easily explained away. [Vertes & Eastman].

Sleep has long been a topic of fascination for artists and scientists. Why do we sleep? What function does sleep serve? Why do we dream? What significance can we attach to our dreams? We spend so much of our lives sleeping, yet its precise function is unclear, in spite of our increasing understanding of the processes generating and maintaining sleep. We now know that sleep can be accompanied by periods of intense cerebral activity, yet only recently has experimental data started (...) to provide us with some insights into the type of processing taking place in the brain as we sleep. There is now strong evidence that sleep plays a crucial role in learning and in the consolidation of memories. Once the preserve of psychoanalysts, 'dreaming' is now a topic of increasing interest amongst scientists. With research into sleep growing, this volume is both timely and valuable in presenting a unique study of the relationship between sleep, learning, and memory. It brings together a team of international scientists researching sleep in both human and animal subjects. Aimed at researchers within the fields of neuroscience, cognitive neuroscience, psychiatry, and neurology, this book will be an important first step in developing a full scientific understanding of the most intriguing state of consciousness. (shrink)

Pierre Maquet1,2,6, Steven Laureys1,2, Philippe Peigneux1,2,3, Sonia Fuchs1, Christophe Petiau1, Christophe Phillips1,6, Joel Aerts1, Guy Del Fiore1, Christian Degueldre1, Thierry Meulemans3, André Luxen1, Georges Franck1,2, Martial Van Der Linden3, Carlyle Smith4 and Axel Cleeremans5.

David Wootton’s latest book is an attempt to show how “Power, Pleasure and Profit” – each related in turn to Machiavelli, Hobbes and Smith’s works – have shaped our modern world because they are “three goods which can be pursued without limits”. Based on a series of six Carlyle Lectures entitled “Power and Pleasure, 1513-1776”, given at the University of Oxford in 2014, the book attempts a major reinterpretation of the ideas of the thinkers of the period from (...) 1500 to 1800. David Woot... (shrink)

This paper discusses the historical voice in the history of the human sci ences. I address the question, 'Who speaks?', as a question about disci plinary identities and conventions of writing - identities and conventions which have the appearance of conditions of knowledge, in an area of activity where academic history and the history of science or intellectual history meet. If, as this paper contends, the subject-matter of the history of the human sciences is inherently contestable because of fundamental differences (...) about the subject, man, how is the field to be shaped as if it were a whole? The meta-narratives that once sustained synthetic writing, such as the teleological narratives of the emergence of a modern discipline or of progress towards truth, have lost authority. I ask whether the alternatives rely on 'wilful' authorial rhetoric, the use of the resources of language to sustain a narrative, the defence of which depends on intelligibility and inclusiveness, not detailed correspon dence to a supposedly independent past. If this is the case, an author's theoretical stance will inevitably be more out in the open - the author will have a 'theoretical voice' - than is common in most mainstream history writing. In the light of this, I reflect on my own effort to write a synthetic history of the human sciences. (shrink)

In recent years, several formalisms for program construction have appeared. One such formalism is the type theory developed by Per Martin-L f. Well suited as a theory for program construction, it makes possible the expression of both specifications and programs within the same formalism. Furthermore, the proof rules can be used to derive a correct program from a specification as well as to verify that a given program has a certain property. This book contains a thorough introduction to type theory, (...) with information on polymorphic sets, subsets, monomorphic sets, and a full set of helpful examples. (shrink)

By the start of the Victorian period the school of British economists acknowledging Adam Smith as its master was in the ascendancy. 'Political Economy', a catch-all title which ignored the diversity of viewpoints to be found amongst the discipline's leading proponents, became associated in the popular mind with moral and political forces held to be uniquely conducive to the progress of an increasingly industrialised and competitive society. 'Political Economy' served in turn as the focus for critics of equally diverse (...) moral and political persuasions, who sought to challenge the materialism of contemporary society and offer their own assessments of the profound social changes of the time. In the introductory essay to the collection of readings from such 'critics of capitalism', the editors review the principles of the early economists, the way in which these principles were appropriated and applied by their Victorian successors and the contrasting modes which critics of popular economic ideas assumed. Subsequent extracts from the writings of the Owenite Socialist John Bray, Carlyle, Marx and Engels, J. S. Mill, Ruskin, Arnold, T. H. Green, William Morris and G. B. Shaw, demonstrate both the breadth of the possible grounds for ideological opposition to the prevailing philosophy and the shifting nature of the debate as 'Political Economy' itself was revealed as incapable of explaining or responding to the changing conditions of the 1870s. Headnotes to the extracts describe the genesis of individual debate and discuss distinctive stylistic features. Annotation in the form of footnotes and endnotes has been designed to gloss obscure allusions and arguments. In making more accessible the socio-economic writings of those authors now better known for their imaginative work, this volume will enable readers to reach a more profound appreciation of the central role such work played in developing the moral vision embodied in their more lastingly popular books and essays. (shrink)

them. Though Aristotle does not say so, presumably the questioner who conceals in this way must be prepared, when challenged, to show that the conclusion...

Disputes between those holding differing political views are ubiquitous and deep-seated, and they often follow common, recognizable lines. The supporters of tradition and stability, sometimes referred to as conservatives, do battle with the supporters of innovation and reform, sometimes referred to as liberals. Understanding the correlates of those distinct political orientations is probably a prerequisite for managing political disputes, which are a source of social conflict that can lead to frustration and even bloodshed. A rapidly growing body of empirical evidence (...) documents a multitude of ways in which liberals and conservatives differ from each other in purviews of life with little direct connection to politics, from tastes in art to desire for closure and from disgust sensitivity to the tendency to pursue new information, but the central theme of the differences is a matter of debate. In this article, we argue that one organizing element of the many differences between liberals and conservatives is the nature of their physiological and psychological responses to features of the environment that are negative. Compared with liberals, conservatives tend to register greater physiological responses to such stimuli and also to devote more psychological resources to them. Operating from this point of departure, we suggest approaches for refining understanding of the broad relationship between political views and response to the negative. We conclude with a discussion of normative implications, stressing that identifying differences across ideological groups is not tantamount to declaring one ideology superior to another. (shrink)

For the past century French intellectuals have increasingly censured Athénaïs Michelet as an "abusive widow" who mutilated the work of her husband. This article explores the role such censure, often vituperative and emotionally charged, has played in the development of French historiography and argues that it has been crucial in constructing the revered figure of Michelet. Further, the figure of Michelet is itself central to the more important trajectory of historiography that depends on the establishment of "authors" as focal points (...) of disciplinary power. Because the authorship of Michelet is so reliant on the scientific scholarship deployed to prove that Athénaïs Michelet was no author herself, the historiographic enterprise of establishing authorship is more than a little tainted with gender--not immune to it, as the profession claims to be. To the contrary, Michelet scholarship, like other historiographical debates, has taken great pains to establish the priority of the male over the female in writing history. If, as Howard Bloch as noted, this pointing to a male "original" and a female "copy" is the archetype of misogyny, then, the paper asks, is not scientific history so grounded? (shrink)

There can be no disputing the proposition that doctors and nurses should be held accountable for their professional activities. In most circumstances this accountability should be achieved through appropriate and effective complaints and disciplinary procedures, but there will be cases where the criminal law should become involved. The criminal law, however, is a serious weapon, and should only be used to punish those whose conduct is truly criminal; it should not be used against those who have merely made a human (...) error. The task of the law should therefore be to identify those situations where a doctor or nurse has behaved in a way which demonstrates a criminally culpable state of mind. In NZ recently the law has failed to do this and has been used as a weapon against those who may be in no sense morally blameworthy. -/- In New Zealand recently the law has failed to do this and has been used as a weapon against those who may be in no sense morally blameworthy. In this respect, NZ has been out of step with other comparable jurisdictions and has demonstrably failed to distinguish between cases where death is caused accidentally (through the making of an ordinary human error) and cases where it is caused criminally (through recklessness or culpable negligence). This is a surprising situation in a jurisdiction which has prided itself on its willingness to adopt a reformist legal agenda. (shrink)

A fresh look at the often-censured but imperfectly understood traditions of Utilitarianism and political economy in relation to Victorian literature and culture. Setting the writings of Bentham, Smith, Malthus, Mill, Dickens, Carlyle, Trollope, Eliot, Gaskell, and Tagore in historical context, Blake widens awareness of commonalities across the age.

There is a difference between the private and social cost of preserving the past. While it may be privately rational to forget the past, the social cost is significant: we fail to see that Classical political economy is a polemic against racism. The past is a rich source of surprises and debates, and resources on the Web are uniquely suited to teaching such wide-ranging debates. Our ASecret History of the Dismal Science on the web, provides a rich series of windows (...) on the literary and analytical texts, and the artwork, that figured in the debates. Students who read Smith juxtaposed with Whitman, who read the Carlyle-Mill exchange, and who see these images, understand the debate the way a student who reads only the Wealth of Nations, Ricardo's Principles, or John Stuart Mill cannot. (shrink)

In their article ’Is Pregnancy a Disease? A Normative Approach’, Anna Smajdor and Joona Räsänen contend that, on several of the most prominent accounts of disease, pregnancy should be considered a disease. More specifically, of the five accounts they discuss, each renders pregnancy a disease or suffers serious conceptual problems otherwise. They take issue specifically with the dysfunction account of disease and argue that it suffers several theoretical difficulties. In this response, we focus on defending the dysfunction account against their (...) main objections and show why a version of the dysfunction account is viable on account of the indispensability of normativity in biology and medicine. After disarming their main objections to the dysfunction account, we briefly respond to their treatment of the normality of pregnancy and then draw a distinction between adverse symptoms and underlying causes to show why even though pregnancy may have ’disease-like’ features, it is not a disease. (shrink)

By transcendental aesthetic, Kant means “the science of all principles of a priori sensibility” (A 21/B 35). These, he argues, are the laws that properly direct our judgments of taste (B 35 – 36 fn.), i.e. our aesthetic judgments as we ordinarily understand that notion in the context of contemporary art. Thus the first part of the Critique of Pure Reason, entitled the Transcendental Aesthetic, enumerates the necessary presuppositions of, among other things, our ability to make empirical judgments about particular (...) works of art. These presuppositions are sensible rather than intellectual because on Kant’s view, all intellection that considers objects of any kind, whether abstract or concrete, must at base connect to actual, material objects with which we come into direct contact; and this we can do only through sensibility (A 19/B 33). Thus the following discussion explores what Kant claims must be true of us in order to make the sorts of aesthetic judgments we make, rather than any particular class or quality of aesthetic judgments itself. On Kant’s view, what must be true of us in order to make aesthetic judgments is not different from what must be true of us in order to make any other kind of judgment about empirical objects. (shrink)

Twentieth century philosophers introduced the distinction between “objective rightness” and “subjective rightness” to achieve two primary goals. The first goal is to reduce the paradoxical tension between our judgments of what is best for an agent to do in light of the actual circumstances in which she acts and what is wisest for her to do in light of her mistaken or uncertain beliefs about her circumstances. The second goal is to provide moral guidance to an agent who may be (...) uncertain about the circumstances in which she acts, and hence is unable to use her standard moral principle directly in deciding what to do. This paper distinguishes two important senses of “moral guidance”; proposes criteria of adequacy for accounts of subjective rightness; canvasses existing definitions for “subjective rightness”; finds them all deficient; and proposes a new and more successful account. It argues that each comprehensive moral theory must include multiple principles of subjective rightness to address the epistemic situations of the full range of moral decision-makers, and shows that accounts of subjective rightness formulated in terms of what it would reasonable for the agent to believe cannot provide that guidance. (shrink)

In this article I argue that evolutionary psychological strategies for making inferences about present-day human psychology are methodologically unsound. Evolutionary psychology is committed to the view that the mind has an architecture that has been conserved since the Pleistocene, and that our psychology can be fruitfully understood in terms of the original, fitness-enhancing functions of these conserved psychological mechanisms. But for evolutionary psychological explanations to succeed, practitioners must be able to show that contemporary cognitive mechanisms correspond to those that were (...) selected for in the environment of evolutionary adaptedness, that these present-day cognitive mechanisms are descended from the corresponding ancestral mechanisms, and that they have retained the functions of the ancestral mechanisms from which they are descended. I refer to the problem of demonstrating that these conditions obtain as “the matching problem,” argue that evolutionary psychology does not have the resources to address it, and conclude that evolutionary psychology, as it is currently understood, is therefore impossible. (shrink)

COVID-19 often manifests with different outcomes in different patients, highlighting the complexity of the host-pathogen interactions involved in manifestations of the disease at the molecular and cellular levels. In this paper, we propose a set of postulates and a framework for systematically understanding complex molecular host-pathogen interaction networks. Specifically, we first propose four host-pathogen interaction (HPI) postulates as the basis for understanding molecular and cellular host-pathogen interactions and their relations to disease outcomes. These four postulates cover the evolutionary dispositions involved (...) in HPIs, the dynamic nature of HPI outcomes, roles that HPI components may occupy leading to such outcomes, and HPI checkpoints that are critical for specific disease outcomes. Based on these postulates, an HPI Postulate and Ontology (HPIPO) framework is proposed to apply interoperable ontologies to systematically model and represent various granular details and knowledge within the scope of the HPI postulates, in a way that will support AI-ready data standardization, sharing, integration, and analysis. As a demonstration, the HPI postulates and the HPIPO framework were applied to study COVID-19 with the Coronavirus Infectious Disease Ontology (CIDO), leading to a novel approach to rational design of drug/vaccine cocktails aimed at interrupting processes occurring at critical host-coronavirus interaction checkpoints. Furthermore, the host-coronavirus protein-protein interactions (PPIs) relevant to COVID-19 were predicted and evaluated based on prior knowledge of curated PPIs and domain-domain interactions, and how such studies can be further explored with the HPI postulates and the HPIPO framework is discussed. (shrink)

There are two paradoxes of satisfaction, and they are of different kinds. The classic satisfaction paradox is a version of Grelling’s: does ‘does not satisfy itself’ satisfy itself? The Unsatisfied paradox finds a predicate, P, such that Px if and only if x does not satisfy that predicate: paradox results for any x. The two are intuitively different as their predicates have different paradoxical extensions. Analysis reduces each paradoxical argument to differing rule sets, wherein their respective pathologies lie. Having different (...) pathologies, they are paradoxes of different kinds. Furthermore, each of these satisfaction paradoxes has an analogue with the same pathology in set theory. Therefore, these analogues are respectively of the same two kinds. This level of abstraction is significant in that it tracks two related but different pathologies. Thus, not all paradoxes of semantics and set theory share the same pathology: there are at least two kinds of paradox cutting across the semantic and set-theoretic distinction. (shrink)