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.

This chapter examines the restrictions on justification of punishment that result from the claim that human beings lack freedom of the will. The variety of free will at issue is the control in action required for the agent to basically deserve to be blamed or punished. If we lack such free will, the classical retributive justification is undermined. Furthermore, if we lack such free will, one justification for using criminals as means for the purpose of general deterrence is also threatened. (...) Since even if we lack free will, we yet retain the right to harm in self-defense, special deterrence that invokes such a right, and the attendant general deterrence, are in the clear. Finally, ways in which additional general deterrence absent free will might be justified are explored. (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)

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.

Consciousness and the Prospects of Physicalism has three parts. The first (Chapters 1–4) develops a response to the knowledge and conceivability arguments against physicalism, one that features the open possibility that introspective representations represent mental properties as having features they actually lack. The second part (Chapters 5 and 6) proposes a physicalist version of a Russellian Monist answer to these arguments, the core of which is that currently unknown intrinsic physical properties provide categorical bases for known physical properties and also (...) yield an account of consciousness. The third part (Chapters 7 and 8) defends a nonreductive account of physicalism about the mental, according to which the relation between the mental and the microphysical is constitution, where this relation is not explicated by the notion of identity. (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)

For an arbitrary similarity type of Boolean Algebras with Operators we define a class ofSahlqvist identities. Sahlqvist identities have two important properties. First, a Sahlqvist identity is valid in a complex algebra if and only if the underlying relational atom structure satisfies a first-order condition which can be effectively read off from the syntactic form of the identity. Second, and as a consequence of the first property, Sahlqvist identities arecanonical, that is, their validity is preserved under taking canonical embedding algebras. (...) Taken together, these properties imply that results about a Sahlqvist variety V van be obtained by reasoning in the elementary class of canonical structures of algebras in V.We give an example of this strategy in the variety of Cylindric Algebras: we show that an important identity calledHenkin's equation is equivalent to a simpler identity that uses only one variable. We give a conceptually simple proof by showing that the first-order correspondents of these two equations are equivalent over the class of cylindric atom structures. (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)

For an arbitrary similarity type of Boolean Algebras with Operators we define a class of Sahlqvist identities. Sahlqvist identities have two important properties. First, a Sahlqvist identity is valid in a complex algebra if and only if the underlying relational atom structure satisfies a first-order condition which can be effectively read off from the syntactic form of the identity. Second, and as a consequence of the first property, Sahlqvist identities are canonical, that is, their validity is preserved under taking canonical (...) embedding algebras. Taken together, these properties imply that results about a Sahlqvist variety V van be obtained by reasoning in the elementary class of canonical structures of algebras in V. We give an example of this strategy in the variety of Cylindric Algebras: we show that an important identity called Henkin's equation is equivalent to a simpler identity that uses only one variable. We give a conceptually simple proof by showing that the firstorder correspondents of these two equations are equivalent over the class of cylindric atom structures. (shrink)

-/- The term “natural religion” is sometimes taken to refer to a pantheistic doctrine according to which nature itself is divine. “Natural theology”, by contrast, originally referred to (and still sometimes refers to)[1] the project of arguing for the existence of God on the basis of observed natural facts. -/- In contemporary philosophy, however, both “natural religion” and “natural theology” typically refer to the project of using all of the cognitive faculties that are “natural” to human beings—reason, sense-perception, introspection—to investigate (...) religious or theological matters. Natural religion or theology, on the present understanding, is not limited to empirical inquiry into nature, and it is not wedded to a pantheistic result. It does, however, avoid appeals to special non-natural faculties (ESP, telepathy, mystical experience) or supernatural sources of information (sacred texts, revealed theology, creedal authorities, direct supernatural communication). In general, natural religion or theology (hereafter “natural theology”) aims to adhere to the same standards of rational investigation as other philosophical and scientific enterprises, and is subject to the same methods of evaluation and critique. Natural theology is typically contrasted with “revealed theology”, where the latter explicitly appeals to special revelations such as miracles, scriptures, and divinely-superintended commentaries and creedal formulations. (See DeCruz and DeSmedt 2015) -/- Philosophers and religious thinkers across almost every epoch and tradition (Near Eastern, African, Asian, and European) have engaged the project of natural theology, either as proponents or critics. The question of whether natural theology is a viable project is at the root of some of the deepest religious divisions: Shi’ite thinkers are optimistic about reason’s ability to prove various theological and ethical truths, for instance, while Sunnis are not; Roman Catholic theologians typically think that reason provides demonstrations of the existence of God, while many Protestant theologians do not. Unlike most of the topics discussed in an encyclopedia of philosophy, this is one over which wars have been fought and throats have been cut. -/- The most active discussions of natural theology in the West occurred during the high medieval period (roughly 1100–1400 C.E.) and the early modern period (1600–1800 C.E.). The past few decades have witnessed a revival of natural theological debate in the public sphere: there are now institutes promoting “Intelligent Design Theory”, popular apologetics courses, campus debates between believers and agnostics, a “New Atheist” movement, Youtube debates between apologists and atheists regarding new books in natural theology (such as the one between Nathan Lewis and Bernie Dehler on the Blackwell Companion to Natural Theology),[2] and TED talks by famous atheists on how to resist natural religion (such as the one by Richard Dawkins in February 2002).[3] -/- Among professional philosophers (who aren’t typically part of these more popular debates), arguments over our ability to justify positive or negative answers to religious questions have become fairly technical, often employing sophisticated logical techniques in an effort to advance the discussion instead of retreading the same old ground. The prestigious Gifford Lectures series hosted by a consortium of Scottish universities, however, has tried to feature new but still accessible work in natural theology for over 100 years (it too has a Youtube channel!)[4] -/- In this article, we aim to avoid most the more recent complexities but also explain their origins by focusing on some central developments in the early modern period that helped to frame contemporary natural theological debates. We are focused here only on theoretical arguments (both a priori and a posteriori or empirical ones). It is controversial whether moral arguments are also part of natural theology, but we set them aside here (see also the entry on God, arguments for the existence of: moral arguments). (shrink)

