Distinguished contributors take up eminent scholar Daniel R. Schwarz’s reading of modern fiction and poetry as mediating between human desire and human action. The essayists follow Schwarz’s advice, “always the text, always historicize,” thus making this book relevant to current debates about the relationships between literature, ethics, aesthetics, and historical contexts.

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)

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)

Philosophy &Public Affairs, Volume 52, Issue 2, Page 221-250, Spring 2024.

The dismissive attitude of intellectuals toward conspiracy theorists is considered and given some justification. It is argued that intellectuals are entitled to an attitude of prima facie skepticism toward the theories propounded by conspiracy theorists, because conspiracy theorists have an irrational tendency to continue to believe in conspiracy theories, even when these take on the appearance of forming the core of degenerating research program. It is further argued that the pervasive effect of the "fundamental attribution error" can explain the behavior (...) of such conspiracy theorists. A rival approach due to Brian Keeley, which involves the criticism of a subclass of conspiracy theories on epistemic grounds, is considered and found to be inadequate. Key Words: conspiracy • conspiracy theories • conspiracy theorizing. (shrink)

As artificial intelligence (AI) thrives and propagates through modern life, a key question to ask is how to include humans in future AI? Despite human involvement at every stage of the production process from conception and design through to implementation, modern AI is still often criticized for its “black box” characteristics. Sometimes, we do not know what really goes on inside or how and why certain conclusions are met. Future AI will face many dilemmas and ethical issues unforeseen by their (...) creators beyond those commonly discussed (e.g., trolley problems and variants of it) and to which solutions cannot be hard-coded and are often still up for debate. Given the sensitivity of such social and ethical dilemmas and the implications of these for human society at large, when and if our AI make the “wrong” choice we need to understand how they got there in order to make corrections and prevent recurrences. This is particularly true in situations where human livelihoods are at stake (e.g., health, well-being, finance, law) or when major individual or household decisions are taken. Doing so requires opening up the “black box” of AI; especially as they act, interact, and adapt in a human world and how they interact with other AI in this world. In this article, we argue for the application of cognitive architectures for ethical AI. In particular, for their potential contributions to AI transparency, explainability, and accountability. We need to understand how our AI get to the solutions they do, and we should seek to do this on a deeper level in terms of the machine-equivalents of motivations, attitudes, values, and so on. The path to future AI is long and winding but it could arrive faster than we think. In order to harness the positive potential outcomes of AI for humans and society (and avoid the negatives), we need to understand AI more fully in the first place and we expect this will simultaneously contribute towards greater understanding of their human counterparts also. (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)

Developing directly from Fuller's recent book Humanity 2.0, this is the first book to seriously consider what a 'post-' or 'trans'-' human state of being might mean for who we think we are, how we live, what we believe and what we aim to be.

The thesis of this work is that in both modern Japanese philosophy and American pragmatism there has been a paradigm shift from a monological concept of self as an isolated "I" to a dialogical concept of the social self as an "I-Thou relation," including a communication model of self as individual-society interaction. It is also shown for both traditions all aesthetic, moral, and religious values are a function of the social self arising through communicative interaction between the individual and society. (...) However, at the same time this work critically examines major ideological conflicts arising between the social self theories of modern Japanese philosophy and American pragmatism with respect to such problems as individualism versus collectivism, freedom versus determinism, liberalism versus communitarianism, and relativism versus objectivism. (shrink)

Whether it would take one decade or several centuries, many agree that it is possible to create a *superintelligence*---an artificial intelligence with a godlike ability to achieve its goals. And many who have reflected carefully on this fact agree that our best hope for a "friendly" superintelligence is to design it to *learn* values like ours, since our values are too complex to program or hardwire explicitly. But the value learning approach to AI safety faces three particularly philosophical puzzles: first, (...) it is unclear how any intelligent system could learn its final values, since to judge one supposedly "final" value against another seems to require a further background standard for judging. Second, it is unclear how to determine the content of a system's values based on its physical or computational structure. Finally, there is the distinctly ethical question of which values we should best aim for the system to learn. I outline a potential answer to these interrelated puzzles, centering on a "miktotelic" proposal for blending a complex, learnable final value out of many simpler ones. (shrink)

