Elements of Mind provides a unique introduction to the main problems and debates in contemporary philosophy of mind. Author Tim Crane opposes those currently popular conceptions of the mind that divide mental phenomena into two very different kinds (the intentional and the qualitative) and proposes instead a challenging and unified theory of all the phenomena of mind. In light of this theory, Crane engages students with the central problems of the philosophy of mind--the mind-body problem, the problem of intentionality (or (...) mental representation), the problem of consciousness, and the problem of perception--and attempts to find solutions to these problems. A fresh and engaging exploration of the main issues in the philosophy of mind, Elements of Mind is easily accessible to students with no background in the subject. (shrink)

Preface ix 1 Meaning and the Means to an Understanding of Ends 2 Why Is an Eye? 21 3 Adaptationism and Engineering 39 4 On Five "-Isms" 67 5 Function, Selection, and Explanation 87 6 Deflating Function 119 7 Artifacts and Organisms 139 References 167 Index 177.

Abstract The only biologically respectable notion of human nature is an extremely permissive one that names the reliable dispositions of the human species as a whole. This conception offers no ethical guidance in debates over enhancement, and indeed it has the result that alterations to human nature have been commonplace in the history of our species. Aristotelian conceptions of species natures, which are currently fashionable in meta-ethics and applied ethics, have no basis in biological fact. Moreover, because our folk psychology (...) finds this misleading Aristotelian conception highly tempting, we are in fact better off if we refrain from mentioning human nature altogether in debates over enhancement. Content Type Journal Article Category Special Issue Pages 1-16 DOI 10.1007/s13347-012-0063-x Authors Tim Lewens, Department of History and Philosophy of Science, University of Cambridge, Free School Lane, Cambridge, CB2 3RH UK Journal Philosophy & Technology Online ISSN 2210-5441 Print ISSN 2210-5433. (shrink)

Godfrey-Smith ( 2001 ) has distinguished three types of adaptationism. This article builds on his analysis, and revises it in places, by distinguishing seven varieties of adaptationism. This taxonomy allows us to clarify what is at stake in debates over adaptationism, and it also helps to cement the importance of Gould and Lewontin’s ‘Spandrels’ essay. Some adaptationists have suggested that their essay does not offer any coherent alternative to the adaptationist programme: it consists only in an exhortation to test adaptationist (...) hypotheses more thoroughly than was usual in the 1970s. Here it is argued that the ‘Spandrels’ paper points towards a genuinely non-adaptationist methodology implicit in much evolutionary developmental biology. This conclusion helps to expose the links between older debates over adaptationism and more recent questions about the property of evolvability. (shrink)

This paper studies the relationship between labelled and nested calculi for propositional intuitionistic logic, first-order intuitionistic logic with non-constant domains and first-order intuitionistic logic with constant domains. It is shown that Fitting’s nested calculi naturally arise from their corresponding labelled calculi—for each of the aforementioned logics—via the elimination of structural rules in labelled derivations. The translational correspondence between the two types of systems is leveraged to show that the nested calculi inherit proof-theoretic properties from their associated labelled calculi, such as (...) completeness, invertibility of rules and cut admissibility. Since labelled calculi are easily obtained via a logic’s semantics, the method presented in this paper can be seen as one whereby refined versions of labelled calculi (containing nested calculi as fragments) with favourable properties are derived directly from a logic’s semantics. (shrink)

Elliott Sober and his defenders think of selection, drift, mutation, and migration as distinct evolutionary forces. This paper exposes an ambiguity in Sober's account of the force of selection: sometimes he appears to equate the force of selection with variation in fitness, sometimes with ‘selection for properties’. Sober's own account of fitness as a property analogous to life-expectancy shows how the two conceptions come apart. Cases where there is selection against variance in offspring number also show that selection and drift (...) cannot be distinguished in the way Sober hopes for. These issues have significance beyond the parochial matter of the coherence of Sober's system. There is no good principled answer to the question of which features of a population should count among the contributors to fitness. This means there is no non-arbitrary account of the nature of selection. (shrink)