It is often claimed that Russellian monism carries a commitment to a structuralist conception of physics, on which physics describes the world only in terms of its spatiotemporal structure and dynamics. We argue that this claim is mistaken. On Russellian monism, there is more to consciousness, and to the rest of concrete reality, than spatiotemporal structure and dynamics. But the latter claim supports only a conditional claim about physics: _if_ structuralism about physics is true, then there is more to consciousness (...) and to the rest of concrete reality than physics describes. Given the fundamental nature of their position, Russellian monists can, we argue, deny the antecedent without inconsistency. We also draw out two significant consequences of that result. One is that it provides a response to some recent objections to Russellian monism, by Alyssa Ney and Eric Hiddleston. The other consequence concerns a line of reasoning known as _the structure and dynamics argument_—reasoning that is thought to motivate Russellian monism. In David J. Chalmers’s version, which is regarded as canonical, structuralism about physics is implied by a premise. If our main thesis is true, then that version is problematic, at least from the perspective of Russellian monists who take the argument to motivate their theory. However, we argue, the argument can be reformulated without relying on structuralism about physics. (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 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)

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)

The essays in this volume trace the fluid movement between phenomenological and religious descriptions of the capable self that emerges across Ricoeur's oeuvre ...

This paper establishes model-theoretic properties of \, a variation of monadic first-order logic that features the generalised quantifier \. We will also prove analogous versions of these results in the simpler setting of monadic first-order logic with and without equality and \, respectively). For each logic \ we will show the following. We provide syntactically defined fragments of \ characterising four different semantic properties of \-sentences: being monotone and continuous in a given set of monadic predicates; having truth preserved under (...) taking submodels or being truth invariant under taking quotients. In each case, we produce an effectively defined map that translates an arbitrary sentence \ to a sentence \ belonging to the corresponding syntactic fragment, with the property that \ is equivalent to \ precisely when it has the associated semantic property. As a corollary of our developments, we obtain that the four semantic properties above are decidable for \-sentences. (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)

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)

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)

Since its original publication in Chinese in the 1930s, this work has been accepted by Chinese scholars as the most important contribution to the study of their country's philosophy. In 1952 the book was published by Princeton University Press in an English translation by the distinguished scholar of Chinese history, Derk Bodde, "the dedicated translator of Fung Yu-lan's huge history of Chinese philosophy". Available for the first time in paperback, it remains the most complete work on the subject in (...) any language. Volume I covers the period of the philosophers, from the beginnings to around 100 B.C., a philosophical period as remarkable as that of ancient Greece. Volume II discusses a period lesser known in the West--the period of classical learning, from the second century B.C. to the twentieth century. (shrink)

The intersection of biology and religion has spawned exciting new areas of academic research that raise issues central to understanding our own humanity and the living world. In this comprehensive and accessible survey, Michael L. Peterson and Dennis R. Venema explain the engagement between biology and religion on issues related to origins, evolution, design, suffering and evil, progress and purpose, love, humanity, morality, ecology, and the nature of religion itself. Does life have a chemical origin - or must there (...) be a divine spark? How can religious claims about divine goodness be reconciled with widespread predation, suffering, and death in the animal kingdom? Peterson and Venema develop a philosophical discussion around such controversial questions. The book situates each topic in its historical, scientific, and theological context, making it the perfect introduction for upper-level undergraduates, graduate students, scholars, and the interested general reader. (shrink)

