Introduction This book attempts to answer big questions about the meaning and purpose of life, as well as fate, free will and reincarnation, and all sorts ...

Neurosurgeon Sergio Canavero proposed the HEAVEN procedure – i.e. head anastomosis venture – several years ago, and has recently received approval from the relevant regulatory bodies to perform this body-head transplant in China. The BHT procedure involves attaching the donor body to the head of the recipient, and discarding the body of R and head of D. Canavero’s proposed procedure will be incredibly difficult from a medical standpoint. Aside from medical doubt, the BHT has been met with great resistance from (...) many, if not most bio- and neuroethicists.Given both the known challenges and unknown outcomes of HEAVEN, several important neuroethical and legal questions have emerged should Canavero be successful, including: What are the implications for transplantology in the U.S., inclusive of issues of expense, distributive justice, organizational procedures, and the cost of novel insight? How do bioethical and neuroethical principles, and legal regulations of human subject research apply? What are the legal consequences for Canavero performing a BHT? What are the tentative implications for the metaphysical and legal identity of R should they survive post-BHT? These questions are analyzed, issues are identified, and several solutions are proposed in an attempt to re-configure HEAVEN into a safe, clinically effective, and thus realistically viable procedure.Notably, the permissibility of conducting the BHT in China fosters additional, important questions, focal to whether Western ethics and professional norms be used to guide the BHT – or any neuroscientific research and its use - in non-Western countries, such as China; if the models of responsible conduct of research are identical, similar, or applicable to the intent and conduct of research in China; and what economic and political implications are fostered if/when such avant garde techniques are successful.These questions are discussed as a further impetus to develop a globally applicable neuroethical framework that would enable both local articulation and cosmopolitan inquiry and oversight of those methods and approaches deemed problematic, if and when rendered in more international settings. (shrink)

The usual treatment of a dinner table utterance of ‘Can you pass the salt?’ is that it involves an indirect request to pass the salt as well as a direct question about the hearer’s ability to do so: an indirect speech act. These are held to involve two illocutionary forces and two illocutionary acts. Rod Bertolet has raised doubts about whether consideration of such examples warrants the postulation of indirect speech acts and illocutionary forces other than the literal ones. In (...) a recent article, Mary Kate McGowan, Shan Shan Tam, and Margaret Hall claim to show that these doubts are unfounded. The purpose of this paper is to show that they have not established this. (shrink)

This paper discusses the possible use of functional magnetic-resonance imaging as potentially useful in jury selection. The author suggests that neuro-voir could provide greater impartiality of trials than the standard voir, while also preserving existing privacy protections for jurors. He predicts that ability to image and understand a wide range of brain activities, most notably bias-apprehension and lie detection, will render neuro-voir dire invaluable. However currently, such neuro-solutions remain preliminary.

The first edition, published by Acumen in 2000, became a prescribed textbook on modal logic courses. The second edition has been fully revised in response to readers' suggestions, including two new chapters on conditional logic, which was not covered in the first edition. "Modal Logics and Philosophy" is a fully comprehensive introduction to modal logics and their application suitable for course use. Unlike most modal logic textbooks, which are both forbidding mathematically and short on philosophical discussion, "Modal Logics and Philosophy" (...) places its emphasis firmly on showing how useful modal logic can be as a tool for formal philosophical analysis. In part 1 of the book, the reader is introduced to some standard systems of modal logic and encouraged through a series of exercises to become proficient in manipulating these logics. The emphasis is on possible world semantics for modal logics and the semantic emphasis is carried into the formal method, Jeffrey-style truth-trees. Standard truth-trees are extended in a simple and transparent way to take possible worlds into account. Part 2 systematically explores the applications of modal logic to philosophical issues such as truth, time, processes, knowledge and belief, obligation and permission. (shrink)

This paper contests Lynne Rudder Baker's claim to have shown that eliminative materialism is bound to fail on purely conceptual grounds. It is argued that Baker's position depends on knowing that certain developments in science cannot occur, and that we cannot know that this is so. Consequently, the sort of argument Baker provides is question-begging. For similar reasons, the confidence that the proponents of eliminative materialism have in it is misplaced.