This thesis introduces the "method of structural refinement", which serves as a means of transforming the relational semantics of a modal and/or constructive logic into an 'economical' proof system by connecting two proof-theoretic paradigms: labelled and nested sequent calculi. The formalism of labelled sequents has been successful in that cut-free calculi in possession of desirable proof-theoretic properties can be automatically generated for large classes of logics. Despite these qualities, labelled systems make use of a complicated syntax that explicitly incorporates the (...) semantics of the associated logic, and such systems typically violate the subformula property to a high degree. By contrast, nested sequent calculi employ a simpler syntax and adhere to a strict reading of the subformula property, making such systems useful in the design of automated reasoning algorithms. However, the downside of the nested sequent paradigm is that a general theory concerning the automated construction of such calculi (as in the labelled setting) is essentially absent, meaning that the construction of nested systems and the confirmation of their properties is usually done on a case-by-case basis. The refinement method connects both paradigms in a fruitful way, by transforming labelled systems into nested (or, refined labelled) systems with the properties of the former preserved throughout the transformation process. To demonstrate the method of refinement and some of its applications, we consider grammar logics, first-order intuitionistic logics, and deontic STIT logics. The introduced refined labelled calculi will be used to provide the first proof-search algorithms for deontic STIT logics. Furthermore, we employ our refined labelled calculi for grammar logics to show that every logic in the class possesses the effective Lyndon interpolation property. (shrink)

We provide a direct method for proving Craig interpolation for a range of modal and intuitionistic logics, including those containing a "converse" modality. We demonstrate this method for classical tense logic, its extensions with path axioms, and for bi-intuitionistic logic. These logics do not have straightforward formalisations in the traditional Gentzen-style sequent calculus, but have all been shown to have cut-free nested sequent calculi. The proof of the interpolation theorem uses these calculi and is purely syntactic, without resorting to embeddings, (...) semantic arguments, or interpreted connectives external to the underlying logical language. A novel feature of our proof includes an orthogonality condition for defining duality between interpolants. (shrink)

This work provides proof-search algorithms and automated counter-model extraction for a class of STIT logics. With this, we answer an open problem concerning syntactic decision procedures and cut-free calculi for STIT logics. A new class of cut-free complete labelled sequent calculi G3LdmL^m_n, for multi-agent STIT with at most n-many choices, is introduced. We refine the calculi G3LdmL^m_n through the use of propagation rules and demonstrate the admissibility of their structural rules, resulting in auxiliary calculi Ldm^m_nL. In the single-agent case, we (...) show that the refined calculi Ldm^m_nL derive theorems within a restricted class of (forestlike) sequents, allowing us to provide proof-search algorithms that decide single-agent STIT logics. We prove that the proof-search algorithms are correct and terminate. (shrink)

The pressure of oversight and scrutiny in the business-to-business purchasing process has the potential to cause psychological distress in purchasing professionals, giving rise to apprehensions about being ethically inappropriate. Utilizing depth interviews with public sector purchasing professionals in a phenomenological approach, the authors develop the notion of ethical purchasing dissonance to explain the psychological distress. An inductively derived conceptual framework is presented for ethical purchasing dissonance that explores its potential antecedents and consequences; illustrative propositions are presented, and managerial implications are (...) discussed. (shrink)

Supporters of political realism and republicanism as well as students of political feasibility and non-ideal theory progressively focus on the dimension of power in the political relation. Yet we lack the theoretical framework to represent these features of power. In this essay, I take a first step towards designing the necessary conceptual tools for such a framework by analyzing the relations between the concepts of power and normativity that define the political relation. Adopting a ‘methodological cynicism’, I analyse the reasons (...) that motivate cynics who are only interested in power to obey a norm against force or violence and to seek legitimacy. This allows us to characterize external or mediate relations between power and normativity (such as the relation underlying political theory’s ambition of offering normative guidance for power) and identify internal and immediate relations between power and normativity. (shrink)

