In their simplest form, hybrid languages are propositional modal languages which can refer to states. They were introduced by Arthur Prior, the inventor of tense logic, and played an important role in his work: because they make reference to specific times possible, they remove the most serious obstacle to developing modal approaches to temporal representation and reasoning. However very little is known about the computational complexity of hybrid temporal logics.In this paper we analyze the complexity of the satisfiability problem of (...) a number of hybrid temporal logics: the basic hybrid language over transitive trees; nominal Until logic; and referential interval logic. We discuss the effects of including nominals, the @ operator, the somewhere modality E, and the difference operator D. Adding nominals to tense logic leads for several frame-classes to an increase in complexity of the satisfiability problem from PSPACE to EXPTIME. On transitive trees, however, the satisfiability problem for this language can be decided in PSPACE. Along the way we make a detour through hybrid propositional dynamic logic: we establish upper bounds for a number of temporal logics by generalizing results due to Passy and Tinchev [29] and De Giacomo [16]. We conclude with some remarks on the relevance of our results to description logic, and draw attention to the utility of the spypoint technique for proving upper and lower bounds. (shrink)

Increasing ethical attention and debate is focusing on whether individuals who take part in clinical trials should be given access to post-trial care. However, the main focus of this debate has been upon drug trials undertaken in low-income settings. To broaden this debate, we report findings from interviews with individuals (n = 24) who participated in a clinical trial of a closed-loop system, which is a medical device under development for people with type 1 diabetes that automatically adjusts blood glucose (...) to help keep it within clinically recommended ranges. Individuals were recruited from UK sites and interviewed following trial close-out, at which point the closed-loop had been withdrawn. While individuals were stoical and accepting of the requirement to return the closed-loop, they also conveyed varying degrees of distress. Many described having relaxed diabetes management practices while using the closed-loop and having become deskilled as a consequence, which made reverting back to pre-trial regimens challenging. Participants also described unanticipated consequences arising from using a closed-loop. As well as deskilling, these included experiencing psychological and emotional benefits that could not be sustained after the closed-loop had been withdrawn and participants reevaluating their pre- and post-trial life in light of having used a closed-loop and now perceiving this life much more negatively. Participants also voiced frustrations about experiencing better blood glucose control using a closed-loop and then having to revert to using what they now saw as antiquated and imprecise self-management tools. We use these findings to argue that ethical debates about post-trial provisioning need to be broadened to consider potential psychological and emotional harms, and not just clinical harms, that may result from withdrawal of investigated treatments. We also suggest that individuals may benefit from information about potential nonclinical harms to help make informed decisions about trial participation. (shrink)

Although Broad published many books in his lifetime, this volume is unique in presenting some of his most interesting unpublished writings. Divided into five clear sections, the following figures and topics are covered: Autobiography, Hegel and the nature of philosophy, Francis Bacon, Hume's philosophy of the self and belief, F. H. Bradley, The historical development of scientific thought from Pythagoras to Newton, Causation, Change and continuity, Quantitative methods, Poltergeists, Paranormal phenomena. -/- Each section is introduced and placed in context by (...) the editor, Joel Walmsley. The volume also includes an engaging and informative foreword by Simon Blackburn. It will be of great value to those studying and researching the history of twentieth-century philosophy, metaphysics, and the recent history and philosophy of science, as well as anyone interested in Broad's philosophical thought and his place in the history of philosophy. (shrink)

Despite a large and multifaceted effort to understand the vast landscape of phenotypic data, their current form inhibits productive data analysis. The lack of a community-wide, consensus-based, human- and machine-interpretable language for describing phenotypes and their genomic and environmental contexts is perhaps the most pressing scientific bottleneck to integration across many key fields in biology, including genomics, systems biology, development, medicine, evolution, ecology, and systematics. Here we survey the current phenomics landscape, including data resources and handling, and the progress that (...) has been made to accurately capture relevant data descriptions for phenotypes. We present an example of the kind of integration across domains that computable phenotypes would enable, and we call upon the broader biology community, publishers, and relevant funding agencies to support efforts to surmount today's data barriers and facilitate analytical reproducibility. (shrink)

