Based on an original ethnographic study of a translational cancer research institute in the United States, we propose calibration as a process that makes interdisciplinary collaboration without consensus possible. Calibration refers to ongoing, day-to-day negotiation and alignment of personal identities, disciplinary commitments, and research group customs that occur during face-to-face group deliberations around everyday research concerns. Calibration provides a mechanism that explains how collaboration without consensus is possible. Crucially, it does not presuppose that interdisciplinary collaboration either indicates or causes the (...) blurring or softening of disciplinary boundaries. We argue that at the microsociological level it may be disciplinary robustness, rather than synthesis, that contributes to interdisciplinary innovation. (shrink)

Young’s paper (2012) offers an interesting and fruitful extension to recent work on Cotard’s syndrome, and in particular, a philosophical investigation of how and why beliefs around death and non-existence frequently co-occur with beliefs around immortality. In this brief response, we discuss a few issues from the paper. Namely, the issue of Cotard delusion being a natural kind, the seeming paradox of death and immortality and its relation to wider culture and literature, and the utility of the concept of misplaced (...) being. (shrink)

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)

Despite inroads made by critical realism against the ‘scientific method’ in social science, the latter remains strong in subject-areas like human resource management. One argument for the alleged superiority of the scientific method lies in the taken-for-granted belief that it alone can formulate empirically testable predictions. Many of those who employ the scientific method are, however, confused about the way they understand and practice prediction. This paper takes as a case study empirical research on the alleged empirical association between human (...) resource management practices and organisational performance. By unpacking the confusion surrounding the two basic notions of prediction used, it reveals what is wrong with them, why the scientific method cannot actually make accurate predictions and why, therefore, the scientific method fails to meet its own criteria for scientificity. Finally, explanation is considered in order to prevent any confusion between it and prediction and to offer what we call tendential prediction. (shrink)

The international conference Humanities Between Constructivism and Biologism, held at the University of Copenhagen in September 2010, was the forum for an exciting debate between Steve Fuller (Warwick), Ronald Schleifer (Oklahoma), Robert Markley (Illinois) and other scholars. The debate took place at the final session and conveys a number of central messages from the conference, which aim was to encourage interdisciplinarity by bringing together scholars from different humanist disciplines to offer their views on existing practices and ideas regarding the (...) relationship between science and the humanities. (shrink)

Thomas Kuhn's _The Structure of Scientific Revolutions_ is one of the best known and most influential books of the twentieth century. Whether they adore or revile him, critics and fans alike have tended to agree on one thing: Kuhn's ideas were revolutionary. But were they? Steve Fuller argues that Kuhn actually held a profoundly conservative view of science and how one ought to study its history. Early on, Kuhn came under the influence of Harvard President James Bryant Conant (to (...) whom _Structure_ is dedicated), who had developed an educational program intended to help deflect Cold War unease over science's uncertain future by focusing on its illustrious past. Fuller argues that this rhetoric made its way into _Structure,_ which Fuller sees as preserving and reinforcing the old view that science really is just a steady accumulation of truths about the world (once "paradigm shifts" are resolved). Fuller suggests that Kuhn, deliberately or not, shared the tendency in Western culture to conceal possible negative effects of new knowledge from the general public. Because it insists on a difference between a history of science for scientists and one suited to historians, Fuller charges that _Structure_ created the awkward divide that has led directly to the "Science Wars" and has stifled much innovative research. In conclusion, Fuller offers a way forward that rejects Kuhn's fixation on paradigms in favor of a conception of science as a social movement designed to empower society's traditionally disenfranchised elements. Certain to be controversial, _Thomas Kuhn_ must be read by anyone who has adopted, challenged, or otherwise engaged with _The Structure of Scientific Revolutions._ "Structure will never look quite the same again after Fuller. In that sense, he has achieved one of the main aims of his ambitious and impressively executed project."—Jon Turney, _Times Higher Education Supplement_ "Philosophies like Kuhn's narrow the possible futures of inquiry by politically methodizing and taming them. More republican philosophies will leave the future open. Mr. Fuller has amply succeeded in his program of distinguishing the one from the other."—William R. Everdell, _Washington Times_. (shrink)