Values based practice is a radical view of the place of values in medicine which develops from a philosophical analysis of values, illness and the role of ethical principles. It denies two attractive and traditional views of medicine: that diagnosis is a merely factual matter and that the values that should guide treatment and management can be codified in principles. But it goes further in the adoption of a radical liberal view: that right or good outcome should be replaced by (...) right process. I describe each of these three claims but caution against the third. (shrink)

argues that when reproduction is sexual, natural selection can explain why individual organisms possess the traits they do. In stating his argument Matthen makes use of a conception of individual organisms as receptacles for collections of genes—a conception that cannot do the work Matthen requires of it. Either these receptacles are abstract objects, such as bare possibilities for organisms, or they are concrete. The first reading is too weak, since it allows selection to explain individual traits in both sexual and (...) asexual contexts. The only concrete entities we might think of as receptacles for collections of genes are male or female gametes. It is true that in the sexual context selection explains why an individual gamete combines with a second gamete of one type rather than another; however, this is not to say that selection explains why an individual organism has the traits it does. (shrink)

What, if anything, is wrong with typological thinking? The question is important, for some evolutionary developmental biologists appear to espouse a form of typology. I isolate four allegations that have been brought against it. They include the claim that typological thinking is mystical; the claim that typological thinking is at odds with the fact of evolution; the claim that typological thinking is committed to an objectionable metaphysical view, which Elliott Sober calls the ‘natural state model’; and finally the view (endorsed (...) by Ron Amundson and Günter Wagner) that typological thinking—and specifically evolutionary developmental biology’s typological thinking—is committed to a peculiar form of causation that does not fit neatly into the causal models endorsed by population genetics. I argue that, properly understood, the typological thinking of evolutionary developmental biology does not run into any of these problems. *Received April 2008; revised August 2009. †To contact the author, please write to: Department of History and Philosophy of Science, University of Cambridge, Free School Lane, CB2 3RH Cambridge, United Kingdom; e‐mail: [email protected]. (shrink)

The four tenets of the Strong Program are compatible with a scientific realism founded on an externalist epistemology. Such an epistemology allows that appropriate norms of rationality may differ from time to time, and from community to community, and thereby enables the realist to embrace strong forms of the ‘symmetry principle’. It also suggests a fruitful collaborative research program in externalist social epistemology. Some of what the Edinburgh School says about truth can also be accepted. But the realist should reject (...) the School's argument for the claim that there is no distinction between being rational and being locally accepted as rational, which seems to rest on a kind of epistemological internalism. Introducing the Strong Program Realism and the four tenets A stronger reading of symmetry Conflict and cooperation A note on discovery and justification Relativism and realism Truth Points of contention: the restriction of explanatory contrasts Points of contention: standards of rationality. (shrink)

In a recent paper, Aidan Lyon and Mark Colyvan have proposed an explanation of the structure of the bee's honeycomb based on the mathematical Honeycomb Conjecture. This explanation has instantly become one of the standard examples in the philosophical debate on mathematical explanations of physical phenomena. In this critical note, I argue that the explanation is not scientifically adequate. The reason for this is that the explanation fails to do justice to the essentially three-dimensional structure of the bee's honeycomb.

Explores the role of eliminating fear in Epicurean ethics and physics, focusing on techniques to eliminate the fear of death and the fear of the gods. Includes a taxonomy of types of fear and types of therapy for fear.

Michael and has argued that species have intrinsic essences. This paper rebuts Devitt’s arguments, but in so doing it shores up the anti-essentialist consensus in two ways that have more general interest. First, species membership can be explanatory even when species have no essences; that is, Tamsin’s membership of the tiger species can explain her stripyness, without this committing us to any further claim about essential properties of tigers. Second, even the views of species that appear most congenial to essentialism—namely (...) phenetic and genotypic cluster accounts—do not entail strong forms of intrinsic essentialism. (shrink)

