National legal systems undergo profound changes when they are confronted with undemocratic power seizure. The same occurs when they experience a transition (back) to democracy. Thus far, these two types of transition have been studied in relative isolation. Nevertheless, it seems that both undemocratic usurpers and democratizing regimes affect the role of fundamental rule-of-law principles in similar ways. This article compares both types of transition and suggests that pragmatism and national identity are the driving forces behind similar legal mechanisms, affecting (...) legal principles, in those two forms of transition. Drawing on Carl Schmitt's idea of the state of exception and Ruti Teitel's work on transitional justice, this article shows that both kinds of transition share the same fundamental legal structure. (shrink)

Amsterdam University Press is a leading publisher of academic books, journals and textbooks in the Humanities and Social Sciences. Our aim is to make current research available to scholars, students, innovators, and the general public. AUP stands for scholarly excellence, global presence, and engagement with the international academic community.

This book brings together thirteen articles on the most discussed thinkers in the rationalist movement: Descartes, Spinoza, Leibniz, and Malebranche. These articles address the topics in metaphysics and epistemology that figure most prominently in contemporary work on these philosophers. The articles have all been produced since 1980, and their authors are among the most respected in the field.

During the 'sixties and 'seventies, Hilary Putnam, Jerry Fodor, and Richard Boyd, among others, developed a type of materialism that eschews reductionist claims.¹ In this view, explana- tions, natural kinds, and properties in psychology do not reduce to counterparts in more basic sciences, such as neurophysiology or physics. Nevertheless, all token psychological entities-- states, processes, and faculties--are wholly constituted of physical entities, ultimately out of entities over which microphysics quantifies. This view quickly became the standard position in philosophy of mind, (...) and reductionism fell out of favor. Recently, however, reductionism has been experiencing a rebirth, and many have suggested that the non-reductive approach was accepted too quickly and too uncritically. In this paper, we attempt to provide a more thorough account of the anti-reductionist position, and, in the process, to defend it against its recent critics. (shrink)

Modern modal logic originated as a branch of philosophical logic in which the concepts of necessity and possibility were investigated by means of a pair of dual operators that are added to a propositional or first-order language. The field owes much of its flavor and success to the introduction in the 1950s of the “possible-worlds” semantics in which the modal operators are interpreted via some “accessibility relation” connecting possible worlds. In subsequent years, modal logic has received attention as an attractive (...) approach towards formalizing such diverse notions as time, knowledge, or action. Nowadays, modal logics are applied in various disciplines, ranging from economics to linguistics and computer science. Consequently, there is by now a large variety of modal languages, with an even greater wealth of interpretations. For instance, many applications require a poly-modal framework consisting of a language with a family of modal operators and a semantics in which the corresponding accessibility relations are connected somehow. (shrink)

In _Living Without Free Will_, I develop and argue for a view according to which our being morally responsible would be ruled out if determinism were true, and also if indeterminism were true and the causes of our actions were exclusively events.¹ Absent agent causation, indeterministic causal histories are as threatening to moral responsibility as deterministic histories are, and a generalization argument from manipulation cases shows that deterministic histories indeed undermine moral responsibility. Agent causation has not been ruled out as (...) a coherent possibility, but it is not credible given our best physical theories. Hence we must take seriously the prospect that we are not free in the sense required for moral responsibility. I call the resulting view _hard incompatibilism_. Furthermore, contrary to widespread belief, a conception of life without free will would not at all be devastating to morality or to our sense of meaning in life, and in certain respects it may even be beneficial. (shrink)

Derk Pereboom articulates and defends an original, forward-looking conception of moral responsibility. He argues that although we may not possess the kind of free will that is normally considered necessary for moral responsibility, this does not jeopardize our sense of ourselves as agents, or a robust sense of achievement and meaning in life.

