We introduce three formal theories of increasing strength for linear algebra in order to study the complexity of the concepts needed to prove the basic theorems of the subject. We give what is apparently the first feasible proofs of the Cayley–Hamilton theorem and other properties of the determinant, and study the propositional proof complexity of matrix identities such as AB=I→BA=I.

The rise of managerialism within healthcare systems has been noted globally. This paper uses the findings of a scoping study to investigate the management of poor performance among nurses and midwives in the United Kingdom within this context. The management of poor performance among clinicians in the NHS has been seen as a significant policy problem. There has been a profound shift in the distribution of power between professional and managerial groups in many health systems globally. We examined literature published (...) between 2000 and 10 to explore aspects of poor performance and its management. We used Web of Science, CINAHL, MEDLINE, British Nursing Index, HMIC, Cochrane Library and PubMed. Empirical data are limited but indicate that nurses and midwives are the clinical groups most likely to be suspended and that poor performance is often represented as an individual deficit. A focus on the individual as a source of trouble can serve as a distraction from more complex systematic problems. (shrink)

MancosuPaolo.* *ion and Infinity. Oxford University Press, 2016. ISBN: 978-0-19-872462-9. Pp. viii + 222.

Phylogenies are increasingly prominent across all of biology, especially as DNA sequencing makes more and more trees available. However, their utility is compromised by widespread misconceptions about what phylogenies can tell us, and improved tree thinking is crucial. The most-serious problem comes from reading trees as ladders from left to right - many biologists assume that species-poor lineages that appear early branching or basal are ancestral - we call this the primitive lineage fallacy. This mistake causes misleading inferences about changes (...) in individual characteristics and leads to misrepresentation of the evolutionary process. The problem can be rectified by considering that modern phylogenies of present-day species and genes show relationships among evolutionary cousins. Emphasizing that these are extant entities in the 21st century will help correct inferences about ancestral characteristics, and will enable us to leave behind 19th century notions about the ladder of progress driving evolution. (shrink)

What kind of duty do we have to try to stop other people doing wrong? The question is intelligible in just about any culture, but few of them seek to answer it in a rigourous fashion. The most striking exception is found in the Islamic tradition, where 'commanding right' and 'forbidding wrong' is a central moral tenet already mentioned in the Koran. As an historian of Islam whose research has ranged widely over space and time, Michael Cook is (...) well placed to interpret this complex subject. His book represents the first sustained attempt to map the history of Islamic reflection on this obligation. It covers the origins of Muslim thinking about 'forbidding wrong', the relevant doctrinal developments over the centuries, and its significance in Sunni and Shi'ite thought today. In this way the book contributes to the understanding of Islamic thought, its relevance to contemporary Islamic politics and ideology, and raises fundamental questions for the comparative study of ethics. (shrink)

The transhumanist project of reshaping human beings by promoting their improvement through technological innovations has a broad agenda. This study focuses on the enhancement of the human organism through genetic modification techniques. Transhumanism values and a discussion of their philosophical background provide a framework to understand its ideals. Genetics and ethics are employed to assess the claims of the transhumanist program of human enhancement. A succinct description of central concepts in genetics and an explanation of current techniques to edit the (...) human genome serve to assess the capabilities and limitations of editing techniques. Potential benefits and liabilities of human enhancement through genome editing are discussed to appraise its feasibility. Ethical considerations of genome editing inform a reflection on the implications of introducing heritable changes in the genome of individuals. It is concluded that the transhumanist program is underpinned by a large number of hypotheses rather than by sufficient evidence. (shrink)

Molecular biologists use different kinds of reasoning strategies for different tasks, such as hypothesis formation, experimental design, and anomaly resolution. More specifically, the reasoning strategies discussed in this paper may be characterized as (1) abstraction-instantiation, in which an abstract skeletal model is instantiated to produce an experimental system; (2) the systematic scan, in which alternative hypotheses are systematically generated; and (3) modular anomaly resolution, in which components of a model are stated explicitly and methodically changed to generate alternative changes to (...) resolve an anomaly. This work grew out of close observation over a period of six months of an actively functioning molecular genetics laboratory. (shrink)

