The Dedekind cuts in an ordered set form a set in the sense of constructive Zermelo—Fraenkel set theory. We deduce this statement from the principle of refinement, which we distill before from the axiom of fullness. Together with exponentiation, refinement is equivalent to fullness. None of the defining properties of an ordering is needed, and only refinement for two—element coverings is used. In particular, the Dedekind reals form a set; whence we have also refined an earlier result by Aczel and (...) Rathjen, who invoked the full form of fullness. To further generalise this, we look at Richman's method to complete an arbitrary metric space without sequences, which he designed to avoid countable choice. The completion of a separable metric space turns out to be a set even if the original space is a proper class; in particular, every complete separable metric space automatically is a set. (shrink)

In this article I present a disagreement between classical and constructive approaches to predicativity regarding the predicative status of so-called generalised inductive definitions. I begin by offering some motivation for an enquiry in the predicative foundations of constructive mathematics, by looking at contemporary work at the intersection between mathematics and computer science. I then review the background notions and spell out the above-mentioned disagreement between classical and constructive approaches to predicativity. Finally, I look at possible ways of defending the constructive (...) predicativity of inductive definitions. (shrink)

ABSTRACT Theories of sets such as Zermelo Fraenkel set theory are usually presented as the combination of two distinct kinds of principles: logical and set-theoretic principles. The set-theoretic principles are imposed ‘on top’ of first-order logic. This is in agreement with a traditional view of logic as universally applicable and topic neutral. Such a view of logic has been rejected by the intuitionists, on the ground that quantification over infinite domains requires the use of intuitionistic rather than classical logic. In (...) the following, I consider constructive set theories, which use intuitionistic rather than classical logic, and argue that they manifest a distinctive interdependence or an entanglement between sets and logic. In fact, Martin-Löf type theory identifies fundamental logical and set-theoretic notions. Remarkably, one of the motivations for this identification is the thought that classical quantification over infinite domains is problematic, while intuitionistic quantification is not. The approach to quantification adopted in Martin-Löf’s type theory is subtly interconnected with its predicativity. I conclude by recalling key aspects of an approach to predicativity inspired by Poincaré, which focuses on the issue of correct quantification over infinite domains and relate it back to Martin-Löf type theory. (shrink)

According to Weyl, “‘inexhaustibility’ is essential to the infinite”. However, he distinguishes two kinds of inexhaustible, or merely potential, domains: those that are “extensionally determinate” and those that are not. This article clarifies Weyl's distinction and explains its enduring logical and philosophical significance. The distinction sheds lights on the contemporary debate about potentialism, which in turn affords a deeper understanding of Weyl.

Predicativity is a notable example of fruitful interaction between philosophy and mathematical logic. It originated at the beginning of the 20th century from methodological and philosophical reflections on a changing concept of set. A clarification of this notion has prompted the development of fundamental new technical instruments, from Russell's type theory to an important chapter in proof theory, which saw the decisive involvement of Kreisel, Feferman and Schütte. The technical outcomes of predica-tivity have since taken a life of their own, (...) but have also produced a deeper understanding of the notion of predicativity, therefore witnessing the " light logic throws on problems in the foundations of mathematics. " (Feferman 1998, p. vii) Predicativity has been at the center of a considerable part of Feferman's work: over the years he has explored alternative ways of explicating and analyzing this notion and has shown that predicative mathematics extends much further than expected within ordinary mathematics. The aim of this note is to outline the principal features of predicativity, from its original motivations at the start of the past century to its logical analysis in the 1950-60's. The hope is to convey why predicativity is a fascinating subject, which has attracted Feferman's attention over the years. (shrink)

Recent debates in metaphysics have highlighted the significance of type theories, such as Simple Type Theory (STT), for our philosophical analysis. In this chapter, I present the salient features of a constructive type theory in the style of Martin-Löf, termed CTT. My principal aim is to convey the flavour of this rich, flexible and sophisticated theory and compare it with STT. I especially focus on the forms of quantification which are available in CTT. A further aim is to argue that (...) a comparison between a plurality of theories is beneficial to the philosophical analysis. We may, for example, discover helpful features of one theory that we may want to import into another context, thus enriching our repertoire of formal tools. Or, through comparison with a less well-known theory, we may gain a better understanding of the characteristics of the theories we are familiar with. As argued in this chapter, CTT has much to offer in all of these respects. (shrink)