It has long been recognized that cancer onset and progression represent a type of reversion to an ancestral quasi‐unicellular phenotype. This general concept has been refined into the atavistic model of cancer that attempts to provide a quantitative analysis and testable predictions based on genomic data. Over the past decade, support for the multicellular‐to‐unicellular reversion predicted by the atavism model has come from phylostratigraphy. Here, we propose that cancer onset and progression involve more than a one‐off multicellular‐to‐unicellular reversion, and are (...) better described as a series of reversionary transitions. We make new predictions based on the chronology of the unicellular‐eukaryote‐to‐multicellular‐eukaryote transition. We also make new predictions based on three other evolutionary transitions that occurred in our lineage: eukaryogenesis, oxidative phosphorylation and the transition to adaptive immunity. We propose several modifications to current phylostratigraphy to improve age resolution to test these predictions. Also see the video abstract here: https://youtu.be/3unEu5JYJrQ. (shrink)

This article describes the spiritual formation training program for counseling students at Richmont Graduate University, an evangelical institution providing Master’s-level instruction for counselors and ministers. This model of spiritual formation has a dual foundation which includes the centrality of love to the Christian life and the importance of attachment to the development of persons. The training is intentionally designed to invite students to pursue a more secure attachment to God, healthier relationships with others, and a more grace-based self-awareness. Integrative and (...) clinical instruction, and experiences that foster establishment of secure attachment are described. Co-curricular efforts in research and student advisement focus on grace and wellness, as well as opportunities for service, and these serve to further contribute to a supportive environment for spiritual formation. (shrink)

Simon Blackburn. 1985. Garrett, Don. Cognition and Commitment in Hume's Philosophy. Oxford: Oxford University Press, 1997. Gaskin, J.C. A. Hume's Philosophy of Religion, 2nd ed. Basingstoke: Macmillan, 1988. Holden, T.The Architecture ...

Lewis has argued that quasi-realism is fictionalism. Blackburn denies this, offering reasons which rely on a descriptive reading of quasi-realism. This note offers a different, more general argument against Lewis's claim, available to prescriptive as well as descriptive quasi-realists.

I argue that mind-independence realism should be characterised in terms of what I call 'essential', rather than 'modal', independence from our mental lives. I explore the connections between the two kinds of independence, and argue that characterizations in terms of essence respect more intuitions about what realism is, harmonize better with standard characterizations of anti-realism, and avert the threat of subversion from Blackburn's quasi-realist.

Are the relations between the property of a thing and its related disposition to react in certain ways, and between the triggering of that disposition and the consequent effect, necessary? Harré and Madden, in their analysis of causal powers, said they are, but their arguments are not persuasive. Humeans like Simon Blackburn deny it. I criticize the Humean position, and argue afresh for their necessity. I note that David Lewis' analysis of causation requires their necessity, though as a confessed (...) Humean he has not admitted this. (shrink)

We can describe certain actions as defective in a particular virtue, for example, as “unjust” or “intemperate.” We can take the additional step of describing such actions as “morally wrong” or “contrary to moral obligation.” A key claim of Elizabeth Anscombe's “Modern Moral Philosophy” is that if we choose to describe virtue-defective actions as “morally wrong,” because we are “obliged” or “bound” or “required” not to do them, we are in fact taking an additional step and that this step stands (...) in need of explanation. Just what, if anything, is added to the description of an action as “unjust” when we say there is an obligation not to do it? Anscombe thinks “the answer is in history: between Aristotle and us came Christianity, with its law conception of ethics.” 1 In this paper, I shall confront this question in two parts. First, I will consider the possibility, argued for by Simon Blackburn, that Anscombe's historical explanation cannot answer this question because her history is based on the false premise that the Greeks do not possess the “moral ought.” Describing an action as contrary to obligation may still add something to “unjust,” but historical genealogy of Anscombe's sort will not shed any light on the question. Since I think that Blackburn's arguments, although important, are not conclusive, I will proceed to consider the implications of Anscombe's own view of what talk about obligation adds to descriptions of actions as defective in virtue. This will require elaboration of her cryptic Wittgensteinian remark that “it really does add something to the description ‘unjust’ to say there is an obligation not to do it; for what obliges is the divine law—as rules oblige in a game.” 2. (shrink)

This volume contains twelve essays by friends, colleagues, and former students of Philippa Foot: Anscombe, Blackburn, Hursthouse, Kenny, Lawrence, McDowell, Quinn, Sachs, Scanlon, Michael Thompson, Wiggins, and Williams. The essays concern issues relevant to or raised by Foot's work in moral philosophy, only sometimes specifically addressing her views. Unfortunately, there is no contribution by Foot herself, either in the form of replies or a new paper. This certainly lessens the interest of the volume. Perhaps Foot was driven by modesty (...) in not wanting the focus to be on her comments, or by the need to conserve her time for larger ongoing projects. Whatever the explanation, readers would have benefited from the chance to hear her latest thinking on the issues raised in some of these papers (especially those by Blackburn and McDowell). (shrink)

