The relevance of analytic metaphysics has come under criticism: Ladyman & Ross, for instance, have suggested do discontinue the field. French & McKenzie have argued in defense of analytic metaphysics that it develops tools that could turn out to be useful for philosophy of physics. In this article, we show first that this heuristic defense of metaphysics can be extended to the scientific field of applied ontology, which uses constructs from analytic metaphysics. Second, we elaborate on a parallel by French (...) & McKenzie between mathematics and metaphysics to show that the whole field of analytic metaphysics, being useful not only for philosophy but also for science, should continue to exist as a largely autonomous field. (shrink)

A central area of current philosophical debate in the foundations of mathematics concerns whether or not there is a single, maximal, universe of set theory. Universists maintain that there is such a universe, while Multiversists argue that there are many universes, no one of which is ontologically privileged. Often model-theoretic constructions that add sets to models are cited as evidence in favour of the latter. This paper informs this debate by developing a way for a Universist to interpret talk that (...) seems to necessitate the addition of sets to V. We argue that, despite the prima facie incoherence of such talk for the Universist, she nonetheless has reason to try and provide interpretation of this discourse. We present a method of interpreting extension-talk (V-logic), and show how it captures satisfaction in `ideal' outer models and relates to impredicative class theories. We provide some reasons to regard the technique as philosophically virtuous, and argue that it opens new doors to philosophical and mathematical discussions for the Universist. (shrink)

Although there are notable exceptions, examination of nursing's participation in colonizing processes and practices has not taken hold in nursing's consciousness or political agenda. Critical analyses, based on the examination of politics and power of the structural determinants of health, continue to be marginalized in the profession. The goals of this discussion article are to underscore the urgent need to further articulate postcolonial theory in nursing and to contribute to nursing knowledge about paths to work toward decolonizing the profession. The (...) authors begin with a description of unifying themes in postcolonial theory, with an emphasis on colonized subjectivities and imperialism; the application of a critical social science perspective, including postcolonial feminist theory; and the project of working toward decolonization. Processes involved in the colonization of nursing are described in detail, including colonization of nursing's intellectual development and the white privilege and racism that sustain colonizing thinking and action in nursing. The authors conclude with strategies to increase the counter‐narrative to continued colonization, with a focus on critical social justice, human rights and the structural determinants of health. (shrink)

A central area of current philosophical debate in the foundations of mathematics concerns whether or not there is a single, maximal, universe of set theory. Universists maintain that there is such a universe, while Multiversists argue that there are many universes, no one of which is ontologically privileged. Often forcing constructions that add subsets to models are cited as evidence in favour of the latter. This paper informs this debate by analysing ways the Universist might interpret this discourse that seems (...) to necessitate the addition of subsets to V. We argue that despite the prima facie incoherence of such talk for the Universist, she nonetheless has reason to try and provide interpretation of this discourse. We analyse extant interpretations of such talk, and analyse various tradeoffs in naturality that might be made. We conclude that the Universist has promising options for interpreting different forcing constructions. (shrink)

Laland and colleagues have sought to challenge the proximate–ultimate distinction claiming that it imposes a unidirectional model of causation, is limited in its capacity to account for complex biological phenomena, and hinders progress in biology. In this article the core of their argument is critically analyzed. It is claimed that contrary to their claims Laland et al. rely upon the proximate–ultimate distinction to make their points and that their alternative conception of reciprocal causation refers to phenomena that were already accounted (...) for by standard theory. (shrink)

Multiverse Views in set theory advocate the claim that there are many universes of sets, no-one of which is canonical, and have risen to prominence over the last few years. One motivating factor is that such positions are often argued to account very elegantly for technical practice. While there is much discussion of the technical aspects of these views, in this paper I analyse a radical form of Multiversism on largely philosophical grounds. Of particular importance will be an account of (...) reference on the Multiversist conception, and the relativism that it implies. I argue that analysis of this central issue in the Philosophy of Mathematics indicates that Radical Multiversism must be algebraic, and cannot be viewed as an attempt to provide an account of reference without a softening of the position. (shrink)

We explain and explore class-theoretic potentialism—the view that one can always individuate more classes over a set-theoretic universe. We examine some motivations for class-theoretic potentialism, before proving some results concerning the relevant potentialist systems (in particular exhibiting failures of the $\mathsf {.2}$ and $\mathsf {.3}$ axioms). We then discuss the significance of these results for the different kinds of class-theoretic potentialists.

In the contemporary philosophy of set theory, discussion of new axioms that purport to resolve independence necessitates an explanation of how they come to be justified. Ordinarily, justification is divided into two broad kinds: intrinsic justification relates to how `intuitively plausible' an axiom is, whereas extrinsic justification supports an axiom by identifying certain `desirable' consequences. This paper puts pressure on how this distinction is formulated and construed. In particular, we argue that the distinction as often presented is neither well-demarcated nor (...) sufficiently precise. Instead, we suggest that the process of justification in set theory should not be thought of as neatly divisible in this way, but should rather be understood as a conceptually indivisible notion linked to the goal of explanation. (shrink)

