Nietzsche proclaims the second essay of the Genealogy of Morality to be the “long history of the origins of responsibility,” but the immediate context in which this claim is made, coupled with GM II's broader aims and themes, makes interpreting this claim immensely difficult. Not only does Nietzsche endorse an ideal of responsibility in relation to the sovereign individual, while the rest of the essay is concerned with other topics, but also, and more problematically, this ideal appears to be inconsistent (...) with his denial of free will and moral responsibility in other works. Here, I propose a Strawsonian reading of GM II, contending that GM II analyzes the idea of “responsibility” naturalistically in terms of the practice of holding oneself and others responsible, as constituted by what Nietzsche calls the “reactive affects,” namely guilt. A consequence of this interpretation is that libertarian free will is not a condition of responsible agency. (shrink)

Here, I put forth a construal of P. F. Strawson’s so-called reversal, his view that what it means to be morally responsible is determined by our practices of holding responsible. The “concern-based” construal that I defend holds that what it means to be morally responsible is determined by the basic social concerns of which our practices are an expression. This construal, I argue, avoids a dilemma that Patrick Todd has recently raised for the reversal.

P.F. Strawson’s (1962) “Freedom and Resentment” has provoked a wide range of responses, both positive and negative, and an equally wide range of interpretations. In particular, beginning with Gary Watson, some have seen Strawson as suggesting a point about the “order of explanation” concerning moral responsibility: it is not that it is appropriate to hold agents responsible because they are morally responsible, rather, it is ... well, something else. Such claims are often developed in different ways, but one thing remains (...) constant: they meant to be incompatible with libertarian theories of moral responsibility. The overarching theme of this paper is that extant developments of “the reversal” face a dilemma: in order to make the proposals plausibly anti-libertarian, they must be made to be implausible on other grounds. I canvas different attempts to articulate a “Strawsonian reversal”, and argue that none is fit for the purposes for which it is intended. I conclude by suggesting a way of clarifying the intended thesis: an analogy with the concept of funniness. The result: proponents of the “reversal” need to accept the difficult result that if we blamed small children, they would be blameworthy, or instead explain how their view escapes this result, while still being a view on which our blaming practices “fix the facts” of moral responsibility. (shrink)

Strawsonians about moral responsibility often claim that our practices of holding morally responsible fix the facts of moral responsibility, rather than the other way round. Many have argued that such ‘reversal’ claims have an unwelcome consequence: If our practices of holding morally responsible fix the facts of moral responsibility, does this not imply, absurdly, that if we held severely mentally ill people responsible, they would be responsible? We provide a new Strawsonian answer to this question, and we explore (...) the relation between reversal claims and (in)compatibilism. (shrink)

Although philosophers sympathetic to Peter Strawson's view in “Freedom and Resentment” tend to be compatibilists, they need not be. This paper develops a recent suggestion that Strawson's view can be read as consistent with libertarianism by showing that an important distinction Strawson makes between personal and moral reactive attitudes leaves room to be a Strawsonian compatibilist with respect to personal responsibility and a Strawsonian incompatibilist with respect to moral responsibility. Understanding this possibility reveals a potential gap within Strawson's (...) argument that should be of interest to both Strawsonians and their critics. (shrink)

It is common for theorists, drawing on P. F. Strawson, to account for morally responsible agency in terms of the nature of the emotions and feelings that characterize our responsibility practices, in terms of the nature of the so-called “reactive attitudes.” Here, I argue against this attitude-based Strawsonian strategy, and I argue in favor of an alternative, which I call the “concern-based Strawsonian strategy.” On this alternative, rather than account for morally responsible agency in terms of the nature (...) of the reactive attitudes, one accounts for such agency in terms of the concern that leaves us susceptible to those attitudes in the first place. This, I believe, is a more promising way to develop the Strawsonian approach than the attitude-based strategy. The concern-based strategy allows us to better countenance the number and variety of the reactive attitudes that characterize our responsibility practices; it shares the attitude-based strategy’s virtues; and it seems to position us to better understand the distinctive social and moral significance associated with being and being regarded as a morally responsible agent. (shrink)