Robert I. Soare, Automorphisms of the Lattice of Recursively Enumerable Sets. Part I: Maximal Sets.Manuel Lerman, Robert I. Soare, $d$-Simple Sets, Small Sets, and Degree Classes.Peter Cholak, Automorphisms of the Lattice of Recursively Enumerable Sets.Leo Harrington, Robert I. Soare, The $\Delta^0_3$-Automorphism Method and Noninvariant Classes of Degrees.

Philosophical arguments stemming from the public health ethics arena suggest that public health interventions ought to be subject to normative inquiry that considers relational values, including concepts such as solidarity, reciprocity and health equity. As yet, however, the extent to which ‘public’ values influence the ‘autonomous’ decisions of the public remains largely unexplored. Drawing on interviews with 50 men in Vancouver, Canada, this study employs a critical discourse analysis to examine participants’ decisions and motivations to voluntarily access HIV testing and/or (...) to accept a routine HIV test offer. Within a sub-set of interviews, a transactional discourse emerged in which the decision to test features an arrangement of ‘giving and receiving’. Discourses related to notions of solidarity emphasize considerations of justice and positions testing as a ‘public’ act. Lastly, ‘individualistic’ discourses focused on individual-level considerations, with less concern for the broader public ‘good’. These findings underscore how normative dimensions pertaining to men’s decisions to test are dialectically interrelated with the broader social and structural influences on individual and collective health-related behaviour, thereby suggesting a need to advance an explicit empirical-normative research agenda related to population and public health intervention research. (shrink)

Generalized Darwinism (GD) claims to be a conceptual and theoretical framework for researching evolutionary change processes in organizations. This paper examines the claims of GD. It finds that in contrast to Darwin’s theory of evolution by natural selection proper, the GD framework is not an explanatory deductive argument form. What it is that GD actually generalizes and intends to explain thereby becomes somewhat moot. It is proposed that the so-called ‘generalization’ that the GD framework supplies might be best understood schematically. (...) Two general schemata that purport to distil commonalities between processes of organizational evolution and biological evolution are thereby identified. But in considering the applicability of the two schemata to organizational evolution, criticism reveals one to be problematic, whereas the other one, to which the GD programme collapses if the problematical schema is dispensed with, has been long associated with another so-called ‘evolutionary approach’ to the understanding of social change: Sir Karl Popper’s ‘evolutionary epistemology’. The paper concludes that if the research problem is to account for the evolutionary character of social and organizational change, then theorists need not commit to the GD framework. They may elect to use Popper’s evolutionary epistemology instead. (shrink)

First Published in 2003. Routledge is an imprint of Taylor & Francis, an informa company.

A splitting of an r.e. set A is a pair A1, A2 of disjoint r.e. sets such that A1 A2 = A. Theorems about splittings have played an important role in recursion theory. One of the main reasons for this is that a splitting of A is a decomposition of A in both the lattice, , of recursively enumerable sets and in the uppersemilattice, R, of recursively enumerable degrees . Thus splitting theor ems have been used to obtain results about (...) the structure of , the structure of R, and the relationship between the two structures. Furthermore it is fair to say that questions about splittings have often generated important new technical developments in recursion theory. In this article we survey most of the results and techniques associated with splitting properties of r.e. sets in ordinary recursion theory. (shrink)

Ever since Saul Kripke and others developed a semantic interpretation for modal logic, 'possible worlds' has been a much debated issue in contemporary metaphysics. To propose the idea of a possible world that differs in some way from our actual world - for example a world where the grass is red or where no people exist - can help us to analyse and understand a wide range of philosophical concepts, such as counterfactuals, properties, modality, and of course, the notions of (...) possibility and necessity. This book examines the ways in which possible worlds have been used as a framework for considering problems in logic and argument analysis. The book begins with a non-technical introduction to the basic ideas of modal logic in terms of Kripke's possible worlds and then moves on to a discussion of 'possible for' and 'possible that'. The central chapters examine questions of meaning, epistemic possibility, temporal logic, metaphysics, and impossibility. Girle also investigates how the idea of a possible world can be put to use in different areas of philosophy, the problems it may raise, and the benefits that can be gained. (shrink)