Let's suppose you think that there are no uncountable sets. Have you adopted a restrictive position? It is certainly tempting to say yes---you've prohibited the existence of certain kinds of large set. This paper argues that this intuition can be challenged. Instead, I argue that there are some considerations based on a formal notion of restrictiveness which suggest that it is restrictive to hold that there are uncountable sets.

Zero provides a challenge for philosophers of mathematics with realist inclinations. On the one hand it is a bona fide cardinal number, yet on the other it is linked to ideas of nothingness and non-being. This paper provides an analysis of the epistemology and metaphysics of zero. We develop several constraints and then argue that a satisfactory account of zero can be obtained by integrating an account of numbers as properties of collections, work on the philosophy of absences, and recent (...) work in numerical cognition and ontogenetic studies. (shrink)

The independence phenomenon in set theory, while pervasive, can be partially addressed through the use of large cardinal axioms. A commonly assumed idea is that large cardinal axioms are species of maximality principles. In this paper I question this claim. I show that there is a kind of maximality (namely absoluteness) on which large cardinal axioms come out as restrictive relative to a formal notion of restrictiveness. Within this framework, I argue that large cardinal axioms can still play many of (...) their usual foundational roles. (shrink)

Often philosophers, logicians, and mathematicians employ a notion of intended structure when talking about a branch of mathematics. In addition, we know that there are foundational mathematical theories that can find representatives for the objects of informal mathematics. In this paper, we examine how faithfully foundational theories can represent intended structures, and show that this question is closely linked to the decidability of the theory of the intended structure. We argue that this sheds light on the trade-off between expressive power (...) and meta-theoretic properties when comparing first-order and second-order logic. (shrink)

I investigate whether tobacco health warnings’ interference with autonomy is ethically justifiable in order to deter people from smoking. I dissociate first the informational role and the persuasive role of tobacco health warnings and show that both roles enable typical addicted smokers to better rule themselves, fostering their autonomy. The fact that some messages address people’s non-deliberative faculties is therefore compensated by a larger positive influence on their autonomy. However, misleading messages are not ethically justified and should be avoided. Tobacco (...) health warnings’ effect on autonomy highlights an important difference between libertarian paternalism and classical paternalism. (shrink)

This article articulates and assesses an imperatival approach to the foundations of mathematics. The core idea for the program is that mathematical domains of interest can fruitfully be viewed as the outputs of construction procedures. We apply this idea to provide a novel formalisation of arithmetic and set theory in terms of such procedures, and discuss the significance of this perspective for the philosophy of mathematics.