When the policies and activities of one country or generation harm both other nations and later generations, they constitute serious injustices. Recognizing the broad threat posed by anthropogenic climate change, advocates for an international climate policy development process have expressly aimed to mitigate this pressing contemporary environmental threat in a manner that promotes justice. Yet, while making justice a primary objective of global climate policy has been the movement's noblest aspiration, it remains an onerous challenge for policymakers. -/- Atmospheric Justice (...) is the first single-authored work of political theory that addresses this pressing challenge via the conceptual frameworks of justice, equality, and responsibility. Throughout this incisive study, Steve Vanderheiden points toward ways to achieve environmental justice by exploring how climate change raises issues of both international and intergenerational justice. In addition, he considers how the design of a global climate regime might take these aims into account. Engaging with the principles of renowned political philosopher John Rawls, he expands on them by factoring in the needs of future generations. Vanderheiden also demonstrates how political theory can contribute to reaching a better understanding of the proper human response to climate change. By showing how climate policy offers insights into resolving contemporary controversies within political theory, he illustrates the ways in which applying normative theory to policy allows us to better understand both. -/- Thoroughly researched and persuasively argued, Atmospheric Justice makes an important step toward providing us with a set of carefully elaborated first principles for achieving environmental justice. (shrink)

Steve Coutinho explores in detail the fundamental concepts of Daoist thought as represented in three early texts: the _Laozi_, the _Zhuangzi_, and the _Liezi_. Readers interested in philosophy yet unfamiliar with Daoism will gain a comprehensive understanding of these works from this analysis, and readers fascinated by ancient China who also wish to grasp its philosophical foundations will appreciate the clarity and depth of Coutinho's explanations. Coutinho writes a volume for all readers, whether or not they have a background (...) in philosophy or Chinese studies. A work of comparative philosophy, this volume also integrates the concepts and methods of contemporary philosophical discourse into a discussion of early Chinese thought. The resulting dialogue relates ancient Chinese thought to contemporary philosophical issues and uses modern Western ideas and approaches to throw new interpretive light on classical texts. Rather than function as historical curiosities, these works act as living philosophies in conversation with contemporary thought and experience. Coutinho respects the multiplicity of Daoist philosophies while also revealing a distinctive philosophical sensibility, and he provides clear explanations of these complex texts without resorting to oversimplification. (shrink)

Thomas Kuhn's _Structure of Scientific Revolutions_ has sold over a million copies in more than twenty languages and has remained one of the ten most cited academic works for the past half century. In contrast, Karl Popper's seminal book _The Logic of Scientific Discovery_ has lapsed into relative obscurity. Although the two men debated the nature of science only once, the legacy of this encounter has dominated intellectual and public discussions on the topic ever since. Almost universally recognized as the (...) modern watershed in the philosophy of science, Kuhn's relativistic vision of shifting paradigms -- which asserted that science was just another human activity, like art or philosophy, only more specialized -- triumphed over Popper's more positivistic belief in science's revolutionary potential to falsify society's dogmas. But has this victory been beneficial for science? Steve Fuller argues that not only has Kuhn's dominance had an adverse impact on the field but both thinkers have been radically misinterpreted in the process. This debate raises a vital question: Can science remain an independent, progressive force in society, or is it destined to continue as the technical wing of the military-industrial complex? Drawing on original research -- including the Kuhn archives at MIT -- Fuller offers a clear account of "Kuhn vs. Popper" and what it will mean for the future of scientific inquiry. (shrink)

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 Sociology of Intellectual Life outlines a social theory of knowledge for the 21st century. Steve Fuller deals directly with a world in which it is no longer taken for granted that universities and academics are the best places and people to embody the life of the mind. While Fuller defends academic privilege, he takes very seriously the historic divergences between academics and intellectuals, attending especially to the different features of knowledge production that they value."--BOOK JACKET.

The theory of knowledge, or epistemology, is often regarded as a dry topic that bears little relation to actual knowledge practices. Knowledge: The Philosophical Quest in History addresses this perception by showing the roots, developments and prospects of modern epistemology from its beginnings in the nineteenth century to the present day. Beginning with an introduction to the central questions and problems in theory of knowledge, Steve Fuller goes on to demonstrate that contemporary epistemology is enriched by its interdisciplinarity, analysing (...) keys areas including: Epistemology as Cognitive Economics Epistemology as Divine Psychology Epistemology as Philosophy of Science Epistemology as Sociology of Science Epistemology and Postmodernism. A wide-ranging and historically-informed assessment of the ways in which man has - and continues to - pursue, question, contest, expand and shape knowledge, this book is essential reading anyone in the Humanities and Social Sciences interested in the history and practical application of epistemology. (shrink)

