This ground-breaking text offers a fresh perspective on the governance of science from the standpoint of social and political theory. Science has often been seen as the only institution that embodies the elusive democratic ideal of the 'open society'. Yet, science remains an elite activity that commands much more public trust than understanding, even though science has become increasingly entangled with larger political and economic issues.

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.

THIS IS AN EARLY DRAFT OF MY PAPER "RESEARCH PROBLEMS" PUBLISHED IN BJPS IN 2021. PLEASE REFER TO THAT PAPER INSTEAD OF THIS ONE. -/- Philosophers increasingly study how scientists conduct actual scientific projects and the goals they pursue. But as of yet, there are few accounts of goals that can be used to identify different kinds, and specific instances, of goals pursued by scientists. I propose that there are at least four distinct kinds of goals pursued by scientists: ameliorating (...) problems, addressing questions, satisfying values, and achieving epistemic aims. I focus on the first two kinds, and I provide tools to help conceptualize, distinguish, and identify the problems and questions pursued by scientists. This paper illustrates the use of those tools with two examples. (shrink)

Standard epistemology takes it for granted that there is a special kind of value: epistemic value. This claim does not seem to sit well with act utilitarianism, however, since it holds that only welfare is of real value. I first develop a particularly utilitarian sense of “epistemic value”, according to which it is closely analogous to the nature of financial value. I then demonstrate the promise this approach has for two current puzzles in the intersection of epistemology and value theory: (...) first, the problem of why knowledge is better than mere true belief, and second, the relation between epistemic justification and responsibility. (shrink)

Moral judgments about an agent's behavior are enmeshed with inferences about the agent's mind. Folk psychology—the system that enables such inferences—therefore lies at the heart of moral judgment. We examine three related folk-psychological concepts that together shape people's judgments of blame: intentionality, choice, and free will. We discuss people's understanding and use of these concepts, address recent findings that challenge the autonomous role of these concepts in moral judgment, and conclude that choice is the fundamental concept of the three, defining (...) the core of folk psychology in moral judgment. (shrink)

From a logical point of view, Stone duality for Boolean algebras relates theories in classical propositional logic and their collections of models. The theories can be seen as presentations of Boolean algebras, and the collections of models can be topologized in such a way that the theory can be recovered from its space of models. The situation can be cast as a formal duality relating two categories of syntax and semantics, mediated by homming into a common dualizing object, in this (...) case 2.In the present work, we generalize the entire arrangement from propositional to first-order logic, using a representation result of Butz and Moerdijk. Boolean algebras are replaced by Boolean categories presented by theories in first-order logic, and spaces of models are replaced by topological groupoids of models and their isomorphisms. A duality between the resulting categories of syntax and semantics, expressed primarily in the form of a contravariant adjunction, is established by homming into a common dualizing object, now Sets, regarded once as a boolean category, and once as a groupoid equipped with an intrinsic topology.The overall framework of our investigation is provided by topos theory. Direct proofs of the main results are given, but the specialist will recognize toposophical ideas in the background. Indeed, the duality between syntax and semantics is really a manifestation of that between algebra and geometry in the two directions of the geometric morphisms that lurk behind our formal theory. Along the way, we give an elementary proof of Butz and Moerdijkʼs result in logical terms. (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)

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)

"Social epistemology" refers here to the work of analytic epistemologists and philosophers of science interested in providing an empirically adequate account of organized knowledge systems, with special emphasis on scientific inquiry. I critically survey the last ten years of this research. Unlike the pragmatist and Continental schools of philosophy, for which knowledge is "always already" social, progress in analytic social epistemology has been plagued by an oversharp distinction between individual and collective cognition; and a failure to query the ends of (...) science in addition to its means. Consequently, most analytic social epistemologists operate with a relatively weak sense of "normativity," one modelled more on taken-for-granted logical principles than legislated policy correctives. (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)

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.

Given that numerous critics have complained about Saw’s apparently confused sense of ethics, it is surprising that little attention has been paid to how morality operates in narrative itself. Coming from a Nietzschean perspective - specifically questioning whether the lead torturer Jigsaw is a passive or a radical nihilist - I seek to rectify that oversight. This philosophical reading of the series explores Jigsaw’s moral stance, which is complicated by his hypocrisy: I contend that this underpins critical complaints regarding the (...) films’ (and frequently the audience’s) "muddled" morality. My narrative analysis reveals that Jigsaw’s values are not as confused as they may first appear to be. Despite explicitly proclaiming that his quest is to save others, his actions reveal another story (and not only because his schema is homicidal). Following the loss of his unborn son and his failed suicide attempt, Jigsaw seeks to symbolically eradicate himself: the victims he selects reflect and reify his own obsessive personality traits. In keeping with the franchises’ narrative twists – which are designed to reverse initially "obvious" meanings – I argue that Jigsaw’s proclamations have misdirected critics. His nihilism may be manifested as coerced suffering and articulated as distaste with the world, yet the series’ symbolic target is Jigsaw himself. (shrink)

I reconstruct my own journey into the history of the human sciences, which I show to have been a process of discovering the metaphysical standing of the human. I begin with Alexandre Koyré’s encounter with Edmund Husserl in the 1930s, which I use to throw light on the legacy of Kant’s ‘anthropological’ understanding of the human, which dominated and limited 19th-century science. As I show, those who broke from Kant’s strictures and set the stage for the 20th-century revolutions in science (...) - from Hegel, to John McTaggart, to Max Weber - typically were pursuing crypto-theological questions about how a finite being can comprehend an infinite universe. This journey is about the ‘common measure’ of being human, which is what links Plato to Kuhn, but has been most consistently taken up by law. I suggest that in seeking this ‘measure of man’, we may discover that to be human is not necessarily to be Homo sapiens, which would suggest a radical reorientation of the history of the human sciences. (shrink)

