This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to specialists of proof theory, but should also be accessible to a diverse audience, including logicians, mathematicians, computer scientists and philosophers. Many of the central topics of proof theory have been included in a self-contained expository of articles, covered in great detail and depth. The chapters are arranged so that the two introductory articles come first; (...) these are then followed by articles from core classical areas of proof theory; the handbook concludes with articles that deal with topics closely related to computer science. (shrink)

In order to be a self-governing agent, a person must govern the process by means of which she acquires the intention to act as she does. But what does governing this process require? The standard compatibilist answers to this question all assume that autonomous actions differ from nonautonomous actions insofar as they are a more perfect expression of the agent’s agency. I challenge this conception of autonomous agents as super agents. The distinguishing feature of autonomous agents is, I argue, the (...) nonagential role they play in the formation of their intentions. I offer an account of the relevant role. (shrink)

Robin McKenna argues that we need to make space for an approach to epistemology that avoids the idealizations typical of the field. He applies this approach to topics in applied and social epistemology, such as what to do about science denial, whether we should try to be intellectually autonomous, and what our obligations are to other inquirers.

A model for the ideal state includes discussion of the nature and application of justice, the role of the philosopher in society, the goals of education, and the effects of art upon character.

Many of us hold false beliefs about matters that are relevant to public policy such as climate change and the safety of vaccines. What can be done to rectify this situation? This question can be read in two ways. According to the descriptive reading, it concerns which methods will be effective in persuading people that their beliefs are false. According to the normative reading, it concerns which methods we are permitted to use in the service of persuading people. Some effective (...) methods—a programme of brainwashing, say—would not be permissible. In this paper I compare “methods of rational persuasion” with what you might call “marketing methods” such as how one frames the problem of climate change. My aim is to show that “marketing methods” are preferable to “methods of rational persuasion”. My argument has two parts. First, I argue that the evidence suggests that “marketing methods” are more effective in persuading people to change their minds. Second, I argue that “marketing methods” are an acceptable response to the normative question. (shrink)

them. Though Aristotle does not say so, presumably the questioner who conceals in this way must be prepared, when challenged, to show that the conclusion...

This work defends an interrelated set of theses in value-theory, normative ethics and meta-ethics. The three Parts correspond to these three areas. Part One (Value) defends a biocentric theory of moral standing, and then the coherence and objectivity of belief in intrinsic value, despite recent objections. Intrinsic value is located in the flourishing of living creatures; specifically, a neo-Aristotelian, species-relative account is supplied of wellbeing or flourishing, in terms of the development of the essential capacities of one's species. There follows (...) a theory of priorities, or of relative intrinsic value, in which the satisfaction of basic needs takes priority over other needs and over wants, and the interests of complex and sophisticated creatures over those of others, where they are at stake. Part Two defends a practice-consequentialist theory of the criteria of rightness and of obligation, which leaves room for supererogation, underpins our intuitions about justice, commends population growth only where it is genuinely desirable, and responds better than act-consequentialism to objections like that concerned with the separateness of persons. Part Three sifts meta-ethical theories, rejects moral relativism, and defends a cognitivist and naturalist meta-ethic. In defending analytical naturalism, it takes into account the latest literature on supervenience. By responding to recent discussions, this study supersedes my _Theory of Value and Obligation_ (1987). It is equipped with detailed end-notes and an ample bibliography, which could prove a research tool of itself. (shrink)

Science is not a great way to make money, or these days, even a job. But there are great riches in it, and in this book too. Tim Bradford, 'New Scientist'.

In this paper, we defend two main claims. The first is a moderate claim: we have a negative duty to not use binary gender-specific pronouns he or she to refer to genderqueer individuals. We defend this with an argument by analogy. It was gravely wrong for Mark Latham to refer to Catherine McGregor, a transgender woman, using the pronoun he; we argue that such cases of misgendering are morally analogous to referring to Angel Haze, who identifies as genderqueer, as he (...) or she. The second is a radical claim: we have a negative duty to not use any gender-specific pronouns to refer to anyone, regardless of their gender identity. We offer three arguments in favor of this claim (which appeal to concerns about inegalitarianism and risk, invasions of privacy, and reinforcing essentialist ideologies). We also show why the radical claim is compatible with the moderate claim. Before concluding, we examine common concerns about incorporating either they or a neologism such as ze as a third-person singular gender-neutral pronoun. These concerns, we argue, do not provide sufficient reason to reject either the moderate or radical claim. (shrink)