Discussion of new axioms for set theory has often focused on conceptions of maximality, and how these might relate to the iterative conception of set. This paper provides critical appraisal of how certain maximality axioms behave on different conceptions of ontology concerning the iterative conception. In particular, we argue that forms of multiversism (the view that any universe of a certain kind can be extended) and actualism (the view that there are universes that cannot be extended in particular ways) face (...) complementary problems. The latter view is unable to use maximality axioms that make use of extensions, where the former has to contend with the existence of extensions violating maximality axioms. An analysis of two kinds of multiversism, a Zermelian form and Skolemite form, leads to the conclusion that the kind of maximality captured by an axiom differs substantially according to background ontology. (shrink)

Summary Popular science journalism flourished in the 1860s in England, with many new journals being projected. The time was ripe, Victorian men of science believed, for an ?organ of science? to provide a means of communication between specialties, and between men of science and the public. New formats were tried as new purposes emerged. Popular science journalism became less recreational and educational. Editorial commentary and reviewing the progress of science became more important. The analysis here emphasizes those aspects of popular (...) science which have been identified by Frank Turner as ?public science? and by Thomas Gieryn as ?boundary-work?. The religious, intellectual, and utilitarian values claimed for science by editors and contributors in their tasks of persuading the public to support science and of distinguishing science from what they often called ?applied science? are discussed. These values are shown to vary among editors and, for the editors examined here, Shirley Hibberd, Henry Slack, James Samuelson, William Crookes, and Henry Lawson, to differ significantly from those of T. H. Huxley, John Tyndall, and Norman Lockyer, on whom much study of the popularization of science in the 1860s has focused. (shrink)

We review the various factors that limit adaptation by natural selection. Recent discussion of constraints on selection and, conversely, of the factors that enhance “evolvability”, have concentrated on the kinds of variation that can be produced. Here, we emphasise that adaptation depends on how the various evolutionary processes shape variation in populations. We survey the limits that population genetics places on adaptive evolution, and discuss the relationship between disparate literatures. BioEssays 22:1075–1084, 2000. © 2000 John Wiley & Sons, Inc.

This essay explores the contemporary experiences of women who live with pain, given the complex responses they encounter within Western medical systems, including pervasive stigma, bias, clinician disbelief, and poor health outcomes. In response to these realities, as highlighted within recent literature and exemplified in a first-person account provided by the paper’s author, this essay explores the Christian practice of the Stations of the Cross as a faithful response to women living with pain. The Stations provide a distinctive Christian practice (...) that invites women living with pain, as well as their clinicians and loved ones, into faithful care marked by prayer, solidarity, and hospitable listening. Practicing the Stations provides one faithful response that Christian clinicians and those who live with pain might engage in the clinic and beyond. (shrink)

A pervasive thought in contemporary philosophy of mathematics is that in order to justify reflection principles, one must hold universism: the view that there is a single universe of pure sets. I challenge this kind of reasoning by contrasting universism with a Zermelian form of multiversism. I argue that if extant justifications of reflection principles using notions of richness are acceptable for the universist, then the Zermelian can use similar justifications. However, I note that for some forms of richness argument, (...) the status of reflection principles as axioms is left open for the Zermelian. (shrink)

I provide an examination and comparison of modal theories for underwriting different non-modal theories of sets. I argue that there is a respect in which the `standard' modal theory for set construction---on which sets are formed via the successive individuation of powersets---raises a significant challenge for some recently proposed `countabilist' modal theories (i.e. ones that imply that every set is countable). I examine how the countabilist can respond to this issue via the use of regularity axioms and raise some questions (...) about this approach. I argue that by comparing them with the `standard' uncountabilist theory, a new approach that brings in arbitrariness rather than the strict controls of forcing is desirable. (shrink)

Multiverse Views in set theory advocate the claim that there are many universes of sets, no-one of which is canonical, and have risen to prominence over the last few years. One motivating factor is that such positions are often argued to account very elegantly for technical practice. While there is much discussion of the technical aspects of these views, in this paper I analyse a radical form of Multiversism on largely philosophical grounds. Of particular importance will be an account of (...) reference on the Multiversist conception, and the relativism that it implies. I argue that analysis of this central issue in the Philosophy of Mathematics indicates that Radical Multiversism must be algebraic, and cannot be viewed as an attempt to provide an account of reference without a softening of the position. (shrink)