In this challenging and provocative book, Steve Fuller contends that our continuing faith in science in the face of its actual history is best understood as the secular residue of a religiously inspired belief in divine providence. Our faith in science is the promise of a life as it shall be, as science will make it one day. Just as men once put their faith in God's activity in the world, so we now travel to a land promised by (...) science. In "Science", Fuller suggests that the two destinations might be the same one. Fuller sympathetically explores what it might mean to live scientifically. Can science give a sense of completeness to one's life? Can it account for the entirety of what it is to be human? And what does our continuing belief in scientific progress say about us as a species? In answering these questions, Fuller ranges widely over the history of science and religion - from Aristotle and the atomists to Dawkins and the neo-Darwinists - and takes a close look at what science is, how its purpose has changed over the years, and what role religion and in more recent years atheism have played in its progression. Science, argues Fuller, is now undergoing its own version of secularization. We are ceasing to trust science in its institutional forms, formulated by an anointed class of science priests, and instead we are witnessing the emergence of what Fuller calls Protscience' - all sorts of people, from the New Age movement to anti-evolutionists, claiming scientific authority as their own. Fuller shows that these groups are no more anti-scientific than Protestant sects were atheistic. Fearless and thought-provoking, Science questions some of our most fundamental beliefs about the nature and role of science, and is a distinct and important contribution to debates about evolution, intelligent design, atheism, humanism, the notion of scientific progress, and the public understanding of science. (shrink)

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.

In The Postmodern Animal, Steve Baker explores how animal imagery has been used in modern and contemporary art and performance, and in postmodern philosophy and literature, to suggest and shape ideas about identity and creativity. Baker cogently analyses the work of such European and American artists as Olly and Suzi, Mark Dion, Paula Rego and Sue Coe, at the same time looking critically at the constructions, performances and installations of Robert Rauschenberg, Louise Bourgeois, Joseph Beuys and other significant late (...) twentieth-century artists. Baker's book draws parallels between the animal's place in postmodern art and poststructuralist theory, drawing on works as diverse as Jacques Derrida's recent analysis of the role of animals in philosophical thought and Julian Barnes's best-selling Flaubert's Parrot. (shrink)

Steve Fuller has a reputation for setting the terms of debate within science and technology studies. In his latest book, _New Frontiers in Science and Technology Studies_ he charts the debates likely to be of relevance in the coming years. Should science and technology be treated as separate entities? What impact has globalization had on science and technology? Can science be clearly distinguished from other forms of knowledge? Does the politicization of science really matter? Is there a role for (...) the social regulation of scientific inquiry? Should we be worried about research fraud? These questions are explored by examining an array of historical, philosophical and contemporary sources. Attention is paid, for example, to the Bruno Latour's _The Politics of Nature_ as a model for science policy, as well as the global controversy surrounding Bjorn Lomborg's _The Sceptical Environmentalist_, which led to the dismantling and re-establishment of the Danish national research ethics board. _New Frontiers in Science and Technology Studies_ will appeal strongly to scholars and advanced undergraduate and graduate students in courses concerned with the social dimensions of science and technology, and anyone who cares about the future of science. (shrink)

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)

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

An exploration of the production, transmission, and mutation of affective tonality—when sound helps produce a bad vibe.

This paper is the first 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)

Aimed directly at those who aspire to be university leaders in these turbulent times, and written as an academic counterpart to Machiavelli's The Prince, The Academic Caesar explores four themes that are central to the contemporary university: its Caesar-leaders, its economics, its disciplines, and whether academics have a future in the universities. Drawing on a wealth of experience writing about the social epistemology of higher education, Steve Fuller makes a witty, robust and provocative contribution to the ongoing debate about (...) where the university has come from and where it is going. The Academic Caesar will prove a fascinating read for those seeking new insights into current crisis in higher education as well as researchers and academics interested in the sociology of leadership. (shrink)

This volume explores Science & Technology Studies (STS) and its role in redrawing disciplinary boundaries. For scholars/grad students in rhetoric of science, science studies, philosophy & comm, English, sociology & knowledge mgmt.

Steve Awodey and A. W. Carus. How Carnap Could Have Replied to Gödel.

With no precise boundaries, always on the move and too complex to be defined by space and time, is it possible to map the human subject? This book attempts to do just this, exploring the places of the subject in contemporary culture. The editors approach this subject from four main aspects--its construction, sexuality, limits and politics--using a wide ranging review of literature on subjectivity across the social and human sciences. The first part of the book establishes the idea that the (...) subject is constructed through detailed histories of the subject. The second part shows that sexuality cannot be assumed to be natural through the contributors' research on the place of sexuality in subjectivity and subjectivity in sexuality. The essays in the third part take issue with the idea of a singular, self-contained identity. Power relations and the effects of power are consistent themes throughout the book and the final section deals explicitly with relations of power, whether organized around gender, race, class or other kinds of difference. Contributors: Steve Pile, Nigel Thrift, Miles Ogborn, Carolyn Steedman, David Matless, David Sibley, David Bell, Julia Cream, Vic Seidler, Hester Parr, Chris Philo, Marcus Doel, Paul Rodaway, Nigel Rapport, Stephen Frosh, Valerie Walkerdine, Gillian Rose and Michael Keith. (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)

