The lambda-calculus lies at the very foundation of computer science. Besides its historical role in computability theory it has had significant influence on programming language design and implementation, denotational semantics and domain theory. The book emphasizes the proof theory for the type-free lambda-calculus. The first six chapters concern this calculus and cover the basic theory, reduction, models, computability, and the relationship between the lambda-calculus and combinatory logic. Chapter 7 presents a variety of typed calculi; first the simply typed lambda-calculus, then (...) Milner-style polymorphism and, finally the polymporphic lambda-calculus. Chapter 8 concerns three variants of the type-free lambda-calculus that have recently appeared in the research literature: the lazy lambda-calculus, the concurrent y-calculus and the lamdba omega-calculus. The final chapter contains references and a guide to further reading. There are exercises throughout. In contrast to earlier books on these topics, which were written by logicians, the book is written from a computer science perspective and emphasizes the practical relevance of many of the key theoretical ideas. The book is intended as a course text for final year undergraduates or first year graduate students in computer science. Research students should find it a useful introduction to more specialist literature. (shrink)

"Plato in the Italian Renaissance, the first book-length treatment of Renaissance Platonism in over fifty years, is a study of the dramatic revival of interest in the Platonic dialogues in Italy in the fifteenth century. Through a richly contextual study of the translations and commentaries on Plato, James Hankins seeks to show how the interpretation of Plato was molded by the expectations of fifteenth-century readers, by the need to protect Plato against his critics, and the broader hermeneutical assumptions and practices (...) of the period. (shrink)

