Evidentialism is the thesis that epistemic justification for belief supervenes on evidential support. However, we claim there are cases in which, even though two subjects have the same evidential support for a proposition, only one of them is justified. What make the difference are pragmatic factors, factors having to do with our cares and concerns. Our argument against evidentialism is not based on intuitions about particular cases. Rather, we aim to provide a theoretical basis for rejecting evidentialism by defending a (...) “pragmatic” necessary condition on epistemic justification. We argue for the following necessary condition for justification: S is justified in believing that p only if S is rational to prefer (and, hence, act) as if p. In light of this necessary condition, the price of evidentialism is skepticism, or something close to it. (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.

Les sociétés démocratiques sont confrontées à l'émergence d'enjeux environnementaux décisifs qui concernent tant les modes de production, d'échange et de consommation que l'habitat, les transports, l'agriculture, l'industrie et même nos modes de vie. La prise en charge de ces enjeux ne saurait s'opérer simplement par des mesures ponctuelles ou locales. Elle doit aujourd'hui être repensée la temporalité de l'action politique, confrontée à une urgence qui ne cessera de s'accroître dans les prochaines années.

This work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it. This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. Scholars believe, and we concur, that this work is important enough to be (...) preserved, reproduced, and made generally available to the public. To ensure a quality reading experience, this work has been proofread and republished using a format that seamlessly blends the original graphical elements with text in an easy-to-read typeface. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

I compare deterministic and stochastic hidden variable models of the Bell experiment, exphasising philosophical distinctions between the various ways of combining conditionals and probabilities. I make four main claims. (1) Under natural assumptions, locality as it occurs in these models is equivalent to causal independence, as analysed (in the spirit of Lewis) in terms of probabilities and conditionals. (2) Stochastic models are indeed more general than deterministic ones. (3) For factorizable stochastic models, relativity's lack of superluminal causation does not favour (...) locality over completeness. (4) If we prohibit all superluminal causation, then the violation of the Bell inequality teaches us a lesson, besides quantum mechanics' familiar ones that quantities can lack precise values and that pairs of quantities can lack joint probabilities: namely, some pairs of events are not screened off by their common past. (shrink)

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)

The violation of the Bell inequality means that measurement-results in the two wings of the experiment cannot be screened off from one another, in the sense of Reichenbach. But does this mean that there is causation between the results? I argue that it does, according to Lewis's counterfactual analysis of causation and his associated views. The reason lies in his doctrine that chances evolve by conditionalization on intervening history. This doctrine collapses the distinction between the conditional probabilities that are used (...) to state screening off, and the counterfactuals with chance consequents that are used to state lack of causation. I briefly discuss ways to evade my argument. (shrink)

I discuss the idea of relativistic causality, i.e., the requirement that causal processes or signals can propagate only within the light-cone. After briefly locating this requirement in the philosophy of causation, my main aim is to draw philosophers' attention to the fact that it is subtle, indeed problematic, in relativistic quantum physics: there are scenarios in which it seems to fail. I set aside two such scenarios, which are familiar to philosophers of physics: the pilot-wave approach, and the Newton-Wigner representation. (...) I instead stress two unfamiliar scenarios: the Drummond-Hathrell and Scharnhorst effects. These effects also illustrate a general moral in the philosophy of geometry: that the mathematical structures, especially the metric tensor, that represent geometry get their geometric significance by dint of detailed physical arguments. (shrink)

A number of classical theories are interpreted in analogous theories that are based on intuitionistic logic. The classical theories considered include subsystems of first- and second-order arithmetic, bounded arithmetic, and admissible set theory.

The following sheets were, as the note on the opposite page expresses, printed so long ago as the year 1780. The design, in pursuance of which they were written, was not so extensive as that announced by the present title. They had at that time no other destination than that of serving as an introduction to a plan of a penal code in terminus, designed to follow them, in the same volume.

Relationism claims that our physical theory does not commit us to spacetime points. I consider how a relationist might rewrite physical theories without referring to spacetime points, by appealing to possible objects and possible configurations of objects. I argue that a number of difficulties confront this project. I also argue that a relationist need not be Machian in the sense of claiming that objects' spatiotemporal relations determine whether any object is accelerating.

is a fragment of first-order aritlimetic so weak that it cannot prove the totality of an iterated exponential fimction. Surprisingly, however, the theory is remarkably robust. I will discuss formal results that show that many theorems of number theory and combinatorics are derivable in elementary arithmetic, and try to place these results in a broader philosophical context.