Compassion is a word we use frequently but rarely precisely. One reason we lack a philosophically precise understanding of compassion is that moral philosophers today give it virtually no attention. Indeed, in the predominant ethical traditions of the West, compassion tends to be either passed over without remark or explicitly dismissed as irrelevant. And yet in the predominant ethical traditions of Asia, compassion is centrally important: All else revolves around it. This is clearly the case in Buddhist ethics, and compassion (...) plays a similarly indispensable role in Confucian and Daoist ethics. In Compassion and Moral Guidance, Steve Bein seeks to explain why compassion plays such a substantial role in the moral philosophies of East Asia and an insignificant one in those of Europe and the West. The book opens with detailed surveys of compassion’s position in the philosophical works of both traditions. The surveys culminate in an analysis of the conceptions of self and why the differences between these conceptions serve either to celebrate or marginalize the importance of compassion. Bein moves on to develop a model for the ethics of compassion, including a chapter on applied ethics seen from the perspective of the ethics of compassion. The result is a new approach to ethics, one that addresses the Rawlsian and Kantian concern for fairness, the utilitarian concern for satisfactory consequences, and the concern in care ethics for the proper treatment of marginalized groups. Bein argues that compassion’s capacity to address all of these makes it a primary tool for ethical decision-making. (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)

In the face of argument to the contrary, it is shown that there is defensible middle ground available for entity realism, between the extremes of scientific realism and empiricist antirealism. Cartwright's ([1983]) earlier argument for defensible middle ground between these extremes, which depended crucially on the viability of an underdeveloped distinction between inference to the best explanation (IBE) and inference to the most probable cause (IPC), is examined and its defects are identified. The relationship between IBE and IPC is clarified (...) and a revised version of Cartwright's argument for defensible middle ground, which is free of the identified defects, is presented. (shrink)

“Purifying Zen: Watsuji Tetsuro’s Shamon Dogen makes available in a clear and fluid translation an early classic in modern Japanese philosophy. Steve Bein’s annotations, footnotes, introduction, and commentary bridge the gap separating not only the languages but also the cultures of its original readers and its new Western audience.” —from the Foreword by Thomas P. Kasulis In 1223 the monk Dogen Kigen came to the audacious conclusion that Japanese Buddhism had become hopelessly corrupt. He undertook a dangerous pilgrimage to (...) China to bring back a purer form of Buddhism and went on to become one of the founders of Soto Zen, still the largest Zen sect in Japan. Seven hundred years later, the philosopher Watsuji Tetsuro also saw corruption in the Buddhism of his day. Watsuji’s efforts to purify the religion sent him not across the seas but searching Japan’s intellectual past, where he discovered writings by Dogen that had been hidden away by the monk’s own sect. Watsuji later penned Shamon Dogen, which single-handedly rescued Dogen from the brink of obscurity, reintroducing Japan to its first great philosophical mind. Purifying Zen is the first English translation of Watsuji’s landmark book. A text intended to reacquaint Japan with one of its finest philosophers, the work delves into the complexities of individuals in social relationships, lamenting the stark egoism and loneliness of life in an increasingly Westernized Japan. In addition to an introduction that provides biographical details on Watsuji and Dogen, the translation is supplemented with a brief guide to the themes and ideas of Shamon Dogen, beginning with a consideration of the nature of faith and the role of responsibility in Watsuji’s vision of Dogen’s Zen. It goes on to examine the technical terms of Dogen’s philosophy and the role of written language in Dogen’s thought. (shrink)

There is a growing perception among economists that their field is becoming increasingly irrelevant due to its disregard for reality. Critical realism addresses the failure of mainstream economics to explain economic reality and proposes an alternative approach. This book debates the relative strengths and weaknesses of critical realism, in the hopes of developing a more fruitful and relevant socio-economic ontology and methodology. With contributions from some of the leading authorities in economic philosophy, it includes the work of theorists critical of (...) this approach. In the first part, contributors develop and deepen economics as a realist social theory by considering the work of individuals, various schools of thought, socio- economic phenomena and methodology. In the second part, contributors weigh the strengths and weaknesses of critical realism. (shrink)