Buss, S.R., The undecidability of k-provability, Annals of Pure and Applied Logic 53 75-102. The k-provability problem is, given a first-order formula ø and an integer k, to determine if ø has a proof consisting of k or fewer lines . This paper shows that the k-provability problem for the sequent calculus is undecidable. Indeed, for every r.e. set X there is a formula ø and an integer k such that for all n,ø has a proof of k sequents (...) if and only if n ε X. (shrink)

The Idea of History is the best-known book of the great Oxford philosopher, historian, and archaeologist R.G. Collingwood. It was originally published posthumously in 1946, having been mainly reconstructed from Collingwood's manuscripts, many of which are now lost. For this revised edition, Collingwood's most important lectures on the philosophy of history are published here for the first time. These texts have been prepared by Jan van der Dussen from manuscripts that have only recently become available. The lectures contain Collingwood's first (...) comprehensive statement of his philosophy of history; they are therefore essential for a full understanding of his thought, and in particular for a correct interpretation of The Idea of History itself. Van der Dussen contributes a substantial introduction in which he explains the background to this new edition and surveys the scholarship of the last fifty years. (shrink)

We live in a world saturated in both racial and gendered divisions. Our focus is on one place where attitudes about these divisions diverge: language. We suspect most everyone would be horrified at the idea of adding race-specific pronouns, honorifics, generic terms, and so on to English. And yet gender-specific terms of the same sort are widely accepted and endorsed. We think this asymmetry cannot withstand scrutiny. We provide three considerations against incorporating additional race-specific terms into English, and argue that (...) these considerations also support eliminating the analogous gender-specific terms. With respect to these parts of speech, English should be no more gender-specific than it already is race-specific. (shrink)

In this paper I develop a version of contextualism that I call interests contextualism. Interests contextualism is the view that the truth-conditions of knowledge ascribing and denying sentences are partly determined by the ascriber’s interests and purposes. It therefore stands in opposition to the usual view on which the truth-conditions are partly determined by the ascriber’s conversational context. I give an argument against one particular implementation of the usual view, differentiate interests contextualism from other prominent versions of contextualism and argue (...) that, unlike those versions, interests contextualism can mitigate against the epistemic descent objection put forward by Duncan Pritchard in his ‘Contextualism, Scepticism, and the Problem of Epistemic Descent’ (the objection is that, on the contextualist view, an ascriber of knowledge cannot, for some subject S and proposition p, properly ascribe knowledge that p to S if that ascriber has previously retracted an earlier ascription of knowledge that p to S). (shrink)

Gender classifications often are controversial. These controversies typically focus on whether gender classifications align with facts about gender kind membership: Could someone really be nonbinary? Is Chris Mosier really a man? I think this is a bad approach. Consider the possibility of ontological oppression, which arises when social kinds operating in a context unjustly constrain the behaviors, concepts, or affect of certain groups. Gender kinds operating in dominant contexts, I argue, oppress trans and nonbinary persons in this way: they marginalize (...) trans men and women, and exclude nonbinary persons. As a result, facts about membership in dominant gender kinds should not settle gender classification practices. (shrink)

Excerpt from Die Weltanschauungen der Großen Philosophen der Neuzeit Der Hufforberung, Die I'leuauflage Diefes mit Beifall aufgenomme nen Büchleins 3u beforgen, glaubte ich mich um fo weniger ent3iehen 3u fallen, als mich mit Dem früh verftorbenen Derfaffer manche the meinfamieit Der über3eugung verbanb. Ba Der bisherige Umfang nicht wefenilüh uberfchritten werben follie, habe ich mich Darauf bee fchränit, Die bio; unb bibliographifchen Eingaben 3u revibieren, ein paar £iteraturvermerie hin3u3ufügen fowie einige ftiliftifche mängel3u befeitigen. Ilm übrigen erforberte Die Dietat Beibehaltung Des (...) Gertes auch Dort, wo Dem Derfaffer Die verantwortung überlaffen bleiben muß. Nur an wenigen Stellen habe ich eine. Durch Die Buchftaben R. 5. Als von mir herrührenb geienn3eichnete - Elnmeriung beigefügt. About the Publisher Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works. (shrink)