We study a generalization of the standard syntax and game-theoretic semantics of logic, which is based on a duality between two players, to a multiplayer setting. We define propositional and modal languages of multiplayer formulas, and provide them with a semantics involving a multiplayer game. Our focus is on the notion of equivalence between two formulas, which is defined by saying that two formulas are equivalent if under each valuation, the set of players with a winning strategy is the same (...) in the two respective associated games. We provide a derivation system which enumerates the pairs of equivalent formulas, both in the propositional case and in the modal case. Our approach is algebraic: We introduce multiplayer algebras as the analogue of Boolean algebras, and show, as the corresponding analog to Stone’s theorem, that these abstract multiplayer algebras can be represented as concrete ones which capture the game-theoretic semantics. For the modal case we prove a similar result. We also address the computational complexity of the problem whether two given multiplayer formulas are equivalent. In the propositional case, we show that this problem is co-NP-complete, whereas in the modal case, it is PSPACE-hard. (shrink)

Vaak wordt gesteld dat ongelijkheid een individuele verantwoordelijkheid is. Om sociale ongelijkheid te verkleinen zoekt men dan de oplossingen in het ondersteunen van individuen. Maar daarbij wordt meestal voorbijgegaan aan de morele dimensies van ongelijkheid, en aan het belang van de groep of de netwerken waarin mensen wonen, werken en leven. De essays in dit boek, gebaseerd op de nieuwste wetenschappelijke inzichten, tonen aan dat juist die groepsdimensie een zeer belangrijk perspectief is, waaraan in beleidsoplossingen te vaak voorbij wordt gegaan. (...) 0Als je leven niet loopt zoals je dat voor ogen hebt, is dat dan je eigen schuld of hangt dat wellicht met meer zaken samen? Iedereen weet dat omgevingsfactoren een belangrijke rol spelen: Waar ben je geboren? Welk netwerk heb je tot je beschikking? Toch worden bij pogingen om de ongelijkheid in de wereld te reduceren in de eerste plaats individuele oplossingen aangedragen. Dit boek laat voor de verschillende domeinen in de samenleving als de zorg, het onderwijs, werk, migratie en milieu zien hoe dat (niet) werkt. (shrink)

In adolescence, aspects of cognition that are required to deal with complex cooperation situations, such as mentalising and social value orientation, are still in development. In the Trust Game, cooperation may lead to better outcomes for both players, but can also lead to exploitation by the trustee. In the present study, we explore how mindreading, a crucial aspect of mentalising, and social value orientation (whether someone is prosocial or proself) are related to trust. In a group of 217 students (51% (...) girls, Mage = 15.1) social value orientation, mindreading and trust (using the Trust Game) were measured. The result show that social value orientation moderates the relation between mindreading and trust. In the group of prosocials, we find no correlation between mindreading and trust. In the group of proselfs, mindreading is negatively correlated to trust, indicating that proselfs use their mentalising skills to assess that the trustee is likely to exploit them. (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.

The Oxford Handbook of Moral Responsibility is a collection of 33 articles by leading international scholars on the topic of moral responsibility and its main forms, praiseworthiness and blameworthiness. The articles in the volume provide a comprehensive survey on scholarship on this topic since 1960, with a focus on the past three decades. Articles address the nature of moral responsibility - whether it is fundamentally a matter of deserved blame and praise, or whether it is grounded anticipated good consequences, such (...) as moral education and formation, or whether there are different kinds of moral responsibility. They examine responsibility for both actions and omissions, whether responsibility comes in degrees, and whether groups such as corporations can be responsible. The traditional debates about moral responsibility focus on the threats posed from causal determinism, and from the absence of the ability to do otherwise that may result. The articles in this volume build on these arguments and appraise the most recent developments in these debates. Philosophical reflection on the personal relationships and moral responsibility has been especially intense over the past two decades, and several articles reflect this development. Other chapters take up the link between blameworthiness and attitudes such as moral resentment and indignation, while others explore the role that forgiveness and reconciliation play in personal relationships and responsibility. The range of articles in this volume look at moral responsibility from a range of perspectives and disciplines, explaining how physics, neuroscience, and psychological research on topics such as addiction and implicit bias illuminate the ways and degrees to which we might be responsible. (shrink)