1. Consider first Baker’s definition of constitution. In her view, constitution is a relation between concrete individuals. Each concrete individual is fundamentally a member of exactly one primary kind. By definition, any concrete individual has its primary kind membership essentially, so that a concrete individual x’s ceasing to be a member of this kind entails that x ceases to exist. For example, David’s primary kind is statue, Piece’s primary kind is piece of marble. Suppose that x and y are concrete (...) individuals; F* designates the property of having F as one’s primary-kind; F and G are not the same kind; individual x has F* and individual y has G*; and D designates G- favorable circumstances—“the milieu required for something to be a G”. Then. (shrink)

Modern modal logic originated as a branch of philosophical logic in which the concepts of necessity and possibility were investigated by means of a pair of dual operators that are added to a propositional or first-order language. The field owes much of its flavor and success to the introduction in the 1950s of the “possible-worlds” semantics in which the modal operators are interpreted via some “accessibility relation” connecting possible worlds. In subsequent years, modal logic has received attention as an attractive (...) approach towards formalizing such diverse notions as time, knowledge, or action. Nowadays, modal logics are applied in various disciplines, ranging from economics to linguistics and computer science. Consequently, there is by now a large variety of modal languages, with an even greater wealth of interpretations. For instance, many applications require a poly-modal framework consisting of a language with a family of modal operators and a semantics in which the corresponding accessibility relations are connected somehow. (shrink)

If my ability to react freely is constrained by forces beyond my control, am I still morally responsible for the things I do? The question of whether, how and to what extent we are responsible for our own actions has always been central to debates in philosophy and theology, and has been the subject of much recent research in cognitive science. And for good reason- the views we take on free will affect the choices we make as individuals, the moral (...) judgments we make of others, and they will inform public policy. Michael McKenna's text introduces this important subject with remarkable clarity, offering the first comprehensive overview of both incompatibilist and compatibilist stances. He begins by motivating both viewpoints, then provides classical accounts of each before giving students an in-depth examination of current scholarship in the free will debate. Topics covered include: the nature of free will the nature of determinism the nature of moral responsibility arguments for the incompatibility of free will and determinism arguments of the compatibility of free will and determinism libertarian theories of free will and moral responsibility compatibilist theories of free will and moral responsibility hard determinist and hard incompatibilist theories. (shrink)

Most people assume that, even though some degenerative or criminal behavior may be caused by influences beyond our control, ordinary human actions are not similarly generated, but rather are freely chosen, and we can be praiseworthy or blameworthy for them. A less popular and more radical claim is that factors beyond our control produce all of the actions we perform. It is this hard determinist stance that Derk Pereboom articulates in Living Without Free Will. Pereboom argues that our best (...) scientific theories have the consequence that factors beyond our control produce all of the actions we perform, and that because of this, we are not morally responsible for any of them. He seeks to defend the view that morality, meaning and value remain intact even if we are not morally responsible, and furthermore, that adopting this perspective would provide significant benefit for our lives. (shrink)

We introduce a cyclic proof system for the two-way alternation-free modal μ-calculus. The system manipulates one-sided Gentzen sequents and locally deals with the backwards modalities by allowing analytic applications of the cut rule. The global effect of backwards modalities on traces is handled by making the semantics relative to a specific strategy of the opponent in the evaluation game. This allows us to augment sequents by so-called trace atoms, describing traces that the proponent can construct against the opponent’s strategy. The (...) idea for trace atoms comes from Vardi’s reduction of alternating two-way automata to deterministic one-way automata. Using the multi-focus annotations introduced earlier by Marti and Venema, we turn this trace-based system into a path-based system. We prove that our system is sound for all sequents and complete for sequents not containing trace atoms. (shrink)

A traditional concern for determinists is that the epistemic conditions an agent must satisfy to deliberate about which of a number of distinct actions to perform threaten to conflict with a belief in determinism and its evident consequences. I develop an account of the sort that specifies two epistemic requirements, an epistemic openness condition and a belief in the efficacy of deliberation, whose upshot is that someone who believes in determinism and its evident consequences can deliberate without inconsistent beliefs. I (...) argue that conditions of both types are indispensable, and that they can be formulated so as to withstand the relevant objections. (shrink)