Constructive and intuitionistic Zermelo-Fraenkel set theories are axiomatic theories of sets in the style of Zermelo-Fraenkel set theory (ZF) which are based on intuitionistic logic. They were introduced in the 1970's and they represent a formal context within which to codify mathematics based on intuitionistic logic. They are formulated on the basis of the standard first order language of Zermelo-Fraenkel set theory and make no direct use of inherently constructive ideas. In working in constructive and intuitionistic ZF we can thus (...) to some extent rely on our familiarity with ZF and its heuristics. -/- Notwithstanding the similarities with classical set theory, the concepts of set defined by constructive and intuitionistic set theories differ considerably from that of the classical tradition; they also differ from each other. The techniques utilised to work within them, as well as to obtain metamathematical results about them, also diverge in some respects from the classical tradition because of their commitment to intuitionistic logic. In fact, as is common in intuitionistic settings, a plethora of semantic and proof-theoretic methods are available for the study of constructive and intuitionistic set theories. -/- The entry introduces the main features of Constructive and Intuitionistic ZF and offers links to the relevant bibliography. (shrink)

Working in the weakening of constructive Zermelo-Fraenkel set theory in which the subset collection scheme is omitted, we show that the binary refinement principle implies all the instances of the exponentiation axiom in which the basis is a discrete set. In particular binary refinement implies that the class of detachable subsets of a set form a set. Binary refinement was originally extracted from the fullness axiom, an equivalent of subset collection, as a principle that was sufficient to prove that the (...) Dedekind reals form a set. Here we show that the Cauchy reals also form a set. More generally, binary refinement ensures that one remains in the realm of sets when one starts from discrete sets and one applies the operations of exponentiation and binary product a finite number of times. (shrink)

Errett Bishop's work in constructive mathematics is overwhelmingly regarded as a turning point for mathematics based on intuitionistic logic. It brought new life to this form of mathematics and prompted the development of new areas of research that witness today's depth and breadth of constructive mathematics. Surprisingly, notwithstanding the extensive mathematical progress since the publication in 1967 of Errett Bishop's Foundations of Constructive Analysis, there has been no corresponding advances in the philosophy of constructive mathematics Bishop style. The aim of (...) this paper is to foster the philosophical debate about this form of mathematics. I begin by considering key elements of philosophical remarks by Bishop, especially focusing on Bishop's assessment of Brouwer. I then compare these remarks with ``traditional'' philosophical arguments for intuitionistic logic and argue that the latter are in tension with Bishop's views. ``Traditional'' arguments for intuitionistic logic turn out to be also in conflict with significant recent developments in constructive mathematics. This rises pressing questions for the philosopher of mathematics, especially with regard to the possibility of offering alternative philosophical arguments for constructive mathematics. I conclude with the suggestion to look anew at Bishop's own remarks for inspiration. (shrink)

The thesis examines two dimensions of constructivity that manifest themselves within foundational systems for Bishop constructive mathematics: intuitionistic logic and predicativity. The latter, in particular, is the main focus of the thesis. The use of intuitionistic logic affects the notion of proof : constructive proofs may be seen as very general algorithms. Predicativity relates instead to the notion of set: predicative sets are viewed as if they were constructed from within and step by step. The first part of the thesis (...) clarifes the algorithmic nature of intuitionistic proofs, and explores the consequences of developing mathematics according to a constructive notion of proof. It also emphasizes intra-mathematical and pragmatic reasons for doing mathematics constructively. The second part of the thesis discusses predicativity. Predicativity expresses a kind of constructivity that has been appealed to both in the classical and in the constructive tradition. The thesis therefore addresses both classical and constructive variants of predicativity. It examines the origins of predicativity, its motives and some of the fundamental logical advances that were induced by the philosophical re ection on predicativity. It also investigates the relation between a number of distinct proposals for predicativity that appeared in the literature: strict predicativity, predicativity given the natural numbers and constructive predicativity. It advances a predicative concept of set as unifying theme that runs across both the classical and the constructive tradition, and identifies it as a forefather of a computational notion of set that is to be found in constructive type theories. Finally, it turns to the question of which portions of scientifically applicable mathematics can be carried out predicatively, invoking recent technical work in mathematical logic. (shrink)

Prominent constructive theories of sets as Martin-Löf type theory and Aczel and Myhill constructive set theory, feature a distinctive form of constructivity: predicativity. This may be phrased as a constructibility requirement for sets, which ought to be finitely specifiable in terms of some uncontroversial initial “objects” and simple operations over them. Predicativity emerged at the beginning of the 20th century as a fundamental component of an influential analysis of the paradoxes by Poincaré and Russell. According to this analysis the paradoxes (...) are caused by a vicious circularity in definitions; adherence to predicativity was therefore proposed as a systematic method for preventing such problematic circularity. In the following, I sketch the origins of predicativity, review the fundamental contributions by Russell and Weyl and look at modern incarnations of this notion. (shrink)