This article reports on the findings of a study of so-called `forward-looking statements' in a corpus of corporate press releases, focusing in particular on the mechanisms of hedging involved. Forward-looking statements are an important characteristic of corporate press releases in which companies make predictions about the future in an attempt to demonstrate to stakeholders that the company is making progress and that its prospects are good. Such statements are explicitly mentioned in a disclaimer which often accompanies corporate press releases and (...) are noted to involve risks and uncertainties. This article aims to identify those lexicogrammatical forms which are typically used in forward-looking statements in press releases, including those used for the purpose of hedging, and also to try to identify the function of hedging in the selected data. The data analysis points to a range of forms which function as hedges in the data. These are discussed and exemplified and, drawing on Hyland's model in particular, an attempt is made to consider what function the hedges serve. (shrink)

Just as theory of representation is deficient if it can’t explain how misrepresentation is possible, a theory of computation is deficient if it can’t explain how miscomputation is possible. Nonetheless, philosophers have generally ignored miscomputation. My primary goal in this paper is to clarify both what miscomputation is and how to adequately explain it. Miscomputation is a special kind of malfunction: a system miscomputes when it computes in a way that it shouldn’t. To explain miscomputation, you must provide accounts of (...) computational behavior, computational norms, and how computational behavior can deviate from computational norms. A secondary goal of this paper is to defend an (quasi-)individualist, mechanistic theory of miscomputation. Computational behavior is narrowly individuated. Computational norms are widely individuated. A system miscomputes when its behavior manifests a narrow computational structure that the widely individuated norms say that it should not have. (shrink)

The Handbook constitutes a global resource for the fast growing interdisciplinary research and policy communities addressing the challenge of driving innovation towards socially desirable outcomes. This book brings together well-known authors from the US, Europe, Asia and South-Africa who develop conceptual and regional perspectives on responsible innovation as well as exploring the prospects for further implementation of responsible innovation in emerging technological practices ranging from agriculture and medicine, to nanotechnology and robotics. The emphasis is on the socio-economic and normative dimensions (...) of innovation including issues of social risk and sustainability. (shrink)

A timely, well-grounded analysis that reveals an inconvenient truth: we can't save capitalism and save the planet.

Public arguments can be good or bad not only as a matter of logic, but also in the sense that speakers can do good or bad things with arguments. For example, hate speakers use public arguments to contribute to the subordination of their targets. But how can ordinary speakers acquire the authority to perform subordinating speech acts? This is the ‘Authority Problem’. This paper defends a solution inspired by McGowan’s (Australas J Philos 87:389–407, 2009) analysis of oppressive speech, including against (...) concerns raised by McGowan (Just words: On speech and hidden harm, Oxford University Press, Oxford, 2019) herself. A deflated kind of authority can be gained from the hate speaker’s standing in a norm-governed ‘activity of oppression’. We should be wary about engaging with such speakers in public argument. Even if we counter their arguments, we may still elevate their standing within that activity and so enable them to perform more pernicious speech acts than was previously possible. (shrink)

International Political Theory focuses on the point where two fields of study meet - International Relations and Political Theory. It takes from the former a central concern with the 'international' broadly defined; from the latter it takes a broadly normative identity. IPT studies the 'ought' questions that have been ignored or side-lined by the modern study of International Relations and the 'international' dimension that Political Theory has in the past neglected. A central proposition of IPT is that the 'domestic' and (...) the 'international' cannot be treated as self-contained spheres, although this does not preclude states and the states-system from being regarded by some practitioners of IPT as central points of reference. This Handbook provides an authoritative account of the issues, debates, and perspectives in the field, guided by two basic questions concerning its purposes and methods of inquiry. First, how does IPT connect with real world politics? In particular, how does it engage with real world problems, and position itself in relation to the practices of real world politics? And second, following on from this, what is the relationship between IPT and empirical research in international relations? This Handbook showcases the distinctive and valuable contribution of normative inquiry not just for its own sake but also in addressing real world problems. The Oxford Handbooks of International Relations is a twelve-volume set of reference books offering authoritative and innovative engagements with the principal sub-fields of International Relations. The series as a whole is under the General Editorship of Christian Reus-Smith of the University of Queensland and Duncan Snidal of the University of Oxford, with each volume edited by a distinguished pair of specialists in their respective fields. The series both surveys the broad terrain of International Relations scholarship and reshapes it, pushing each sub-field in challenging new directions. Following the example of the original Reus-Smit and Snidal The Oxford Handbook of International Relations, each volume is organized around a strong central thematic by a pair of scholars drawn from alternative perspectives, reading its sub-field in an entirely new way, and pushing scholarship in challenging new directions. (shrink)

The authors survey some debates about the nature and structure of physical theories and about the connections between our physical theories and naturalized metaphysics. The discussion is organized around an “ideal view” of physical theories and criticisms that can be raised against it. This view includes controversial commitments regarding the best analysis of physical modalities and intertheory relations. The authors consider the case in favor of taking laws as the primary modal notion, discussing objections related to alleged violations of the (...) laws, the apparent need to appeal to causality, and the status of probability. The “ideal view” includes a commitment that fundamental physical theories are explanatorily sufficient. The authors discuss several challenges to recovering the manifest image from fundamental physics, along with a distinct challenge to reductionism based on acknowledging the contributions of less fundamental theories in physical explanations. (shrink)

"Feminism, Theory and the Politics of Difference" looks at the question of difference across the full spectrum of feminist theory from liberal, radical, lesbian ...

Recent clinical trials show that psychedelics such as LSD and psilocybin can be given safely in controlled conditions, and can cause lasting psychological benefits with one or two administrations. Supervised psychedelic sessions can reduce symptoms of anxiety, depression, and addiction, and improve well-being in healthy volunteers, for months or even years. But these benefits seem to be mediated by "mystical" experiences of cosmic consciousness, which prompts a philosophical concern: do psychedelics cause psychological benefits by inducing false or implausible beliefs about (...) the metaphysical nature of reality? This book is the first scholarly monograph in English devoted to the philosophical analysis of psychedelic drugs. Its central focus is the apparent conflict between the growing use of psychedelics in psychiatry and the philosophical worldview of naturalism. Within the book, Letheby integrates empirical evidence and philosophical considerations in the service of a simple conclusion: this "Comforting Delusion Objection" to psychedelic therapy fails. While exotic metaphysical ideas do sometimes come up, they are not, on closer inspection, the central driver of change in psychedelic therapy. Psychedelics lead to lasting benefits by altering the sense of self, and changing how people relate to their own minds and lives-not by changing their beliefs about the ultimate nature of reality. The upshot is that a traditional conception of psychedelics as agents of insight and spirituality can be reconciled with naturalism (the philosophical position that the natural world is all there is). Controlled psychedelic use can lead to genuine forms of knowledge gain and spiritual growth-even if no Cosmic Consciousness or transcendent divine Reality exists. Philosophy of Psychedelics is an indispensable guide to the literature for researchers already engaged in the field of psychedelic psychiatry, and for researchers-especially philosophers-who want to become acquainted with this increasingly topical field. (shrink)

Using a vague predicate can make commitments about the appropriate use of that predicate in the remaining part of the discourse. For instance, if I assert that some particular pig is fat, I am committed to judging any fatter pig to be fat as well. We can model this update effect by recognizing that truth depends both on the state of the world and on the state of the discourse: the truth conditions of ‘This pig is fat’ rule out evaluation (...) points for which the pig in question in world w is thinner than the cutoff for fatness in the discourse d. Then disagreements about taste are disagreements about the discourse. Unlike disagreements about the world, disagreements about the discourse can be faultless, given that none of the discourse participants has privileged authority to make pronouncements about conventions for appropriate use of a predicate. Thus on the dynamic view developed here, whether or not a dispute about taste turns out to be faultless depends in part on predictable features of the previous discourse. On this account, faultless disagreement involving predicates of personal taste does not force relativizing truth to a judge or assessor. (shrink)

What is the nature of deep disagreement? In this paper, I consider two similar albeit seemingly rival answers to this question: the Wittgensteinian theory, according to which deep disagreements are disagreements over hinge propositions, and the fundamental epistemic principle theory, according to which deep disagreements are disagreements over fundamental epistemic principles. I assess these theories against a set of desiderata for a satisfactory theory of deep disagreement, and argue that while the fundamental epistemic principle theory does better than the Wittgensteinian (...) theory on this score, the fundamental epistemic principle theory nevertheless struggles to explain the variety of deep disagreement. (shrink)

Users of psychedelic drugs often report that their sense of being a self or ‘I’ distinct from the rest of the world has diminished or altogether dissolved. Neuroscientific study of such ‘ego dissolution’ experiences offers a window onto the nature of self-awareness. We argue that ego dissolution is best explained by an account that explains self-awareness as resulting from the integrated functioning of hierarchical predictive models which posit the existence of a stable and unchanging entity to which representations are bound. (...) Combining recent work on the ‘integrative self' and the phenomenon of self-binding with predictive processing principles yields an explanation of ego dissolution according to which self-representation is a useful Cartesian fiction: an ultimately false representation of a simple and enduring substance to which attributes are bound which serves to integrate and unify cognitive processing across levels and domains. The self-model is not a mere narrative posit, as some have suggested; it has a more robust and ubiquitous cognitive function than that. But this does not mean, as others have claimed, that the self-model has the right attributes to qualify as a self. It performs some of the right kinds of functions, but it is not the right kind of entity. Ego dissolution experiences reveal that the self-model plays an important binding function in cognitive processing, but the self does not exist. (shrink)

This book takes concepts developed by researchers in theoretical computer science and adapts and applies them to the study of natural language meaning. Summarizing over a decade of research, Chris Barker and Chung-chieh Shan put forward the Continuation Hypothesis: that the meaning of a natural language expression can depend on its own continuation.

Philosophers often treat racist and sexist slurs as a special sort of puzzle. What is the difference between a slur and its correlates? In attempting to answer this question, a second distinction has been overlooked: that between slurs and insults. What makes a term count as a slur? This is not an unnecessary taxonomical question as long as ableist terms such as ‘moron’ are dismissed as mere insults. Attempts to resolve the insult/slur distinction by considering the communicative content of slurs (...) are not promising. A better solution is offered by speech act theory, and this paper develops a novel way to describe ordinary slurring utterances as oppressive speech acts. This can both explain the difference between slurs and insults, and challenge the dismissal of ableist terms. (shrink)

If dangerous climate change is to be avoided, it is vital that carbon sinks such as tropical rainforests are protected. But protecting them has costs. These include opportunity costs: the potential economic benefits which those who currently control rainforests have to give up when they are protected. But who should bear those costs? Should countries which happen to have rainforests within their territories sacrifice their own economic development, because of our broader global interests in protecting key carbon sinks? This essay (...) develops an argument from the “principle of fairness,” which seeks to establish that outsiders should pay states with rainforests so as to share the costs of protection. If they do not, they can be condemned for free-riding on forest states. The argument is, I suggest, compelling and also capable of enjoying support from adherents of a wide variety of positions on global justice. (shrink)

Struggles over precious resources such as oil, water, and land are increasingly evident in the contemporary world. States, indigenous groups, and corporations vie to control access to those resources, and the benefits they provide. These conflicts are rapidly spilling over into new arenas, such as the deep oceans and the Polar regions. How should these precious resources be governed, and how should the benefits and burdens they generate be shared? Justice and Natural Resources provides a systematic theory of natural resource (...) justice. It argues that we should use the benefits and burdens flowing from these resources to promote greater equality across the world, and share governance over many important resources. At the same time, the book takes seriously the ways in which particular resources can matter in peoples lives. It provides invaluable guidance on a series of pressing issues, including the scope of state resource rights, the claims of indigenous communities, rights over ocean resources, the burdens of conservation, and the challenges of climate change and transnational resource governance. It will be required reading for anyone interested in natural resource governance, climate politics, and global justice. (shrink)

This paper explores the application of hinge epistemology to deep disagreement. Hinge epistemology holds that there is a class of commitments—hinge commitments—which play a fundamental role in the structure of belief and rational evaluation: they are the most basic general ‘presuppositions’ of our world views which make it possible for us to evaluate certain beliefs or doubts as rational. Deep disagreements seem to crucially involve disagreements over such fundamental commitments. In this paper, I consider pessimism about deep disagreement, the thesis (...) that such disagreements are rationally irresolvable, and ask whether the Wittgensteinian account of deep disagreement—according to which such disagreements are disagreements over hinge commitments—provides adequate support for pessimism. I argue that the answer to this question depends on what hinge commitments are and what our epistemic relation to them is supposed to be. I argue for two core claims. First, that non-epistemic theories of hinge commitments provide adequate support for pessimism. Nevertheless, such theories have highly implausible consequences in the context of deep disagreement. Secondly, at least one epistemic theory of hinge commitments, the entitlement theory, permits optimism about such disagreements. As such, while hinge epistemology is mainly pessimistic about deep disagreement, it doesn’t have to be. (shrink)

An Introduction to Philosophical Methods is the first book to survey the various methods that philosophers use to support their views. Rigorous yet accessible, the book introduces and illustrates the methodological considerations that are involved in current philosophical debates. Where there is controversy, the book presents the case for each side, but highlights where the key difficulties with them lie. While eminently student-friendly, the book makes an important contribution to the debate regarding the acceptability of the various philosophical methods, and (...) so it will also be of interest to more experienced philosophers. (shrink)

This paper explores the application of hinge epistemology to deep disagreement. Hinge epistemology holds that there is a class of commitments—hinge commitments—which play a fundamental role in the structure of belief and rational evaluation: they are the most basic general ‘presuppositions’ of our world views which make it possible for us to evaluate certain beliefs or doubts as rational. Deep disagreements seem to crucially involve disagreements over such fundamental commitments. In this paper, I consider pessimism about deep disagreement, the thesis (...) that such disagreements are rationally irresolvable, and ask whether the Wittgensteinian account of deep disagreement—according to which such disagreements are disagreements over hinge commitments—provides adequate support for pessimism. I argue that the answer to this question depends on what hinge commitments are and what our epistemic relation to them is supposed to be. I argue for two core claims. First, that non-epistemic theories of hinge commitments provide adequate support for pessimism. Nevertheless, such theories have highly implausible consequences in the context of deep disagreement. Secondly, at least one epistemic theory of hinge commitments, the entitlement theory, permits optimism about such disagreements. As such, while hinge epistemology is mainly pessimistic about deep disagreement, it doesn’t have to be. (shrink)

The Neo-Moorean Deduction (I have a hand, so I am not a brain-in-a-vat) and the Zebra Deduction (the creature is a zebra, so isn’t a cleverly disguised mule) are notorious. Crispin Wright, Martin Davies, Fred Dretske, and Brian McLaughlin, among others, argue that these deductions are instances of transmission failure. That is, they argue that these deductions cannot transmit justification to their conclusions. I contend, however, that the notoriety of these deductions is undeserved. My strategy is to clarify, attack, defend, (...) and apply. I clarify what transmission and transmission failure really are, thereby exposing two questionable but quotidian assumptions. I attack existing views of transmission failure, especially those of Crispin Wright. I defend a permissive view of transmission failure, one which holds that deductions of a certain kind fail to transmit only because of premise circularity. Finally, I apply this account to the Neo-Moorean and Zebra Deductions and show that, given my permissive view, these deductions transmit in an intuitively acceptable way—at least if either a certain type of circularity is benign or a certain view of perceptual justification is false. (shrink)

Some disagreements concern our most fundamental beliefs, principles, values, or worldviews, such as those about the existence of God, society and politics, or the trustworthiness of science. These are ‘deep disagreements’. But what exactly are deep disagreements? This paper critically overviews theories of deep disagreement. It does three things. First, it explains the differences between deep and other kinds of disagreement, including peer, persistent, and widespread disagreement. Second, it critically overviews two mainstream theories of deep disagreement, the Wittgensteinian account and (...) the Fundamental Epistemic Principle account, before introducing a Hybrid account. Finally, it explores the notion that deep disagreements can be deeper than others. (shrink)

In a comprehensive and innovative reassessment of the discipline, this book argues that classical and contemporary social theories must be studied in relation to the ambition that shaped and established sociology: the ambition to comprehend the relationship between social and moral life. Surveying a range of sociological analyses from Comte to feminism, postmodernism and rational choice theory, this book examines the various attempts that have been made to reconstruct the discipline over the last century, and the challenges facing it today. (...) The book situates sociology in its historical, philosophical and theological contexts and examines how the founders of the discipline developed competing analyses of the processes elementary to social and moral life through their distinctive sociological contributions. Individual chapters examine `Human Sociology', `Sacred Sociology', `Tragic Sociology', `Heroic Sociology' and `Normative Sociology'. The book moves on to discuss post-classical thought, and the attempted reconstruction of the subject. Separate chapters are devoted to `Conflict Sociology', `Feminist Sociology', `Racial Sociology', `Rational Sociology' and `Post//Modern Sociology'. The result is a landmark work in recent sociological study. Accomplished, erudite and alive with ideas, the book will be required reading for students of sociology, social theory, religious studies and cultural studies. (shrink)