Strawsonian accounts of moral responsibility are widely associated with opposition to hard determinism. However, it is only an historical accident that these views are bundled together. I show that Strawson’s deepest commitments are perfectly consistent with, and even support, a new and improved form of hard determinism. The resulting view is not revisionist about our practices in the way that extant versions of hard determinism are. After setting out my view, I then turn to Latham and Tierney’s (2022) objection (...) to manipulation arguments. I make two points about their objection. First, while extant versions of hard determinism are vulnerable to Latham and Tierney’s objection, my version of hard determinism is not. Second, I argue that their objection raises important questions about what it is for two cases to be morally equivalent. I defend a principle about when cases are morally equivalent. My principle suggests a way to improve Latham and Tierny’s objection to manipulation arguments that are paired with extant variants of hard determinism. However, when paired with my version of hard determinism, manipulation arguments may accommodate Latham and Tierney’s objection. (shrink)

This book presents reverse mathematics to a general mathematical audience for the first time. Reverse mathematics is a new field that answers some old questions. In the two thousand years that mathematicians have been deriving theorems from axioms, it has often been asked: which axioms are needed to prove a given theorem? Only in the last two hundred years have some of these questions been answered, and only in the last forty years has a systematic approach been developed. In Reverse (...) Mathematics, John Stillwell gives a representative view of this field, emphasizing basic analysis--finding the "right axioms" to prove fundamental theorems--and giving a novel approach to logic. Stillwell introduces reverse mathematics historically, describing the two developments that made reverse mathematics possible, both involving the idea of arithmetization. The first was the nineteenth-century project of arithmetizing analysis, which aimed to define all concepts of analysis in terms of natural numbers and sets of natural numbers. The second was the twentieth-century arithmetization of logic and computation. Thus arithmetic in some sense underlies analysis, logic, and computation. Reverse mathematics exploits this insight by viewing analysis as arithmetic extended by axioms about the existence of infinite sets. Remarkably, only a small number of axioms are needed for reverse mathematics, and, for each basic theorem of analysis, Stillwell finds the "right axiom" to prove it. By using a minimum of mathematical logic in a well-motivated way, Reverse Mathematics will engage advanced undergraduates and all mathematicians interested in the foundations of mathematics. (shrink)

The paper examines the Cartesian and the Strawsonian answers to the question of why self-applied and other-applied mental predicates mean the same. While these answers relate to different, complementary aspects of this question, they seem and are usually considered as incompatible. Indeed, their apparent incompatibility constitutes a major objection to the Cartesian answer. A primary aim of the paper is to show that the Strawsonian answer does not pose a real problem to the Cartesian answer. Unlike other attempts (...) to show this, the paper does not seek to undermine the Strawsonian answer. Indeed, its second aim is to defend this answer against these other attempts. The paper’s strategy in defending the Cartesian answer is to show that the framework underlying this answer can — indeed, for internal reasons, must — accommodate the Strawsonian answer. By showing this, the paper also shows that a Cartesian framework can provide a comprehensive answer to the aforementioned question, which is its third aim. (shrink)

P.F. Strawson famously argued that reactive attitudes and ordinary moral practices justify moral assessments of blame, praise, and punishment. Here we consider whether Strawson's approach can illuminate the concept of desert. After reviewing standard attempts to analyze this concept and finding them lacking, we suggest that to deserve something is to justifiably receive a moral assessment in light of certain criteria – in particular, eligibility criteria (a subject's properties that make the subject principally eligible for moral assessments) and assignment criteria (...) (particulars about the subject, act, and circumstances that justify assessments such as blame in a particular case). Strawson's analysis of the ordinary attitudes and practices of moral assessment hints at these criteria but does not unequivocally ground a notion of desert. Following Strawson's general naturalistic approach, we show that recent psychological research on folk concepts and practices regarding freedom, moral responsibility, and blame illuminates how people actually arrive at moral assessments, thus revealing the very eligibility criteria and assignment criteria we suggest ground a concept of desert. By pushing the Strawsonian line even further than Strawson did, by empirically investigating actual moral practice and folk understandings, we can illuminate desert and lend credence to Strawson's general anti-metaphysical position. (shrink)

A number of philosophers have found inspiration for a distinctive approach to a wide range of epistemological issues in P. F. Strawson’s classic essay, “Freedom and Resentment.” These Strawsonian epistemologists, as I call them, argue that the epistemology of testimony, self-knowledge, promising, and resolving is fundamentally different in kind from the epistemology of perception or inference. We should not see properly formed belief on these topics as evidence-based, for such an objective perspective, in such cases, results in a kind (...) of alienation. This paper explores these Strawsonian themes in recent epistemology, and argues that the Strawsonian approach should be resisted. (shrink)