This edited collection bridges the foundations and practice of constructive mathematics and focuses on the contrast between the theoretical developments, which have been most useful for computer science (ie: constructive set and type theories), and more specific efforts on constructive analysis, algebra and topology. Aimed at academic logician, mathematicians, philosophers and computer scientists with contributions from leading researchers, it is up to date, highly topical and broad in scope.

Constructive set theory a' la Myhill-Aczel has been extended in (Cantini and Crosilla 2008, Cantini and Crosilla 2010) to incorporate a notion of (partial, non--extensional) operation. Constructive operational set theory is a constructive and predicative analogue of Beeson's Inuitionistic set theory with rules and of Feferman's Operational set theory (Beeson 1988, Feferman 2006, Jaeger 2007, Jaeger 2009, Jaeger 1009b). This paper is concerned with an extension of constructive operational set theory (Cantini and Crosilla 2010) by a uniform (...) operation of Transitive Closure, \tau. Given a set a, \tau produces its transitive closure \tau a. We show that the theory ESTE of (Cantini and Crosilla 2010) augmented by \tau is still conservative over Peano Arithmetic. (shrink)

In the present note, we study a generalization of Dedekind cuts in the context of constructive Zermelo–Fraenkel set theory CZF. For this purpose, we single out an equivalent of CZF's axiom of fullness and show that it is sufficient to derive that the Dedekind cuts in this generalized sense form a set. We also discuss the instance of this equivalent of fullness that is tantamount to the assertion that the class of Dedekind cuts in the rational numbers, in the customary (...) constructive sense including locatedness, is a set. This is to be compared with the situation for the partial reals, a generalization in a different direction: if one drops locatedness from the notion of a Dedekind real, then it becomes inherently impredicative. We make this precise, and further present the curiosity that the irrational Dedekind reals form a set already with exponentiation. (shrink)

This is the first of two articles dedicated to the notion of constructive set. In them we attempt a comparison between two different notions of set which occur in the context of the foundations for constructive mathematics. We also put them under perspective by stressing analogies and differences with the notion of set as codified in the classical theory Zermelo–Fraenkel. In the current article we illustrate in some detail the notion of set as expressed in Martin–L¨of type theory and present (...) the essential characters of this theory. In a second article we shall explore a distinct notion of set, as arising in the context of intuitionistic versions of Zermelo–Fraenkel set theory. The theory we shall analyse there is Aczel’s CZF and we shall supplement its exposition by a succinct account of Aczel’s interpretation of CZF in type theory. This will enable us to compare the two notions in a more precise sense. (shrink)

This thesis presents a proof theoretical investigation of some constructive set theories with restricted set induction. The set theories considered are various systems of Constructive Zermelo Fraenkel set theory, CZF ([1]), in which the schema of $\in$ - Induction is either removed or weakened. We shall examine the theories $CZF^\Sigma_\omega$ and $CZF_\omega$, in which the $\in$ - Induction scheme is replaced by a scheme of induction on the natural numbers (only for  formulas in the case of the first theory, (...) for arbitrary formulas in the second theory). Of particular interest is the system CZF− + INAC, which is obtained by removing $\in$ - Induction and by adding an axiom, INAC, for inaccessible sets. The main outcome is that CZF− + INAC is a predicative set theory with inaccessible sets, its proof theoretic ordinal being $\Gamma_0$. The proof theoretic strength of these theories, has been determined by means of proof theoretical reductions. The upper bounds have been obtained by interpreting the set theories in classical theories of (iterated) inductive definitions with ordinals. A significant feature of these interpretations is that they are realizability interpretations, which make an indirect use of Aczel’s interpretation of CZF in Martin Löf type theory, and, in the case of CZF− + INAC, also employ a maximum bisimulation relation to represent equality between sets. The lower bounds are obtained by interpreting appropriate subsystems of intuitionistic second order arithmetic in the set theories. At the conclusion of the thesis we present work unrelated to the previous chapters. It is a preliminary study of the constructible hierarchy in CZF. We begin by formalizing the notion of definability in constructive set theory and then introduce Gödel’s L in CZF. We prove that intuitionistic L is a model of a subsystem of CZF strong enough to include intuitionistic Kripke-Platek set theory, and also that L is a model of the axiom of constructibility, provably in CZF. (shrink)