The objective of this study is to describe researchers', health-care providers' and other stakeholders' views of ethical review and research governance procedures. The study design involved qualitative semi-structured interviews. Participants included 60 individuals who either undertook research in the subspecialty of cancer genetics (n = 40) or were involved in biomedical research in other capacities (n = 20), e.g. research governance and oversight, patient support groups or research funding. While all interviewees observed that oversight is necessary to protect research participants, (...) ethical review and research governance (ERG) arrangements were described negatively throughout these interviews. Interviewees identified a number of problems with ERG, including: over-bureaucratization, over-standardization of information requirements for different types of research, a lack of standardization in the types of information required by different committees for the same research and a lack of consistency in different committees' responses. A number of solutions were proposed including streamlining application procedures and harmonizing committees' responses and information requirements. Recent reports suggest that ethical review procedures and research governance arrangements threaten the possibility of undertaking clinical research in the UK, hence the introduction of the Integrated Research Application System (IRAS) is long overdue. However, while IRAS may solve some of the problems identified by interviewees, it remains to be seen to what extent it will impact upon the very negative perceptions of ethics and research governance procedures reported here. (shrink)

The aim of this study is to assess patients' recall of their previous research participation. Recall was established during interviews and compared with entries from clinical notes. Participants were 49 patients who had previously participated in different types of research. Of the 49 patients, 45 (92%) interviewees recalled 69 of 109 (63%) study participations. Level of recall varied according to the type of research, some participants clearly recalled the details of research aims, giving consent and research procedures. Others recalled procedures (...) (e.g. DNA testing) but were unclear about their purpose. There was no significant effect of time on recall. Some types of research participation (e.g. DNA testing) may be recalled as clinical care. We argue that such misunderstandings may have the potential to undermine participants' ongoing consent, particularly in ongoing/longitudinal studies. Valid consent may be best achieved by re-assessing the scope of consent and relating it to the nature of the interventions themselves rather than the reasons for undertaking them. (shrink)

About the Author James Elkins is E.C. Chadbourne Chair in the Department of Art History, Theory, and Criticism at the School of the Art Institute of Chicago. His many books include Pictures and Tears, How to Use Your Eyes, and What Painting Is, all published by Routledge. Michael Newman teaches in the Department of Art History, Theory, and Criticism at the School of the Art Institute of Chicago, and is Professor of Art Writing at Goldsmiths College in the University (...) of London. His publications include the books Richard Prince: Untitled (couple) and Jeff Wall, and he is co-editor with Jon Bird of Rewriting Conceptual Art. (shrink)

The posthumanist project proposes directing the evolution of human beings by promoting their improvement through technological means to create a variety of entities that will have few or no common...

Davey reviews evidence purporting to distinguish between two accounts of selective associations – expectancy bias and evolved predispositions, although these hypotheses largely apply to different levels of causal analysis. Criticisms of primate studies in which subjects lack prior exposure to stimuli seem uncompelling. Expectancies may sometimes serve as proximal mediators in selective associations, but other factors, both proximate and ultimate, are clearly also involved.

Michael Cook's classic study, Commanding Right and Forbidding Wrong in Islamic Thought (Cambridge, 2001), reflected upon the Islamic injunction to forbid wrongdoing. This book is a short, accessible survey of the same material. Using Islamic history to illustrate his argument, Cook unravels the complexities of the subject by demonstrating how the past informs the present. At the book's core is an important message about the values of Islamic traditions and their relevance in the modern world.

Just over a sixth of the world's population subscribes to the Muslim belief that `there is no god but God, and Muhammad is his Messenger'. Michael Cook gives an incisive account of the man who inspired this faith, drawing on the traditional Muslim sources to describe Muhammad's life and teaching.

Drawing on a landscape analysis of existing data-sharing initiatives, in-depth interviews with expert stakeholders, and public deliberations with community advisory panels across the U.S., we describe features of the evolving medical information commons. We identify participant-centricity and trustworthiness as the most important features of an MIC and discuss the implications for those seeking to create a sustainable, useful, and widely available collection of linked resources for research and other purposes.

