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)

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)

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)

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.

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)

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)

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)

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)

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)

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)

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)

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.

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)

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 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)

In this paper the exclusive focus on large firms in the field of business ethics is challenged. Some of the idiosyncrasies of small firms are explained, and links are made between these and potential ethical issues. A review of the existing literature on ethics in small firms demonstrates the lack of appropriate research, so that to date we can draw no firm conclusions in relation to ethics in the small firm. Recommendations are made as to the way forward for small (...) firm business ethics research. Questions for investigation are suggested using micro, meso and macro perspectives. Much exploratory work needs to be done to lay the groundwork for this important area of social and commercial research in the future. (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)

IRBs in action -- Everyone's an expert? Warrants for expertise -- Local precedents -- Documents and deliberations: an anticipatory perspective -- Setting IRBs in motion in Cold War America -- An ethics of place -- The many forms of consent -- Deflecting responsibility -- Conclusion: the making of ethical research.

Various philosophers authors have argued—on the basis of powerful examples—that we can have compelling moral or practical reasons to believe, even when the evidence suggests otherwise. This paper explores an alternative story, which still aims to respect widely shared intuitions about the motivating examples. Specifically, the paper proposes that what is at stake in these cases is not belief, but rather acceptance—an attitude classically characterized as taking a proposition as a premise in practical deliberation and action. I suggest that acceptance’s (...) theoretical usefulness in the ethics of belief has been hidden by its psychological obscurity. I thus aim to develop an empirically adequate and mechanistically specific psychological profile of acceptance. I characterize acceptance as centrally involving a cognitive gating function, in which we prevent a target belief state from having its characteristic downstream effects on reasoning, cognition, and action, and restructure those downstream processes. I then argue that there is substantial empirical support for the existence of the cognitive mechanisms needed to instantiate this view, coming from the science of emotion regulation. I argue that acceptance involves deploying the same mechanisms used in emotional response modulation to belief states: acceptance is doxastic response modulation. I then propose that having a better understanding of the psychological profile of acceptance leaves us better positioned to appreciate its potential usefulness for making progress on various puzzles within the ethics of belief. (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)

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)

Trust is a core feature of the physician-patient relationship, and risk is central to trust. Patients take risks when they trust their providers to care for them effectively and appropriately. Not all patients take these risks: some medical relationships are marked by mistrust and suspicion. Empirical evidence suggests that some patients and families of color in the United States may be more likely to mistrust their providers and to be suspicious of specific medical practices and institutions. Given both historical and (...) ongoing oppression and injustice in American medical institutions, such mistrust can be apt. Yet it can also frustrate patient care, leading to family and provider distress. In this paper, I propose one way that providers might work to reestablish trust by taking risks in signaling their own trustworthiness. This interpersonal step is not meant to replace efforts to remedy systemic injustice, but is an immediate measure for addressing mistrust in occurrent cases. (shrink)