This is a tutorial for the Minlog Proof Assistant, version 5.0.

In the present contribution we look at the legacy of Hilbert's programme in some recent developments in mathematics. Hilbert's ideas have seen new life in generalised and relativised forms by the hands of proof theorists and have been a source of motivation for the so--called reverse mathematics programme initiated by H. Friedman and S. Simpson. More recently Hilbert's programme has inspired T. Coquand and H. Lombardi to undertake a new approach to constructive algebra in which strong emphasis is laid on (...) the use of finite methods. The main aim is to eliminate the ideal objects and in so doing obtain more elementary and informative proofs. We survey some work in commutative algebra---mainly about and around the Zariski spectrum and the Krull dimension of a commutative ring---which witnesses the feasibility of such a revised Hilbert's programme. (shrink)

We introduce an operational set theory in the style of [5] and [16]. The theory we develop here is a theory of constructive sets and operations. One motivation behind constructive operational set theory is to merge a constructive notion of set ([1], [2]) with some aspects which are typical of explicit mathematics [14]. In particular, one has non-extensional operations (or rules) alongside extensional constructive sets. Operations are in general partial and a limited form of self{application is permitted. The system we (...) introduce here is a fully explicit, nitely axiomatised system of constructive sets and operations, which is shown to be as strong as HA. (shrink)

We present an extension of constructive Zermelo{Fraenkel set theory [2]. Constructive sets are endowed with an applicative structure, which allows us to express several set theoretic constructs uniformly and explicitly. From the proof theoretic point of view, the addition is shown to be conservative. In particular, we single out a theory of constructive sets with operations which has the same strength as Peano arithmetic.

The physics and metaphysics of identity and individuality Content Type Journal Article DOI 10.1007/s11016-010-9463-7 Authors Don Howard, Department of Philosophy and Graduate Program in History and Philosophy of Science, University of Notre Dame, Notre Dame, IN 46556, USA Bas C. van Fraassen, Philosophy Department, San Francisco State University, 1600 Holloway Avenue, San Francisco, CA 94132, USA Otávio Bueno, Department of Philosophy, University of Miami, Coral Gables, FL 33124, USA Elena Castellani, Department of Philosophy, University of Florence, Via Bolognese 52, 50139 (...) Florence, Italy Laura Crosilla, Department of Pure Mathematics, School of Mathematics, University of Leeds, Leeds, LS2 9JT UK Steven French, Department of Philosophy, University of Leeds, Leeds, UK Décio Krause, Department of Philosophy, Federal University of Santa Catarina, 88040-900 Campus Trindade, Florianópolis, SC Brazil Journal Metascience Online ISSN 1467-9981 Print ISSN 0815-0796. (shrink)

The paper investigates inaccessible set axioms and their consistency strength in constructive set theory. In ZFC inaccessible sets are of the form Vκ where κ is a strongly inaccessible cardinal and Vκ denotes the κth level of the von Neumann hierarchy. Inaccessible sets figure prominently in category theory as Grothendieck universes and are related to universes in type theory. The objective of this paper is to show that the consistency strength of inaccessible set axioms heavily depend on the context in (...) which they are embedded. The context here will be the theory CZF− of constructive Zermelo–Fraenkel set theory but without -Induction . Let INAC be the statement that for every set there is an inaccessible set containing it. CZF−+INAC is a mathematically rich theory in which one can easily formalize Bishop style constructive mathematics and a great deal of category theory. CZF−+INAC also has a realizability interpretation in type theory which gives its theorems a direct computational meaning. The main result presented here is that the proof theoretic ordinal of CZF−+INAC is a small ordinal known as the Feferman–Schütte ordinal Γ0. (shrink)

In this comprehensive new study of human free agency, Laura Waddell Ekstrom critically surveys contemporary philosophical literature and provides a novel account of the conditions for free action. Ekstrom argues that incompatibilism concerning free will and causal determinism is true and thus the right account of the nature of free action must be indeterminist in nature. She examines a variety of libertarian approaches, ultimately defending an account relying on indeterministic causation among events and appealing to agent causation only in (...) a reducible sense. Written in an engaging style and incorporating recent scholarship, this study is critical reading for scholars and students interested in the topics of motivation, causation, responsibility, and freedom. In broadly covering the important positions of others along with its exposition of the author’s own view, Free Will provides both a significant scholarly contribution and a valuable text for courses in metaphysics and action theory. (shrink)

The orthodox view of anger takes desires for revenge or retribution to be central to the emotion. In this paper, I develop an empirically informed challenge to the retributive view of anger. In so doing, I argue that a distinct desire is central to anger: a desire for recognition. Desires for recognition aim at the targets of anger acknowledging the wrong they have committed, as opposed to aiming for their suffering. In light of the centrality of this desire for recognition, (...) I argue that the retributive view of anger should be abandoned. I consider and dismiss two types of moves that can be made on the part of a proponent of the orthodox view in response to my argument. I propose that a pluralist view, which allows for both retribution and recognition in anger, is to be preferred. (shrink)

ABSTRACTRecent research suggests that impaired emotion regulation may play an important role in the development of youth psychopathology. However, little research has explored the effects of ER strategies on affect in early adolescents. In Study 1, we examined if early adolescents are able to use distraction and whether the effects of this strategy are similar to talking to one’s mother. In Study 2, we compared the effects of distraction, cognitive reappraisal, acceptance, and rumination. In both studies, participants received instructions on (...) how to regulate their emotions after a standardised negative mood induction. In general, the results indicated that distraction, but also cognitive reappraisal and acceptance, had promising short-term effects on positive and negative affect in early adolescents. These findings suggest that targeting adaptive ER skills, such as distraction, acceptance, and cognitive reappraisal, may be an important strategy to prevent or treat psychological pro... (shrink)

While various definitions of moral distress have been proposed, some agreement exists that it results from illegitimate constraints in clinical practice affecting healthcare professionals’ moral agency. If we are to reduce moral distress, instruments measuring it should provide relevant information about such illegitimate constraints. Unfortunately, existing instruments fail to do so. We discuss here several shortcomings of major instruments in use: their inability to determine whether reports of moral distress involve an accurate assessment of the requisite clinical and logistical facts (...) in play, whether the distress in question is aptly characterized as moral, and whether the moral distress reported is an appropriate target of elimination. Such failures seriously limit the ability of empirical work on moral distress to foster appropriate change. (shrink)

"This book focuses on arguments from suffering against the existence of God and on a variety of issues concerning agency and value that they bring out. The central aim is to show the extent and power of arguments from evil. The book provides a close investigation of an under-defended claim at the heart of the major free-will-based responses to such arguments, namely that free will is sufficiently valuable to serve as the good, or prominently among the goods, that provides a (...) God-justifying reason for permitting evil in our world. Offering a fresh examination of traditional theodicies, it also develops an alternative line the author calls a divine intimacy theodicy. It makes an extended case for rejection of the position of skeptical theism. The book expands upon an argument from evil concerning a traditional doctrine of hell, which reveals a number of interesting issues concerning fault, agency, and blameworthiness. In response to recent work contending that the problem of evil is defanged since God's baseline attitude toward human beings is indifference, the book defends the essential perfect moral goodness of God. Finally it takes up the question of whether or not it makes sense to live a religious life as an agnostic or as an atheist"--. (shrink)

Outlaw emotions are emotions that stand in tension with one’s wider belief system, often allowing epistemic insight one may have otherwise lacked. Outlaw emotions are thought to play crucial epistemic roles under conditions of oppression. Although the crucial epistemic value of these emotions is widely acknowledged, specific accounts of their epistemic role(s) remain largely programmatic. There are two dominant accounts of the epistemic role of emotions: The Motivational View and the Justificatory View. Philosophers of emotion assume that these dominant ways (...) of accounting for the epistemic role(s) of emotions in general are equipped to account for the epistemic role(s) of outlaw emotions. I argue that this is not the case. I consider and dismiss two responses that could be made on behalf of the most promising account, the Justificatory View, in light of my argument, before sketching an alternative account that should be favoured. (shrink)

Anger is often an appropriate reaction to harms and injustices, but is it a politically beneficial one? Martha Nussbaum (Journal of the American Philosophical Association 1 (1), 41–56, 2015, Anger and Forgiveness. Oxford University Press, 2016) has argued that, although anger is useful in initially recruiting agents for action, anger is typically counterproductive to securing the political aims of those harmed. After the initial shockwave of outrage, Nussbaum argues that to be effective at enacting positive social change, groups and individuals (...) alike, must move quickly out of the state of anger. Feminist theorists (Frye, The Politics of Reality. Crossing Press, 1983; Lorde, 1997; Narayan, Hypatia 3 (2): 31–48, 1988) on the other hand have for long highlighted the efficacy of anger, as well as its moral and epistemic value, in fighting against the oppressive status quo. It might be thought therefore that for political action to be effective, a continued state of anger is preferable. Protestors must after all create and sustain a sense of moral obligation and justice. A main way of doing so is to promote successive moral shocks that trigger outrage (Jasper, Emotion Review 6 (3): 208–213, 2014). I present a novel, empirically informed defense of anger’s efficacy in political action. Nussbaum holds a traditional view on the nature of anger, inherited from Aristotle and the Stoics, which holds that anger constitutively involves a desire for retribution. The view that anger is counterproductive falls out of this and is dominant in academic work as well as in our personal and political lives. Based on work in social psychology, I argue that we need to reconsider this. In doing so, I highlight anger’s aim for recognition, rather than retribution, as key. Furthermore, I uncover conditions for anger’s political efficacy, as well as reasons for why the traditional view of anger has been so pervasive. (shrink)

In this article I argue that characterizations of anger as a hostile emotion may be mistaken. My project is empirically informed and is partly descriptive, partly diagnostic. It is descriptive in that I am concerned with what anger is, and how it tends to manifest, rather than with what anger should be or how moral anger is manifested. The orthodox view on anger takes it to be, descriptively, an emotion that aims for retribution. This view fits well with anger being (...) a hostile emotion, as retribution is punitive. I will argue that a different view of anger deserves our attention. On this alternative view, anger aims for recognition of harms done, rather than for the punishment of those who have committed them. I argue that we have reason to favour a strong view that excludes retribution from anger’s main aims. In addition, I offer a diagnosis of the reasons that led the retributive view of anger to become, and remain, orthodoxy. This diagnosis provides indirect reason to give my descriptive proposal serious consideration, for it highlights that the orthodox view has dominated folk and philosophical conceptions of anger for reasons that do not speak in favour of the view’s veracity. The view that anger is a hostile emotion will therefore emerge as in need of serious scrutiny. (shrink)

There are many different interpretations of what the family should be – its desired member composition, its primary purpose, and its cultural significance – and many different examples of what families actually look like across the globe. I examine the most paradigmatic conceptions of the family that are based upon the supposed primary purpose that the family serves for its members and for the state. I then suggest that we ought to reconceptualize how we understand and define the family in (...) an effort to move away from these paradigmatic conceptions. This approach requires that we examine the way(s) in which the family has been defined descriptively – that is, how families have been defined historically – in an effort to determine what a normative theory of the family might look like. The goal of this inquiry is to define a family in terms of what it ought to be – a goal that moves our understanding of the family to a new conceptual landscape. I then present my own account of familial relations that aims to capture a normative understanding of the unique primary purpose that the family serves for its members. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Theory in the “Post” Era: A Vocabulary for the 21st-Century Conceptual Commons ed. by Alexandru Matei, Christian Moraru and Andrei TerianLaura Elena Savu WalkerMatei, Alexandru, Christian Moraru, and Andrei Terian, editors. Theory in the “Post” Era: A Vocabulary for the 21st-Century Conceptual Commons. Bloomsbury, 2021. 376pp.Far from “mourning” the demise of theory, this timely and thoughtfully curated essay collection testifies to its “renewed vitality,” its compelling presence “across (...) fields, domains of life, and geocultural boundaries,” and its power to build an ever-expanding world community of practioners who are forming what has come to be known as a “theory commons” (ix). As the collection’s editors point out, theory’s new lease on life hinges on ensuring both the democratic workings of this “world discourse formation” (1) and on the responsible theorizing of the very notion of community in “a world threatened by all kinds of anti-communal actions and reactions, from runaway globalization to exacerbated tribalism and tunnel-vision politics” (x). Working on the margins, specifically, out of a Romanian “lab” called The Critical Theory Institute (CTI), which opened its doors in early 2000, the contributors seek to revise the “standard history of theory,” one whose “Western origins, authority, and cultural compass ” strike them as “exceedingly reductive” (3). This project of geotheoretical repositioning and recalibration aims to recast theory as a “quintessentially cross-linguistic, cross-cultural, trans- and intercontinental undertaking” (4). As such, it carries on the project, launched in a previous volume, Romanian Literature as World Literature (2018), of fashioning an alternative to the nation-state paradigm that has long shaped literary and intellectual histories. In both of these works, Romanian critics and theorists have tuned into a wide range of voices, and tapped into a shared conceptual and methodological apparatus—itself the product of “an ethno-linguistic medley of traditions” (8). This approach informs what editors see as the “epoch-making” (17) discursive paradigm that has taken shape in globally networked post-Cold War societies (17), a viral model of cultural influence that fosters an ontology of “contact, contagion, of infection, dissemination, and horizontal accumulation” (15).To give us a sense of theory’s complex genealogy and evolution, the editors reference the Bulgarian critic Galin Tihanov, who has attributed [End Page 122] important developments in contemporary theory to the achievements of theorists (Nikolai Trubetskoi, Roman Jakobson, Vladimir Propp, and Georg Lukács) and schools of thought (Russian Formalism and the Prague Linguistic Circle). In “Traveling Theory” (1983) and “Traveling Theory Reconsidered” (2000), Edward Said called attention to the migratory nature of contributions made, for instance, by Georg Lukács, whose theories moved across different European locales in this period. Since then, contemporary theory has branched out to integrate the travels and travails of scholars affiliated with theory labs located in Bulgaria, Hungary, Slovakia, and last, but not least, Romania (10).Theory in the “Post” Era highlights five characteristics that distinguish theory in the “post” era from earlier forms: 1) It has a “reluctantly epoch-alist” thrust (19; original italics), which assumes that the “post” lexicon entails “rupture, discontinuity, and opposition” (19), radical departures, tentative claims, provisional conclusions, and ex-centric perspectives; 2) it adopts a “self-reflexive and experimental” (20; original italics) stance in which theorists invoke inherited approaches or invent new ones; 3) it introduces a “transdisciplinary” (21; original italics) scope that allows authors to interrogate the foundations, aims, and methods of theoretical discourse and practice across several knowledge domains, from which they “borrow whole vocabularies and toolkits” (21); 4) it is “nationally, transnationally, and ecologically affiliative” (20) in ways that allow theorists to “think with others at a distance” (21) about global issues; and 5) it is programmatic, placing critical and theoretical concerns in the service of “the ethical, the political, and the communal” (22). Organized around three main themes (“Aesthetics,” “Temporalities,” and “Critical Modes”), the essays juxtapose discussions of pivotal historical events and cultural phenomena with literary analyses of Romantic era “classics,” modernist experiments, and postmodern works of the post-Communist era, a corpus that includes, but is not limited to, landmark works of national culture that are now part of a fast-expanding planetary... (shrink)