This is the first book published that specifically examines questions of ethics and advocacy that arise in conducting research on homelessness, exploring the issues through the deeply personal experiences of some of the field’s leading scholars. By examining the central queries from a broad range of perspectives, the authors presented here draw upon years of rich investigations to generate a framework that will be instructive for researchers across a wide spectrum of areas of inquiry.

In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Philosophy 41.4 (2003) 560-561 [Access article in PDF] Olli Koistinen and John Biro, editors. Spinoza: Metaphysical Themes. New York: Oxford University Press, 2002. Pp. x + 255. Cloth, $49.95. Writing in the mid-seventeenth century, Spinoza tried to provide conceptual foundations for the newly developing "natural philosophy" of his day. His monism, naturalism, and theory of mind are still intriguing today, but they are notoriously (...) difficult to understand. There is little interpretive consensus with regard to even the most basic concepts and claims. In Spinoza: Metaphysical Themes the diversity of interpretive perspective is vividly on display.All of the eleven essays in this collection are published here for the first time. They cover a broad range of topics and, taken together, they move us forward in our understanding of Spinoza's basic doctrines. Most of the essays are carefully argued discussions of clearly defined issues of interpretation. They address matters that are central to the system and central to our understanding of the system—monism, causation, individuation, conatus.The editors' Introduction claims that Jonathan Bennett's 1986 work set a new standard of Spinoza scholarship—a standard that the essays in this volume seek to measure up to. Most (not all) of these essays do indeed come close to Bennett's commendable level of argumentative clarity and rigor. And here, as in Bennett's work, the emphasis is mostly systematic and argumentative, not historical.The collection opens with a very good essay by Michael Della Rocca entitled "Spinoza's Substance Monism." This essay applies to the thorny issue of substance monism the same argumentative strategy that Della Rocca has elsewhere applied to monism regarding individual modes—i.e., to the claim that an extended mode and the idea of that mode are identical. The argument turns on the complete conceptual independence of the attributes, and Della Rocca makes a strong case for the centrality of that somewhat puzzling doctrine. John Carriero's contribution ("Monism in Spinoza") continues the focus on monism, but from a different perspective. Carriero asks, "Why does Spinoza hold that finite... bodies [End Page 560] are not substances?" (47). Rejecting two traditional responses he provides a plausible answer to this good question by focusing on an early exchange of letters between Spinoza and Oldenburg and upon Spinoza's rethinking of Descartes's conception of extension.One of the most interesting essays is Don Garrett's interpretive discussion of Spinoza's derivation of the conatus doctrine at Ethics3p4-3p6 ("Spinoza's Conatus Argument"). Commentators have identified various putative fallacies in the argument that Spinoza offers for this doctrine—chiefly fallacies of equivocation. Garrett develops an interesting and plausible notion of "inherence" that casts light on a number of central metaphysical relations and permits a defensible reading of the conatus argument. For the serious Spinoza scholar, this one essay is worth the price of the volume.Olli Koistinen's "Causation in Spinoza" considers Spinoza's solution to the difficulty of causal interaction between substances—a glaring problem in Descartes that provoked glaringly problematic solutions from Malebranche and Leibniz. Richard Manning's essay addresses a controversial point in Jonathan Bennett's interpretation. The issue is whether, in Spinoza's system, mental content can have causal significance—a point closely related to the important issue of teleological explanation of human behavior. Manning supports a kind of "thoughtful teleology," making a convincing case for the causal efficacy of mental content.On the whole the authors in this volume restrict their discussion of secondary literature to the works of fellow Anglophones. One finds occasional mention of Gueroult, but the Continental literature on Spinoza is mostly ignored. There are two notable exceptions to this rule. Steven Barbone ("What Counts as an Individual for Spinoza?") discusses the thorny issue of modal individuation in Spinoza's system, arguing against Matheron's 1969 claim that for Spinoza the state is an individual. Emphasizing the centrality of power, Barbone draws important (liberal) political conclusions from his analysis of individuation. Mark Kulstad ("Leibniz, Spinoza and Tschirnhaus: Metaphysics à Trois, 1675-1676") fruitfully uses recent Continental work on... (shrink)