Le présent volume réunit les contributions d'un colloque sur la pensée sémiotique et linguistique des Idéologues qui s'est tenu à Berlin du 3 au 5 octobre 1983. Ce recueil d'articles fait suite à un fascicule de la revue Histoire Epistémologie Langage qui était consacré au même sujet et dont il complète et amplifie les perspectives en ce qui concerne la portée européenne de la discussion. Le volume manifeste l'intérêt que beaucoup d'entre nous portent, surtout dans les sciences du langage, à (...) ces philosophes longtemps négligés par l'histoire de la pensée. (shrink)

What’s important about ‘coming out’? Why do we wear business suits or Star Trek pins? Part of the answer, we think, has to do with what we call agential identity. Social metaphysics has given us tools for understanding what it is to be socially positioned as a member of a particular group and what it means to self-identify with a group. But there is little exploration of the general relationship between self-identity and social position. We take up this exploration, developing (...) an account of agential identity—the self-identities we make available to others. Agential identities are the bridge between what we take ourselves to be and what others take us to be. Understanding agential identity not only fills an important gap in the literature, but also helps us explain politically important phenomena concerning discrimination, malicious identities, passing, and code-switching. These phenomena, we argue, cannot be understood solely in terms of self-identity or social position. (shrink)

Alex Byrne’s article, “Are Women Adult Human Females?”, asks a question that Byrne treats as nearly rhetorical. Byrne’s answer is, ‘clearly, yes’. Moreover, Byrne claims, 'woman' is a biological category that does not admit of any interpretation as (also) a social category. It is important to respond to Byrne’s argument, but mostly because it is paradigmatic of a wider phenomenon. The slogan “women are adult human females” is a political slogan championed by anti-trans activists, appearing on billboards, pamphlets, and anti-trans (...) online forums. In this paper, I respond to Byrne’s argument, revealing significant problems with its background assumptions, content, and methodology. (shrink)

2014 Reprint of 1945 Edition. Full facsimile of the original edition, not reproduced with Optical Recognition Software. The first part deals with Greek cosmology and is the longest, the most elaborate and, on the whole, the liveliest part of a book which never deviates into dullness. The dominant thought in Greek cosmology, Collingwood holds, was the microcosm-macrocosm analogy, nature being the substance of something ensouled where "soul" meant the self-moving. Part II is "The Renaissance View of Nature ." Collingwood describes (...) the rise and decline of the deists' view of Nature as a machine designed by the Great Contriver who, having turned it out, watches it go. Part III, "The Modern View of Nature," deals with very recent or contemporary philosophy and science, discerning in it a radical evolutionism first in biology and later in cosmology. Remains to this day a classic text in the history of ideas. (shrink)

Atheism has had a strong presence on YouTube since its founding in the mid-2000s, which coincided with the rise of the new atheism movement, and lay atheists were quick to use the platform to spread new atheist ideas. Drawing from a sample of sixty-five atheist YouTube channels located and observed through online ethnographic methods, this article views YouTube videos as educational resources for atheists. It investigates different types of educational videos and ways of thinking about science, philosophy, and religion that (...) atheist content creators utilize and promote. The analysis reveals that they consistently frame these domains of knowledge through the truth claims they make and generally construct them within a hierarchical framework, with scientific knowledge at the top and religious knowledge at the bottom. Overall, their educational content reproduces new atheist discourses around these subjects, revealing the continuing influence of new atheism, two decades after its emergence. Furthermore, the popularity of videos that debunk arguments from religious apologists suggests that the intended audience of these videos includes both atheists, who are expected to need to learn to defend their atheism in debate with religious others, and “potential atheists”, religious believers who can be deconverted using rational arguments. (shrink)

Chinese translation by Zhuanxu Xu. Analytic philosophy has transgender trouble. In this paper, I explore potential explanations for this trouble, focusing on the notion of 'cisgender commonsense' and its place in philosophical methodology.

