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.

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)

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)

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)

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)

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)

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)

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)

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.

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)

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)

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

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

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)

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)

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 potential to collect brain data more directly, with higher resolution, and in greater amounts has heightened worries about mental and brain privacy. In order to manage the risks to individuals posed by these privacy challenges, some have suggested codifying new privacy rights, including a right to “mental privacy.” In this paper, we consider these arguments and conclude that while neurotechnologies do raise significant privacy concerns, such concerns are—at least for now—no different from those raised by other well-understood data collection (...) technologies, such as gene sequencing tools and online surveillance. To better understand the privacy stakes of brain data, we suggest the use of a conceptual framework from information ethics, Helen Nissenbaum’s “contextual integrity” theory. To illustrate the importance of context, we examine neurotechnologies and the information flows they produce in three familiar contexts—healthcare and medical research, criminal justice, and consumer marketing. We argue that by emphasizing what is distinct about brain privacy issues, rather than what they share with other data privacy concerns, risks weakening broader efforts to enact more robust privacy law and policy. (shrink)

BackgroundEthics consult services are well established, but often remain underutilized. Our aim was to identify the barriers and perceptions of the Ethics consult service for physicians, advance practice providers (APPs), and nurses at our urban academic medical center which might contribute to underutilization.MethodsThis was a cross-sectional single-health system, anonymous written online survey, which was developed by the UCSD Health Clinical Ethics Committee and distributed by Survey Monkey. We compare responses between physicians, APPs, and nurses using standard parametric and non-parametric statistical (...) methods. Satisfaction with ethics consult and likelihood of calling Ethics service again were assessed using a 0–100 scale using a 5-likert response structured (0 being “not helpful at all” to 100 being “extremely helpful”) and results presented using box plots and interquartile ranges (IQR).ResultsFrom January to July 2019, approximately 3800 surveys were sent to all physicians, APPs and nurses with a return rate of 5.5—10%. Although the majority of respondents had encountered an ethical dilemma (85–92.1%) only approximately half had ever requested an Ethics consult. The primary reason for physicians never having requested a consult was that they never felt the need for help (41%). For APPs the primary reasons were not knowing an Ethics consult service was available (33.3%) or not knowing how to contact Ethics (27.8%). For nurses, it was not knowing how to contact the Ethics consult service (30.8%) or not feeling the need for help (26.2%). The median satisfaction score (IQR) for Ethics consult services rated on a 0–100 scale, from physicians was 76 (29), for AAPs 89 (49), and nurses 70 (40) (p = 0.62). The median (IQR) of likelihood of consulting Ethics in the future also on a 0–100 scale was 71 (47) for physicians, 69 (45) for APPs, and 61 (45) for nurses (p = 0.79). APP’s and nurses were significantly more likely than physicians to believe that the team did not act on the Ethics consult’s recommendations.ConclusionsBased on the results presented, we were able to identify actionable steps to better engage healthcare providers—and in particular APPs and nurses—and scale up institutional educational efforts to increase awareness of the role of the Ethics consult service at our institution. Actionable steps included implementing a system of ongoing feedback that is critical for the sustainability of the Ethics service role. We hope this project can serve as a blueprint for other hospital-based Ethics consult services to improve the quality of their programs. (shrink)

ABSTRACTThis article studies multi-stakeholder initiatives as spaces for both deliberation and contestation between constituencies with competing discourses and disputed values, beliefs, and preferences. We review different theoretical perspectives on MSIs, which see them mainly as spaces to find solutions to market problems, as spaces of conflict and bargaining, or as spaces of consensus. In contrast, we build on a contestatory deliberative perspective, which gives equal value to both contestation and consensus. We identify four types of internal contestation which can be (...) present in MSIs—procedural, inclusiveness, epistemic, and ultimate-goal—and argue that embracing contestation and engaging in ongoing revision of provisional agreements, criteria, and goals can enhance the democratic quality of MSIs. Finally, we explore the implications of this perspective for theorizing about the democratic quality in MSIs and about the role of corporations in transnational governance. (shrink)

The purpose of this paper is to reassess some mathematical examples in Plato’s dialogues which at a first glance may appear to be nothing more than trivial puzzles. In order to provide the necessary background for this analysis, I shall begin by sketching a brief overview of Plato’s mathematical passages and discuss the criteria for aptly selecting them. Second, I shall explain what I mean by ‘mathematical examples,’ and reflect on their function in light of the discussion on παραδείγματα outlined (...) in theSophistand theStatesman. Against this framework, I shall move to a close examination of specific examples drawn from theTheaetetus(154c–55d), theRepublic(523c–24d), and thePhaedo(96d–97b, 100e–101d). By placing these examples in the broader context of pre-Euclidean mathematics, I shall show that their mathematical content is often less elementary than might appear at first sight. Moreover, by placing emphasis on the specific philosophical concerns that motivated their introduction, I shall argue that the examples are not merely nonsensical jokes. Even if their illustrative purpose is not always immediately clear, and even if they can sound playful and bizarre, they in fact fulfil an important function: by virtue of their power to generate wonder or confusion, they serve as exercises and act as a trigger with respect to the difficult philosophical issues they are intended to clarify. (shrink)