In 1905 Bertrand Russell took on the problem of definite descriptions, and his analysis became the standard up until 1950 when Peter Strawson criticised Russell’s solution as inadequate. Since then many opponents as well as proponents of the Russellian solution have been involved in a long-term debate on definite descriptions. In this paper I show that both sides of the contention are partly right and partly wrong, because sentences of the form “The F is a G” are ambiguous. However, the (...) ambiguity does not concern reference shift of the description ‘the F’. Rather, the ambiguity consists in different topic-focus articulations of a given sentence involving occurrences of ‘the F’. I demonstrate that when ‘the F’ is used as part of the topic of such a sentence the existence of the object denoted by ‘the F’ is not only entailed by but also presupposed by the sentence. On the other hand, ‘the F’ used in the focus of a sentence triggers merely existential entailment. Thus sentences differing only in their topic-focus articulation should have assigned different logical forms. In order to make such hidden features explicit, I apply the procedural semantics of Transparent Intensional Logic , furnishing sentences with hyperpropositions that are precisely defined in terms of TIL constructions. These are procedures assigned to sentences as their context-invariant structured meanings. Moreover, I generalise the phenomenon of the topic-focus distinction to sentences of any form, proposing an adequate analytic schema of sentences that come with a presupposition. (shrink)

P.F. Strawson proposed in the early seventies a threefold distinction regarding how context bears on the meaning of "what is said" when a sentence is uttered. The proposal was somewhat tentative and, being aware of this aspect, Strawson himself raised various questions to make it more adequate. In this paper, we review Strawson's scheme, note his concerns, and add some of our own. We also defend its essence and recommend it as an insightful entry point re the interplay of intended (...) meaning and context. (shrink)

One of Strawson's objections to Russell's theory of descriptions is that what are intuitively natural and correct utterances of sentences involving incomplete descriptions come out false by RTD. Russellians have responded, not by challenging Strawson's view that these uses are natural and correct, but by embellishing RTD to accommodate these uses. I pursue an alternative line of attack: I argue that there are circumstances in which "we" would find utterances of such sentences unnatural and improper but "RTD" would sanction. So, (...) RTD clashes with ordinary language, as Strawson suggests. (shrink)

Conceiving of nuclear energy as a social experiment gives rise to the question of what to do when the experiment is no longer responsible or desirable. To be able to appropriately respond to such a situation, the nuclear energy technology in question should be reversible, i.e. it must be possible to stop its further development and implementation in society, and it must be possible to undo its undesirable consequences. This paper explores these two conditions by applying them to geological disposal (...) of high-level radioactive waste. Despite the fact that considerations of reversibility and retrievability have received increased attention in GD, the analysis in this paper concludes that GD cannot be considered reversible. Firstly, it would be difficult to stop its further development and implementation, since its historical development has led to a point where GD is significantly locked-in. Secondly, the strategy it employs for undoing undesirable consequences is less-than-ideal: it relies on containment of severely radiotoxic waste rather than attempting to eliminate this waste or its radioactivity. And while it may currently be technologically impossible to turn high-level waste into benign substances, GD’s containment strategy makes it difficult to eliminate this waste’s radioactivity when the possibility would arise. In all, GD should be critically reconsidered if the inclusion of reversibility considerations in radioactive waste management has indeed become as important as is sometimes claimed. (shrink)

This paper returns to the very concept of moral responsibility. Its focus is not on the conditions but on the nature of moral responsibility. First, it introduces the Strawsonian and ledger conceptions of moral responsibility. Next, it contrasts and compares these conceptions. Finally, it evaluates both conceptions and asks which is the right one. Though this article works toward further clarifying the concept of moral responsibility, its conclusion is open-ended.