This paper contributes to the theory of hybrid substructural logics, i.e. weak logics given by a Gentzen-style proof theory in which there is only a limited possibility to use structural rules. Following the literature, we use an operator to mark formulas to which the extra structural rules may be applied. New in our approach is that we do not see this ▽ as a modality, but rather as the meet of the marked formula with a special type Q. In this (...) way we can make the specific structural behaviour of marked formulas more explicit. The main motivation for our approach is that we can provide a nice, intuitive semantics for hybrid substructural logics. Soundness and completeness for this semantics are proved; besides this we consider some proof-theoretical aspects like cut-elimination and embeddings of the 'strong' system in the hybrid one. (shrink)

We prove that every abstractly defined game algebra can be represented as an algebra of consistent pairs of monotone outcome relations over a game board. As a corollary we obtain Goranko's result that van Benthem's conjectured axiomatization for equivalent game terms is indeed complete.

Examines the relevance of empirical studies of responsibility judgments for traditional philosophical concerns about free will and moral responsibility. We argue that experimental philosophy is relevant to the traditional debates, but that setting up experiments and interpreting data in just the right way is no less difficult than negotiating traditional philosophical arguments. Both routes are valuable, but so far neither promises a way to secure significant agreement among the competing parties. To illustrate, we focus on three sorts of issues. For (...) illustration, we discuss an error theory for incompatibilist intuitions proposed by Eddy Nahmias and colleagues, the role that empirical studies might have in the assessment of manipulation arguments for incompatibilism, and the suggestion that empirical studies reveal that core criteria for moral responsibility ought not to be applied invariantly across different sorts of cases. (shrink)

This chapter contains sections titled: Introduction Apperception Representations of Objects Universality and Necessity Logical Forms of Judgment and Categories The Second Step of the B‐Deduction A Final Word.

In this book, Derk Pereboom explores how physicalism might best be formulated and defended against the best anti-physicalist arguments. Two responses to the knowledge and conceivability arguments are set out and developed. The first exploits the open possibility that introspective representations fail to represent mental properties as they are in themselves; specifically, that introspection represents phenomenal properties as having certain characteristic qualitative natures, which these properties might actually lack. The second response draws on the proposal that currently unknown fundamental (...) intrinsic properties provide categorical bases for known physical properties and would also yield an account of consciousness. While there are non-physicalist versions of this position, some are amenable to physicalism. The book's third theme is a defense of a nonreductive account of physicalism. The type of nonreductivism endorsed departs from others in that it rejects all token identity claims for psychological and microphysical entities. The deepest relation between the mental and the microphysical is constitution, where this relation is not to be explicated by the notion of identity. (shrink)

Wrongdoing and the Moral Emotions provides an account of how we might effectively address wrongdoing given challenges to the legitimacy of anger and retribution that arise from ethical considerations and from concerns about free will. The issue is introduced in Chapter 1. Chapter 2 asks how we might conceive of blame without retribution, and proposes an account of blame as moral protest, whose function is to secure forward-looking goals such as the moral reform of the wrongdoer and reconciliation in relationships. (...) Chapter 3 considers whether it's possible to justify effectively dealing those who pose dangerous threats if they do not deserve to be harmed, and contends that wrongfully posing a threat is the core condition for the legitimacy of defensive harming. Chapter 4 provides an account of how to treat criminals without a retributive justification for punishment, and argues for an account in which the right of self-defense provides justification for measures such as preventative detention. Chapter 5 considers how we might forgive if wrongdoers don't basically deserve the pain of being resented, which forgiveness would then renounce, and proposes that forgiveness be conceived instead as renunciation of the stance of moral protest. Chapter 6 considers how personal relationships might function without retributive anger having a role in responding to wrongdoing, and contends that the stance of moral protest, supplemented with non-retributive emotions, is sufficient. Chapter 7 surveys the options for theistic and atheistic attitudes regarding the fate of humanity in a deterministic universe, and defends an impartial hope for humanity. (shrink)