We are grateful for Roy T. Cook's attention to our work in his recent review of our book If A, Then B: How the World Discovered Logic. But Professor Cook leaves two misimpressions that we should like to correct. First, we have never maintained (as he phrases it) that "one's premises must be more certain than the conclusions that follow from them, ignoring the obvious logical fact that, if B logically follows from A, then B is provably at (...) least as probable as A." Instead, we assert that one must be *initially* more certain of one's premises than the conclusions that follow from them; otherwise, we contend, no argument that relies on those premises to prove such a conclusion can be rationally persuasive. On this view, one might still be equally certain of both the premises and the conclusion after being persuaded by the argument, especially in cases where the premises entail the conclusion. By analogy, Aristotle asserts in the Posterior Analytics that the premises of demonstration must be "better known" than the conclusion—meaning, in part, that the premises must be initially more convincing. But this hardly shows that Aristotle thinks that, if A is invoked to demonstrate B, then A and B can never be regarded as equally probable…. (shrink)

The Kitchen Chronicles is a moving and surprisingly humorous memoir by the cook to one of the th Centurys great figures, Indian-born philosopher J. Krishnamurti. In a modern quest for truth the author chronicles the daily life in Krishnamurtis kitchen and at his table. This insightful, fast-paced memoir reveals the private life of Krishnamurti, his splendid sense of humor, his affectionate friendships, and probing intelligence. Photographs place Krishnamurti in his California home with friends and associates.

One of the main reasons for providing formal semantics for languages is that the mathematical precision afforded by such semantics allows us to study and manipulate the formalization much more easily than if we were to study the relevant natural languages directly. Michael Tye and R. M. Sainsbury have argued that traditional set-theoretic semantics for vague languages are all but useless, however, since this mathematical precision eliminates the very phenomenon (vagueness) that we are trying to capture. Here we meet (...) this objection by viewing formalization as a process of building models, not providing descriptions. When we are constructing models, as opposed to accurate descriptions, we often include in the model extra ‘machinery’ of some sort in order to facilitate our manipulation of the model. In other words, while some parts of a model accurately represent actual aspects of the phenomenon being modelled, other parts might be merely artefacts of the particular model. With this distinction in place, the criticisms of Sainsbury and Tye are easily dealt with—the precision of the semantics is artefactual and does not represent any real precision in vague discourse. Although this solution to this problem is independent of any particular semantics a detailed account of how we would distinguish between representor and artefact within Dorothy Edgington's degree-theoretic semantics is presented. (shrink)

Christoph Meiners (1747—1810) was one of 18th-century Europe's most important readers of global travel literature, and he has been credited as a founder of the disciplines of ethnology and anthropology. This article examines a part of his final work, Untersuchungen über die Verschiedenheiten der Menschennaturen [Inquiries on the differences of human natures], published posthumously in the 1810s. Here Meiners developed an elaborate argument, based on empirical evidence, that the different races of men emerged indigenously at different times and in different (...) places in natural history. Specifically this article shows how a sedentary scholar who never left Europe constructed a narrative of human origins and migrations on the basis of (1) French theory from the 1750s (Charles de Brosses and Simon Pelloutier) and (2) data gathered by explorers as reported in travel literature (J. R. Forster, Pérouse, Cook, Marsden). (shrink)

After the opening address by Dr. J. W. Cook, chairman of the meeting, who welcomed the participants and outlined the programme of speakers, Professor Michael Polanyi of Manchester University, chairman of the Committee on Science and Freedom, spoke on the background and activities of the Committee and showed how the apartheid issue fitted into the series of 'campaigns' which the Committee has fought on behalf of academic freedom.

In order to investigate whether addressees can make immediate use of speaker‐based constraints during reference resolution, participant addressees' eye movements were monitored as they helped a confederate cook follow a recipe. Objects were located in the helper's area, which the cook could not reach, and the cook's area, which both could reach. Critical referring expressions matched one object (helper's area) or two objects (helper's and cook's areas), and were produced when the cook's hands were empty (...) or full, which defined the cook's reaching ability constraints. Helper's first and total fixations showed that they restricted their domain of interpretation to their own objects when the cook's hands were empty, and widened it to include the cook's objects only when the cook's hands were full. These results demonstrate that addressees can quickly take into account task‐relevant constraints to restrict their referential domain to referents that are plausible given the speaker's goals and constraints. (shrink)