Rather than ‘superbugs’ signifying recalcitrant forms of life that withstand biomedical treatment, drug resistant infections emerge within and are intricate with the exercise of social and medical power. The distinction is important, as it provides a means to understand and critique current methods employed to confront the threat of widespread antimicrobial resistance. A global health regime that seeks to extend social and medical power, through technical and market integration, risks reproducing a form of triumphalism and exceptionalism that resistance itself should (...) have us pause to question. An alternative approach, based on a postcolonial as well as a ‘post-colony’ approach to health and microbes, provides impetus to challenge the assumptions and norms of global health. It highlights the potential contribution that vernacular approaches to human and animal health can play in altering the milieu of resistance. (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)

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)

This is a draft of the introduction to a forthcoming volume that brings together all of J. G. Herder's student notes from Immanuel Kant's lectures. It is intended as a volume in Kant's gesammelte Schriften (de Gruyter). These are the earliest notes (1762-64) we have from Kant's lectures (which span from 1755 to 1796) and the only notes before his professorship began in 1770. Included are improved transcriptions of Herder's notes on metaphysics, moral philosophy, logic, physics, and mathematics, and the (...) first transcription of his notes from Kant’s physical geography lectures. (shrink)

In this short note we give a glimpse of homotopy type theory, a new field of mathematics at the intersection of algebraic topology and mathematical logic, and we explain Vladimir Voevodsky’s univalent interpretation of it. This interpretation has given rise to the univalent foundations program, which is the topic of the current special year at the Institute for Advanced Study.

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.

We define the notion of a model of higher-order modal logic in an arbitrary elementary topos E. In contrast to the well-known interpretation of higher-order logic, the type of propositions is not interpreted by the subobject classifier ΩE, but rather by a suitable complete Heyting algebra H. The canonical map relating H and ΩE both serves to interpret equality and provides a modal operator on H in the form of a comonad. Examples of such structures arise from surjective geometric morphisms (...) f : F → E, where H = f∗ΩF. The logic differs from non-modal higher-order logic in that the principles of functional and propositional extensionality are not longer valid but may be replaced by modalized versions. The usual Kripke, neighborhood, and sheaf semantics for propositional and first-order modal logic are subsumed by this notion. (shrink)

Artistic Detachment in Japan and the West takes up the notion of artistic detachment, or psychic distance, as an intercultural motif for East-West comparative aesthetics. The work begins with an overview of aesthetic theory in the West from the eighteenth-century empiricists to contemporary aesthetics and concludes with a survey of various critiques of psychic distance. Throughout, the author takes a highly innovative approach by juxtaposing Western aesthetic theory against Eastern aesthetic theory. Weaving between cultures and time periods, the author focuses (...) on a remarkably wide range of theories: in the West, the Kantian notion of disinterested contemplation, Heidegger's Gelassenheit, semiotics, and pragmatism; in Japan, Zeami's notion of riken no ken, the Kyoto School's intepretation of nothingness, D. T. Suzuki's analysis of the function of no-mind, and the writings of Kuki Shuzo on Buddhist detachment. "Portrait of the artist" fiction by such writers as Henry James, James Joyce, Mori Ogai, and Natsume Soseki demonstrates how the main theme of detachment is expressed in literary traditions. The role of sympathy or pragmatism in relation to disinterest is examined, suggesting conflicts within or challenges to the notion of detachment. Researchers and students in Eastern and Western areas of study, including philosophers and religionists, as well as literary and cultural critics, will deem this work an invaluable contribution to cross-cultural philosophy and literary studies. (shrink)

Many research-intensive universities have moved into the business of promoting technology development that promises revenue, impact, and legitimacy. While the scholarship on academic capitalism has documented the general dynamics of this institutional shift, we know less about the ground-level challenges of research priority and scientific problem choice. This paper unites the practice tradition in science and technology studies with an organizational analysis of decision-making to compare how two university artificial intelligence labs manage ambiguities at the edge of scientific knowledge. One (...) lab focuses on garnering funding through commercialization schemes, while the other is oriented to federal science agencies. The ethnographic comparison identifies the mechanisms through which an industry-oriented lab can be highly adventurous yet produce a research program that is thin and erratic due to a priority placed on commercialization. However, the comparison does not yield an implicit nostalgia for federalized science; it reveals the mechanisms through which agency-oriented labs can pursue a thick and consistent research portfolio but in a strikingly myopic fashion. (shrink)

Research in Science and Technology Studies (STS) tends to presume that intellectual and political radicalism go hand in hand. One would therefore expect that the most intellectually radical movement in the field relates critically to its social conditions. However, this is not the case, as demonstrated by the trajectory of the Parisian School of STS spearheaded by Michel Callon and Bruno Latour. Their position, "actor-network theory," turns out to be little more than a strategic adaptation to the democratization of expertise (...) and the decline of the strong nation-state in France over the past 25 years. This article provides a prehistory of this client-driven, contract-based research culture in U.S. sociology of the 1960s, followed by specific features of French philosophical and political culture that have bred the distinctive tenets of actor-network theory. Insofar as actor-network theory has become the main paradigm for contemporary STS research, it reflects a field that dodges normative commitments in order to maintain a user-friendly presence. (shrink)

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)