Treating the existential quantification ∃ν i as a diamond $\diamond_i$ and the identity ν i = ν j as a constant δ ij , we study restricted versions of first order logic as if they were modal formalisms. This approach is closely related to algebraic logic, as the Kripke frames of our system have the type of the atom structures of cylindric algebras; the full cylindric set algebras are the complex algebras of the intended multidimensional frames called cubes. The main (...) contribution of the paper is a characterization of these cube frames for the finite-dimensional case and, as a consequence of the special form of this characterization, a completeness theorem for this class. These results lead to finite, though unorthodox, derivation systems for several related formalisms, e.g. for the valid n-variable first order formulas, for type-free valid formulas and for the equational theory of representable cylindric algebras. The result for type-free valid formulas indicates a positive solution to Problem 4.16 of Henkin, Monk and Tarski [16]. (shrink)

We discuss a `negative' way of defining frame classes in (multi)modal logic, and address the question of whether these classes can be axiomatized by derivation rules, the `non-ξ rules', styled after Gabbay's Irreflexivity Rule. The main result of this paper is a metatheorem on completeness, of the following kind: If Λ is a derivation system having a set of axioms that are special Sahlqvist formulas and Λ+ is the extension of Λ with a set of non-ξ rules, then Λ+ is (...) strongly sound and complete with respect to the class of frames determined by the axioms and the rules. (shrink)

We prove that every rectangularly dense diagonal-free cylindric algebra is representable. As a corollary, we give finite, sound and complete axiomatizations for the finite-variable fragments of first order logic without equality and for multi-dimensional modal S5-logic.

The question I raise is whether Mark Balaguer’s event-causal libertarianism can withstand the disappearing agent objection. The concern is that with the causal role of the events antecedent to a decision already given, nothing settles whether the decision occurs, and so the agent does not settle whether the decision occurs. Thus it would seem that in this view the agent will not have the control in making decisions required for moral responsibility. I examine whether Balaguer’s position has the resources to (...) answer this objection. (shrink)

This chapter analyses the problem of free will and moral responsibility, to which the history of philosophy records three standard reactions. Compatibilists maintain that it is possible for us to have the free will required for moral responsibility if determinism is true. Others contend that determinism is not compossible with our having the free will required for moral responsibility – they are incompatibilists – but they resist the reasons for determinism and claim that we do possess free will of this (...) kind. They advocate the libertarian position. Hard determinists are also incompatibilists, but they accept that determinism is true and that we lack the sort of free will required for moral responsibility. Source and leeway theories, and the notions of incompatibilism and libertarianism, are discussed. (shrink)

I have presented a Frankfurt-style argument (Pereboom 2000, 2001, 2003) against the requirement of robust alternative possibilities for moral responsibility that features an example, Tax Evasion , in which an agent is intuitively morally responsible for a decision, has no robust alternative possibilities, and is clearly not causally determined to make the decision. Here I revise the criterion for robustness in response to suggestions by Dana Nelkin, Jonathan Vance, and Kevin Timpe, and I respond to objections to the argument by (...) Carlos Moya and David Widerker, in the process of which I refine the Tax Evasion example. (shrink)

One of time's most puzzling aspects concerns its ontological status: on the one hand, it is a subjective and relative notion, based on our conscious experience of successive events; yet, on the other hand, our civilization and technology are based on the understanding that something like objective, absolute Time exists. Some philosophers have taken this paradox so far as to conclude that time is unreal; others, accepting the existence of absolute time, have engaged in heated debates regarding its structure, be (...) it linear or circular, bounded or unbounded, dense or discrete. (shrink)