Collections of essays and conference papers are always liable to two defects. One is that the essays are not all of the same quality. The other is that the collection is ad hoc with no structural unity or organized purpose. The present collection—arising from the 1997 Claremont conference on the philosophy of religion—almost unavoidably exemplifies the first defect. I myself would pick out the contributions of Simon Blackburn, D. Z. Phillips R. W. Beardsmore, Jane McIntyre, Antony Flew, and Peter (...) Jones as the most interesting. Many of the others are well worth the attention of Hume scholars, but two or three are turgid, over-annotated examples of argument by authority of the sort “Wittgenstein tells us...” compounded with emotive appeals to what is alleged to be Hume’s insufferable moral narrowness. But as I say, the uneven quality of contributions is a standard hazard of conference collections. The second hazard—lack of structure—is much less in evidence. There is a real coherence of subject and purpose in the eighteen sections that make up this book, and an effort has been made to relate the articles to each other. An odd omission is, however, the absence of any standard system of reference to agreed editions of Hume’s works. It happens, for example, that most contributors refer to the Selby-Bigge edition of the Enquiries, but this is an accident of common usage not a virtue of editorial policy. There is a general index. (shrink)

This modern, advanced textbook reviews modal logic, a field which caught the attention of computer scientists in the late 1970's.

This bestselling dictionary is written by one of the leading philosophers of our time, and it is widely recognized as the best dictionary of its kind. Comprehensive and authoritative, it covers every aspect of philosophy from Aristotle to Zen. With clear and concise definitions, it provides lively and accessible coverage of not only Western philosophical traditions, but also themes from Chinese, Indian, Islamic, and Jewish philosophy. New entries on philosophy of economics, social theory, neuroscience, philosophy of the mind, and moral (...) conceptions, bring this authoritative third edition up to date. It is the ideal introduction to philosophy for anyone with an interest in the subject, and it is an indispensable work of reference for students and teachers. (shrink)

Expressivism is the view that the function of normative sentences is not to represent a kind of fact, but to avow attitudes, prescribe behavior, or the like. The idea can be found in David Hume. In the 20th century, G.E. Moore’s Open Question Argument provided important support for the view. Elizabeth Anscombe introduced the notion of “direction of fit,” which helped distinguish expressivism from a kind of naive subjectivism. The central advantage of expressivism is that it easily explains the motivational (...) force of moral conviction. Its chief problem is it has difficulty explaining the “realist surface” of moralizing. Quasi-realism is a strategy for explaining the realist surface without abandoning the underlying ideas of expressivism. It aims to explain moral error as well as deal with the so-called Frege-Geach problem. This chapter explains quasi-realism, and evaluates it by comparison with its chief rivals: Aristotelian approaches, Kantian approaches, realist moral naturalism, and fictionalism. (shrink)

Here at last is a coherent, unintimidating introduction to the challenging and fascinating landscape of Western philosophy. Written expressly for "anyone who believes there are big questions out there, but does not know how to approach them," Think provides a sound framework for exploring the most basic themes of philosophy, and for understanding how major philosophers have tackled the questions that have pressed themselves most forcefully on human consciousness. Simon Blackburn, author of the best-selling Oxford Dictionary of Philosophy, begins (...) by making a convincing case for the relevance of philosophy and goes on to give the reader a sense of how the great historical figures such as Plato, Hume, Kant, Descartes, and others have approached its central themes. In a lively and accessible style, Blackburn approaches the nature of human reflection and how we think, or can think, about knowledge, fate, ethics, identity, God, reason, and truth. Each chapter explains a major issue, and gives the reader a self-contained guide through the problems that the philosophers have studied. Because the text approaches these issues from the gound up, the untrained reader will emerge from its pages able to explore other philosophies with greater pleasure and understanding and be able to think--philosophically--for him or herself. Philosophy is often dismissed as a purely academic discipline with no relation to the "real" world non-philosophers are compelled to inhabit. Think dispels this myth and offers a springboard for all those who want to learn how the basic techniques of thinking shape virtually every aspect of our existence. (shrink)

In this clear introduction to ethics Simon Blackburn tackles the major moral questions surrounding birth, death, happiness, desire and freedom, showing us how ...