Die Debatte genießt in liberalen Demokratien einen hohen Stellenwert. Das gilt nicht nur für den öffentlichen Raum, sondern auch für den Schulunterricht, der Heranwachsende auf die Teilnahme an dieser Praxis vorbereiten soll. Wie kontrovers soll und darf es im Klassenzimmer selbst aber zugehen? Wie steht es etwa mit antidemokratischen oder illiberalen Positionen? Sollen auch sie kontrovers diskutiert werden, oder sollen die Lernenden hier vielmehr von vornherein zur Übernahme der als legitim vorausgesetzten Position gebracht werden? Wenn ja, auf welche Weise? Diese (...) Fragen werden in der Bildungsphilosophie intensiv diskutiert. Der Beitrag befasst sich mit der sogenannten Kontroverse um Kontroversitätsgebote. Konkret widmet er sich Johannes Drerups Versuch, den Raum der Kontroverse im Klassenzimmer zu eröffnen und zugleich zu begrenzen. Zunächst wird betrachtet, wie er die Grenzen des Diskurses zieht und inwieweit er diese Grenzziehung überzeugend begründet. Dann werden die unterrichtspraktischen Konsequenzen, die er selbst daraus ableitet, und das Konzept eines „direktiven Unterrichtens“ im Kontext ethischer Debatten beleuchtet. Schließlich wird eine alternative Herangehensweise angedeutet: Statt zu versuchen, den Lernenden anhand kontroverser Themen top down einen fixen Wertekanon zu vermitteln, können Lehrpersonen solche Kontroversen auch zum Anlass nehmen, die Wertvorstellungen der Schüler:innen gemeinsam mit ihnen aufzudecken, zu explizieren und kritisch zu durchdenken. Eine solche Praxis dialogischer Wertebildung ist zwar für alle Beteiligten herausfordernder, scheint aber besser zur Idee der Demokratiebildung zu passen. (shrink)

The challenge that confronts corporate decision-makers in connection with global labor conditions is often in identifying the standardsby which they should govern themselves. In an effort to provide greater direction in the face of possible global cultural conflicts, ethicistsThomas Donaldson and Thomas Dunfee draw on social contract theory to develop a method for identifying basic human rights: Integrated Social Contract Theory (ISCT). In this paper, we apply ISCT to the challenge of global labor standards, attempting to identify labor rights that (...) could serve as guides for corporations producing or outsourcing outside of their home country. In addition to identifying areas of universal agreement, we also examine whether ISCT is, in fact, a sufficient basis for determining worker rights; we seek to define the parameters of the “sweatshop” problem; we include the application and results of our ISCT analysis as applied to labor standards: the global labor rights hypernorms; and conclude that ISCT is sufficient only for rights that are universal. We also discuss whether market-driven decisions can identify the boundaries of labor rights, or at least assure that market outcomes are compatible with maintaining labor rights, in order to respond to the shortcomings of ISCT. We conclude with some comments on directions of analysis for labor rights determination. (shrink)

Recent work at the junction of epistemology and political theory focuses on the notion of epistemic injustice, the injustice of being wronged as a knower. Miranda Fricker (2007) identifies two kinds of epistemic injustice. I focus here on hermeneutical injustice in an attempt to identify a difficulty for Fricker's account. In particular, I consider the significance of background social conditions and suggest that an epistemic injustice should not rely on other forms of disadvantage to achieve its status as an injustice. (...) Thus reformulated, the notion of epistemic injustice can help us to achieve an even deeper understanding of the relationship between knowledge and privilege. (shrink)

Taking Arthur Fine’s The Shaky Game as my inspiration, and the recent 25th anniversary of the publication of that work as the occasion to exercise that inspiration, I sketch an alternative to the “Naturalism” prevalent among philosophers of physics. Naturalism is a methodology eventuating in a metaphysics. The methodology is to seek the deep framework assumptions that make the best sense of science; the metaphysics is furnished by those assumptions and supported by their own support of science. The alternative presented (...) here, which I call “Locavoracity,” shares Naturalism’s commitment to making sense of science, but alters Naturalism’s methodology. The Locavore’s sense-making projects are piecemeal, rather than sweeping. The Locavore’s hypothesis is that the collection of local sense-making projects fails to issue a single overarching unifying framework deserving of the title “the metaphysics that makes the best sense of science.” I muster some examples supporting the Locavore hypothesis from the interpretation of quantum field theories. (shrink)