In this paper we consider distributive modal logic, a setting in which we may add modalities, such as classical types of modalities as well as weak forms of negation, to the fragment of classical propositional logic given by conjunction, disjunction, true, and false. For these logics we define both algebraic semantics, in the form of distributive modal algebras, and relational semantics, in the form of ordered Kripke structures. The main contributions of this paper lie in extending the notion of Sahlqvist (...) axioms to our generalized setting and proving both a correspondence and a canonicity result for distributive modal logics axiomatized by Sahlqvist axioms. Our proof of the correspondence result relies on a reduction to the classical case, but our canonicity proof departs from the traditional style and uses the newly extended algebraic theory of canonical extensions. (shrink)

We characterize the expressive power of the modal mu-calculus on monotone neighborhood structures, in the style of the Janin-Walukiewicz theorem for the standard modal mu-calculus. For this purpose we consider a monadic second-order logic for monotone neighborhood structures. Our main result shows that the monotone modal mu-calculus corresponds exactly to the fragment of this second-order language that is invariant for neighborhood bisimulations.

In this article I develop several responses to my co-authors of Four Views on Free Will. In reply to Manuel Vargas, I suggest a way to clarify his claim that our concepts of free will and moral responsibility should be revised, and I question whether he really proposes to revise the notion of basic desert at stake in the debate. In response to Robert Kane, I examine the role the rejection of Frankfurt-style arguments has in his position, and whether his (...) criticism of my version of this argument is sound. In reply to John Fischer, I argue that the reasons-responsiveness central to his account of moral responsibility is not best characterized counterfactually, and I provide a suggestion for revision. (shrink)

As philosophical and scientific arguments for free will skepticism continue to gain traction, we are likely to see a fundamental shift in the way people think about free will and moral responsibility. Such shifts raise important practical and existential concerns: What if we came to disbelieve in free will? What would this mean for our interpersonal relationships, society, morality, meaning, and the law? What would it do to our standing as human beings? Would it cause nihilism and despair as some (...) maintain or would it rather have a humanizing effect on our practices and policies, freeing us from the negative effects of belief in free will? In this chapter we consider the practical implications of free will skepticism and argue that life without free will and basic desert moral responsibility would not be as destructive as many people believe. We argue that prospects of finding meaning in life or of sustaining good interpersonal relationships, for example, would not be threatened. On treatment of criminals, we argue that although retributivism and severe punishment, such as the death penalty, would be ruled out, preventive detention and rehabilitation programs would still be justified. While we will touch on all these issues below, our focus will be primarily on this last issue. -/- We begin in section I by considering two different routes to free will skepticism. The first denies the causal efficacy of the types of willing required for free will and receives its contemporary impetus from pioneering work in neuroscience by Benjamin Libet, Daniel Wegner, and John-Dylan Haynes. The second, which is more common in the philosophical literature, does not deny the causal efficacy of the will but instead claims that whether this causal efficacy is deterministic or indeterministic, it does not achieve the level of control to count as free will by the standards of the historical debate. We argue that while there are compelling objections to the first route—e.g., Al Mele (2009), Eddy Nahmias (2002, 2011), and Neil Levy (2005)—the second route to free will skepticism remains intact. In section II we argue that free will skepticism allows for a workable morality, and, rather than negatively impacting our personal relationships and meaning in life, may well improve our well-being and our relationships to others since it would tend to eradicate an often destructive form of moral anger. In section III we argue that free will skepticism allows for adequate ways of responding to criminal behavior—in particular, incapacitation, rehabilitation, and alternation of relevant social conditions—and that these methods are both morally justified and sufficient for good social policy. We present and defend our own preferred model for dealing with dangerous criminals, an incapacitation account built on the right to self-protection analogous to the justification for quarantine (see Pereboom 2001, 2013, 2014a; Caruso 2016a), and we respond to recent objections to it by Michael Corrado and John Lemos. (shrink)

Traces the decentered formulation of self at the heart of Paul Ricoeur's philosophy from his earliest works to his most recent.