In this paper I lay the foundations for the construction of an affective quality space. I begin by outlining what quality spaces are, and how they have been constructed for sensory qualities across different perceptual modalities. I then turn to tackle four obstacles that an affective quality space might face that would make an affective quality space unfeasible. After showing these obstacles to be surmountable, I propose a number of conditions and methodological constraints that should be satisfied in attempts to (...) construct an affective quality space. Before concluding, I detail the high explanatory pay-off such a project promises. (shrink)

Naked Science is about contested domains and includes different science cultures: physics, molecular biology, primatology, immunology, ecology, medical environmental, mathematical and navigational domains. While the volume rests on the assumption that science is not autonomous, the book is distinguished by its global perspective. Examining knowledge systems within a planetary frame forces thinking about boundaries that silence or affect knowledge-building. Consideration of ethnoscience and technoscience research within a common framework is overdue for raising questions about deeply held beliefs and assumptions we (...) all carry about scientific knowledge. We need a perspective on how to regard different science traditions because public controversies should not be about a glorified science or a despicable science. Contributors are: Ward Goodenough, Eloisa and Brent Berlin, Colin Scott, Jean Lave, Emily Martin, Troy Duster, Hugh Gusterson, Charles Schwartz, Joan Fujimura, Sharon Traweek, Estellie Smith, Ellen Bielawaski, David Jacobon, Charles Ziegler, Pamela Asquith. (shrink)