This paper begins with the lived accounts of emergency and critical care medical interventions in which an unhoused person is brought to the emergency department in cardiac arrest. The case is a dramatised representation of the extent to which biopolitical forces via reduction to bare life through biopolitical and necropolitical operations are prominent influences in nursing and medical care. This paper draws on the scholarship of Michel Foucault, Giorgio Agamben, and Achille Mbembe to offer a theoretical analysis of the power (...) dynamics that influence the health care and death care of patients who are caught in the auspices of a neoliberal capitalist healthcare apparatus. This paper offers analysis of the overt displays of biopower over those individuals cast aside as generally unworthy of access to healthcare in a postcolonial capitalist system, in addition to the ways in which humans are reduced to ‘bare life’ in their dying days. We analyse this case study through Agamben's description of thanatopolitics, a ‘regime of death’, and the technologies that accompany the dying process, particularly in that of the homo sacer. Additionally, this paper illustrates the ways in which necropolitics and biopower are integral to understanding how the most advanced and expensive medical interventions make visible the political values of the healthcare system and how nurses and healthcare functions in these deathworlds. The purpose of this paper is to develop a greater understanding of biopolitical and necropolitical operations in acute and critical care environments, and to offer guidance to nurses in these spaces as they work to uphold ethical duties in a system that increasingly dehumanises. (shrink)

Background: Moral decision-making consists of a complex process requiring individuals to evaluate potential consequences of personal and social decisions, including applied organizational contexts.Methods: This research aims to investigate the behavioral (offer responses and reaction times, RTs) and electrophysiological (EEG) correlates underlying moral decision-making during three different choice conditions (professional fit, company fit, and social fit) and offers (fair, unfair, and neutral).Results: An increase of delta and theta frontal activity (related to emotional behavior and processes) and beta frontal and central activity (...) (linked to cognitive and attentional processes) was found. A left beta, delta, and theta frontal activity was observed for fair offers in professional fit conditions, while increased right frontal delta and theta activity was found in response to unfair offers in company fit conditions. Also, an increase of left delta and theta parietal activity for unfair offers in social fit condition was detected. Finally, higher accepted responses were found for fair and neutral offers in professional and social fit conditions, with increased RTs for unfair offers suggesting decisions’ cognitive load and complexity.Conclusions: By revealing a greater involvement of left and right frontal areas in decision-making processes based on choices and offers, personal interest evaluations and emotional values, and of parietal areas in more prosocial and altruistic moral behavior, current findings provide information about the neural and behavioral correlates underlying company moral behavior. (shrink)

While no one seems to believe that business schools or their faculties bear entire responsibility for the ethical decision-making processes of their students, these same institutions do have some burden of accountability for educating students surrounding these skills. To that end, the standards promulgated by the Association to Advance Collegiate School of Business, their global accrediting body, require that students learn ethics as part of a business degree. However, since the AACSB does not require the inclusion of a specific course (...) to achieve this objective, it may be satisfied by establishing a stand-alone course in ethical decision-making, by integrating ethical decision-making into the existing curricula, by some combination of the two strategies, or through some alternative mechanism. Notwithstanding the choice of delivery process, though, the institution must ensure that it is able to demonstrate the students' achievement of learning with regard to ethics, a bar that was raised, or arguably simply modified, in 2003. With learning objectives designed precisely to measure the student delta based on content, process and engagement in a particular class, those programs that have opted for stand-alone ethics courses may be more prepared to respond to assessment-related inquiries regarding their programs or satisfaction of the standards. The relevance of the AACSB standards modification to the current efforts at ethics integration in business programs is instead a re-examination of how to create a program of integration that is designed to ensure the most effective learning results possible, while responding to the challenges presented by the integrated approach. The purpose of this article is to explore some of those challenges that may be somewhat universal to business school programs implementing the integrated approach, and to share one large university's response to those challenges, along with lessons learned. (shrink)

In Constructing the World, Chalmers seeks to articulate and defend an important epistemic accessibility thesis, the Scrutability of Truth, which is crucial to Chalmers’ rationalist approach to meaning and modality. Chapters 3 and 4 of the book are devoted to persuading us that the move from weaker to stronger forms of Scrutability is intuitively plausible. In these comments, I want to question this move. The plausibility of strong forms of Scrutability hinges on controversial views about epistemic norms for answering ‘what (...) is x?’ questions that semantic externalists have good reason to reject. (shrink)