Paul Cohen’s method of forcing, together with Saul Kripke’s related semantics for modal and intuitionistic logic, has had profound effects on a number of branches of mathematical logic, from set theory and model theory to constructive and categorical logic. Here, I argue that forcing also has a place in traditional Hilbert-style proof theory, where the goal is to formalize portions of ordinary mathematics in restricted axiomatic theories, and study those theories in constructive or syntactic terms. I will discuss the aspects (...) of forcing that are useful in this respect, and some sample applications. The latter include ways of obtaining conservation results for classical and intuitionistic theories, interpreting classical theories in constructive ones, and constructivizing model-theoretic arguments. (shrink)

Issues pertaining to sex and gender continue to be some of the most hotly debated topics of our time. While many of the most heated disputes occur at the level of politics and public policy, metaphysics, too, has a crucial role to play in these debates. In this essay, I explore several key metaphysical debates concerning sex and gender through the lenses of two important areas in contemporary metaphysics: the metaphysics of essence and the ontology of the human person. The (...) goal here is not to advocate any particular position on these issues, but to show how the tools of contemporary metaphysics can help to offer a more comprehensive map of the conceptual terrain, indicating where major areas of agreement can be found and where the most important disagreements really lie. (shrink)

I argue, contra Dreier, Blackburn, and others, that there are no morally neutral metaethical positions. Every metaethical position commits you to the denial of some moral statement. So, for example, the metaethical position that there are no moral properties commits you to the denial of the moral conjunction of 1) it is right to interfere violently when someone is wrongly causing massive suffering and 2) it is wrong to interfere violently when only non-moral properties are at stake. The argument generalizes (...) to all metaethical positions. (shrink)

This paper gives a contextualized reading of Kant's theory of real definitions in geometry. Though Leibniz, Wolff, Lambert and Kant all believe that definitions in geometry must be ‘real’, they disagree about what a real definition is. These disagreements are made vivid by looking at two of Euclid's definitions. I argue that Kant accepted Euclid's definition of circle and rejected his definition of parallel lines because his conception of mathematics placed uniquely stringent requirements on real definitions in geometry. Leibniz, Wolff (...) and Lambert thus accept definitions that Kant rejects because they assign weaker roles to real definitions. (shrink)

Is the mechanism behind presupposition projection and filtering fundamentally asymmetric or symmetric? This is a foundational question for the theory of presupposition which has been at the centre of attention in recent literature :287–316, 2008b. https://doi.org/10.1515/THLI.2008.021, Semant Pragmat 2:1–78, 2009. https://doi.org/10.3765/sp.2.3; Rothschild in Semant Pragmat 4:1–43, 2011/2015. https://doi.org/10.3765/sp.4.3 a.o.). It also bears on broader issues concerning the source of asymmetries observed in natural language: are these simply rooted in superficial asymmetries of language use ; or are they, at least in (...) part, directly encoded in linguistic knowledge and representations? In this paper we aim to make progress on these questions by exploring presupposition projection across conjunction, which has traditionally been taken as a central piece of evidence that presupposition filtering is asymmetric in general. As a number of authors have recently pointed out, however, the evidence which has typically been used to support this conclusion is muddied by independent issues concerning redundancy; additional concerns have to do with the possibility of local accommodation. We report on a series of experiments, building on previous work by Chemla and Schlenker :177–226, 2012. https://doi.org/10.1007/s11050-012-9080-7) and Schwarz Experimental perspectives on presuppositions, Springer, Cham, 2015), using inference and acceptability tasks, which aim to control for both of these potential confounds. In our results, we find strong evidence for left-to-right filtering across conjunctions, but no evidence for right-to-left filtering—even when right-to-left filtering would, if available, rescue an otherwise unacceptable sentence. These results suggest that presupposition filtering across conjunction is asymmetric, contra suggestions in the recent literature :157–212, 2008a. https://doi.org/10.1515/THLI.2008.013, 2009 a.o.), and pave the way for the investigation of further questions about the nature of this asymmetry and presupposition projection more generally. Our results also have broader implications for the study of presupposition: we find important differences in the verdicts of acceptability versus inference tasks in testing for projected content, which has both methodological ramifications for the question of how to distinguish presupposed content, and theoretical repercussions for understanding the nature of projection and presuppositions more generally. (shrink)