The UK-based deliberations that led up to the legalisation of two new ‘mitochondrial donation’ techniques in 2015, and which continued after that time as regulatory details were determined, featured a division of advisory labour that is common when decisions are made about new technologies. An expert panel was convened by the Human Fertilisation and Embryology Authority, charged with assessing the scientific and technical aspects of these techniques. Meanwhile, the Nuffield Council on Bioethics addressed the ethical issues. While this division of (...) labour was undertaken in the name of thoroughness, I argue here that it can have the unintended consequence that hybrid questions that simultaneously involve ethical and technical aspects—especially questions about where to set evidential thresholds for the acceptance of new technology—do not receive enough attention. (shrink)

The UK-based deliberations that led up to the legalisation of two new ‘mitochondrial donation’ techniques in 2015, and which continued after that time as regulatory details were determined, featured a division of advisory labour that is common when decisions are made about new technologies. An expert panel was convened by the Human Fertilisation and Embryology Authority (HFEA), charged with assessing the scientific and technical aspects of these techniques. Meanwhile, the Nuffield Council on Bioethics addressed the ethical issues. While this division (...) of labour was undertaken in the name of thoroughness, I argue here that it can have the unintended consequence that hybrid questions that simultaneously involve ethical and technical aspects—especially questions about where to set evidential thresholds for the acceptance of new technology—do not receive enough attention. (shrink)

This paper examines the neo-Aristotelian account of species natures as ‘life-forms’, which we owe to Philippa Foot, Michael Thompson and their defenders. I begin by developing two problems for their view: a problem of underdetermination and a problem generated by psychological work on ‘folk essentialism’. I move on to consider their important transcendental argument, which suggests that claims about life-forms are presupposed by all efforts to describe the organic world. In response, I sketch a neo-Kantian projectivist position, which agrees that (...) life-forms are presupposed in these contexts, while denying that such life-forms are real. This position makes a better sense of the phenomena cited in support of the neo-Aristotelian view, while avoiding the problems raised for that view in the first half of this paper. (shrink)

This paper shows how to derive nested calculi from labelled calculi for propositional intuitionistic logic and first-order intuitionistic logic with constant domains, thus connecting the general results for labelled calculi with the more refined formalism of nested sequents. The extraction of nested calculi from labelled calculi obtains via considerations pertaining to the elimination of structural rules in labelled derivations. Each aspect of the extraction process is motivated and detailed, showing that each nested calculus inherits favorable proof-theoretic properties from its associated (...) labelled calculus. (shrink)

This study investigates the types of misinformation spread on Twitter that evokes scientific authority or evidence when making false claims about the antimalarial drug hydroxychloroquine as a treatment for COVID-19. Specifically, we examined tweets generated after former U.S. President Donald Trump retweeted misinformation about the drug using an unsupervised machine learning approach called the biterm topic model that is used to cluster tweets into misinformation topics based on textual similarity. The top 10 tweets from each topic cluster were content coded (...) for three types of misinformation categories related to scientific authority: medical endorsements of hydroxychloroquine, scientific information used to support hydroxychloroquine’s use, and a comparison group that included scientific evidence opposing hydroxychloroquine’s use. Results show a much higher volume of tweets featuring medical endorsements and use of supportive scientific information compared to accurate and updated scientific evidence, that misinformation-related tweets propagated for a longer time frame, and the majority of hydroxychloroquine Twitter discourse expressed positive views about the drug. Metadata from Twitter accounts found that prominent users within misinformation discourse were more likely to have media or political affiliation and explicitly expressed support for President Trump. Conversely, prominent accounts within the scientific opposition discourse primarily consisted of medical doctors or scientists but had far less influence in the Twitter discourse. Implications of these findings and connections to related social media research are discussed, as well as cognitive mechanisms for understanding susceptibility to misinformation and strategies to combat misinformation spread via online platforms. (shrink)