Provides a comprehensive introduction to the major philosophical theories attempting to explain the workings of language.

This volume collects some influential essays in which Simon Blackburn, one of our leading philosophers, explores one of the most profound and fertile of philosophical problems: the way in which our judgments relate to the world. This debate has centered on realism, or the view that what we say is validated by the way things stand in the world, and a variety of oppositions to it. Prominent among the latter are expressive and projective theories, but also a relaxed pluralism (...) that discourages the view that there are substantial issues at stake. The figure of the "quasi-realist" dramatizes the difficulty of conducting these debates. Typically philosophers thinking of themselves as realists will believe that they alone can give a proper or literal account of some of our attachments--to truth, to facts, to the independent world, to knowledge and certainty. The quasi-realist challenge, developed by Blackburn in this volume, is that we can have those attachments without any metaphysic that deserves to be called realism, so that the metaphysical picture that goes with our practices is quite idle. The cases treated here include the theories of value and knowledge, modality, probability, causation, intentionality and rule-following, and explanation. A substantial new introduction has been added, drawing together some of the central themes. The essays articulate a fresh alternative to a primitive realist/anti-realist opposition, and their cumulative effect is to yield a new appreciation of the delicacy of the debate in these central areas. (shrink)

In this note we show that the classical modal technology of Sahlqvist formulas gives quick proofs of the completeness theorems in [8] (D. Gregory, Completeness and decidability results for some propositional modal logics containing “actually” operators, Journal of Philosophical Logic 30(1): 57–78, 2001) and vastly generalizes them. Moreover, as a corollary, interpolation theorems for the logics considered in [8] are obtained. We then compare Gregory's modal language enriched with an “actually” operator with the work of Arthur Prior now known under (...) the name of hybrid logic. This analysis relates the “actually” axioms to standard hybrid axioms, yields the decidability results in [8], and provides a number of complexity results. Finally, we use a bisimulation argument to show that the hybrid language is strictly more expressive than Gregory's language. (shrink)

This modern, advanced textbook reviews modal logic, a field which caught the attention of computer scientists in the late 1970's.

A modal logic is developed to deal with finite ordered binary trees a they are used in linguistics. A modal language is introduced with operators for the ‘mother of’, ‘first daughter of’ and ‘second daughter of’ relations together with their transitive reflexive closures. The relevant class of tree models is defined and three linguistic applications of this language are discussed: context free grammars, command relations, and trees decorated with feature structures. An axiomatic proof system is given for which completeness is (...) shown with respect to the class of finite ordered binary trees. A number of decidability results follow. (shrink)

Pragmatists have traditionally been enemies of representationalism but friends of naturalism, when naturalism is understood to pertain to human subjects, in the sense of Hume and Nietzsche. In this volume Huw Price presents his distinctive version of this traditional combination, as delivered in his René Descartes Lectures at Tilburg University in 2008. Price contrasts his view with other contemporary forms of philosophical naturalism, comparing it with other pragmatist and neo-pragmatist views such as those of Robert Brandom and Simon Blackburn. (...) Linking their different 'expressivist' programmes, Price argues for a radical global expressivism that combines key elements from both. With Paul Horwich and Michael Williams, Brandom and Blackburn respond to Price in new essays. Price replies in the closing essay, emphasising links between his views and those of Wilfrid Sellars. The volume will be of great interest to advanced students of philosophy of language and metaphysics. (shrink)

Maynard Adams (1919¿2003) was a profound philosopher and civic humanist at the University of North Carolina, Chapel Hill.

Ruling Passions is about human nature. It is an invitation to see human nature a certain way. It defends this way of looking at ourselves against competitors, including rational choice theory, modern Kantianism, various applications of evolutionary psychology, views that enchant our natures, and those that disenchant them in the direction of relativism or nihilism. It is a story centred upon a view of human ethical nature, which it places amongst other facets of human nature, as just one of the (...) elements which give us the manifold objects of our concerns and cares. (shrink)

The idea of combining logics, structures, and theories has recently been attracting interest in areas as diverse as constraint logic programming, theorem proving, verification, computational linguistics, artificial intelligence and indeed, various branches of logic itself. It would be an exaggeration to claim that these (scattered, and by-and-large independent) investigations have crystallized into an enterprise meriting the title "combined methods"; nonetheless, a number of interesting themes are emerging. This introduction notes some prominent ones and relates them to the papers in this (...) special issue. (shrink)