In the 4th edition of this best-selling textbook, the authors introduce students to the business of philosophizing, thereby inducting them into the art of reasoning and analyzing key concepts in education. This introductory text, continuously in print for more than thirty years, is a classic in its field. It shows, first and foremost, the importance of philosophy in educational debate and as a background to any practical activity such as teaching. What is involved in the idea of educating a person (...) or the idea of educational success? What, if anything, can be known and how should we organize what we know for curriculum purposes? What are the criteria for establishing the optimum balance between formal and informal teaching techniques? How trustworthy is educational research? In addition to these questions, which strike to the heart of the rationale for the educative process as a whole, the authors explore such concepts as culture, creativity, autonomy, indoctrination, needs, interests and learning by discovery. In this new updated edition, the authors draw on the latest research in genetics to argue that education is uniquely human and is essentially what develops us as humans. Resisting modern tendencies to equate knowledge with opinion, and value judgments with taste, this book leads the reader into the business of philosophizing and champions the cause of reason in education. (shrink)

Arrogance is traditionally regarded as among the worst of human vices. Kant’s discussion of one kind of arrogance as a violation of the categorical moral duty to respect other persons gives familiar support for this view. However, I argue that what Kant says about the ways in which another kind of arrogance is opposed to different kinds of self-respect reveals how profoundly vicious arrogance can be. As a failure of self-respect, arrogance is the Ur-Vice that corrupts moral agency and rational (...) judgment. As its contrary, self-respect is thus morally vital: it is the first condition of the possibility of genuine moral agency and judgment. There are also important gender dimensions to arrogance: although women are called haughty, supercilious, disdainful, even imperious or presumptuous, they are rarely called arrogant, perhaps because arrogance is an exercise of power. I consider, then, whether despite the Kantian condemnation of it, something that is properly called "arrogance" might be, in contexts of oppression, a liberatory virtue of self-respect that oppressed peoples ought to cultivate. (shrink)

What responsibility do individuals bear for structural injustice? Iris Marion Young has offered the most fully developed account to date, the Social Connections Model. She argues that we all bear responsibility because we each causally contribute to structural processes that produce injustice. My aim in this article is to motivate and defend an alternative account that improves on Young’s model by addressing five fundamental challenges faced by any such theory. The core idea of what I call the “Role-Ideal Model” is (...) that we are each responsible for structural injustice through and in virtue of our social roles, i.e. our roles as parents, colleagues, employers, citizens, etc., because roles are the site where structure meets agency. In short, the Role-Ideal Model explains how individual action contributes to structural change, justifies demands for action from each particular agent, specifies what kinds of acts should be undertaken, moderates between demanding too much and too little of individual agents, and provides an account of the critical responses appropriate for holding individuals accountable for structural injustice. (shrink)

The concept of yinyang lies at the heart of Chinese thought and culture. The relationship between these two opposing, yet mutually dependent, forces is symbolized in the familiar black and white symbol that has become an icon in popular culture across the world. The real significance of yinyang is, however, more complex and subtle. This brilliant and comprehensive analysis by one of the leading authorities in the field captures the richness and multiplicity of the meanings and applications of yinyang, including (...) its visual presentations. Through a vast range of historical and textual sources, the book examines the scope and role of yinyang, the philosophical significance of its various layers of meanings and its relation to numerous schools and traditions within Chinese philosophy. By putting yinyang on a secure and clear philosophical footing, the book roots the concept in the original Chinese idiom, distancing it from Western assumptions, frameworks and terms, yet also seeking to connect its analysis to shared cross-cultural philosophical concerns. (shrink)

To treat some human beings as less worthy of concern and respect than others is to lose sight of their humanity. But what does this moral blindness amount to? In exploring the value of humanity, the essays in this volume offer a wide range of competing, yet overlapping, answers to this question. Some essays examine influential views in the history of Western philosophy. In others, philosophers currently working in ethics develop and defend their own views. Some essays appeal to distinctively (...) human capacities. Others argue that our obligations to one another are ultimately grounded in self-interest or certain shared interests or our natural sociability. The philosophers featured here disagree about whether the value of human beings depends on the value of anything else. They disagree about how reason and rationality relate to this value, and even about whether we can reason our way to discovering it. This rich selection of proposals encourages us to rethink some of our own deepest assumptions about the moral significance of being human. (shrink)