Anti-individualists claim that concepts are individuated with an eye to purely external facts about a subject's environment about which she may be ignorant or mistaken. This paper offers a novel reason for thinking that anti-individualistic concepts are an ineliminable part of commonsense psychology. Our commitment to anti-individualism, I argue, is ultimately grounded in a rational epistemic agent's commitment to refining her own representational practices in the light of new and surprising information about her environment. Since anti-individualism is an implicit part (...) of responsible epistemic practices, we cannot abandon it without compromising our own epistemic agency. The story I tell about the regulation of one's own representational practices yields a new account of the identity conditions for anti-individualistic concepts. (shrink)

Deep brain stimulation is a well-accepted treatment for movement disorders and is currently explored as a treatment option for various neurological and psychiatric disorders. Several case studies suggest that DBS may, in some patients, influence mental states critical to personality to such an extent that it affects an individual’s personal identity, i.e. the experience of psychological continuity, of persisting through time as the same person. Without questioning the usefulness of DBS as a treatment option for various serious and treatment refractory (...) conditions, the potential of disruptions of psychological continuity raises a number of ethical and legal questions. An important question is that of legal responsibility if DBS induced changes in a patient’s personality result in damage caused by undesirable or even deviant behavior. Disruptions in psychological continuity can in some cases also have an effect on an individual’s mental competence. This capacity is necessary in order to obtain informed consent to start, continue or stop treatment, and it is therefore not only important from an ethical point of view but also has legal consequences. Taking the existing literature and the Dutch legal system as a starting point, the present paper discusses the implications of DBS induced disruptions in psychological continuity for a patient’s responsibility for action and competence of decision and raises a number of questions that need further research. (shrink)