Few discussions of the ethics of mitochondrial ‘replacement’ techniques have drawn significant ethical distinctions between the two approaches now legal in the U.K. However, Anthony Wrigley, Stephen Wilkinson and John Appleby have together argued that under some circumstances pronuclear transfer (PNT) may be in better ethical standing than maternal spindle transfer (MST). They base their conclusion on what they allege to be different implications of the techniques with respect to non‐identity considerations, which they ground on a version of origin essentialism. (...) I raise a series of problems for their argument, which have cautionary implications for invocations of origin essentialism that go beyond specialized debates regarding MST and PNT. I argue that (i) origin essentialism is a fragile foundation for non‐identity considerations; (ii) gametic essentialism, which Wrigley et al. believe licenses their claims, is more questionable than origin essentialism; (iii) gametic essentialism does not straightforwardly justify their conclusion; and (iv) their conclusion in fact relies on an especially dubious position that we can call chromosomal origin essentialism. No good reasons have yet been supplied to distinguish PNT from MST on ethical grounds, and one should be wary of basing claims with practical impact on fragile foundations relating to origin essentialism. (shrink)

We employ a recently developed methodology -- called "structural refinement" -- to extract nested sequent systems for a sizable class of intuitionistic modal logics from their respective labelled sequent systems. This method can be seen as a means by which labelled sequent systems can be transformed into nested sequent systems through the introduction of propagation rules and the elimination of structural rules, followed by a notational translation. The nested systems we obtain incorporate propagation rules that are parameterized with formal grammars, (...) and which encode certain frame conditions expressible as first-order Horn formulae that correspond to a subclass of the Scott-Lemmon axioms. We show that our nested systems are sound, cut-free complete, and admit hp-admissibility of typical structural rules. (shrink)

The paper outlines the role that tacit knowledge plays in what might seem to be an area of knowledge that can be made fully explicit or codified and which forms a central element of Evidence Based Medicine. Appeal to the role the role of tacit knowledge in science provides a way to unify the tripartite definition of Evidence Based Medicine given by Sackett et al: the integration of best research evidence with clinical expertise and patient values. Each of these three (...) elements, crucially including research evidence, rests on an ineliminable and irreducible notion of uncodified good judgement. (shrink)

Despite its central role in our cognitive lives, rational belief revision has received relatively little attention from epistemologists. This dissertation begins to fill that absence. In particular, we explore the phenomenon of defeasible epistemic justification, i.e., justification that can be lost as well as gained by epistemic agents. We begin by considering extant theories of defeat, according to which defeaters are whatever cause a loss of justification or things that somehow neutralize one's reasons for belief. Both of these theories are (...) both extensionally and explanatorily inadequate and, so, are rejected. We proceed to develop a novel theory of defeat according to which defeaters are reasons against belief. According to this theory, the dynamics of justification are explained by the competition between reasons for and reasons against belief. We find that this theory not only handles the counter-examples that felled the previous theories but also does a fair job in explaining the various aspects of the phenomenon of defeat. Furthermore, this theory accomplishes this without positing any novel entities or mechanisms; according to this theory, defeaters are epistemic reasons against belief, the mirror image of our epistemic reasons for belief, rather than sui generis entities. (shrink)

The recovery model has been put forward as a rival to the biomedical model in mental healthcare. It has also been invoked in debate about public policy for individual and community mental health and the broader goal of social inclusion. But this broader use threatens its status as a genuine model, distinct from others such as the biomedical model. This paper sets out to articulate, although not to defend, a distinct recovery model based on the idea that mental health is (...) an essentially normative or evaluative notion. It also aims to show that, supposing this suggestion were to be followed, the norms informing our notion of recovery would be more appropriately construed as eudaimonic than as hedonic in character. (shrink)