The second edition of Doing Ethics in Media continues its mission of providing an accessible but comprehensive introduction to media ethics, with a theoretical grounding in moral philosophy, to help students think clearly and systematically about dilemmas in the rapidly changing media environment. Each chapter highlights specific considerations, cases, and practical applications for the fields of journalism, advertising, digital media, entertainment, public relations, and social media. Six fundamental decision-making questions - the "5Ws and H" around which the book is organized (...) - provide a path for students to articulate the issues; understand applicable law and ethics codes; consider the needs of stakeholders; work through conflicting values; integrate philosophic principles; and pose a "test of publicity." Students are challenged to be active ethical thinkers through the authors' reader-friendly style and use of critical early-career examples. While most people will change careers several times during their lives, all of us are life-long media consumers, and Doing Ethics in Media prepares readers for that task. Doing Ethics in Media is aimed at undergraduate and graduate students studying media ethics in mass media, journalism, and media studies. It also serves students in rhetoric, popular culture, communication studies, and interdisciplinary social sciences. The book's companion website-doingethicsin.media, or www.doingmediaethics.com-provides continuously updated real-world media ethics examples and collections of essays from experts and students. The site also hosts ancillary materials for students and for instructors, including a test bank and instructor's manual. (shrink)

Some disagreements concern our most fundamental beliefs, principles, values, or worldviews, such as those about the existence of God, society and politics, or the trustworthiness of science. These are ‘deep disagreements’. But what exactly are deep disagreements? This paper critically overviews theories of deep disagreement. It does three things. First, it explains the differences between deep and other kinds of disagreement, including peer, persistent, and widespread disagreement. Second, it critically overviews two mainstream theories of deep disagreement, the Wittgensteinian account and (...) the Fundamental Epistemic Principle account, before introducing a Hybrid account. Finally, it explores the notion that deep disagreements can be deeper than others. (shrink)