The development and publication of Diagnostic and Statistical Manual of Mental Disorders, fifth edition produced a peak in mainstream media interest in psychiatry, and a large and generally critical set of scientific commentaries. The coverage has focused mainly on the expansion of some categories, and loosening of some criteria, which together may lead to more people receiving diagnoses, and accompanying accusations of the medicalisation of normal living. Instructions given to members of DSM-5 work groups appear to have encouraged this.1 This (...) has not been the only source of disquiet. The influence of the pharmaceutical industry on the members of the appointees to DSM diagnostic work groups, which constructed the new rubrics, has caused concern,2 as remuneration and insurance coverage in the USA depends partly on DSM diagnosis, and the pharmaceutical industry has been accused of encouraging the development of new diagnoses as a way to increase profitability.3 Societal impact has been an explicit part of the development of DSM-5, as outlined in the article in this issue.4 Reasons for decisions by DSM-5 workgroups have included enabling sufferers to receive treatment which would not be available without a DSM diagnosis , or …. (shrink)

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.

This article addresses the relationship between understanding and believing from the cognitive perspective of information-processing. I promote, within the scope of the Critical Discourse Analysis agenda, the relevance of an account of belief-fixation sustained by a combination of argumentative and cognitive insights. To this end, I first argue that discursive strategies fulfilling legitimization purposes, such as evidentials, tap into the same cognitive mechanisms as arguments. I then proceed to examine the idea that the most effective arguments are the ones that (...) manage to obscure or make irrelevant counter-evidence and propose, from a cognitive pragmatic perspective, a formulation of rhetorical effectiveness as a constraint on information-selection taking place at the interpretation stage and decisively influencing the evaluation stage responsible for belief-fixation. (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)

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)

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)

Torture Porn is a term that has generated a great deal of controversy during the last decade, critics utilizing the term to dismiss contemporary popular horror cinema as obscene and morally depraved. Arguing primarily in defense of torture-themed horror films, this book seeks to offer a critical overview and examination of the Torture Porn phenomenon, discussing the generic contexts in which it is situated, scrutinizing press responses to the sub-genre, and offering narrative analyses of the sub-genre’s central films; including the (...) highly popular Saw franchise, the Hostel movies, and recent revamped versions of slasher movies such as Texas Chainsaw Massacre, as well as the multitude of independent direct-to-DVD films that have been influenced by these theatrically successful films. (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)

A rise of academic capitalism over the past four decades has been well documented within many research-intensive universities. Largely missing, however, are in-depth studies of how particularly situated academic groups manage the uncertainties that come with intermittent and fickle commercial funding streams in their daily research practice and problem choice. To capture the strategies scientists adopt under these conditions, this article provides an ethnographically detailed (and true) story about how a single project in Artificial Intelligence grew over several years from (...) a peripheral idea to the very center of an academic lab’s commercial portfolio. The analysis theorizes an epistemic form—nimble knowledge production—and documents three of its lab-level features: 1) rapid prototyping to keep sunk costs low, 2) shared search for “real world problems” rather than “theoretical” ones, and 3) nimble commitment to research problem choice. While similar forms of academic knowledge transfer have been lauded as “mode 2,” “innovative,” or “hybrid” for initiating cross-institutional collaboration and pushing science beyond disciplinary silos, this case suggests it can rely on fleeting attention to problems resistant to a quick fix. (shrink)

Erotic Nights of the Living Dead (1980) may have featured both animated corpses and hardcore sex scenes, but only recently have Re-Penetrator (2004) and Porn of the Dead (2006) managed to fully eroticise the living dead, allowing these creatures to engage in intercourse. In doing so, the usually a-subjective zombie is allotted a key facet of identity - sexuality. This development within the sub-genre needs accounting for outside of the contexts of porn studies, where it has only been briefly touched (...) upon in relation to its "extremity". -/- Moreover, the gendering of the undead opens a discussion which expand the horizons of zombie studies away from the overt critiques of capitalism, race and psychoanalysis that have pervaded analyses of these narratives. The dichotomy of binary oppositions so often associated with psychoanalytic approaches dictates that "passive (non-phallic) = female", and "active (phallic) = male". In these terms, the zombies are feminine - soft-bodied and passive, despite their murderous intent (which has been accounted for, by Barabara Creed (1993) amongst others, by invoking the vagina-dentata motif). Humans (active) are deemed masculine, not least since they tend to dispatch zombies with "phallic guns". Taking this logic to an extreme, the zombie may be read as allegorising feminism: the "feminised" figures (zombies) become fearsome in their will to exert themselves despite their seeming disempowerment in the face of "masculine" hegemony. Ultimately, by grouping together as a force, they overthrow or at least significantly damage that "normality" (an ideological paradigm usually read in terms of race, class and economics). (shrink)

