Using a slight generalization, due to Palmgren, of sheaf semantics, we present a term-model construction that assigns a model to any first-order intuitionistic theory. A modification of this construction then assigns a nonstandard model to any theory of arithmetic, enabling us to reproduce conservation results of Moerdijk and Palmgren for nonstandard Heyting arithmetic. Internalizing the construction allows us to strengthen these results with additional transfer rules; we then show that even trivial transfer axioms or minor strengthenings of these rules destroy (...) conservativity over HA. The analysis also shows that nonstandard HA has neither the disjunction property nor the explicit definability property. Finally, careful attention to the complexity of our definitions allows us to show that a certain weak fragment of intuitionistic nonstandard arithmetic is conservative over primitive recursive arithmetic. (shrink)

Using a slight generalization, due to Palmgren, of sheaf semantics, we present a term-model construction that assigns a model to any first-order intuitionistic theory. A modification of this construction then assigns a nonstandard model to any theory of arithmetic, enabling us to reproduce conservation results of Moerdijk and Palmgren for nonstandard Heyting arithmetic. Internalizing the construction allows us to strengthen these results with additional transfer rules; we then show that even trivial transfer axioms or minor strengthenings of these rules destroy (...) conservativity over HA. The analysis also shows that nonstandard HA has neither the disjunction property nor the explicit definability property. Finally, careful attention to the complexity of our definitions allows us to show that a certain weak fragment of intuitionistic nonstandard arithmetic is conservative over primitive recursive arithmetic. (shrink)