A general method of interpreting weak higher-type theories of nonstandard arithmetic in their standard counterparts is presented. In particular, this provides natural nonstandard conservative extensions of primitive recursive arithmetic, elementary recursive arithmetic, and polynomial-time computable arithmetic. A means of formalizing basic real analysis in such theories is sketched.

Abstract:Recently, the idea that every hypothetical imperative must somehow be ‘backed up’ by a prior categorical imperative has gained a certain influence among Kant interpreters and ethicists influenced by Kant. Since instrumentalism is the position that holds that hypothetical imperatives can by themselves and without the aid of categorical imperatives explain all valid forms of practical reasoning, the influential idea amounts to a rejection of instrumentalism as internally incoherent. This paper argues against this prevailing view both as an interpretation of (...) Kant and as philosophical understanding of practical reason. In particular, it will be argued that many of the arguments that claim to show that hypothetical imperatives must be backed up by categorical imperatives mistakenly assume that the form of practical reasoning must itself occur as a premise within the reasoning. An alternative to this assumption will be offered. I will conclude that while instrumentalism may well be false, there is no reason to believe it is incoherent. (shrink)

We describe a model-theoretic approach to ordinal analysis via the finite combinatorial notion of an α-large set of natural numbers. In contrast to syntactic approaches that use cut elimination, this approach involves constructing finite sets of numbers with combinatorial properties that, in nonstandard instances, give rise to models of the theory being analyzed. This method is applied to obtain ordinal analyses of a number of interesting subsystems of first- and second-order arithmetic.

We develop fundamental aspects of the theory of metric, Hilbert, and Banach spaces in the context of subsystems of second-order arithmetic. In particular, we explore issues having to do with distances, closed subsets and subspaces, closures, bases, norms, and projections. We pay close attention to variations that arise when formalizing definitions and theorems, and study the relationships between them.

Empirical research in bioethics can be defined as the application of research methods in the social sciences to the direct examination of issues in [bioethics]. As such, empirical work is a form of descriptive ethics, focused on describing a particular state of affairs that has some moral or ethical relevance. For example, empirical research can help to describe cultural beliefs about the appropriateness of providing health-related information, such as the diagnosis of a life-threatening illness, which informs deliberations about the extent (...) to which it is morally important for clinicians to provide comprehensive information to patients in different cultural contexts. Similarly, empirical research can delineate popular attitudes and experiences related to contentious issues such as abortion, cloning, stem-cell research, and physician-assisted suicide to enlighten discussions and policy formulations regarding them. (shrink)

Mathematicians use the word ‘deep’ to convey a high appreciation of a concept, theorem, or proof. This paper investigates the extent to which the term can be said to have an objective character by examining its first use in mathematics. It was a consequence of Gauss's work on number theory and the agreement among his successors that specific parts of Gauss's work were deep, on grounds that indicate that depth was a structural feature of mathematics for them. In contrast, French (...) mathematicians had a less structural, more problem-oriented approach to mathematics and did not speak of depth so readily. (shrink)

In May 1973 a new collaboration between NASA, the Indian Health Service, and the Lockheed Missiles and Space Company promised to transform the way members of the Papago (now Tohono O’odham) Tribe of southern Arizona accessed modern medicine. Through a system of state-of-the-art microwave relays, slow-scan television links, and Mobile Health Units, the residents of the third-largest American Indian reservation began to access physicians remotely via telemedical encounters instead of traveling to distant hospitals. Examining the history of the STARPAHC (Space (...) Technology Applied to Rural Papago Advanced Health Care) project from the perspective of NASA and its contractors, from the perspective of the Indian Health Service, and from the perspective of O’odham engineers and health professionals offers a new focus, emphasizing the American Indian reservation as a site of medical research and technological development in the late twentieth century, with specific attention to the promise of information technology to address health disparities and the role of American Indians as actors in the late twentieth-century history of science, technology, and medicine. (shrink)

We discuss the development of metamathematics in the Hilbert school, and Hilbert’s proof-theoretic program in particular. We place this program in a broader historical and philosophical context, especially with respect to nineteenth century developments in mathematics and logic. Finally, we show how these considerations help frame our understanding of metamathematics and proof theory today.