Realism criticizes the idea, central to what may be called ‘the priority view’, that philosophy has the task of imposing from the outside general norms of morality or standards of reasonableness on politics understood as the domain of power. According to realism, political philosophy must reveal the specific standards internal to the political practice of handling power appropriately and as it develops in actual circumstances. Framed in those terms, the debate evokes the idea that political power itself is lacking normativity (...) until such time as norms are devised that govern its use. In contrast, this essay identifies a normative dimension internal to power. Power depends on recognition and support in the form of belief. This dependence explains how an interest in power introduces a responsiveness to normative considerations into the domain of politics. (shrink)

Realism criticizes the idea, central to what may be called ‘the priority view’, that philosophy has the task of imposing from the outside general norms of morality or standards of reasonableness on politics understood as the domain of power. According to realism, political philosophy must reveal the specific standards internal to the political practice of handling power appropriately and as it develops in actual circumstances. Framed in those terms, the debate evokes the idea that political power itself is lacking normativity (...) until such time as norms are devised that govern its use. In contrast, this essay identifies a normative dimension internal to power. Power depends on recognition and support in the form of belief. This dependence explains how an interest in power introduces a responsiveness to normative considerations into the domain of politics. (shrink)

This article clarifies the recent epistemic rehabilitation of democracy and adds to it in two respects. First, I point out that the epistemic rehabilitation of democracy identifies an internal connection of democracy with normative truths—but only an external connection with substantial truth and correctness. Second, such an internal connection surfaces when we focus on the place of criticism in democracy. Criticism, however, presupposes pluralism and a recognition of the provisionality of decisions. So I, third, analyse prominent theories of truth and (...) examine what conceptions of pluralism and provisionality they allow. This evokes a view emphasizing the unruly role of truth; criticism introduces a commitment to correctness, and this commitment to correctness underwrites the provisional nature of democratic decisions. (shrink)

Alex Mesoudi’s book shows cultural evolution to be a mature field, which has already illuminated many instances of cultural change. Mesoudi’s presentation of the discipline nonetheless invites three objections. First, the culture concept it makes use of is not clearly defined; second, Mesoudi’s historical argument which looks back to the modern synthesis in order to predict an analogous synthesis in the social sciences is flawed; third, Mesoudi’s understanding of the positions held by leading figures within social science is shaky.

The varying demands of justice are often thought to depend on a distinction between natural and social inequalities, but making this distinction has been little discussed, and it has been dismissed by philosophers of biology. It cannot be established by a simple causal criterion, nor by use of the analysis of variance, nor by distinguishing the innate from the acquired. Whether an inequality can be socially controlled provides the most plausible criterion, so 'natural' and 'social' are misleading labels for types (...) of inequality. The analysis of these depends, besides, on how fine-grained the descriptions are; so it is implausible to think that the natural/social distinction, when drawn in terms of social control, is relevant to theories of justice. (shrink)

Philosophically, the study of argumentation is important because it holds out the prospect of an interpretation of rationality. For this we need to identify a transcendent perspective on the argumentative interaction. We need a normative theory of argumentation that provides an answer to the question: should the hearer accept the argument of the speaker. In this article I argue that formal logic implies a notion of transcendence that is not suitable for the study of argumentation, because, from a logical point (...) of view, argumentation ’disappears from sight‘. We should therefore not expect formal logic to provide an interesting interpretation of the rationality intrinsic in argument and discussion. (shrink)

Buchanan and Powell’s book is a valuable contribution to our understanding of the evolution of morality. I suggest that they exaggerate the degree to which their view of the evolution of moral progress is committed to a form of moral realism. I also suggest that Darwin’s own approach to the evolution of the moral sense shares more with their view than they may realise. Finally I point to some tensions in their invocation of the concept of the Environment of Evolutionary (...) Adaptedness (EEA). (shrink)

. Editorial. Ethics, Place & Environment: Vol. 4, No. 2, pp. 85-85.