This paper proposes a new relational account of concepts and shows how it is particularly well suited to characterizing normative concepts. The key advantage of our ‘connectedness’ model is that it explains how subjects can share the same normative concepts despite radical divergences in the descriptive or motivational commitments they associate with them. The connectedness model builds social and historical facts into the foundations of concept identity. This aspect of the model, we suggest, reshapes normative epistemology and provides new resources (...) for a vindication of realism in ethics. (shrink)

This paper presents a conception of the self partially in terms of a particular notion of preference. It develops a coherentist account of when one's preferences are "authorized", or sanctioned as one's own, and presents a coherence theory of autonomous action. The view presented solves certain problems with hierarchical accounts of freedom, such as Harry Frankfurt's.

How does violence shape citizens’ preferences for conflict termination? The existing literature has argued that violence either begets sympathy for more violence or drives support for making peace. Focusing on the 2016 Colombian Peace Agreement, this article finds that victimhood dissociation strongly shapes these preferences. With victimhood dissociation, a discrepancy exists between objective and subjective victimization, and the effect of violence on peace attitudes depends on citizens’ subjective interpretations of their personal experiences of violence. Citizens who do not experience violence (...) often see themselves as victims of the conflict and vice versa. Victimhood dissociation is linked to cultural stereotypes of victimhood as portrayed in elite narratives concerning the conflict. In Colombia, political leaders framed victimhood around rurality, business entrepreneurship, kidnapping, extortion, and disappearance. In 2016, this widespread narrative was instrumental for politicians opposing the peace agreement. Citizens who disassociated their personal experiences of violence from their self-understanding as victims were instrumental to the failure of the peace plebiscite. (shrink)