Construed broadly as interpretation theory, hermeneutics could be understood to encompass all modes of interpretation (textual or otherwise), including any kind of literary criticism, from Aristotle's poetics to the New Criticism of the 1950s, as well as the French tradition of structuralism and even perhaps Derridean poststructural thought. Although Gadamer and Ricoeur both recognize the poetic work or, at least, lyric poetry, as belonging to a special class of literature, they do display somewhat different attitudes toward it. For Gadamer, one (...) of the hallmarks of the eminent text is its un‐translatability. That is, all literary works resist translation to one degree or another, but lyric poetry defies it altogether. In Part I of Truth and Method, Gadamer lays out the history of aesthetics and takes issue with the kind of “aesthetic consciousness” that takes the work of art as an object of study. (shrink)

Contrary to conventional wisdom, the earlier Western tradition did not customarily deny souls per se to nonhuman animals; when it denied immortal souls to animals, it sometimes deemed that denial a reason for giving greater consideration to animals in their earthly existence. Nor has the Western tradition uniformly deemed animals intended for human use. Further, there was considerable opposition to the Cartesian view of animals as insentient machines, and—even among those who were convinced—it was not unknown for them to deem (...) it inappropriate to rely on that conviction in the treatment of animals. Moreover, Darwin's theory of evolution had neither a novel nor a positive impact on the way in which animals were to be regarded and treated. The study of the history of animal ethics needs to be rethought in a far more nuanced manner. (shrink)

We report on some recent work centered on attempts to understand when one set is more random than another. We look at various methods of calibration by initial segment complexity, such as those introduced by Solovay [125], Downey, Hirschfeldt, and Nies [39], Downey, Hirschfeldt, and LaForte [36], and Downey [31]; as well as other methods such as lowness notions of Kučera and Terwijn [71], Terwijn and Zambella [133], Nies [101, 100], and Downey, Griffiths, and Reid [34]; higher level randomness notions (...) going back to the work of Kurtz [73], Kautz [61], and Solovay [125]; and other calibrations of randomness based on definitions along the lines of Schnorr [117].These notions have complex interrelationships, and connections to classical notions from computability theory such as relative computability and enumerability. Computability figures in obvious ways in definitions of effective randomness, but there are also applications of notions related to randomness in computability theory. For instance, an exciting by-product of the program we describe is a more-or-less naturalrequirement-freesolution to Post's Problem, much along the lines of the Dekker deficiency set. (shrink)

In their book, Darwinism Evolving: Systems Dynamics and the Genealogy of Natural Selection, Depew and Weber argued for the need to address the relationship between self-organization and natural selection in evolutionary theory, and focused on seven “visions” for doing so. Recently, Batten et al. in a paper in this journal, entitled “Visions of evolution: self-organization proposes what natural selection disposes,” picked up the issue with the work of Depew and Weber as a starting point. While the efforts of both sets (...) of authors are to be commended, there are substantive errors in both the presentations of my work and of my work with colleagues that undermine theirs. My purpose here is to correct the errors in question, thereby removing the undermining effects and in so doing reassert the position my colleagues and I first advanced more than two decades ago, and that I still stand by and argue for today. The central points are as follows: Self-organization or spontaneous ordering is a process of selection; this selection process is governed by a “physical selection principle”; this principle is the law of maximum entropy production; and natural selection is a special case where the components are replicating. (shrink)

Traces the development of recursive functions from their origins in the late nineteenth century to the mid-1930s, with particular emphasis on the work and influence of Kurt Gödel.

G h merrill's recent attempt to sort out various versions of scientific realism and to impugn well-Known anti-Realist arguments turns crucially on carnap's distinction between internal and external statements of existence. Focusing on carnap's distinction, And the notion of a framework which underlies it, I attempt to show that carnap's work is far too unclear and unpersuasive to underwrite this effort.

Hysteresis means literally “that which comes later,” being derived from the Greek verb ύστερέω. Thus, hysteresis effects, generally defined, are those that persist after the initial causes giving rise to the effects are removed. During the course of the 1980s, it became increasingly fashionable to invoke hysteresis effects to explain economic phenomena. Two of the main areas of application were to unemployment and international trade. In the case of unemployment, distinctive features of labor markets, such as social norms that rule (...) out wage-cutting in the face of rising unemployment, imply that “increases in unemployment have a direct impact on the ‘natural’ rate of unemployment”. The implication for macroeconomic systems is that “temporary shocks can have a permanent effect on the level of employment”. In the case of international trade, hysteresis effects arise from the industrial economics of sunk costs: “the argument is that firms must incur sunk costs to enter new markets, and cannot recoup these costs if they exit.… thus foreign firms that entered the U.S. market when the dollar was high do not abandon their sunk cost investments when the dollar falls.” The implication for trade flows is “an effect which persists after the cause that brought it about has been removed”. (shrink)