Political Imaginaries in Question Content Type Journal Article Pages 5-11 Authors Suzi Adams, School of Social and Policy Studies, Flinders University, Adelaide, Australia Jeremy C. A. Smith, School of Education and Arts, University of Ballarat, Victoria, Australia Ingerid S. Straume, University of Oslo Library, University of Oslo, Norway Journal Critical Horizons: A Journal of Philosophy & Social Theory Online ISSN 1568-5160 Print ISSN 1440-9917 Journal Volume Volume 13 Journal Issue Volume 13, Number 1 / 2012.

Hanks develops a theory of propositions as speech-act types. Because speech acts play a role in the contents themselves, the view overturns Frege’s force/content distinction, and as such, faces the challenge of explaining how propositions embed under logical operators like negation. The attempt to solve this problem has lead Hanks and his recent commentators to adopt theoretically exotic resources, none of which, we argue, is ultimately successful. The problem is that although there are three different ways of negating the sentence (...) “Mary’s card is an ace”, current speech-act theories of propositions can only accommodate two of them. We distinguish between “It is false that Mary’s card is an ace”, “Mary’s card is a non-ace”, and “Mary’s card is not an ace” and show that Hanks and his commentators cannot explain content negation. We call this Hanks’ Negation Problem. The problem is significant because content negation is the negation required for logic. Fortunately, we think there is a natural way for Hanks to accommodate content negation as successive acts of predication. The view solves Hanks’ Negation Problem with only resources internal to Hanks’ own view. (shrink)

In place of Tomasello's explanation for the source of moral obligation, we suggest that it develops from the concern for others already implicit in the human developmental system. Mutual affection and caring make the development of communication and thinking possible. Humans develop as persons within such relationships and this develops into respect and moral obligation.

A critical edition of three works of Bentham, Deontology and The Article on Utilitarianism were previously unpublished. Together with An Introduction to the Principles of Morals and Legislation, they provide a comrehensive exposition of Bentham's views. Based entirely on manuscripts by Bentham of his amanuenses, this edition's full introduction linking the three works. Each work is supplemented with detailed and critical notes.

This work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it. This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. Scholars believe, and we concur, that this work is important enough to be (...) preserved, reproduced, and made generally available to the public. To ensure a quality reading experience, this work has been proofread and republished using a format that seamlessly blends the original graphical elements with text in an easy-to-read typeface. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

We use model-theoretic methods described in [3] to obtain ordinal analyses of a number of theories of first- and second-order arithmetic, whose proof-theoretic ordinals are less than or equal to Γ0.

An efficient variant of the double-negation translation explains the relationship between Shoenfield’s and G¨odel’s versions of the Dialectica interpretation.

We describe a formalization of asymptotic O notation using the Isabelle/HOL proof assistant.

Acentral promise of human embryonic stem cell research is the potential to develop viable therapeutic approaches to a range of devastating diseases and conditions. Despite excitement over such advances, there are scientific and medical reasons to be cautious as stem cells and their products are introduced into patients. In response to such concerns, the International Society for Stem Cell Research as well as ad hoc groups and individuals have offered approaches to governance of this research. While there are similarities among (...) these governance models and they are in principle easily endorsable, in this paper I raise a set of concerns related to their implementation, suggesting areas where gathering data may facilitate more appropriate oversight. Next, I suggest areas that seem to have been neglected as these governance models have been developed so that they may be on the agendas of those seeking to revise these models in the future. Finally, I describe how some of the concerns that have arisen in considering the appropriate governance of stem cell research may be useful in science and translational research more broadly. (shrink)

COVID-19 presents many challenges, both clinical and philosophical. In this paper we discuss a major lacuna that COVID-19 revealed in our philosophy and understanding of medicine. Whereas we have some understanding of how physician-scientists interrogate the world to learn more about medicine, we do not understand the epistemological costs and benefits of the various ways clinicians acquire new knowledge in their fields. We will also identify reasons this topic is important both when the world is facing a pandemic and when (...) it is not. (shrink)

Despite concern that patients in the intensive care unit (ICU) may not be treated with respect and dignity, there is not conceptual clarity regarding what constitutes such treatment. In addition, measures specific to treatment with respect and dignity in the ICU are unavailable. Accordingly, a multidisciplinary group developed a conceptual model for treatment with respect and dignity in the ICU and used mixed methods to gather data on this issue. This effort included interviews with patients and families, focus groups with (...) health care professionals, and direct observations. These data were then compared and contrasted to synthesize what was learned. Finally, pilot quantitative patient and family survey data were collected and analyzed. Each of these approaches, which comprise the papers in this supplement to Narrative Inquiry in Bioethics, is briefly described in this article. (shrink)