In a recent issue of the Journal of Medical Ethics, Svoboda and Van Howe commented on the 2012 change in the American Academy of Pediatrics policy on newborn male circumcision, in which the AAP stated that benefits of the procedure outweigh the risks. Svoboda and Van Howe disagree with the AAP conclusions. We show here that their arguments against male circumcision are based on a poor understanding of epidemiology, erroneous interpretation of the evidence, selective citation of the literature, statistical manipulation (...) of data, and circular reasoning. In reality, the scientific evidence indicates that male circumcision, especially when performed in the newborn period, is an ethically and medically sound low-risk preventive health procedure conferring a lifetime of benefits to health and well-being. Policies in support of parent-approved elective newborn circumcision should be embraced by the medical, scientific and wider communities. (shrink)

Looking out the window, I see that it's raining outside. Do I know that it’s raining outside? According to proponents of the Entailment Thesis, I do. If I see that p, I know that p. In general, the Entailment Thesis is the thesis that if S perceives that p, S knows that p. But recently, some philosophers (McDowell 2002, Turri 2010, Pritchard 2011, 2012) have argued that the Entailment Thesis is false. On their view, we can see p and not (...) know that p. In this paper, I argue that their arguments are unsuccessful. (shrink)

The doctrine of permanent sovereignty over natural resources is a hugely consequential one in the contemporary world, appearing to grant nation-states both jurisdiction-type rights and rights of ownership over the resources to be found in their territories. But the normative justification for that doctrine is far from clear. This article elucidates the best arguments that might be made for permanent sovereignty, including claims from national improvement of or attachment to resources, as well as functionalist claims linking resource rights to key (...) state functions. But it also shows that these defences are insufficient to justify permanent sovereignty and that in many cases they actually count against it as a practice. They turn out to be compatible, furthermore, with the dispersal of resource rights away from the nation-state which global justice appears to demand. (shrink)