We investigate the index sets associated with the degree structures of computable sets under the parameterized reducibilities introduced by the authors. We solve a question of Peter Cholakand the first author by proving the fundamental index sets associated with a computable set A, {e : W e ≤ q u A} for q∈ {m, T} are Σ4 0 complete. We also show hat FPT(≤ q n ), that is {e : W e computable and ≡ q n ?}, is Σ4 (...) 0 complete. We also look at computable presentability of these classes. (shrink)

In this commentary on Stokoe’s article, ‘Moving forward with membership categorization analysis’, I take up the challenge to apply her keys for MCA to an extract of conversation recorded in a restaurant. The strengths of conversation analysis have not included – and indeed have not attempted to achieve – successful engagement with beyond-the-immediate-talk aspects of culture and the commonsense workings of society. The aim of the article is to explore what MCA might add to an analysis of a stretch of (...) talk using conversation analytic tools. It was found that a systematic application of the keys did indeed provide a richer account of what was going on. Whereas categories alone did not appear to provide more insights than commonsense can tell us, when the broader array of MCA tools and keys were applied, an enhanced analysis of the passage of talk emerged. An exploration of whether this can be extended as a method for a rigorous investigation of culture and society while still being grounded in participants’ mutual, moment-by-moment orientations to categories seems at the very least worth the serious attention of scholars interested in interaction. (shrink)

This work is an introduction to logic, covering what is most commonly taught in the first term of a two-term sequence in logic at four-year colleges and universities. It is designed for use by community college students who plan to transfer credits to four-year institutions. The material covered seeks to maintain logic's place in philosophical thought systems, and avoids political examples in order to appeal to reason and study rather than ill-conceived jokes that often offend students' varying policitcal beliefs. This (...) work concludes with studies in proof constructions and rules and provides explanations of various grading decisions commonly made in logic courses, a unique feature helpful to students and teachers alike. (shrink)

Moral expertise in the Laches -- The Laches -- Socratic ignorance and socratic wisdom -- Vituperation -- Virtue and craft -- Expertise in the Charmides -- Ironies -- The definitions -- Quietness -- Modesty -- Doing or making one's own -- Doing, not making, one's own -- Doing good things -- Knowing oneself -- Knowledge of itself and all other knowledges -- Good, evil, and temperance -- Expertise in republic -- Preliminaries -- Republic viii -- The text -- Mathematical indeterminacy (...) -- Metaphysical necessity -- Justice "writ large" -- The most formidable question -- Preliminaries -- The context of the argument -- The most formidable argument itself -- The image -- Not knowing the things we know -- Attending to words -- Larger issues -- The third man argument. (shrink)

While there is a considerable body of research on law student identity construction based on interviews and transcripts of classroom talk, there is very little work based on student written texts. In this article two letters of advice written by beginning law students are analysed, using Ivanic and Camps’s framework, as an example of identity formation. Legal identity is argued to be formed by students’ attempts to accommodate a dynamic, partial, practitioner role of provider of advice to the traditional analytic (...) focus of the law student. The process of accommodation is evident in the language of the letters, which show disfluencies resulting from attempts to combine different roles into a coherent legal identity. Comparison with a professionally written letter suggests that, rather than seeking to shape a coherent position, lawyers are able simultaneously to hold incompatible perspectives, concealing the tensions by foregrounding some perspectives and backgrounding others. (shrink)

We describe punctual categoricity in several natural classes, including binary relational structures and mono-unary functional structures. We prove that every punctually categorical structure in a finite unary language is${\text {PA}}(0')$-categorical, and we show that this upper bound is tight. We also construct an example of a punctually categorical structure whose degree of categoricity is$0''$. We also prove that, with a bit of work, the latter result can be pushed beyond$\Delta ^1_1$, thus showing that punctually categorical structures can possess arbitrarily complex (...) automorphism orbits.As a consequence, it follows that binary relational structures and unary structures are not universal with respect to primitive recursive interpretations; equivalently, in these classes every rich enough interpretation technique must necessarily involve unbounded existential quantification or infinite disjunction. In contrast, it is well-known that both classes are universal for Turing computability. (shrink)