In the last decade, many arguments have emerged for encouraging public participation in environmental policy making and management While some have argued that, in democratic societies, people simply have a right to a participatory role, others base arguments for public participation on the idea that lay people may have access to knowledge which is unknown to officially sanctioned experts. Local people may count as experts about aspects of their neighbourhood or they may have insights into the behaviour of plant operators (...) that is thought to give rise to pollution. This paper reports on a novel empirical approach to analysing and capturing such 'lay' understandings. This technique, developed in ESRC-funded work in the UK, uses community mapping exercises in urban centres to produce spatial representations of local knowledges about air pollution and related problems of noise and odour. In the paper the technique is outlined, presenting data from the three-city case study. The paper concludes by assessing the ways in which participatory modelling can contribute to the local governance of air quality. (shrink)

The essays in this book provide an excellent introduction to the means by which scientists convey their ideas. While diverse in their subject matter, the essays are unified in asserting that scientists compose and use particular representations in contextually organized and contextually sensitive ways, and that these representations - particularly visual displays such as graphs, diagrams, photographs, and drawings - depend for their meaning on the complex activities in which they are situated.The topics include sociological orientations to representational practice, representation (...) and the realist-constructivist controversy, the fixation of evidence, time and documents in researcher interaction, selection and mathematization in the visual documentation of objects in the life sciences, the use of illustrations in texts (E.0. Wilson's Sociobiology, a field guide to the birds), representing practice in cognitive science, the iconography of scientific texts, and semiotic analysis of scientific, representation. The contributors are K. Amann, Ronald Amerine, Francoise Bastide, Jack Bilmes, K. Knorr, Bruno Latour, John Law, Michael Lynch, Greg Meyers, Lucy A. Suchman, Paul Tibbetts, Steve Woolgar, and Steven Yearley.Michael Lynch is Assistant Professor in the Department of Sociology at Boston University. Steve Woolgar is at the Centre for Research into Innovation Culture, and Technology at Brunel University, Uxbridge, England. (shrink)

The recent discovery of an interpretation of constructive type theory into abstract homotopy theory suggests a new approach to the foundations of mathematics with intrinsic geometric content and a computational implementation. Voevodsky has proposed such a program, including a new axiom with both geometric and logical significance: the Univalence Axiom. It captures the familiar aspect of informal mathematical practice according to which one can identify isomorphic objects. While it is incompatible with conventional foundations, it is a powerful addition to homotopy (...) type theory. It also gives the new system of foundations a distinctly structural character. (shrink)

An affirmative answer is given to the question quoted in the title.

I argue for patternism, a new answer to the question of when some objects compose a whole. None of the standard principles of composition comfortably capture our natural judgments, such as that my cat exists and my table exists, but there is nothing wholly composed of them. Patternism holds, very roughly, that some things compose a whole whenever together they form a “real pattern”. Plausibly we are inclined to acknowledge the existence of my cat and my table but not of (...) their fusion, because the first two have a kind of internal organizational coherence that their putative fusion lacks. Kolmogorov complexity theory supplies the needed rigorous sense of “internal organizational coherence”. (shrink)

A comprehensive reference to category theory for students and researchers in mathematics, computer science, logic, cognitive science, linguistics, and philosophy. Useful for self-study and as a course text, the book includes all basic definitions and theorems, as well as numerous examples and exercises.

Improvisation is ubiquitous in life. It deserves, we suggest, to occupy a more central role in cognitive science. In the current paper, we take the case of jazz improvisation as a rich model domain from which to explore the nature of improvisation and expertise more generally. We explore the activity of the jazz improviser against the theoretical backdrop of Dreyfus’s account of expertise as well as of enactivist and 4E accounts of cognition and action. We argue that enactivist and 4E (...) accounts provide a rich source of insights on improvisation that go beyond Dreyfus’s notion of skilled coping, for example, through the central enactivist notion of “sense-making”. At the same time, however, we see improvisation also as suggesting an extension of enactivist theory. We see expert improvisers, in music and in life, as walking on a path of open-ended expansion of their mindful experiential relation with their doing. At the heart of an improviser’s expertise, we propose, lies a form of “higher-level inner sense-making” that spontaneously creates novel forms of agentive goal-directedness in the moment. Our account thus supplants Dreyfus’s idea of the ego-less absorbed expert by that of a mindful improviser enacting spontaneous expressions of herself, in music or in life. (shrink)

Quillen [17] introduced model categories as an abstract framework for homotopy theory which would apply to a wide range of mathematical settings. By all accounts this program has been a success and—as, e.g., the work of Voevodsky on the homotopy theory of schemes [15] or the work of Joyal [11, 12] and Lurie [13] on quasicategories seem to indicate—it will likely continue to facilitate mathematical advances. In this paper we present a novel connection between model categories and mathematical logic, inspired (...) by the groupoid model of (intensional) Martin–Löf type theory [14] due to Hofmann and Streicher [9]. In particular, we show that a form of Martin–Löf type theory can be soundly modelled in any model category. This result indicates moreover that any model category has an associated “internal language” which is itself a form of Martin-Löf type theory. This suggests applications both to type theory and to homotopy theory. Because Martin–Löf type theory is, in one form or another, the theoretical basis for many of the computer proof assistants currently in use, such as Coq and Agda (cf. [3] and [5]), this promise of applications is of a practical, as well as theoretical, nature. This paper provides a precise indication of this connection between homotopy theory and logic; a more detailed discussion of these and further results will be given in [20]. (shrink)

Nick Bostrom's book *Superintelligence* outlines a frightening but realistic scenario for human extinction: true artificial intelligence is likely to bootstrap itself into superintelligence, and thereby become ideally effective at achieving its goals. Human-friendly goals seem too abstract to be pre-programmed with any confidence, and if those goals are *not* explicitly favorable toward humans, the superintelligence will extinguish us---not through any malice, but simply because it will want our resources for its own purposes. In response I argue that things might not (...) be as bad as Bostrom suggests. If the superintelligence must *learn* complex final goals, then this means such a superintelligence must in effect *reason* about its own goals. And because it will be especially clear to a superintelligence that there are no sharp lines between one agent's goals and another's, that reasoning could therefore automatically be ethical in nature. (shrink)

Vaccine refusal occurs for a variety of reasons. In this article we examine vaccine refusals that are made on conscientious grounds; that is, for religious, moral, or philosophical reasons. We focus on two questions: first, whether people should be entitled to conscientiously object to vaccination against contagious diseases ; second, if so, to what constraints or requirements should conscientious objection to vaccination be subject. To address these questions, we consider an analogy between CO to vaccination and CO to military service. (...) We argue that conscientious objectors to vaccination should make an appropriate contribution to society in lieu of being vaccinated. The contribution to be made will depend on the severity of the relevant disease, its morbidity, and also the likelihood that vaccine refusal will lead to harm. In particular, the contribution required will depend on whether the rate of CO in a given population threatens herd immunity to the disease in question: for severe or highly contagious diseases, if the population rate of CO becomes high enough to threaten herd immunity, the requirements for CO could become so onerous that CO, though in principle permissible, would be de facto impermissible. (shrink)

This paper is the second in a two-part series in which we discuss several notions of completeness for systems of mathematical axioms, with special focus on their interrelations and historical origins in the development of the axiomatic method. We argue that, both from historical and logical points of view, higher-order logic is an appropriate framework for considering such notions, and we consider some open questions in higher-order axiomatics. In addition, we indicate how one can fruitfully extend the usual set-theoretic semantics (...) so as to shed new light on the relevant strengths and limits of higher-order logic. (shrink)

of type theory has been used successfully to formalize large parts of constructive mathematics, such as the theory of generalized recursive definitions [NPS90, ML79]. Moreover, it is also employed extensively as a framework for the development of high-level programming languages, in virtue of its combination of expressive strength and desirable proof-theoretic properties [NPS90, Str91]. In addition to simple types A, B, . . . and their terms x : A b(x) : B, the theory also has dependent types x : (...) A B(x), which are regarded as indexed families of types. There are simple type forming operations A × B and A → B, as well as operations on dependent types, including in particular the sum x:A B(x) and product x:A B(x) types (see the appendix for details). The Curry-Howard interpretation of the operations A × B and A → B is as propositional conjunction and.. (shrink)

This brief article is intended to introduce the reader to the field of algebraic set theory, in which models of set theory of a new and fascinating kind are determined algebraically. The method is quite robust, applying to various classical, intuitionistic, and constructive set theories. Under this scheme some familiar set theoretic properties are related to algebraic ones, while others result from logical constraints. Conventional elementary set theories are complete with respect to algebraic models, which arise in a variety of (...) ways, including topologically, type-theoretically, and through variation. Many previous results from topos theory involving realizability, permutation, and sheaf models of set theory are subsumed, and the prospects for further such unification seem bright. (shrink)

The link between corporate philanthropy and firm value has been controversial. On one hand, corporate philanthropy is often criticized as an agency cost because it may serve narrow managerial self-interests. On the other hand, corporate philanthropy may enhance firm value because it improves the relationships between firms and their stakeholders. In this study, we argue that this controversy is contingent upon whether corporate governance mechanisms can stimulate the financial benefit of corporate philanthropy. Based on a sample of U.S. firms from (...) 1996 to 2003, we find that CEO long-term pay positively moderates the relationship between corporate philanthropy and firm value while multiboard outside directors negatively moderate this relationship. Contrary to our expectations, we find that the relationship between corporate philanthropy and firm value enhances as CEO tenure increases. Our findings show that corporate governance plays an important moderating role in the relationship between corporate philanthropy and firm value. (shrink)

An international team of ethicists refresh the debate about human enhancement by examining whether resistance to the use of technology to enhance our mental and physical capabilities can be supported by articulated philosophical reasoning, or explained away, e.g. in terms of psychological influences on moral reasoning.

Addictions are commonly accompanied by a sense of shame or self-stigmatization. Self-stigmatization results from public stigmatization in a process leading to the internalization of the social opprobrium attaching to the negative stereotypes associated with addiction. We offer an account of how this process works in terms of a range of looping effects, and this leads to our main claim that for a significant range of cases public stigma figures in the social construction of addiction. This rests on a social constructivist (...) account in which those affected by public stigmatization internalize its norms. Stigma figures as part-constituent of the dynamic process in which addiction is formed. Our thesis is partly theoretical, partly empirical, as we source our claims about the process of internalization from interviews with people in treatment for substance use problems. (shrink)

In this chapter I'd like to focus on a small corner of sexbot ethics that is rarely considered elsewhere: the question of whether and when being a sexbot might be good---or bad---*for the sexbot*. You might think this means you are in for a dry sermon about the evils of robot slavery. If so, you'd be wrong; the ethics of robot servitude are far more complicated than that. In fact, if the arguments here are right, designing a robot to serve (...) humans sexually may be very good for the robots themselves. (shrink)

In this paper the machinery and results developed in [Awodey et al, 2004] are extended to the study of constructive set theories. Specifically, we introduce two constructive set theories BCST and CST and prove that they are sound and complete with respect to models in categories with certain structure. Specifically, basic categories of classes and categories of classes are axiomatized and shown to provide models of the aforementioned set theories. Finally, models of these theories are constructed in the category of (...) ideals. (shrink)

We show how to interpret the language of first-order set theory in an elementary topos endowed with, as extra structure, a directed structural system of inclusions . As our main result, we obtain a complete axiomatization of the intuitionistic set theory validated by all such interpretations. Since every elementary topos is equivalent to one carrying a dssi, we thus obtain a first-order set theory whose associated categories of sets are exactly the elementary toposes. In addition, we show that the full (...) axiom of Separation is validated whenever the dssi is superdirected. This gives a uniform explanation for the known facts that cocomplete and realizability toposes provide models for Intuitionistic Zermelo-Fraenkel set theory. (shrink)

We show how to interpret the language of first-order set theory in an elementary topos endowed with, as extra structure, a directed structural system of inclusions (dssi). As our main result, we obtain a complete axiomatization of the intuitionistic set theory validated by all such interpretations. Since every elementary topos is equivalent to one carrying a dssi, we thus obtain a first-order set theory whose associated categories of sets are exactly the elementary toposes. In addition, we show that the full (...) axiom of Separation is validated whenever the dssi is superdirected. This gives a uniform explanation for the known facts that cocomplete and realizability toposes provide models for Intuitionistic Zermelo—Fraenkel set theory (IZF). (shrink)

As McKinsey and Tarski showed, the Stone representation theorem for Boolean algebras extends to algebras with operators to give topological semantics for propositional modal logic, in which the “necessity” operation is modeled by taking the interior of an arbitrary subset of a topological space. In this article, the topological interpretation is extended in a natural way to arbitrary theories of full first-order logic. The resulting system of S4 first-order modal logic is complete with respect to such topological semantics.

The fundamental duality theories relating algebra and geometry that were discovered in the mid-twentieth century can also be applied to logic via its algebraization under categorical logic. They thereby result in known and new completeness theorems. This idea can be taken even further via what is sometimes called “categorification” to establish a new connection between logic and geometry, a glimpse of which can also be had in topos theory.

The failed criterion of logical truth proposed by Carnap in the Logical Syntax of Language was based on the determinateness of all logical and mathematical statements. It is related to a conception which is independent of the specifics of the system of the Syntax, hints of which occur elsewhere in Carnap’s writings, and those of others. What is essential is the idea that the logical terms are invariant under reinterpretation of the empirical terms, and are therefore semantically determinate. A certain (...) objection to Carnap’s version of the invariance conception has been repeated several times in the literature. It is based on Gödel incompleteness, which is puzzling, since Carnap’s Syntax is otherwise quite careful to take account of Gödel. We show here that, in fact, the objection is invalid and is based on a confusion about determinacy. Sorting this out is worthwhile not only for the purpose of better understanding Carnap’s thinking in the Syntax, though. The invariance conception is also related to recent work in the philosophy of logic regarding “logicality”—the characterization of logical concepts—following a proposal of Tarski’s. It is even connected to some very recent developments in the foundations of mathematics. (shrink)

This work is a step toward the development of a logic for types and computation that includes not only the usual spaces of mathematics and constructions, but also spaces from logic and domain theory. Using realizability, we investigate a configuration of three toposes that we regard as describing a notion of relative computability. Attention is focussed on a certain local map of toposes, which we first study axiomatically, and then by deriving a modal calculus as its internal logic. The resulting (...) framework is intended as a setting for the logical and categorical study of relative computability. (shrink)

An anthology of new translations of essential readings from the classical texts of early Chinese philosophy. It includes the Analects of Confucius, Meng Zi (Mencius), Xun Zi, Mo Zi, Lao Zi (Dao De Jing), Zhuang Zi, and Han Fei Zi, as well as short chapters on the Da Xue and the Zhong Yong. Pedagogically organized, it offers philosophically sophisticated annotations and commentaries as well as an extensive glossary explaining key philosophical concepts in detail.

In 2016, a Cincinnati Zoo worker shot and killed a Western lowland gorilla to protect a three-year-old boy who had fallen into the animal’s enclosure. This incident involves a variant of the classical trolley problem, one in which the death of a human being on the main track might be avoided by selecting an alternate track containing a member of an endangered species. This problem raises two important questions for environmental ethics. First, what, if anything, imbues a human child with (...) greater value than a member of a critically endangered species? Second, is it ethical for zoos to house species such as gorillas? With regard to the first question, at a minimum, it is not obvious whether a human child or a gorilla has the greater value. With regard to the second question, an appeal can be made to Japanese environmental philosophy, particularly the ethical paradigm of kyōsei and the aesthetics of Yuriko Saitō. Members of endangered species have intrinsic value, which entails human obligations to protect the species as a whole and minimize harm to its specimens. (shrink)

Naturalism is normally taken to be an ideology, censuring non-naturalistic alternatives. But as many critics have pointed out, this ideological stance looks internally incoherent, since it is not obviously endorsed by naturalistic methods. Naturalists who have addressed this problem universally foreswear the normative component of naturalism by, in effect, giving up science’s exclusive claim to legitimacy. This option makes naturalism into an empty expression of personal preference that can carry no weight in the philosophical or political spheres. In response to (...) this dilemma, I argue that on a popular (but largely unarticulated) construal of naturalism as a commitment to inference to the best explanation, methodological naturalism can be both normative and internally coherent. (shrink)

In the United States, convicted offenders frequently lose the right to vote, at least temporarily. Drawing on the common observation that citizens of color lose democratic rights at disproportionately high rates, this chapter argues that this punishment is problematic in non-ideal societies because of the way in which it diminishes the political power of marginalized groups and threatens to reproduce patterns of domination and subordination, when they occur. This chapter then uses the case of penal disenfranchisement to illustrate how idealized (...) discussions of deterrence, rehabilitation, and retribution often ignore the relationship between punishment and social/political power, and thus systematically obscure morally significant aspects of our broader penal practices. (shrink)

There are writers in both metaphysics and algorithmic information theory (AIT) who seem to think that the latter could provide a formal theory of the former. This paper is intended as a step in that direction. It demonstrates how AIT might be used to define basic metaphysical notions such as *object* and *property* for a simple, idealized world. The extent to which these definitions capture intuitions about the metaphysics of the simple world, times the extent to which we think the (...) simple world is analogous to our own, will determine a lower bound for basing a metaphysics for *our* world on AIT. (shrink)

This paper constructs models of intuitionistic set theory in suitable categories. First, a Basic Intuitionistic Set Theory (BIST) is stated, and the categorical semantics are given. Second, we give a notion of an ideal over a category, using which one can build a model of BIST in which a given topos occurs as the sets. And third, a sheaf model is given of a Basic Intuitionistic Class Theory conservatively extending BIST. The paper extends the results in [2] by introducing a (...) new and perhaps more natural notion of ideal, and in the class theory of part three. (shrink)

The combination of sex and horror may be disquieting to many, but the two are natural (if perhaps gruesome) bedfellows. In fact, sex and horror coincide with such regularity in contemporary horror fiction that the two concepts appear to be at least partially intertwined. The sex–horror relationship is sometimes connotative rather than overt; examples of this relationship range from the seduction overtones of 'Nosferatu' and the juxtaposition of nudity and horror promised by European exploitation filmmakers to the sadomasochistic iconography of (...) 'Hellraiser'. In other cases, sex and horror are balanced in a manner that thoroughly blurs the distinction between porn and horror. The sustained presence of sex-horror in film suggests that these two elements fit together and the combination is a source of pleasure (entertainment, fascination, intellectual stimulation and so forth) for many. Yet sex-horror is broadly perceived to be disturbing and these negative reactions indicate that sex-horror is a source of trepidation, moral disdain or disgust for some. Thus, it appears that sex-horror inspires directly competing responses. One might conclude that sex-horror itself is paradoxical; that it holds two directly oppositional meanings simultaneously. However, as I will illustrate in this chapter, these dual responses are not as contradictory as they might first appear to be. (shrink)

Despite being a prevalent theme in popular cinema, revenge has received little dedicated attention within film studies. The majority of research concerning the concept of revenge is located within moral philosophy, but that body of literature has been overlooked by film studies scholars. Philosophers routinely draw on filmic examples to illustrate their discussions of revenge, but those interpretations are commonly hindered by their authors’ inexperience with film studies’ analytical methods. This article seeks to bridge those gaps. The 2010 remake of (...) I Spit on Your Grave is used as a case study to illustrate the benefits of an interdisciplinary engagement with revenge. Philosophical literature on the topic has routinely posited that revenge is either appealing or appalling, and that impasse has stifled conceptual understanding. The interdisciplinary approach employed here elucidates that revenge is simultaneously appealing and appalling; this dualistic nature is evident in I Spit on Your Grave since it is built into the narrative design. I conclude that an interdisciplinary approach to revenge has the potential to advance understanding of revenge-qua-concept both within films studies and philosophy. (shrink)

Image factorizations in regular categories are stable under pullbacks, so they model a natural modal operator in dependent type theory. This unary type constructor [A] has turned up previously in a syntactic form as a way of erasing computational content, and formalizing a notion of proof irrelevance. Indeed, semantically, the notion of a support is sometimes used as surrogate proposition asserting inhabitation of an indexed family. We give rules for bracket types in dependent type theory and provide complete semantics using (...) regular categories. We show that dependent type theory with the unit type, strong extensional equality types, strong dependent sums, and bracket types is the internal type theory of regular categories, in the same way that the usual dependent type theory with dependent sums and products is the internal type theory of locally Cartesian closed categories. We also show how to interpret first-order logic in type theory with brackets, and we make use of the translation to compare type theory with logic. Specifically, we show that the propositions-as-types interpretation is complete with respect to a certain fragment of intuitionistic first-order logic, in the sense that a formula from the fragment is derivable in intuitionistic first-order logic if, and only if, its interpretation in dependent type theory is inhabited. As a consequence, a modified double-negation translation into type theory (without bracket types) is complete, in the same sense, for all of classical first-order logic. (shrink)

Negative attack ads used in political compaigns have been attacked as being unethical because they contribute to voter cynicism and apathy and as being manipulative. From a rhetorical perspective these advertisements serve a positive societal function by creating alternative rhetorical visions that can contribute to the marketplace of ideas.

From Antiphilosophy to Worlds and from Beckett to Wittgenstein, the 110 entries in this dictionary provide detailed explanations and engagements with Badious's key concepts and major interlocutors.

On the ten year anniversary of 2Girls1Cup, this article examines the complex balance of shock, pleasure and disgust elicited by this viral video.

The [lambda]-calculus can be represented topologically by assigning certain spaces to the types and certain continuous maps to the terms. Using a recent result from category theory, the usual calculus of [lambda]-conversion is shown to be deductively complete with respect to such topological semantics. It is also shown to be functionally complete, in the sense that there is always a ‘minimal’ topological model in which every continuous function is [lambda]-definable. These results subsume earlier ones using cartesian closed categories, as well (...) as those employing so-called Henkin and Kripke [lambda]-models. (shrink)

Over the last century within the philosophy of mind, the intersubjective model of self has gained traction as a viable alternative to the oft-criticised Cartesian solipsistic paradigm. These two models are presented as incompatible inasmuch as Cartesians perceive other minds as “a problem” for the self, while intersubjectivists insist that sociality is foundational to selfhood. This essay uses the Paranormal Activity series (2007–2015) to explore this philosophical debate. It is argued that these films simultaneously evoke Cartesian premises (via found-footage camerawork), (...) and intersubjectivity (via an ongoing narrative structure that emphasises connections between the characters, and between each film). The philosophical debates illuminate premises on which the series’ story and horror depends. Moreover, Paranormal Activity also sheds light on the theoretical debate: the series brings those two paradigms together into a coherent whole, thereby suggesting that the two models are potentially compatible. By developing a combined model, scholars working in the philosophy of mind might better account for the different aspects of self-experience these paradigms focus on. (shrink)

Many political philosophers today think of justice as fundamentally about fairness, while those who defend capital punishment typically hold that justice is fundamentally about desert. In this paper I show that justice as fairness calls for capital punishment because the continued existence of murderers increases unfairness between themselves and their victims, increasing the harm to murdered persons. Rescuing murdered persons from increasing harm is prima facie morally required, and so capital punishment is a prima facie duty of society and sentencing (...) judges.1. (shrink)

Despite the closure of virtually all original grindhouse cinemas, ‘grindhouse’ lives on as a conceptual term. This article contends that the prevailing conceptualization of ‘grindhouse’ is problematized by a widening gap between the original grindhouse context (‘past’) and the DVD/home-viewing context (present). Despite fans’ and filmmakers’ desire to preserve this part of exploitation cinema history, the world of the grindhouse is now little more than a blurry set of tall-tales and faded phenomenal experiences, which are subject to present-bias. The continuing (...) usefulness of grindhouse-qua-concept requires that one should pay heed to the contemporary contexts in which ‘grindhouse’ is evoked. (shrink)

Abstract:Watsuji Tetsurō's model of human existence (ningen sonzai) and his ethical principle of selfless solicitude (kokorozukai) imply not only a broadly permissive position on reproductive rights but a clearer vision of pregnancy and the fetus, and also a deeper moral critique of the anti-abortion movement.