This book considers ethical thinking in ancient Israel in the period from the 8th to the 2nd century BC.

"In Getting Even, Charles Barton contends that revenge can be a form of justice that is constructive and healing for our society. Our current judiciary system, he explains, denies both victims and the accused an active role in the legal proceedings and resolution of their cases, reducing them to bystanders in what is essentially their own conflict. Barton does not argue for an individual's right to take the law into his own hands, but does show that the courts should recognize (...) the revenge motive as legitimate and rational within the rules of justice."--pub. desc. (shrink)

The feminist sex wars have been characterized by debates between radical feminists and sex radical feminists about women's experiences of empowerment versus oppression in the sex industry. Based on a qualitative study of the experiences of exotic dancers, this article introduces a new theoretical paradigm to the feminist sex wars that values the contributions of both sex radicals and radical feminists. It articulates a twofold temporal dimension of sex workers' experiences: how women's feelings of pleasure and empowerment gradually decline over (...) time and how good and bad experiences rapidly transform into their opposites over the course of a single evening, making the strip bar a volatile and unsettling space for performers. (shrink)

We introduce and consider the inner-model reflection principle, which asserts that whenever a statement \varphi(a) in the first-order language of set theory is true in the set-theoretic universe V, then it is also true in a proper inner model W \subset A. A stronger principle, the ground-model reflection principle, asserts that any such \varphi(a) true in V is also true in some non-trivial ground model of the universe with respect to set forcing. These principles each express a form of width (...) reflection in contrast to the usual height reflection of the Lévy–Montague reflection theorem. They are each equiconsistent with ZFC and indeed \Pi_2-conservative over ZFC, being forceable by class forcing while preserving any desired rank-initial segment of the universe. Furthermore, the inner-model reflection principle is a consequence of the existence of sufficient large cardinals, and lightface formulations of the reflection principles follow from the maximality principle MP and from the inner-model hypothesis IMH. We also consider some questions concerning the expressibility of the principles. (shrink)

A long tradition in theology holds that the divine is in some sense incomprehensible, ineffable, or indescribable. This is mirrored in the set-theoretic literature by those who hold that the universe of sets is incomprehensible, ineffable, or indescribable. In this latter field, set theorists often study reflection principles; axioms that posit indescribability properties of the universe. This paper seeks to examine a theological reflection principle, which can be used to deliver a very rich ontology. I argue that in analogy with (...) set-theoretic reflection principles, we should understand theological reflection via schematic commitment. (shrink)

How does our language relate to reality? This is a question that is especially pertinent in set theory, where we seem to talk of large infinite entities. Based on an analogy with the use of models in the natural sciences, we argue for a threefold correspondence between our language, models, and reality. We argue that so conceived, the existence of models can be underwritten by a weak notion of existence, where weak existence is to be understood as existing in virtue (...) of language. (shrink)

Lee suggests a conceptualization of health data sharing not merely as an act of altruism, but as a gift. The difference is important, as the inscription of the latter in a social context inv...

Capitalism has been an unprecedented engine of wealth creation for many centuries, leading to sustained productivity gains and long-term growth and lifting an increasing proportion of humanity out of poverty. But its effects, and hence its future, have come increasingly under question: Is capitalism still improving wealth and well-being for the many? Or, is long-term value creation being sacrificed to the pressures of short-termism, with potentially far-reaching consequences for society, the natural environment, prosperity, and global order? Building on a collaboration (...) between the Schulich School of Business and global management consultancy McKinsey & Company, this volume reflects both the urgency of the needed action and the tremendous opportunity to forge consensus and catalyze a lasting movement toward a more responsible, long-term, and sustainable model of capitalism. This unique volume brings together many of the leading proponents for a reformed, re-imagined capitalism from the Âfields of academia, business, and NGOs. Its contributors have been at the forefront of thought and action in regard to the future of capitalism. Both individually and collectively, they provide powerful suggestions of what such a long-term oriented model of capitalism should look like and how it can be achieved. Drawing on their research and professional experience, they write in an accessible style aiming to reach the broad audiences required to turn a re-imagined capitalism into a reality. (shrink)