Over the last century, psychoanalysis has transformed the ways in which we think about our relationships with others. Psychoanalytic concepts and methods, such as the unconscious and dream analysis, have greatly impacted on social, cultural and political theory. Reinterpreting the ways in which geography has explored people's mental maps and their deepest feelings about places, The Body and the City outlines a new cartography of the subject. Mapping key coordinates of meaning, identity and power across the sites of body and (...) city, author Steve Pile explores a wide range of critical thinking, particularly the work of Lefebvre, Freud and Lacan to present a pathbreaking psychoanalysis of space. (shrink)

Following Clarke (2002), a Lakatosian approach is used to account for the epistemic development of conspiracy theories. It is then argued that the hypercritical atmosphere of the internet has slowed down the development of conspiracy theories, discouraging conspiracy theorists from articulating explicit versions of their favoured theories, which could form the hard core of Lakatosian research pro grammes. The argument is illustrated with a study of the “controlled demolition” theory of the collapse of three towers at the World Trade Center (...) on September 11, 2001. (shrink)

For centuries, science and religion have been portrayed as diametrically opposed. In this provocative new book, Steve Fuller examines the apparent clash between science and religion by focusing on the heated debates about evolution and intelligent design theory. In so doing, he claims that science vs. religion is in fact a false dichotomy. For Fuller, supposedly intellectual disputes, such as those between creationist and evolutionist accounts of life, often disguise other institutionally driven conflicts, such as the struggle between State (...) and Church to be the source of legitimate authority in society. Nowadays many conservative anti-science groups support intelligent design theory, but Fuller argues that the theory's theological roots are much more radical, based on the idea that humans were created to fathom the divine plan, perhaps even complete it. He goes on to examine the unique political circumstances in the United States that make the emergence of intelligent design theory so controversial, yet so persistent. Finally, he considers the long-term prognosis, arguing that the future remains very much undecided as society reopens the question of what it means to be human. This book will appeal to all readers intrigued by the debates about creationism, intelligent design and evolution, especially those looking for an intellectually exciting confrontation with the politics and promise of intelligent design theory. (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)

Steve Awodey. Sheaf Representation for Topoi.

Wittgenstein's philosophy of mathematics has long been notorious. Part of the problem is that it has not been recognized that Wittgenstein, in fact, had two chief post-Tractatus conceptions of mathematics. I have labelled these the calculus conception and the language-game conception. The calculus conception forms a distinct middle period. The goal of my article is to provide a new framework for examining Wittgenstein's philosophies of mathematics and the evolution of his career as a whole. I posit the Hardyian Picture, modelled (...) on the Augustinian Picture, to provide a structure for Wittgenstein's work on the philosophy of mathematics. Wittgenstein's calculus period has not been properly recognized, so I give a detailed account of the tenets of that stage in Wittgenstein's career. Wittgenstein's notorious remarks on contradiction are the test case for my theory of his transition. I show that the bizarreness of those remarks is largely due to the calculus conception, but that Wittgenstein's later language-game account of mathematics keeps the rejection of the Hardyian Picture while correcting the calculus conception's mistakes. (shrink)

John Dupr argues that 'scientific imperialism' can result in 'misguided' science being considered acceptable. 'Misguided' is an explicitly normative term and the use of the pejorative 'imperialistic' is implicitly normative. However, Dupr has not justified the normative dimension of his critique. We identify two ways in which it might be justified. It might be justified if colonisation prevents a discipline from progressing in ways that it might otherwise progress. It might also be justified if colonisation prevents the expression of important (...) values in the colonised discipline. This second concern seems most pressing in the human sciences. (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)

We will analyze the concept of anonymity, along with cognate notions, and their relation to privacy, with a view to developing an understanding of how we control our identity in public and why such control is important in developing and maintaining our social selves. We will take anonymity to be representative of a suite of techniques of nonidentifiability that persons use to manage and protect their privacy. At the core of these techniques is the aim of being untrackable; this means (...) that others lack the information they would need either to intrude physically upon me or to discover some private facts about me. Anonymity often enough goes together with privacy, but not always. Consider a person walking down a foreign street. It is not a physically private situation but no one there knows who you are. On the other hand, when I cast a postal vote, this act is both private and anonymous. Privacy and anonymity seem to go together because of the way each protects something importantly personal, but their coming apart suggests a difference both in what they mean and in our purposes for securing them. A lot has been written about privacy, and deservedly so; there is reason to think anonymity, and its cognates, important as well. (shrink)