ABSTRACT This paper returns to the very concept of moral responsibility. Its focus is not on the conditions but on the nature of moral responsibility. First, it introduces the Strawsonian and ledger conceptions of moral responsibility. Next, it contrasts and compares these conceptions. Finally, it evaluates both conceptions and asks which is the right one. Though this article works toward further clarifying the concept of moral responsibility, its conclusion is open-ended. RESUMEN El artículo vuelve sobre el asunto de la (...) responsabilidad moral y se enfoca no en sus condiciones, sino en la naturaleza de la responsabilidad moral. En primer lugar, introduce las concepciones de Strawson y del "libro mayor" [ledger conception] de la responsabilidad moral. Luego, compara y contrasta esas dos concepciones, Finalmente, evalúa las dos concepciones y se pregunta cuál será la correcta. Aunque el artículo aporta a la aclaración del concepto de responsabilidad moral, su conclusión es abierta. (shrink)

My dissertation develops a novel theory of free will and moral responsibility, Strawsonian libertarianism, which combines Strawsonianism about the concept of moral responsibility with event-causal libertarianism concerning its conditions of application. I construct this theory in light of and response to the three main objections to libertarianism: the moral shallowness objection, the intelligibility objection, and the empirical plausibility objection.The moral shallowness objection contends that libertarianism seems plausible only in the absence of a robust understanding of the nature of moral (...) responsibility. P.F. Strawson's work is the fount of this objection. In response I argue, surprisingly, that Strawson's account of the nature of responsibility, according to which the essence of responsibility is defined in terms of the reactive attitudes (such as gratitude and resentment), actually leads to libertarianism about its conditions of application. In defense of this contention I offer a theory of the normative force of excuse which shows that moral responsibility requires that agents have free will. I then construct the No Opportunity Argument which demonstrates that free will, and thus moral responsibility, is incompatible with determinism.In the remainder of the dissertation I develop and defend this account of moral responsibility against the intelligibility and empirical objections, both of which focus on my contention that indeterminism is necessary for freedom and responsibility. The intelligibility objection contends that libertarians cannot provide an intelligible account of freedom and responsibility because indeterminism is either (at best) irrelevant or (at worst) inimical to control. I respond to these objections by showing that if we locate indeterminism at the moment of free choice, libertarianism can explain both why indeterminism does not diminish control and also how it is relevant to enhancing it.Finally, I turn to the empirical plausibility objection which contends that libertarianism is scientifically implausible. This objection centers on my contention that humans must be indeterministic systems in order to be free and responsible. I argue that my commitment to neuronal indeterminism fares well in light of current physical and neurobiological findings and, therefore, that Strawsonian libertarianism is not as scientifically demanding as many have thought. (shrink)

Peter Strawson defends the thesis that determinism is irrelevant to the justifiability of responsibility-attributions. In this paper, I want to examine various arguments advanced by Strawson in support of this thesis. These arguments all draw on the thought that the practice of responsibility is inescapable. My main focus is not so much the metaphysical details of Strawsonian compatibilism, but rather the more fundamental idea that x being inescapable may be reason for us to regard x as justified. I divide (...) Strawsonian inescapability arguments into two basic types. According to arguments of the first type we cannot give up the practice. According to arguments of the second type we should not give up the practice. My reasons for revisiting these Strawsonian inescapability arguments are, first, to establish that these are different and to some extent conflicting arguments. Second, I hope to show that none of Strawson’s inescapability arguments are convincing. Third, I discuss the possibility that the practice of responsibility is inescapable in a different, more pessimistic sense than envisaged by Strawson. What may be inescapable under conceivable scenarios is the conflict of theoretical and practical considerations in the justification of the practice. (shrink)

Bayesian reverse-engineering is a research strategy for developing three-level explanations of behavior and cognition. Starting from a computational-level analysis of behavior and cognition as optimal probabilistic inference, Bayesian reverse-engineers apply numerous tweaks and heuristics to formulate testable hypotheses at the algorithmic and implementational levels. In so doing, they exploit recent technological advances in Bayesian artificial intelligence, machine learning, and statistics, but also consider established principles from cognitive psychology and neuroscience. Although these tweaks and heuristics are highly pragmatic in character and (...) are often deployed unsystematically, Bayesian reverse-engineering avoids several important worries that have been raised about the explanatory credentials of Bayesian cognitive science: the worry that the lower levels of analysis are being ignored altogether; the challenge that the mathematical models being developed are unfalsifiable; and the charge that the terms ‘optimal’ and ‘rational’ have lost their customary normative force. But while Bayesian reverse-engineering is therefore a viable and productive research strategy, it is also no fool-proof recipe for explanatory success. (shrink)