For those who maintain that free will is incompatible with causal determinism, a persistent problem is to give a coherent characterization of action that is neither determined by prior events nor random, arbitrary, lucky or in some way insufficiently under the control of the agent to count as free action. One approach—that of Roderick Chisholm and others—is to say that a third alternative is for an action to be caused by an agent in a way that is not reducible to (...) event causal terms. A different approach than the Chisholmian appeal to primitive substance causation is one that, instead, involves causal relations purely among events. This paper presents a particular event-causal indeterminist account of free action, describing both its attractions and recent objections to it, and then proposes a revised version, with the aim of supporting the plausibility of an event-causal indeterminist approach to free will. (shrink)

: Although "brain death" and the dead donor rule—i.e., patients must not be killed by organ retrieval—have been clinically and legally accepted in the U.S. as prerequisites to organ removal, there is little data about public attitudes and beliefs concerning these matters. To examine the public attitudes and beliefs about the determination of death and its relationship to organ transplantation, 1351 Ohio residents ≥18 years were randomly selected and surveyed using random digit dialing (RDD) sample frames. The RDD telephone survey (...) was conducted using computer-assisted telephone interviews. The survey instrument was developed from information provided by 12 focus groups and a pilot study of the questionnaire. Three scenarios based on hypothetical patients were presented: "brain dead," in a coma, or in a persistent vegetative state (PVS). Respondents provided personal assessments of whether the patient in each scenario was dead and their willingness to donate that patient's organs in these circumstances. More than 98 percent of respondents had heard of the term "brain death," but only one-third (33.7%) believed that someone who was "brain dead" was legally dead. The majority of respondents (86.2%) identified the "brain-dead" patient in the first scenario as dead, 57.2 percent identified the patient in a coma as dead (Scenario 2), and 34.1 percent identified the patient in a PVS as dead (Scenario 3). Nearly one-third (33.5%) were willing to donate the organs of patients they classified as alive for at least one scenario, in seeming violation of the dead donor rule. Most respondents were not willing to violate the dead donor rule, although a substantial minority was. However, the majority of respondents were unaware, misinformed, or held beliefs that were not congruent with current definitions of "brain death." This study highlights the need for more public dialogue and education about "brain death" and organ donation. (shrink)