Capturing a scientific change in thinking about personality and individual differences that has been building over the past 15 years, this volume stands at an important moment in the development of psychology as a discipline. Rather than viewing individual differences as merely the raw material upon which selection operates, the contributing authors provide theories and empirical evidence which suggest that personality and individual differences are central to evolved psychological mechanisms and behavioral functioning. The book draws theoretical inspiration from life history (...) theory, evolutionary genetics, molecular genetics, developmental psychology, personality psychology, and evolutionary psychology, while utilizing the theories of the "best and the brightest" international scientists working on this cutting edge paradigm shift. In the first of three sections, the authors analyze personality and the adaptive landscape; here, the authors offer a novel conceptual framework for examining "personality assessment adaptations." Because individuals in a social environment have momentous consequences for creating and solving adaptive problems, humans have evolved "difference-detecting mechanisms" designed to make crucial social decisions such as mate selection, friend selection, kin investment, coalition formation, and hierarchy negotiation. In the second section, the authors examine developmental and life-history theoretical perspectives to explore the origins and development of personality over the lifespan. The third section focuses on the relatively new field of evolutionary genetics and explores which of the major evolutionary forces--such as balancing selection, mutation, co-evolutionary arms races, and drift--are responsible for the origins of personality and individual differences. Existing as a seminal work in the newly emerging evolutionary psychology field, this book is a "must-read" for anyone invested in the development of psychology as a field. (shrink)

Moral agency is limited, imperfect, and structurally constrained. This is evident in the many ways we all unwittingly participate in widespread injustice through our everyday actions, which I call ‘structural wrongs’. To do justice to these facts, I argue that we should distinguish between summative and formative moral criticism. While summative criticism functions to conclusively assess an agent's performance relative to some benchmark, formative criticism aims only to improve performance in an ongoing way. I show that the negative sanctions associated (...) with summative responses are only justifiably imposed under certain conditions when persons exercise their agency wrongly — conditions that do not always hold for structural wrongs. Yet even in such cases we can still use formative responses, which are warranted whenever agents fall short of moral ideals. Expanding our repertoire of moral criticism to include both summative and formative responses enables us to better appreciate both the powers and limitations of our agency, and the complexity of moral life. (shrink)

The goal of this article is to show that mainstream liberal accounts of civil disobedience fail to fully capture the latter’s specific characteristics as a genuinely political and democratic practice of contestation that is not reducible to an ethical or legal understanding either in terms of individual conscience or of fidelity to the rule of law. In developing this account in more detail, I first define civil disobedience with an aim of spelling out why the standard liberal model, while providing (...) a useful starting point, ultimately leads to an overly constrained, domesticated and sanitized understanding of this complex political practice. Second, I place the political practice of civil disobedience between two opposing poles: symbolic politics and real confrontation. I argue that the irreducible tension between these poles precisely accounts for its politicizing and democratizing potential. Finally, I briefly examine the role of civil disobedience in representative democracies, addressing a series of recent challenges made in response to this radically democratic understanding of disobedience. (shrink)

Sally Haslanger has recently argued that philosophical focus on implicit bias is overly individualist, since social inequalities are best explained in terms of social structures rather than the actions and attitudes of individuals. I argue that questions of individual responsibility and implicit bias, properly understood, do constitute an important part of addressing structural injustice, and I propose an alternative conception of social structure according to which implicit biases are themselves best understood as a special type of structure.

This book provides an overview of recent debates about critical theory from Pierre Bourdieu via Luc Boltanski to the Frankfurt School. Robin Celikates investigates the relevance of the self-understanding of ordinary agents and of their practices of critique for the theoretical and emancipatory project of critical theory.

This text addresses the profound human questions of love and work. Beginning with a historical introduction, the author progresses through adaptive problems that humans face, and concludes by showing how evolutionary psychology encompasses all branches of psychology.

This paper investigates whether gender affects ethically sensitive decisions of a personal or business nature. Data from 51 practicing accountants from both public accounting and private industry suggest that while differences exist between female and male accountants in responses to specific situations, overall responses are quite similar. Statistically significant differences were found for only five of the sixteen ethically sensitive situations. Further, when personal and business situations of a similar nature were paired together, two of the eight differences between personal (...) and business responses were significantly different between females and males. Taken as a whole, the results refute the suggestion that the ethical decision making of organizations may be enhanced as more women enter the business field. (shrink)