The complexity that we observe in nature can often be explained in terms of cooperative behavior. For example, the major transitions of evolution required the emergence of cooperation among the lower-level units of selection, which led to specialization through division-of-labor ultimately resulting in spontaneous order. There are two aspects to address explaining how such cooperation is sustained: how free-riders are prevented from free-riding on the benefits of cooperative tasks, and just as importantly, how those social benefits arise. We review these (...) problems from an economic perspective, and highlight how ideas from economics can help us to better understand how the benefits of social interactions arise, how they are sustained, and how they affect the underlying social dilemmas. (shrink)

The issue of representing access control requirements continues to demand significant attention. The focus of researchers has traditionally been on developing particular access control models and policy specification languages for particular applications. However, this approach has resulted in an unnecessary surfeit of models and languages. In contrast, we describe a general access control model and a logic-based specification language from which both existing and novel access control models may be derived as particular cases and from which several approaches can be (...) developed for domain-specific applications. We will argue that our general framework has a number of specific attractions and an implication of our work is to encourage a methodological shift from a study of the particulars of access control to its generalities. (shrink)

Three different styles of foundations of mathematics are now commonplace: set theory, type theory, and category theory. How do they relate, and how do they differ? What advantages and disadvantages does each one have over the others? We pursue these questions by considering interpretations of each system into the others and examining the preservation and loss of mathematical content thereby. In order to stay focused on the “big picture”, we merely sketch the overall form of each construction, referring to the (...) literature for details. Each of the three steps considered below is based on more recent logical research than the preceding one. The first step from sets to types is essentially the familiar idea of set theoretic semantics for a syntactic system, i.e. giving a model; we take a brief glance at this step from the current point of view, mainly just to fix ideas and notation. The second step from types to categories is known to categorical logicians as the construction of a “syntactic category”; we give some specifics for the benefit of the reader who is not familiar with it. The third step from categories to sets is based on quite recent work, but captures in a precise way an intuition from the early days of foundational studies. With these pieces in place, we can then draw some conclusions regarding the differences between the three schemes, and their relative merits. In particular, it is possible to state more precisely why the methods of category theory are more appropriate to philosophical structuralism. (shrink)

This chapter explores the tentative line between erotic spectacle and horror; a judgement that is problematic given that is based on an axis of moral or ideological normality. The contexts of viewing impact on the status of ‘obscene’ images, both in terms of the communities that view them and their motivation for viewing; for sexual arousal, out of morbid curiosity or malevolence, or perhaps all three simultaneously. The reception of an obscene image is largely based upon the issue of viewer (...) consent, but this itself comes at the expense of the reality of bodies depicted, that are pushed to (and beyond) their limits. The chapter examines the moral and philosophical implications of desires that place the body in extreme states of sexualized deconstruction - both real and faked – and how these apply to images and communities in cyberspace. (shrink)

Torture porn has been vilified on grounds that are at best unconvincing and at worst incoherent. The subgenre’s remonstrators too often ignore the content of the films themselves, and fail to make sufficiently detailed connections between the subgenre and the cultural sphere. Reactions to torture porn rarely consider what values the films apparently contravene, and why, if the films are offensive, they are simultaneously so popular. The central derisive mechanism in operation is the ill-conceived combination of ‘torture’ and ‘porn’ itself. (...) The use of ‘porn’ as a label works to illegitimate torture porn and demand that body-horror retreat to its more ‘fitting’ position on the outskirts of the cultural radar. However, this approach is too busy pointing at violence, and fails to deal with the fact that sex is displaced. If violence is now pornographic, it is unclear what position sexual portrayals occupy, or whether they are still perceived as more offensive than violent representations. Furthermore, it is uncertain how we are to describe sexual images if that is the case, since the lexicon of offense has been waylaid. Torture porn’s critics commonly fail to account for the new context of ‘porn plus horror’, and what that combination says about visual representation and its limits. This chapter is a step towards rectifying that oversight. (shrink)