Conflicting accounts of the role of mathematics in our physical theories can be traced to two principles. Mathematics appears to be both (1) theoretically indispensable, as we have no acceptable non-mathematical versions of our theories, and (2) metaphysically dispensable, as mathematical entities, if they existed, would lack a relevant causal role in the physical world. I offer a new account of a role for mathematics in the physical sciences that emphasizes the epistemic benefits of having mathematics around when we do (...) science. This account successfully reconciles theoretical indispensability and metaphysical dispensability and has important consequences for both advocates and critics of indispensability arguments for platonism about mathematics. (shrink)

This paper proposes that the meanings of some natural language expressions should be thought of as functions on their own continuations. Continuations are a well-established analytic tool in the theory of programming language semantics; in brief, a continuation is the entire default future of a computation. I show how a continuation-based grammar can unify several aspects of natural language quantification in a new way: merely stating the truth conditions for quantificational expressions in terms of continuations automatically accounts for scope displacement (...) and scope ambiguity. To prove this claim, I exhibit a simple finite context-free grammar with a strictly compositional semantics in which quantificational NPs are interpreted in situ but take semantic scope over larger constituents. There is no Quantifier Raising (nor any use of a level of Logical Form distinct from overt syntax), no Cooper Storage (or similar mechanisms used in many recent HPSG, Categorial, or Type-logical treatments), and no need for type-shifting (as in Hendriks' Flexible Types account). Continuations also provide a natural account of generalized coordination that does not require either type-shifting or type polymorphism. Compositionality issues are discussed in some detail. (shrink)

I propose the first strictly compositional semantic account of same. New data, including especially NP-internal uses such as two men with the same name, suggests that same in its basic use is a quantificational element taking scope over nominals. Given type-lifting as a generally available mechanism, I show that this follows naturally from the fact that same is an adjective. Independently-motivated assumptions extend the analysis to standard examples such as Anna and Bill read the same book via a mechanism I (...) call PARASITIC SCOPE, in which the scope of same depends on the scope of some other scopetaking element in the sentence. Although I will initially discuss the analysis in terms of a familiar Quantifier Raising framework, I go on to implement the analysis within an innovative continuation-based Type-Logical Grammar. The empirical payoff for dealing in continuations is that a simple generalization of the basic analysis gives the first ever formal account of cases in which same distributes over objects other than NP denotations, as in the relevant interpretation of John hit and killed the same man. (shrink)