The phenomenon of self-anger has been overlooked in the contemporary literature on emotion. This is a failing we should seek to remedy. In this paper I provide the first ef-fort towards a philosophical characterization of self-anger. I argue that self-anger is a genuine instance of anger and that, as such, it is importantly distinct from the negative self-directed emotions of guilt and shame. Doing so will uncover a potentially distinctive role for self-anger in our moral psychology, as one of the (...) strongest affective motiva-tors for self-change. (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.

Trust in medicine is often conceived of on an individual level, with respect to how people rely on particular clinicians or institutions. Yet as discussions of trust during the Covid‐19 pandemic highlighted, trust decisions are not always as individual or interpersonal as this conception suggests. Rather, individual instances of trusting behavior are related to social trust, which is conceived as a willingness to be vulnerable to people in general, based on a sense of shared norms. In this essay, I propose (...) that individual and social trust are connected to each other in what can be termed a “climate of trust.” I explain how masking trends during the pandemic facilitated a “climate of distrust,” and I consider the role that clinicians might play in transforming climates of distrust into climates of trust. (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)

In lieu of an abstract, here is a brief excerpt of the content:The Journal of Speculative Philosophy 17.1 (2003) 73-75 [Access article in PDF] Retrieving Experience: Subjectivity and Recognition in Feminist Politics. Sonia Kruks. Ithaca and London: Cornell University Press, 2001. Pp. xii + 200. $35.00 h.c. 0-8014-3387-8; $16.95 pbk. 0-8014-8417-0. Sonia Kruks' latest book, Retrieving Experience, is a valuable contribution to ongoing debates about the relevance of feminist philosophy in a period of relative political quietism. It also offers timely (...) reminders of historical continuities between phenomenological and postmodern conceptions of subjectivity and political engagement. Drawing on Merleau-Ponty, Beauvoir, Fanon, and the later Sartre, Kruks proposes to "explore women's embodied experiences" and to "ask whether they might not offer some means to help build affective bonds among women who are in many ways radically different from one another" (6). The book approaches this task by means of two secondary issues. First, should feminist thought be oriented by phenomenological or postmodernist theoretical strategies? Second, can women's embodied experience be the conceptual basis for political and epistemological practices that avoid the pitfalls of "identity politics" or an "epistemology of provenance"? The answer to both questions comes through the notion of praxis developed in Sartre's Critique of Dialectical Reason. By thinking of embodiment as praxis or work, a strategy implicit in Beauvoir's idea that "one is not born, but rather becomes, a woman." Kruks seeks to resolve the ethical affront of finding one's individuality reduced to the "generality" of a collective—the ethical affront to which feminists of various generations and theoretical persuasions must respond.Retrieving Experience explores the significance of recognition as a political norm. Identifying Sartre's Anti-Semite and Jew as a pivotal work in the history of identitarian theorizing, she situates recent appeals for race- and gender-based political mobilization in the United States with respect to the dialectical relationship between the Look, shame, and recognition existentialists observed in situations of anti-Semitic and colonial domination during and immediately after the Second World War. Legitimating knowledge gained under oppressive conditions formed an important element of African, Southeast Asian, and ultimately African-American and feminist resistance to cultural imperialism. However, Kruks warns, discourses of "recognition" risk placing the blame for group domination on individuals' face-to-face interactions while concealing the role of state and economic institutions in enabling social disdain to systematically damage a group's quality of life. Moreover, they suggest that the experience of subjugation alone justifies knowledge claims or counts, without further elaboration, as an act of political engagement. Kruks argues that knowers and actors need to identify conceptual and practical mediations enabling individual interactions, experiences, and strategies to prompt the recognition and transformation of [End Page 73] group situations. Sartre's notion of praxis, she suggests, explains how an individual can participate in a collectivity while acting autonomously or acquiescing to subjection.The most important passages in Retrieving Experience examine the affective aspects of the decision to take up a political identity or engage in political action. Going beyond Sartre's account of mediations, Kruks suggests that the sensory and emotional qualities of embodiment are themselves mediators, the products of praxis as well as its vehicles. Since any act of social knowledge involves the emotions, affect plays an important role in the process whereby individuals from different cultural, economic, and bodily situations learn about and shape one another's' environment through the act of knowledge. Individuals, then, may have a moral responsibility to learn about others in a way that gives them "sympathetic bodies." Drawing on Maria Lugones' social epistemology, Kruks argues that "world-traveling" or existing simultaneously in several communities or sets of power relations is a bodily act, but also a fully cultural, ethical act rather than a natural way of being. One is not born, but becomes, an embodied knower. Understanding female embodiment as a kind of work or "world-traveling" praxis enables feminist solidarity—"respectful recognition" to replace a historically implausible "sisterhood" or a distinct epistemological perspective as a regulative ideal for feminist politics.But how far can the... (shrink)

The definitions and conceptualizations of health, and the management of healthcare have been challenged by the current global scenarios (e.g., new diseases, new geographical distribution of diseases, effects of climate change on health, etc.) and by the ongoing scholarship in humanities and science. In this paper we question the mainstream definition of health adopted by the WHO—‘a state of complete physical, mental and social well-being and not merely the absence of disease or infirmity’ (WHO in Preamble to the constitution of (...) the World Health Organization as adopted by the international health conference, The World Health Organization, 1948)—and its role in providing tools to understand what health is in the contemporary context. More specifically, we argue that this context requires to take into account the role of the environment both in medical theory and in the healthcare practice. To do so, we analyse WHO documents dated 1984 and 1986 which define health as ‘coping with the environment’. We develop the idea of ‘coping with the environment’, by focusing on two cardinal concepts: adaptation in public health and adaptivity in philosophy of biology. We argue that the notions of adaptation and adaptivity can be of major benefit for the characterization of health, and have practical implications. We explore some of these implications by discussing two recent case studies of adaptivity in public health, which can be valuable to further develop adaptive strategies in the current pandemic scenario: community-centred care and microbiologically healthier buildings. (shrink)

This paper proposes a reconciliation between libertarian freedomand causal indeterminism, without relying on agent-causation asa primitive notion. I closely examine Peter van Inwagen''s recentcase for free will mysterianism, which is based in part on thewidespread worry that undetermined acts are too chancy to befree. I distinguish three senses of the term chance I thenargue that van Inwagen''s case for free will mystrianism fails,since there is no single construal of the term change on whichall of the premises of his argument for (...) free will–causalindeterminism incompatibilism are true. By use of a particularevent-causal indeterminist account of free action, I support thecase for free will–indeterminism compatibilism. (shrink)

Doxastic involuntarism—the thesis that we lack direct voluntary control (in response to non-evidential reasons) over our belief states—is often touted as philosophical orthodoxy. I here offer a novel defense of doxastic voluntarism, centered around three key moves. First, I point out that belief has two central functional roles, but that discussions of voluntarism have largely ignored questions of control over belief's guidance function. Second, I propose that we can learn much about doxastic control by looking to cognitive scientific research on (...) control over other relevantly similar mental states. I draw on a mechanistic account of control of the guidance function for “emotion-type states,” and argue that these same cognitive control mechanisms can used to block doxastic guidance. This gives us an account of “back-end” doxastic control which can be deployed for reasons which are not the right kinds of reasons to support “front-end” belief formation—i.e., non-evidential reasons. Third, I argue that comprehensive, self-directed exercises of this kind of control can amount to an underappreciated kind of voluntarism. This form of voluntarism is available to any account of belief that takes guidance-instantiation to be at least partly constitutive of believing. Finally, I discuss objections to, and upshots of, the view. (shrink)

This paper investigates the relationship between structural explanation and the New Mechanistic account of explanation. The aim of this paper is twofold: firstly, to argue that some phenomena in the domain of fundamental physics, although mechanically brute, are structurally explained; and secondly, by elaborating on the contrast between SE and mechanistic explanation to better clarify some features of SE. Finally, this paper will argue that, notwithstanding their apparently antithetical character, SE and ME can be reconciled within a unified account of (...) general scientific explanation. (shrink)

This article examines the nineteenth-century debate about scientific method between John Stuart Mill and William Whewell. Contrary to standard interpretations (given, for example, by Achinstein, Buchdahl, Butts, and Laudan), I argue that their debate was not over whether to endorse an inductive methodology but rather over the nature of inductive reasoning in science and the types of conclusions yielded by it. Whewell endorses, while Mill rejects, a type of inductive reasoning in which inference is employed to find a property or (...) cause shared by the observed members of a class, which is generalized to all its members, including the unobserved ones. Because of this, Whewell’s inductivism, unlike Mill’s, is able to yield theoretical hypotheses referring to unob-servables such as molecules and light waves. This is contrary to the claims of some critics of inductivism who argue that inductivism is unable to yield such hypotheses. Moreover, I suggest that Whewell’s view of induction conforms more closely than Mill’s view to the practice of scientists such as Kepler, Newton, and Fresnel, who do attempt to discover laws involving unobservables. (shrink)

In this paper I demonstrate that, contrary to the standard interpretations, William Whewell's view of scientific method is neither that of the hypothetico-deductivist nor that of the retroductivist. Rather, he offers a unique inductive methodology, which he calls "discoverers' induction." After explicating this methodology, I show that Kepler's discovery of his first law of planetary motion conforms to it, as Whewell claims it does. In explaining Whewell's famous phrase about "happy guesses" in science, I suggest that Whewell intended a distinction (...) between "inductions," which can be empirically verified, and "mere hypotheses"--or guesses--which cannot. Finally, I argue that Whewell's discoverers' induction is a view worthy of our attention today, because it avoids a number of problems faced by prominent alternative methodologies. (shrink)

Lack of specificity around stakeholder identity remains a serious obstacle to the further development of stakeholder theory andits adoption in actual practice by business managers. Nowhere is this shortcoming more evident than in stakeholder theory’s treatment of the constituency known as “community.”In this paper we attempt to set forth what we call “the Problem of Community” as indicative of the definitional problems of stakeholdertheory. We then begin the process of gaining greater specificity around our notions of community and the role (...) of community in stakeholder theory and management. In doing so, we identify the emergence of two fairly new forms of community that we believe are particularly relevant to the stakeholder theorist and practicing manager. These two new variants of community—the virtual advocacy group and the community of practice—extend the notion of community in new directions, which have strikingly different implications for stakeholder theory and practice. (shrink)

This study investigates how speed of motion is processed in language. In three eye-tracking experiments, participants were presented with visual scenes and spoken sentences describing fast or slow events (e.g., The lion ambled/dashed to the balloon). Results showed that looking time to relevant objects in the visual scene was affected by the speed of verb of the sentence, speaking rate, and configuration of a supporting visual scene. The results provide novel evidence for the mental simulation of speed in language and (...) show that internal dynamic simulations can be played out via eye movements toward a static visual scene. (shrink)

The view that emotions can provide defeasible justification for evaluative beliefs is widespread in the emotion literature. Despite this, the question of whether epistemic emotions can provide defeasible justification for theoretical beliefs has been almost entirely ignored. There seems to be an implicit consensus that while emotions may have justificatory roles to play in the former case, they have no such roles to play in the latter case. Here, I argue against this consensus by sketching a proposal for securing epistemic (...) emotions justificatory roles. (shrink)