Background Intensivists must provide enough analgesia and sedation to ensure dying patients receive good palliative care. However, if it is perceived that too much is given, they risk prosecution for committing euthanasia. The goal of this study is to develop consensus guidelines on analgesia and sedation in dying intensive care unit patients that help distinguish palliative care from euthanasia. Methods Using the Delphi technique, panelists rated levels of agreement with statements describing how analgesics and sedatives should be given to dying (...) ICU patients and how palliative care should be distinguished from euthanasia. Participants were drawn from 3 panels: 1) Canadian Academic Adult Intensive Care Fellowship program directors and Intensive Care division chiefs (N = 9); 2) Deputy chief provincial coroners (N = 5); 3) Validation panel of Intensivists attending the Canadian Critical Care Trials Group meeting (N = 12). Results After three Delphi rounds, consensus was achieved on 16 statements encompassing the role of palliative care in the intensive care unit, the management of pain and suffering, current areas of controversy, and ways of improving palliative care in the ICU. Conclusion Consensus guidelines were developed to guide the administration of analgesics and sedatives to dying ICU patients and to help distinguish palliative care from euthanasia. (shrink)

For more than 100,000 years, H. sapiens lived as foragers, in small family groups with low reproductive variance. A minority of men were able to father children by two or three women; and a majority of men and women were able to breed. But after the origin of farming around 10,000 years ago, reproductive variance increased. In civilizations which began in Mesopotamia, Egypt, India, and China, and then moved on to Greece and Rome, kings collected thousands of women, whose children (...) were supported and guarded by thousands of eunuchs. Just a few hundred years ago, that trend reversed. Obligate sterility ended, and reproductive variance declined. For H. sapiens, as for other organisms, eusociality seems to be an effect of ecological constraints. Civilizations rose up in lake and river valleys, hemmed in by mountains and deserts. Egalitarianism became an option after empty habitats opened up. (shrink)

The graphical presentation of experimental data in the physical sciences has several advantages which today are too familiar to require very detailed enumeration. Its greatest strength lies in the clarity and succinctness with which it displays the information contained in tabulated results: for the experimenter a graph provides a rough and immediate check on the accuracy and suitability of the methods he is using, and for the reader of a scientific report it may convey in a few seconds information that (...) could only be gleaned from a table of measurements by hours of close study. There are occasions whereonlythe analysis of experimental graphs will provide the information we require, but usually the actual analysis of results is carried out nowadays by computational methods. The use of graphs is therefore not so much a necessary part of scientific procedure as an extremely useful one, and one that is often taken very much for granted. (shrink)

Although there is evidence parent–child attachment security is associated with trait-like emotion indices, trait perspectives do not fully capture children's responses to context, an important emotion regulation component. This paper evaluates whether attachment is associated with two dynamic emotion indicators: emotion reactivity and emotion recovery. We review conceptual and empirical connections, describe the dynamic emotion perspective, discuss hypotheses, and review evidence. Our review (15 studies) shows that secure attachment was more consistently related to recovery than reactivity, avoidant attachment was related (...) to low emotion reactivity and recovery, ambivalent attachment was associated with greater emotion reactivity, and disorganized attachment was related to high reactivity and recovery difficulties. We close by comparing trait-like and dynamic emotion conclusions then propose future research directions. (shrink)

This paper examines faculty perceptions regarding ethical behavior among colleagues and students, and faculty practices with regard to teaching ethics in three institutions over a 4-year period. Faculty reported an uneven pattern of unethical behavior among colleagues over the period. A majority of business courses included ethics, however as both a specific topic on the syllabus and within course discussions. The percentage of courses with ethics discussions increased in 2006, however, the time allocated to these discussions decreased. These results suggest (...) that faculty are approaching ethics instruction less formally, raising concerns over the success of curriculum integration. (shrink)

Late in life, Foucault identified with “the critical tradition of Kant,” encouraging us to read both thinkers in new ways. Kant’s “Copernican” strategy of grounding knowledge in the limits of human reason proved to stabilize political, social-scientific, and medical expertise as well as philosophical discourse. These inevitable limits were made concrete in historical structures such as the asylum, the prison, and the sexual or racial human body. Such institutions built upon and shaped the aesthetic judgment of those considered “normal.” Following (...) Kant through all of Foucault’s major works, this book shows how bodies functioned as “problematic objects” in which the limits of post-Enlightenment European power and discourse were imaginatively figured and unified. It suggests ways that readers in a neoliberal political order can detach from the imaginative schemes vested in their bodies and experiment normatively with their own security needs. (shrink)

The following address considers the relevance of business ethics education to our students. Is our concept of ethics one of practiceand application? And, if so, are we accountable to our students, our institutions and ourselves, for the practical impact that we haveor, conversely, that we do not have? Aren’t we responsible in part if one of our students ventures forth and does not act in an ethicalmanner? Though a positive response to this query may not be popular, what is the (...) alternative? If we are not responsible for the impact(or lack thereof) that we have on our students, then what is our purpose? The discussion further explores the nature of this impact andthe process by which we can amplify the results. (shrink)