A neglected and non-trivial problem exists for a central cluster of Strawsonian accountability theories of moral responsibility, namely those that, following Gary Watson, understand the reactive attitudes to be implicit forms of moral address, particularly moral demand. The problem consists in the joint acceptance of two claims: (a) Accountability is a matter of agents holding one another to moral demands, and (b) accountability is a view of blame and praise. I label joint acceptance of these claims the Strawsonian’s (...) demand dogma. Symptomatic of a larger tendency among responsibility theorists to focus on blame to the neglect of its positive counterpart, the demand dogma saddles the Strawsonian with an impoverished and ultimately untenable view of praise. This is because moral demand occupies a dual role on the Strawsonian's view of blame, one that it is incapable of occupying for praise. For, demands figure not only in the contents of blame responses; demand typifies the form of these responses themselves. That is, reactive attitudes of blame, unlike those of praise, implicitly make demands of their targets. The force of this problem is highlighted by considering the inadequacy of various strategies for shoehorning “demand” into our conception of praise. If reactive attitudes generally are incipient forms of moral address, praise-manifesting attitudes must communicate something other than demand. Though primarily critical, this paper invites Strawsonian responsibility theorists to give renewed attention to the foundations of the proposal that the reactive attitudes are incipiently communicative, focusing this time on the form of address that lies at the heart of praise. (shrink)

Reverse mathematics is a program in mathematical logic that seeks to give precise answers to the question of which axioms are necessary in order to prove theorems of "ordinary mathematics": roughly speaking, those concerning structures that are either themselves countable, or which can be represented by countable "codes". This includes many fundamental theorems of real, complex, and functional analysis, countable algebra, countable infinitary combinatorics, descriptive set theory, and mathematical logic. This entry aims to give the reader a broad introduction to (...) the history, methodology, and results of the reverse mathematics program, with a particular focus on its connections to foundational programs such as finitism, constructivism, and predicativism. (shrink)

The relationship of Grundy and chromatic numbers of graphs in the context of Reverse Mathematics is investi-gated.

Perceptual learning can be defined as practice-induced improvement in the ability to perform specific perceptual tasks. We previously proposed the Reverse Hierarchy Theory as a unifying concept that links behavioral findings of visual learning with physiological and anatomical data. Essentially, it asserts that learning is a top-down guided process, which begins at high-level areas of the visual system, and when these do not suffice, progresses backwards to the input levels, which have a better signal-to-noise ratio. This simple concept has proved (...) powerful in explaining a broad range of findings, including seemingly contradicting data. We now extend this concept to describe the dynamics of skill acquisition and interpret recent behavioral and electrophysiological findings. (shrink)

One of the earliest applications of Cantor's Normal Form Theorem is Jacobstahl's proof of the existence of prime factorizations of ordinals. Applying the techniques of reverse mathematics, we show that the full strength of the Normal Form Theorem is used in this proof.

