The most important and exciting recent development in the philosophy of science is its merging with the sociology of scientific knowledge. Here is the first text book to make this development available.

The examination of the notion of science from a sociological perspective has begun to transform the attitudes to science traditionally upheld by historians and philosophers.

This book criticizes the common belief that we are entitled to exploit animals for our benefit because they are not as rational as people. After discussing the moral (in)significance of reason in general, the author proceeds to develop a clear, commonsensical conception of what "animal rights" is about and why everyday morality points toward the liberation of animals as the next logical step in Western moral progress. The book evaluates criticisms of animal rights that have appeared in recent philosophical literature (...) and explains the consequences of animal liberation for our diet, science, and treatment of the environment. The issue of animal rights has become of increasing philosophical and popular importance over the past decade. Morals. Reason, and Animals is the first extensive, second-generation contribution to this debate. Focusing exclusively on the fundamental philosophical issues, Sapontzis both undermines the arguments that have been raised against animal rights and constructs a rebuttal that avoids the pitfalls encountered by earlier defenses. (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)

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.

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)

This paper examines from a cognitive perspective the rhetorical and epistemic advantages that can be gained from the use of (extended) metaphors in political discourse. We defend the assumption that extended metaphors can be argumentatively exploited, and provide two arguments in support of the claim. First, considering that each instantiation of the metaphorical mapping in the text may function as a confirmation of the overall relevance of the main core mapping, we argue that extended metaphors carry self-validating claims that increase (...) the chances of their content being accepted. Second, we show how the recognition of an extended metaphor’s sophistication and relevance (on behalf of the addressee) can benefit the speaker’s perceived competence (ethos). We then assess whether these two arguments measure against the dual epistemic monitoring postulated in the notion of epistemic vigilance (i.e., assessment of the source of a message and assessment of the message) and conclude that extended metaphors may fulfil the requirements of epistemic vigilance and lead to the stabilisation of a belief. We illustrate our account with an analysis of the extended metaphor of the USA as an empire found in a political pamphlet written by the Swiss politician Oskar Freysinger. (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)

If nothing else, the twelve papers assembled in this volume should lay to rest the idea that the interesting debates about the nature of science are still being conducted by "internalists" vs. "externalists,"" rationalists" vs. "arationalists, n or even "normative epistemologists" vs. "empirical sociologists of knowledge. " Although these distinctions continue to haunt much of the theoretical discussion in philosophy and sociology of science, our authors have managed to elude their strictures by finally getting beyond the post-positivist preoccupation of defending (...) a certain division of labor among the science studies disciplines. But this is hardly to claim that our historians, philosophers, sociologists, and psychologists have brought about an "end of ideology," or even an "era of good feelings," to their debates. Rather, they have drawn new lines of battle which center more squarely than ever on practical matters of evaluating and selecting methods for studying science. To get a vivid sense of the new terrain that was staked out at the Yearbook conference, let us start by meditating on a picture. The front cover of a recent collection of sociological studies edited by one of us (Woolgar 1988) bears a stylized picture of a series of lined up open books presented in a typical perspective fashion. The global shape comes close to a trapezium, and is composed of smaller trapeziums gradually decreasing in size and piled upon each other so as to suggest a line receding in depth. The perspective is stylized too. (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)

Nearly thirty years after the first stirrings of the Kuhnian revolution, history and philosophy of science continues to galvanize methodological discussions in all corners of the academy except its own. Evidence for this domestic stagnation appears in Warren Schmaus's thoughtful review of Social Epistemology in which Schmaus takes for granted that history of science is the ultimate court of appeal for disputes between philosophers and sociologists. As against this, this essay argues that such disputes may be better treated by experimental (...) psychology. Humanistic methods typically (though not always) blind the historian to cognitive biases and limitations that make it difficult for philosophers and sociologists to mobilize historical research for settling their differences. It is also observed that the failure of philosophers to incorporate the methods and findings of experiemental psychology is symptomatic of an artificially restrictive understanding of the normative dimension of their enterprise. (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)

In the twentieth century, philosophy came to be dominated by the English-speaking world, first Britain and then the United States. Accompanying this development was an unprecedented professionalization and specialization of the discipline, the consequences of which are surveyed and evaluated in this article. The most general result has been a decline in philosophy's normative mission, which roughly corresponds to the increasing pursuit of philosophy in isolation from public life and especially other forms of inquiry, including ultimately its own history. This (...) is how the author explains the increasing tendency, over the past quarter-century, for philosophy to embrace the role of "underlaborer" for the special sciences. Indicative of this attitude is the long-term popularity of Thomas Kuhn's The Structure of Scientific Revolutions, which argues that fields reach maturity when they forget their past and focus on highly specialized problems. In conclusion, the author recalls the history of philosophy that, following Kuhn's advice, has caused us to forget, namely, the fate of Neo-Kantianism in the early twentieth century. Key Words: analytic philosophy • normative • positivism • pragmatism • professionalism • underlaborer. (shrink)