A rich collection of critical essays, authored by philosophers and practicing artists, examining Deleuze and Guattari's engagement with a broad range of art forms.

We prove a number of results about countable Borel equivalence relations with forcing constructions and arguments. These results reveal hidden regularity properties of Borel complete sections on certain orbits. As consequences they imply the nonexistence of Borel complete sections with certain features.

This paper is a study of four subscripted Gentzen systems G u R +, G u T +, G u RW + and G u TW +. [16] shows that the first three are equivalent to the semilattice relevant logics u R +, u T + and u RW + and conjectures that G u TW + is, equivalent to u TW +. Here we prove Cut Theorems for these systems, and then show that modus ponens is admissible — which (...) is not so trivial as one normally expects. Finally, we give decision procedures for the contractionless systems, G u TW + and G u RW +. (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)

This special section on the later work of Paul Ricoeur is an attempt to examine the fruitfulness of that work for the social sciences. Of particular interest are his theorization and application of the notions of memory, identity, justice, and the relation to the other to political and ethical problems in the present. For example, his discourse links up the question of memory with that of justice and the problem of constructing new polities which can be considered just. To do (...) this, he introduces the concepts of ‘translation ethos’, the ‘exchange of memories’ and ‘non-forgetful forgiveness’ in order to examine the problem of the conditions for the imaginary construction of political entities in which dialogue can take place between interlocutors with different, maybe conflicting, interests and historical locations, and thus with different senses of belonging and identities. His philosophical apparatus is shown to have particular salience for the analysis of contemporary society. (shrink)

Subjective Morals breaks with tradition to provide a careful analysis of moral values and the goods and evils they produce. Sapontzis explores the subjective and objective bases of moral values and analyzes the concepts and categories that structure our moral practice.

During the past four decades, four questions have shaped the debate over eating meat: (1) What hurts the most? (2) Are animal lovers nature haters? (3) Are vegetarians bigots? (4) Do animals have rights? The following conclusions are advocated: (1) Where general welfare is the issue, numbers count, and they will always count against a small minority profiting by repeatedly exploiting the majority. However, how most effectively to respond to this injustice is not obvious. (2) Despite disagreements about the relationship (...) between biology and morals, vegetarians and environmentalists agree that factory farming is immoral because of what it does either to suffering animals or to the natural order. (3) Whether humans using animals for food can be a respectful relation-especially when we humans make all the decisions-is the real question here. So far, this extension of fairness beyond our own species is one for which we have shown little capacity. (4) Whether or not animals have "rights," morally concerned Westerners should not partake of factory-farmed products and should work for the abolition of such farms. (shrink)

From Socrates and the Sophists to Kant, from Augustine to Aquinas and the Reformers, Colin Brown traces the turbulent, often tension-filled, always fascinating story of the thinkers, ideas and movements that have shaped our intellectual landscape. Is philosophy the "handmaiden of faith" or "the doctrine of demons"? Does it clarify the faith or undermine the very heart of Christian belief?Brown writes, "This book is about the changes in preconceptions, world views and paradigms that have affected the ways in which people (...) have thought about religion in general and Christianity in particular in the Western world.... It is a historical sketch, written to help students--and anyone else who might be interested--to get a better grasp of the love-hate relationship between philosophy and faith that has gone on for close to two thousand years."Students, pastors and thoughtful Christians will benefit from this rich resource. The first in a proposed three-volume work, Brown's easy-to-read, hard-to-put-down introduction to Christianity and Western thought focuses on developments from the ancient world to the Age of Enlightenment. (shrink)

We apply linear algebra to the study of the inconsistent figure known as the Crazy Crate. Disambiguation by means of occlusions leads to a class of sixteen such figures: consistent, complete, both and neither. Necessary and sufficient conditions for inconsistency are obtained.

A dialogue arguing that morality has an objective basis in the mathematical object describing the "tit for tat" game theory. To play the game, a contractual obligation is freely made to cooperate and to fairly distribute the gains. Failure to meet these obligations results in social punishment.

A dialogue in which Freya argues that conspiracy theories are illogical, but Orin is not so sure!

Social epistemology is an interdisciplinary project that mobilizes the empirical resources of the "sociology of knowledge" for the purposes of informing a normative philosophy of science. Thus, the social epistemologist gives informed advice on how inquiry should be conducted. Because of its prescriptive character, social epistemology is nowadays most naturally seen as a branch of philosophy. This paper is part of a larger project devoted to removing the obstacles that currently prevent philosophers and psychologists from pooling their resources in the (...) cause of social epistemology. 2012 APA, all rights reserved). (shrink)

The notion of a continuously variable quantity can be regarded as a generalization of that of a particular quantity, and the properties of such quantities are then akin to, and derived from, the properties of constants. For example, the continuous, real-valued functions on a topological space behave like the field of real numbers in many ways, but instead form a ring. Topos theory permits one to apply this same idea to logic, and to consider continuously variable sets . In this (...) expository paper, such applications are explained to the non-specialist. Some recent results are mentioned, including a new completeness theorem for higher-order logic. (shrink)

As a criterion for judging avant-garde art, newness has been regarded as more important than excellence. kermode's single venture into art criticism, "objects, jokes & art," suggests this search for the new has led to a trivialisation of art. ideas from his more recent literary criticism such as "the classic" could be applied to avant-garde art, providing a non-reactionary means of assessing value on the basis of a work's openness to a plurality of interpretations. this would offer an alternative reading (...) of the history of modern art, opposed to formalist and reductionist views of the modernist continuum. (shrink)