Richard Feynman has claimed that anti-particles are nothing but particles `propagating backwards in time'; that time reversing a particle state always turns it into the corresponding anti-particle state. According to standard quantum field theory textbooks this is not so: time reversal does not turn particles into anti-particles. Feynman's view is interesting because, in particular, it suggests a nonstandard, and possibly illuminating, interpretation of the CPT theorem. In this paper, we explore a classical analog of Feynman's view, in the context (...) of the recent debate between David Albert and David Malament over time reversal in classical electromagnetism. (shrink)

'The arrow of time' refers to the curious asymmetry that distinguishes the future from the past. Reversing the Arrow of Time argues that there is an intimate link between the symmetries of 'time itself' and time reversal symmetry in physical theories, which has wide-ranging implications for both physics and its philosophy. This link helps to clarify how we can learn about the symmetries of our world, how to understand the relationship between symmetries and what is real, and how to (...) overcome pervasive illusions about the direction of time. Roberts explains the significance of time reversal in a way that intertwines physics and philosophy, to establish what the arrow of time means and how we can come to know it. This book is both mathematically and philosophically rigorous yet remains accessible to advanced undergraduates in physics and the philosophy of physics. This title is also available as Open Access on Cambridge Core. (shrink)

A theory is usually said to be time reversible if whenever a sequence of states S 1, S 2, S 3 is possible according to that theory, then the reverse sequence of time reversed states S 3 T, S 2 T, S 1 T is also possible according to that theory; i.e., one normally not only inverts the sequence of states, but also operates on the states with a time reversal operator T. David Albert and Paul Horwich have suggested (...) that one should not allow such time reversal operations T on states. I will argue that time reversal operations on fundamental states should be allowed. I will furthermore argue that the form that time reversal operations take is determined by the type of fundamental geometric quantities that occur in nature and that we have good reason to believe that the fundamental geometric quantities that occur in nature correspond to irreducible representations of the Lorentz transformations. Finally, I will argue that we have good reason to believe that space-time has a temporal orientation. (shrink)

Suppose that we develop a medically safe and affordable means of enhancing human intelligence. For concreteness, we shall assume that the technology is genetic engineering (either somatic or germ line), although the argument we will present does not depend on the technological implementation. For simplicity, we shall speak of enhancing “intelligence” or “cognitive capacity,” but we do not presuppose that intelligence is best conceived of as a unitary attribute. Our considerations could be applied to specific cognitive abilities such as verbal (...) fluency, memory, abstract reasoning, social intelligence, spatial cognition, numerical ability, or musical talent. It will emerge that the form of argument that we use can be applied much more generally to help assess other kinds of enhancement technologies as well as other kinds of reform. However, to give a detailed illustration of how the argument form works, we will focus on the prospect of cognitive enhancement. (shrink)

A theory is usually said to be time reversible if whenever a sequence of states S 1 , S 2 , S 3 is possible according to that theory, then the reverse sequence of time reversed states S 3 T , S 2 T , S 1 T is also possible according to that theory; i.e., one normally not only inverts the sequence of states, but also operates on the states with a time reversal operator T . David Albert (...) and Paul Horwich have suggested that one should not allow such time reversal operations T on states. I will argue that time reversal operations on fundamental states should be allowed. I will furthermore argue that the form that time reversal operations take is determined by the type of fundamental geometric quantities that occur in nature and that we have good reason to believe that the fundamental geometric quantities that occur in nature correspond to irreducible representations of the Lorentz transformations. Finally, I will argue that we have good reason to believe that space-time has a temporal orientation. (shrink)

Reverse analyses of three proofs of the Sylvester-Gallai theorem lead to three different and incompatible axiom systems. In particular, we show that proofs respecting the purity of the method, using only notions considered to be part of the statement of the theorem to be proved, are not always the simplest, as they may require axioms which proofs using extraneous predicates do not rely upon.

The phenomenon of disagreement has recently been brought into focus by the debate between contextualists and relativist invariantists about epistemic expressions such as ‘might’, ‘probably’, indicative conditionals, and the deontic ‘ought’. Against the orthodox contextualist view, it has been argued that an invariantist account can better explain apparent disagreements across contexts by appeal to the incompatibility of the propositions expressed in those contexts. This paper introduces an important and underappreciated phenomenon associated with epistemic expressions — a phenomenon that we call (...) reversibility. We argue that the invariantist account of disagreement is incompatible with reversibility, and we go on to show that reversible sentences cast doubt on the putative data about disagreement, even without assuming invariantism. Our argument therefore undermines much of the motivation for invariantism, and provides a new source for constraints on the proper explanation of purported data about disagreement. (shrink)

Bostrom and Ord’s reversal test has been appealed to by many philosophers to substantiate the charge that preferences for status quo options are motivated by status quo bias. I argue that their characterization of the reversal test needs to be modified, and that their description of the burden of proof it imposes needs to be clarified. I then argue that there is a way to meet that burden of proof which Bostrom and Ord fail to recognize. I also (...) argue that the range of circumstances in which the reversal test can be usefully applied is narrower than they recognize. (shrink)

Many manipulation arguments against compatibilism rely on the claim that manipulation is relevantly similar to determinism. But we argue that manipulation is nothing like determinism in one relevant respect. Determinism is a "universal" phenomenon: its scope includes every feature of the universe. But manipulation arguments feature cases where an agent is the only manipulated individual in her universe. Call manipulation whose scope includes at least one but not all agents "existential manipulation." Our responsibility practices are impacted in different ways by (...) universal and existential phenomena. And this is a relevant difference, especially on Strawsonian approaches to moral responsibility, which take facts about our responsibility practices to be deeply connected to the nature of responsibility itself. We argue that Strawsonian accounts of moral responsibility are immune to manipulation arguments, and no attempt to modify the scope of manipulation or determinism featured in these arguments will help incompatibilists secure their desired conclusion. (shrink)

We show that when certain statements are provable in subsystems of constructive analysis using intuitionistic predicate calculus, related sequential statements are provable in weak classical subsystems. In particular, if a $\Pi^1_2$ sentence of a certain form is provable using E-HA ${}^\omega$ along with the axiom of choice and an independence of premise principle, the sequential form of the statement is provable in the classical system RCA. We obtain this and similar results using applications of modified realizability and the Dialectica interpretation. (...) These results allow us to use techniques of classical reverse mathematics to demonstrate the unprovability of several mathematical principles in subsystems of constructive analysis. (shrink)

This article deals with the question of what time reversal means. It begins with a presentation of the standard account of time reversal, with plenty of examples, followed by a popular non-standard account. I argue that, in spite of recent commentary to the contrary, the standard approach to the meaning of time reversal is the only one that is philosophically and physically viable. The article concludes with a few open research problems about time reversal.

This paper begins by raising a puzzle about what function our use of the word ‘rational’ could serve. To solve the puzzle, I introduce a view I call Epistemic Communism: we use epistemic evaluations to promote coordination among our basic belief-forming rules, and the function of this is to make the acquisition of knowledge by testimony more efficient.

My account begins with Strawson’s celebrated “Freedom and Resentment” lecture. Here by making the “reactive emotions” partly constitutive of holding someone responsible, Strawson offered a deep analysis of what was wrong with the forward-looking, behavior-affecting view of responsibility often espoused by determinists, while apparently avoiding the metaphysical baggage carried by libertarianism. Yet, for all the promise of such a view, there remained the question of what a carefully worked-out, Strawsonian conception of responsibility would actually look like. In this study (...) I examine the thoughtful version of such a theory R. Jay Wallace offers in Responsibility and the Moral Sentiments. (shrink)

The development of nuclear energy technologies in the second half of the 20th century came with great hopes of rebuilding nations recovering from the devasta-tion of the Second World War or recently released from colonial rule. In coun-tries like France, India, the USA, Canada, Russia, and the United Kingdom, nuclear energy became the symbol of development towards a modern and technologically advanced future. However, after more than six decades of experi-ence with nuclear energy production, and in the aftermath of the (...) Fukushima nuclear disaster, it is safe to say that nuclear energy production is not without its problems.Some of these problems have their origins in the very materiality of the technolo-gies involved. For example, not only does the use of highly radioactive materials give rise to risks for the current generation (e.g., in the potential for disaster when reactors melt down) but high-level radioactive waste from nuclear energy production presents a serious intergenerational problem for which an acceptable final solution or its implementation remains elusive. Moreover, nuclear energy technologies have specific social and political consequences. For example, they have been said to be authoritarian technologies (Winner, 1980), requiring cen-tralized authority, secrecy, and technocratic decision-making. While some of these problems could have been foreseen before nuclear energy technologies were introduced, others only arose after these technologies were already integrated into the social and infrastructural fabric of our lives. Addition-ally, new technologies (e.g., Generation III, III+ and IV reactors) are still being developed, bringing with them new and uncertain hazards and risks. Ignorance and uncertainty about the possible deleterious effects of introducing a new technology are inevitable, especially if the technology is complex, large time-scales are involved, or risks depend on social or political factors unforeseen in the design stage. However, this should not deter us from developing and intro-ducing new technologies. Rather, it should motivate us to organize these ‘exper-iments’ with new technologies in society in such a way that we can learn about their possible hazards and risks as effectively and responsibly as possible (van de Poel, 2011, 2015). In this way, it is possible to minimize risks and avoid unwant-ed moral, social or political developments. However, organizing such experi-ments responsibly also means that one could come to the conclusion that continuing an experiment is no longer responsible or desirable. Should we be prepared for such a scenario, and if so, how could we do that? One possible strategy to tackle this issue is that the technology and its introduction should be reversible. The aim of this thesis is to further explore this strategy by answering the following main research question (RQ) and accompanying subquestions (SQ):RQ: What are the implications of reversibility for the responsible develop-ment and implementation of nuclear energy technologies?SQ1: Under what conditions can nuclear energy technologies be considered reversible?SQ2: Why should nuclear energy technologies be reversible?SQ3: If so, how could the reversibility of nuclear energy technologies be achieved?After the introductory chapter 1, the chapters that form the main body of this dissertation each provide a distinct contribution to answering the three subques-tions and, by extension, the main research question. Guided by three historical case studies of nuclear energy technology development (i.e., India, France and the USA), chapter 2 answers the first subquestion by formulating the two condi-tions under which it can be considered reversible, i.e., 1) the ability to stop the further development and deployment of a that technology in society, and 2) the ability to undo the undesirable outcomes (material, institutional or symbolic) of the development and deployment of the technology. Chapter 3 subsequently tackles the second subquestion by establishing the general desirability of technological reversibility by virtue of its relation to responsibility in Emmanuel Levinas’ ethical phenomenology. It argues that technology development is a legitimate response to responsibility but inevitably falls short of the responsibility that inspires it, incessantly calling for technological and political change in the process. Having thus argued that nuclear energy technologies should ideally be reversible, chap-ters 4 and 5 work towards specific strategies to achieve technological reversibil-ity. Chapter 4 first investigates the processes that make it difficult to stop the further development and implementation of a nuclear energy technology in society, thus provid-ing input on how to fulfill the first condition for the reversibility of nuclear energy technologies. To do so, it presents a phenomenological perspective on technology and its adoption based on the work of Alfred Schutz. It also explores different ways in which technology adoption drives the processes of path depend-ence towards technological lock-in. Chapter 5 examines the history of geological disposal of high-level radioactive waste in the USA. It identifies a number of concrete policy pitfalls that could lead to lock-in and that should consequently be avoided. It also presents a number of general design strategies that could facilitate the undoing of undesirable consequences of a technology, thus providing input on how to fulfill the second condition for the reversibility of nuclear energy technol-ogies.Chapter 6 summarizes the central findings of the thesis and explains how these help to answer the research questions. On top of this, it reflects on a number of complications connected to reversibility considerations. Based on this, it is concluded that the question of irreversibility and reversibility is context- and technology-specific and a matter of degree. The chapter concludes with a reflec-tion on generalizations and limitations of the results. Finally, chapter 7 discusses the implications of this dissertation’s results for responsibly experimenting with nuclear energy technologies in society. (shrink)

In this paper, we propose a weak regularity principle which is similar to both weak König's lemma and Ramsey's theorem. We begin by studying the computational strength of this principle in the context of reverse mathematics. We then analyze different ways of generalizing this principle.

This paper gives a formalization of general topology in second-order arithmetic using countably based MF spaces. This formalization is used to study the reverse mathematics of general topology. For each poset P we let MF denote the set of maximal filters on P endowed with the topology generated by {Np | p ∈ P}, where Np = {F ∈ MF | p ∈ F}. We define a countably based MF space to be a space of the form MF for some (...) countable poset P. The class of countably based MF spaces includes all complete separable metric spaces as well as many nonmetrizable spaces. The following reverse mathematics results are obtained. The proposition that every nonempty Gδ subset of a countably based MF space is homeomorphic to a countably based MF space is equivalent to [Formula: see text] over ACA0. The proposition that every uncountable closed subset of a countably based MF space contains a perfect set is equivalent over [Formula: see text] to the proposition that [Formula: see text] is countable for all A ⊆ ℕ. The proposition that every regular countably based MF space is homeomorphic to a complete separable metric space is equivalent to [Formula: see text] over [Formula: see text]. (shrink)

An important open problem in Reverse Mathematics is the reduction of the first-order strength of the base theory from IΣ1IΣ1 to IΔ0+expIΔ0+exp. The system ERNA, a version of Nonstandard Analysis based on the system IΔ0+expIΔ0+exp, provides a partial solution to this problem. Indeed, weak Königʼs lemma and many of its equivalent formulations from Reverse Mathematics can be ‘pushed down’ into ERNA, while preserving the equivalences, but at the price of replacing equality with ‘≈’, i.e. infinitesimal proximity . The logical principle (...) corresponding to weak Königʼs lemma is the universal transfer principle from Nonstandard Analysis. Here, we consider the intermediate and mean value theorem and their uniform generalizations. We show that ERNAʼs Reverse Mathematics mirrors the situation in classical Reverse Mathematics. This further supports our claim from Sanders [19] that the Reverse Mathematics of ERNA plus universal transfer is a copy up to infinitesimals of that of WKL0. We discuss some of the philosophical implications of our results. (shrink)