We discuss from a philosophical perspective the way in which the normal concept of time might be said to `emerge' in a quantum theory of gravity. After an introduction, we briefly discuss the notion of emergence, without regard to time. We then introduce the search for a quantum theory of gravity ; and review some general interpretative issues about space, time and matter. We then discuss the emergence of time in simple quantum geometrodynamics, and in the Euclidean approach. Section 6 (...) concludes. (shrink)

Author Jeremy Waldron has thoroughly revised thirteen of his most recent essays in order to offer a comprehensive critique of the idea of the judicial review of legislation. He argues that a belief in rights is not the same as a commitment to a Bill of Rights. This book presents legislation by a representative assembly as a form of law making which is especially apt for a society whose members disagree with one another about fundamental issues of principle.

Bentham's best-known book stands as a classic of both philosophy and jurisprudence. The 1789 work articulates an important statement of the foundations of utilitarian philosophy — it also represents a pioneering study of crime and punishment. Bentham's reasoning remains central to contemporary debates in moral and political philosophy, economics, and legal theory.

Since its founding in the nineteenth century, social anthropology has been seen as the study of exotic peoples in faraway places. But today more and more anthropologists are dedicating themselves not just to observing but to understanding and helping solve social problems wherever they occur--in international aid organizations, British TV studios, American hospitals, or racist enclaves in Eastern Europe, for example. In Exotic No More , an initiative of the Royal Anthropological Institute, some of today's most respected anthropologists demonstrate, in (...) clear, unpretentious prose, the tremendous contributions that anthropology can make to contemporary society. They cover issues ranging from fundamentalism to forced migration, child labor to crack dealing, human rights to hunger, ethnicity to environmentalism, intellectual property rights to international capitalisms. But Exotic No More is more than a litany of gloom and doom the essays also explore topics usually associated with leisure or "high" culture, including the media, visual arts, tourism, and music. Each author uses specific examples from their fieldwork to illustrate their discussions, and 62 photographs enliven the text. Throughout the book, the contributors highlight anthropology's commitment to taking people seriously on their own terms, paying close attention to what they are saying and doing, and trying to understand how they see the world and why. Sometimes this bottom-up perspective makes the strange familiar, but it can also make the familiar strange, exposing the cultural basis of seemingly "natural" behaviors and challenging us to rethink some of our most cherished ideas--about gender, "free" markets, "race," and "refugees," among many others. Contributors: William O. Beeman Philippe Bourgois John Chernoff E. Valentine Daniel Alex de Waal Judith Ennew James Fairhead Sarah Franklin Michael Gilsenan Faye Ginsburg Alma Gottlieb Christopher Hann Faye V. Harrison Richard Jenkins Melissa Leach Margaret Lock Jeremy MacClancy Jonathan Mazower Ellen Messer A. David Napier Nancy Scheper-Hughes Jane Schneider Parker Shipton Christopher B. Steiner. (shrink)

Negative Ecstasies discusses the contribution and significance of the work of Georges Bataille to the contemporary study of religion and theology, collecting essays that examine specific case studies and make connections to other significant scholars in the field.

The contractarian theory elaborated by John Rawls in A Theory of Justice exploits the difference principle in a great many ways. Rawls argues that, when used as part of a set of guiding principles for structuring the basic institutions of society, it simplifies the problem of interpersonal comparisons (91-4)1, helps compensate for the arbitrariness of natural endowments (101-3), promotes a harmony of interests between citizens (104-5), reintroduces the principle of fraternity to democratic society (105-6), and, what is critical to his (...) contractarian theory, it is an essential part of the principles of justice which would be chosen by free, equal, and rational persons in the original position. (shrink)

Most of us believe that partiality applies in a broad range of relationships. One relationship on which there is much disagreement is co-nationality. Some writers argue that co-national partiality is not justified in certain cases, like killing in war, since killing in defense of co-nationals is intuitively impermissible in other contexts. I argue that this approach overlooks an important structural feature of partiality—namely, that its scope is sometimes restricted. In this essay, I show how some relationships that generate reasons of (...) partiality are restricted in scope—that is, they generate reasons within particular contexts or with respect to particular goods. I then argue that co-national partiality is scope restricted. I then show how this fact helps proponents of co-national partiality overcome the aforementioned objection to its application in cases like war. (shrink)

As idealized descriptions of mathematical language, there is a sense in which formal systems specify too little, and there is a sense in which they specify too much. On the one hand, formal languages fail to account for a number of features of informal mathematical language that are essential to the communicative and inferential goals of the subject. On the other hand, many of these features are independent of the choice of a formal foundation, so grounding their analysis on a (...) particular choice of a formal system introduces unnecessary specificity. This chapter begins to map out the design features of mathematical language without descending to the level of formal implementation, drawing on examples from the mathematical literature and insights from the design of computational proof assistants and their libraries. (shrink)

Introduces history's greatest philosophers and explains their major contributions to the field of philosophy, profiling such figures as Francis Bacon, David Hume, John Stuart Mill, and Bertrand Russell.

We have two aims. The main one is to expound the idea of renormalization in quantum field theory, with no technical prerequisites. Our motivation is that renormalization is undoubtedly one of the great ideas—and great successes--of twentieth-century physics. Also it has strongly influenced in diverse ways, how physicists conceive of physical theories. So it is of considerable philosophical interest. Second, we will briefly relate renormalization to Ernest Nagel's account of inter-theoretic relations, especially reduction. One theme will be a contrast between (...) two approaches to renormalization. The old approach, which prevailed from ca. 1945 to 1970, treated renormalizability as a necessary condition for being an acceptable quantum field theory. On this approach, it is a piece of great good fortune that high energy physicists can formulate renormalizable quantum field theories that are so empirically successful. But the new approach to renormalization explains why the phenomena we see, at the energies we can access in our particle accelerators, are described by a renormalizable quantum field theory. For whatever non-renormalizable interactions may occur at yet higher energies, they are insignificant at accessible energies. Thus the new approach explains why our best fundamental theories have a feature, viz. renormalizability, which the old approach treated as a selection principle for theories. That is worth saying since philosophers tend to think of scientific explanation as only explaining an individual event, or perhaps a single law, or at most deducing one theory as a special case of another. Here we see a framework in which there is a space of theories. And this framework is powerful enough to deduce that what seemed “manna from heaven” is to be expected: the good fortune is generic. We also maintain that universality, a concept stressed in renormalization theory, is essentially the familiar philosophical idea of multiple realizability; and that it causes no problems for reductions of a Nagelian kind. (shrink)

Plato is often acknowledged as the first philosophical critic of democracy and his Republic is regularly taken as a paradigm of an anti-democratic work. While it is true that Plato objected to much about the democracy of his own time, Plato’s political theorizing also reveals an interest in improving democratic institutions. This chapter explores three themes in Plato’s thinking about democracy: firstly, Plato's insistence that rulers should be knowledgeable and his claim that most people are politically incompetent (§1); secondly, Plato's (...) criticisms of oratory and the corrupting effects of public rhetoric (§2); thirdly, Plato's use of democratic institutions in the Laws (§3). Once we appreciate these different evaluations of democratic practices, we can see that Plato was not simply ‘anti-democratic’ or ‘pro-democratic’ but thought some democratic practices should be abandoned, some reformed, and some adopted. (shrink)

Shearmur draws on his years as Popper's assistant, on unpublished material in the Hoover archive, and on wider themes within Popper's philosophy to offer striking critical re-interpretations of his ethical and social theory. This title available in eBook format. Click here for more information . Visit our eBookstore at: www.ebookstore.tandf.co.uk.

Of all the demands that mathematics imposes on its practitioners, one of the most fundamental is that proofs ought to be correct. It has been common since the turn of the twentieth century to take correctness to be underwritten by the existence of formal derivations in a suitable axiomatic foundation, but then it is hard to see how this normative standard can be met, given the differences between informal proofs and formal derivations, and given the inherent fragility and complexity of (...) the latter. This essay describes some of the ways that mathematical practice makes it possible to reliably and robustly meet the formal standard, preserving the standard normative account while doing justice to epistemically important features of informal mathematical justification. (shrink)

The COVID-19 global pandemic has shone a light on several important ethical questions, ranging from fairness in resource allocation to the ethical justification of government mandates. In addition to these institutional issues, there are also several ethical questions that arise at the interpersonal level. This essay focuses on several of these issues. In particular, I argue that, despite the insistence in public health messaging that avoiding infecting others constitutes ‘saving lives’, virus transmission that results in death constitutes an act of (...) killing. Whether this killing is wrongful depends on several factors. I consider one intuitively plausible view—namely, that in many cases, killing via unintentional transmission is not wrongful, because the parties in question have implicitly waived their rights against this harm, often via reciprocal risk imposition. I argue that this view is mistaken, but that its central insight can be better captured by identifying the appropriate standards of blame that we ought to apply during a pandemic. I conclude by showing how these conclusions can be fruitfully applied to certain institutional questions, such as helping to justify restricting government mandates. (shrink)

Building on work that we reported at ISIPTA 2005 we revisit claims made by Fox and Tversky concerning their "comparative ignorance" hypothesis for decision making under uncertainty.

Set-valued choice functions provide a framework that is general enough to encompass a wide variety of theories that are significant to the study of rationality but, at the same time, offer enough structure to articulate consistency conditions that can be used to characterize some of the theories within this encompassed variety. Nonetheless, two-tiered choice functions, such as those advocated by Isaac Levi, are not easily characterized within the framework of set-valued choice functions. The present work proposes conditional choice functions as (...) the proper carriers of synchronic rationality. The resulting framework generalizes the familiar one mentioned above without emptying it and, moreover, provides a natural setting for two-tiered choice rules. (shrink)

"Arguing that debates over legitimacy, political violence, freedom, and justice would benefit greatly from cross-tradition theorizing, this book shows how putting analytic and continental political theory in conversation would help us to overcome these intractable problems"--.

The new critical edition of the works and correspondence of Jeremy Bentham is being prepared and published under the supervision of the Bentham Committee of University College London. In spite of his importance as jurist, philosopher, and social scientist, and leader of the Utilitarian reformers, the only previous edition of his works was a poorly edited and incomplete one brought out within a decade or so of his death. Eight volumes of the new Collected Works, five of correspondence, and (...) three of writings on jurisprudence, appeared between 1968 and 1981, published by the Athlone Press. Further volumes in the series since then are published by Oxford University Press. The overall plan and principles of the edition are set out in the General Preface to The Correspondence of Jeremy Bentham, vol. 1, which was the first volume of the Collected Works to be published.An Introduction to the Principles of Morals and Legislation, Jeremy Bentham's best-known work, is a classic text in modern philosophy and jurisprudence. First published in 1789, it contains the important statement of the foundations of utilitarian philosophy and a pioneering study of crime and punishment, both of which remain at the heart of contemporary debates in moral and political philosophy, economics, and legal theory. Printed here in full is the definitive edition, edited by the distinguished scholars J. H. Burns and H. L. A. Hart. An introductory essay by Hart, first published in 1982 and a widely acknowledged classic in its own right, is reprinted here. It contains an important analysis of Bentham's principle of utility, theory of action, and an account of the relationship between law and morality.A new introduction by the leading Bentham scholar F. Rosen, specially written for this Clarendon Paperback edition, provides students with a helpful survey of Bentham's main ideas and an extensive bibliographical study of recent critical work on Bentham. Professor Rosen's essay also contains a new analysis of the principle of utility in Bentham's philosophy which is compared with its use in Hume and J. S. Mill. (shrink)

It's often said that according to deflationary theories of truth, truth is not a ‘substantial’ property. While this is a fine slogan, it is far from transparent what deflationists mean (or ought to mean) in saying that truth is ‘insubstantial’. Focusing so intently upon the concept of truth and the word ‘true’, I argue, deflationists and their critics have been insufficiently attentive to a host of metaphysical complexities that arise for deflationists in connection with the property of truth. My aim (...) is to correct several misunderstandings as to what deflationists are after here—including some harboured by deflationists themselves—and to offer an account of the commitments about truth's nature that they ought to undertake. In developing this account, I focus particularly upon the issue of what metaphysics of truth a Horwichian minimalist ought to adopt. (shrink)

This paper expounds the modern theory of symplectic reduction in finite-dimensional Hamiltonian mechanics. This theory generalizes the well-known connection between continuous symmetries and conserved quantities, i.e. Noether's theorem. It also illustrates one of mechanics' grand themes: exploiting a symmetry so as to reduce the number of variables needed to treat a problem. The exposition emphasises how the theory provides insights about the rotation group and the rigid body. The theory's device of quotienting a state space also casts light on philosophical (...) issues about whether two apparently distinct but utterly indiscernible possibilities should be ruled to be one and the same. These issues are illustrated using ``relationist'' mechanics. (shrink)

v. 1. 1752-76.--v. 2. 1777-80.--v. 3. January 1781 to October 1788.--v. 4. 1788-1793.--v. 5. 1794-1797.--v. 6. January 1798 to December 1801.--v. 7. January 1802 to December 1808.--v. 8. January 1809 to December 1816.--v. 9. January 1817 to June 1820.-- v. 10. July 1820 to December 1821.--v. 11. January 1822 to June 1824.--v. 12. July 1824-June 1828.

This volume makes available one of the central texts in the development of utilitarian tradition, in the authoritative 1977 edition prepared by Professors Burns and Hart as part of Bentham's Collected Works. Certain that history was on his side, Bentham sought to rid the world of the hideous mess wrought by legal obfuscation and confusion, and to transform politics into a rational, scientific activity, premised on the fundamental axiom that "it is the greatest happiness of the greatest number that is (...) the measure of right and wrong.". (shrink)

Editorial Rohit Parikh, Jeffrey Helzner, Episteme, FirstView Article.

Daniel Ellsberg presented in Ellsberg (The Quarterly Journal of Economics 75:643–669, 1961) various examples questioning the thesis that decision making under uncertainty can be reduced to decision making under risk. These examples constitute one of the main challenges to the received view on the foundations of decision theory offered by Leonard Savage in Savage (1972). Craig Fox and Amos Tversky have, nevertheless, offered an indirect defense of Savage. They provided in Fox and Tversky (1995) an explanation of Ellsberg’s two-color problem (...) in terms of a psychological effect: ambiguity aversion . The ‘comparative ignorance’ hypothesis articulates how this effect works and explains why it is important to an understanding of the typical pattern of responses associated with Ellsberg’s two-color problem. In the first part of this article we challenge Fox and Tversky’s explanation. We present first an experiment that extends Ellsberg’s two-color problem where certain predictions of the comparative ignorance hypothesis are not confirmed. In addition the hypothesis seems unable to explain how the subjects resolve trade-offs between security and expected pay-off when vagueness is present. Ellsberg offered an explanation of the typical behavior elicited by his examples in terms of these trade-offs and in section three we offer a model of Ellsberg’s trade-offs. The model takes seriously the role of imprecise probabilities in explaining Ellsberg’s phenomenon. The so-called three-color problem was also considered in Fox and Tversky (1995). We argue that Fox and Tversky’s analysis of this case breaks a symmetry with their analysis of the two-color problem. We propose a unified treatment of both problems and we present a experiment that confirms our hypothesis. (shrink)

Foucault and Religion seeks to unearth a new dimension of Foucault scholarship. Renowned Foucault scholar Jeremy Carrette reveals not simply how Foucault's work can be applied to religion but how a religious question at the heart of Foucault's own work offers a radical challenge to religious ideas. Carrette argues that Foucault offers a twofold critique of Christianity by bringing the body and sexuality into religious practice and exploring a political spirituality of the self. This first major commentary on Foucault (...) and religion opens up the diverse religious questions the philosopher raises in his work, and sheds new light on how Foucault challenges religious thinking and transforms religious understanding. (shrink)

Debates about the semantics and pragmatics of predicates of personal taste have largely centered on contextualist and relativist proposals. In this paper, I argue in favor of an alternative, absolutist analysis of PPT. Theorists such as Max Kölbel and Peter Lasersohn have argued that we should dismiss absolutism due to its inability to accommodate the possibility of faultless disagreement involving PPT. My aim in the paper is to show how the absolutist can in fact accommodate this possibility by drawing on (...) an account of faultless disagreement that improves upon a recent proposal due to Karl Schafer. In amending Schafer’s proposal, I put forward an empirically informed view of our beliefs regarding matters of personal taste, as well as an account of our assertions concerning such matters. I also argue that absolutists should take disagreement about these matters to be conative, rather than doxastic, in nature. The anticipated result is an independently compelling account of faultless disagreement about matters of personal taste that fits naturally with absolutism. (shrink)

In a wide range of fields, the word “modular” is used to describe complex systems that can be decomposed into smaller systems with limited interactions between them. This essay argues that mathematical knowledge can fruitfully be understood as having a modular structure and explores the ways in which modularity in mathematics is epistemically advantageous.

This paper provides a method for characterizing space events using the framework of conceptual spaces. We focus specifically on estimating and ranking the likelihood of collisions between space objects. The objective is to design an approach for anticipatory decision support for space operators who can take preventive actions on the basis of assessments of relative risk. To make this possible our approach draws on the fusion of both hard and soft data within a single decision support framework. Contextual data is (...) also taken into account, for example data about space weather effects, by drawing on the Space Domain Ontologies, a large system of ontologies designed to support all aspects of space situational awareness. The framework is coupled with a mathematical programming scheme that frames a mathematically optimal approach for decision support, providing a quantitative basis for ranking potential for collision across multiple satellite pairs. The goal is to provide the broadest possible information foundation for critical assessments of collision likelihood. (shrink)

In this paper, I discuss two concerns for pluralist truth theories: a concern about a key detail of these theories and a concern about their viability. The detail-related concern is that pluralists have relied heavily upon the notion of a domain, but it is not transparent what they take domains to be. Since the notion of a domain has been present in philosophy for some time, it is important for many theorists, not only truth pluralists, to be clear on what (...) domains are and what work they can do. The viability-related concern is that it’s not clear how a pluralist truth theory could explain the truth-conditions of mixed atomic propositions. To address this concern, truth pluralists should recognize something to which they have not been sufficiently attentive: that some atomic propositions belong to more than one domain. But, recognizing this requires rethinking the relationships between the nature of propositions, their membership in domains, and their truth. I address these issues and propose an understanding of them that is preferable to the best existing account of them, that offered by Michael Lynch. (shrink)

In this paper, we offer a brief, critical survey of contemporary work on truth. We begin by reflecting on the distinction between substantivist and deflationary truth theories. We then turn to three new kinds of truth theory—Kevin Scharp's replacement theory, John MacFarlane's relativism, and the alethic pluralism pioneered by Michael Lynch and Crispin Wright. We argue that despite their considerable differences, these theories exhibit a common "pluralizing tendency" with respect to truth. In the final section, we look at the underinvestigated (...) interface between metaphysical and formal truth theories, pointing to several promising questions that arise here. (shrink)

The Anthropocene is a radical reconceptualisation of the relationship between humanity and nature. It posits that we have entered a new geological epoch in which the human species is now the dominant Earth-shaping force, and it is rapidly gaining traction in both the natural and social sciences. This article critically explores the scientific representation of the concept and argues that the Anthropocene is less a scientific concept than the ideational underpinning for a particular worldview. It is paradigm dressed as epoch. (...) In particular, it normalises a certain portion of humanity as the ‘human’ of the Anthropocene, reinserting ‘man’ into nature only to re-elevate ‘him’ above it. This move promotes instrumental reason. It implies that humanity and its planet are in an exceptional state, explicitly invoking the idea of planetary management and legitimising major interventions into the workings of the earth, such as geoengineering. I conclude that the scientific origins of the term have diminished its radical potential, and ask whether the concept’s radical core can be retrieved. (shrink)

This paper describes an AFOSR-supported basic research program that focuses on developing a new framework for combining hard with soft data in order to improve space situational awareness. The goal is to provide, in an automatic and near real-time fashion, a ranking of possible threats to blue assets (assets trying to be protected) from red assets (assets with hostile intentions). The approach is based on Conceptual Spaces models, which combine features from traditional associative and symbolic cognitive models. While Conceptual Spaces (...) are revolutionary, they lack an underlying mathematical framework. Several such frameworks have attempted to represent Conceptual Spaces, but by far the most robust is the model developed by Holender. His model utilizes integer linear programming in order to obtain an overall similarity value between observations and concepts that support the formation of hypotheses. This paper will describe a method for building Conceptual Spaces models for threats that utilizes ontologies as a means to provide a clear semantic foundation for this inferencing process; in particular threat ontologies and space domain ontologies are developed and employed in this approach. A space situational awareness use-case is presented involving a kinetic kill scenario and results are shown to assess the performance of this fusion-based inferencing framework. (shrink)

Formal epistemology is the study of crucial concepts in general or main- stream epistemology including knowledge, belief , certainty, ra- tionality, reasoning, decision, justi cation, learning, agent interaction and information processing using a spread of di¤erent formal tools. These formal tools may be drawn from elds such as logic, probability theory, game theory, decision theory, formal learning theory, and distributed com- puting –such variety is typical in formal epistemology, a eld in which interaction with topics outside of philosophy proper is (...) the rule rather than the exception. Practitioners of formal epistemology include philosophers, computer scientists, social scientists, cognitive psychologists, theoretical economists, mathematicians, and theoretical linguists. The interdiscipli- nary nature of formal epistemology can make it di¢ cult for those new to the eld to have a sense of some of its basic agendas, actors, and issues. What follows is a breezy overview of formal epistemology as organized around notions of agency and interaction. (shrink)

Functionalism about truth, or alethic functionalism, is one of our most promising approaches to the study of truth. In this chapter, I chart a course for functionalist inquiry that centrally involves the empirical study of ordinary thought about truth. In doing so, I review some existing empirical data on the ways in which we think about truth and offer suggestions for future work on this issue. I also argue that some of our data lend support to two kinds of pluralism (...) regarding ordinary thought about truth. These pluralist views, as I show, can be straightforwardly integrated into the broader functionalist framework. The main result of this integration is that some unexplored metaphysical views about truth become visible. To close the chapter, I briefly respond to one of the most serious objections to functionalism, due to Cory Wright. (shrink)

Physicians place significant weight on the distinction between acts and omissions. Most believe that autonomous refusals for procedures, such as blood transfusions and resuscitation, ought to be respected, but they feel no similar obligation to accede to requests for treatment that will, in the physician’s opinion, harm the patient (e.g., assisted death). Thus, there is an asymmetry. In this paper, we challenge the strength of this distinction by arguing that the ordering of values should be the same in both cases. (...) The reason for respecting refusals is that, in such cases, autonomy outweighs well-being. We argue that the same should be true in request cases, which means that requests should not be denied only due to the treatment being too harmful in the physician’s opinion. Our strategy is to consider and reject a number of arguments for the asymmetrical view, including an appeal to the doing–allowing distinction and positive and negative rights. The duty to respect refusals is still greater than the duty to grant requests on our view, but, by arguing that the ordering of values is the same in both cases, we show that there is less of a distinction in healthcare between requests and refusals than many currently believe. (shrink)

On a traditional view, the primary role of a mathematical proof is to warrant the truth of the resulting theorem. This view fails to explain why it is very often the case that a new proof of a theorem is deemed important. Three case studies from elementary arithmetic show, informally, that there are many criteria by which ordinary proofs are valued. I argue that at least some of these criteria depend on the methods of inference the proofs employ, and that (...) standard models of formal deduction are not well-equipped to support such evaluations. I discuss a model of proof that is used in the automated deduction community, and show that this model does better in that respect. (shrink)