Set-theoretic and category-theoretic foundations represent different perspectives on mathematical subject matter. In particular, category-theoretic language focusses on properties that can be determined up to isomorphism within a category, whereas set theory admits of properties determined by the internal structure of the membership relation. Various objections have been raised against this aspect of set theory in the category-theoretic literature. In this article, we advocate a methodological pluralism concerning the two foundational languages, and provide a theory that fruitfully interrelates a `structural' perspective (...) to a set-theoretic one. We present a set-theoretic system that is able to talk about structures more naturally, and argue that it provides an important perspective on plausibly structural properties such as cardinality. We conclude the language of set theory can provide useful information about the notion of mathematical structure. (shrink)

In 2013, Bennett proposed a mereological theory in which the parthood relation is defined on the basis of two primitive relations: a is a part of b iff a fills a slot owned by b. However, this theory has issues counting how many parts an entity has. We explore the various counting problems and propose a new theory to solve them. Keeping the core idea of Bennett’s slots, this theory introduces mereological relations between slots. This theory enables us to solve (...) all known counting problems and to go beyond the limits of Bennett’s theory by theorising expected features of mereological theories: supplementation principles and mereological sum and fusion. The theory is illustrated on ontological issues on the nature of structural universals and informational entities. (shrink)

John Barton is convinced that in many areas of ethical enquiry the Old Testament has much to teach us, and he argues his case in this new book, which developed out of lectures given both in Canada and in Oxford. During it he looks again at the Ten Commandments; the narrative about David and his children; the ethical issues of ecology, sexual morality and property; human morality as the express command of God; and the motivation for moral conduct. By the (...) end of the book it is clear that although the Old Testament comes to us from a remote, alien and apparently unsophisticated context, the powerful minds who worked on its books still have things to say which remain evocative and suggestive for our own moral enquiries. (shrink)

The problem of 'no fault' compensation for patients who suffer adverse effects as a result of their participation in clinical trials is discussed in the light of the guidelines issued by the Association of the British Pharmaceutical Industry (ABPI) and our recent experiences in reviewing protocols submitted to the local ethics of surgical research sub-committee. We have found a variety of qualifications being applied by pharmaceutical firms which are not in the spirit of the guidelines, let alone the interests of (...) the patient, and we suggest a means whereby the patients can be assured of fair treatment in the event of 'no fault' injury. (shrink)

La pertinence de la métaphysique analytique a fait l'objet de critiques : Ladyman et Ross, par exemple, ont suggéré d'abandonner ce domaine. French et McKenzie ont défendu la métaphysique analytique en affirmant qu'elle développe des outils qui pourraient s'avérer utiles pour la philosophie de la physique. Dans cet article, nous montrons dans un premier temps que cette défense heuristique de la métaphysique peut être étendue au domaine scientifique de l'ontologie appliquée, qui utilise des théories et outils issus de la métaphysique (...) analytique. Dans un deuxième temps, nous développons le parallèle que font French et McKenzie entre les mathématiques et la métaphysique pour montrer que l'ensemble du domaine de la métaphysique analytique, étant donné son utilité non seulement pour la philosophie mais également pour la science, devrait continuer à exister en tant que domaine largement autonome. (shrink)

Much of the discussion of set-theoretic independence, and whether or not we could legitimately expand our foundational theory, concerns how we could possibly come to know the truth value of independent sentences. This paper pursues a slightly different tack, examining how we are ignorant of issues surrounding their truth. We argue that a study of how we are ignorant reveals a need for an understanding of set-theoretic explanation and motivates a pluralism concerning the adoption of foundational theory.