Scientific and medical contraceptive standards are commonly believed to have begun with the advent of the oral contraceptive pill in the late 1950s. This article explains that in Britain contraceptive standards were imagined and implemented at least two decades earlier by the Family Planning Association, which sought to legitimize contraceptive methods, practice and provision through the foundation of the field of contraceptive science. This article charts the origins of the field, investigating the three methods the association devised and employed to (...) achieve its goal of effecting contraceptive regulation. This was through the development of standardized methods to assess spermicidal efficacy; the establishment of quality, strength and manufacturing standards for rubber prophylactics; and the institution of animal trials to ensure the safety of specific contraceptives. The association publicized the results of its scientific testing on proprietary contraceptives in its annual Approved List of contraceptives. This provided doctors and chemists with a definitive register of safe and effective methods to prescribe. (shrink)

In a review of the cell biology and heredity studies of 1900–1910, Bernardino Fantini argues that the choice of an experimental subject or organism was crucial in opening up new discoveries and new theories for specific fields of research.69 Thinking on a broader level, Bütschli expressed a similar view when he stated that an understanding of the true nature and structure of the “elementary organism” was crucial to the whole of biology. In this article we have traced the impact of (...) Bütschli's unicellular model of protozoa up to the general acceptance of the eukaryotic cell as nature's primary organism. We have also seen that Bütschli's vision in the Studien gave birth to Protistenforschung and Zellforschung, sister sciences whose task it was to further and integrate knowledge of the living cell. Of necessity, we have confined ourselves to German scientific developments. However, our attempt to recapture and define the unity and meaning of a biology of the “cell-microcosm” has given us pause to reconsider the development and nature of Wilhelmian biological science. (shrink)

We present a framework for verifying systems composed of heterogeneous reasoning agents, in which each agent may have differing knowledge and inferential capabilities, and where the resources each agent is prepared to commit to a goal (time, memory and communication bandwidth) are bounded. The framework allows us to investigate, for example, whether a goal can be achieved if a particular agent, perhaps possessing key information or inferential capabilities, is unable (or unwilling) to contribute more than a given portion of its (...) available computational resources or bandwidth to the problem. We present a novel temporal epistemic logic, BMCL-CTL , which allows us to describe a set of reasoning agents with bounds on time, memory and the number of messages they can exchange. The bounds on memory and communication are expressed as axioms in the logic. As an example, we show how to axiomatise a system of agents which reason using resolution and prove that the resulting logic is sound and complete. We then show how to encode a simple system of reasoning agents specified in BMCL-CTL in the description language of the Mocha model checker (Alur et al., Proceedings of the tenth international conference on computer-aided verification (CAV) , 1998), and verify that the agents can achieve a goal only if they are prepared to commit certain time, memory and communication resources. (shrink)

In Canada, much media attention has recently been focused on the formation of arbitration tribunals that would use Islamic law or Sharia to settle civil matters in Ontario. In fact, the idea of private parties voluntarily agreeing to arbitration using religious principles or a foreign legal system is not new. Ontario's Arbitration Act has allowed parties to resolve disputes outside the traditional court system for some time. This issue has been complicated by the fact that Canada has a commitment to (...) upholding both a policy of multiculturalism and an international obligation towards women's rights. Although these values need not necessarily conflict, in this context, they have carried a tension that must be reconciled. This paper will examine the legal implications of faith-based arbitration tribunals in family law, with a particular emphasis on the impact that Sharia could have on Muslim women in Ontario. (shrink)

This book theorises technology and its host of social, material, and epistemic transformation techniques, tools, and methods as indeterminate through sixteen methodologically diverse contributions from media philosophy, art and architectural theory, mathematics, computer science, and anthropology scholars.

Antigone’s afterlives in Ireland have always enacted critical gestures of social protest and mourning that expose the fundamental fragility of human rights caught up in the symbolic conflict between oppressors and oppressed. This paper seeks to explore the scope of rereading certain Irish figurations of Antigone – the exemplary text of European humanism – through a posthumanist lens that unveils new and radical understandings of modern injustices, legal fissures, and capitalist insinuations of an “inhuman politics” against proletarian minorities in twentieth-century (...) Irish society in transnational contexts. The possibilities of a posthumanist theorization of Antigone at the intersection with gender, class, and human rights, reflect the connecting threads, political, aesthetic, and critical, between two texts: an early twentieth-century anonymous poem titled “The Prison Graves” dedicated to Irish human rights activist and revolutionary Roger Casement and an unpublished play-version of Antigone by Aidan C. Mathews in 1984, dedicated to René Girard. Written and produced as a critique of systematic institutional violence and neoliberal capitalist oppression during the epoch of the anti-revolutionary zeitgeist, the myth of Antigone shifts its dialectic from the nationalist nostalgia of “The Prison Graves” to the play-version of the Cold War era to reciprocate a counter-protest against the passing of the Irish Justice Bill. Antigone is reimagined as a hypochondriac resident of the slums of the proletariat and a member of a degenerate acting troupe. Her classical (mythical), aristocratic (white, European, Western) figure has become a posthuman commodity: a proletarian actor now, she performs the same role for millennia in a post-nuclear contaminated prison state in Thebes/Dublin. Peteokles is a bourgeois-turned-rebel mediary; Polyneikes is remembered as a communist terrorist who has been airbrushed from the records of the police state; a bibliophile Ismene religiously reads Aleksandr Solzhenitsyn’s The Gulag Archipelago, and the Chorus is the real state oppressor. (shrink)

The fate of root epidermal cells is controlled by a complex interplay of transcriptional regulators, generating a genetically determined, position‐biased arrangement of root hair cells. This pattern is altered during postembryonic development and in response to environmental signals to confer developmental plasticity that acclimates the plant to the prevailing conditions. Based on the hypothesis that events downstream of this initial mechanism can modulate the pattern installed during embryogenesis, we have developed a reaction diffusion model that reproduces the root hair patterning (...) previously observed experimentally. Under all growth conditions, an almost equal spacing between root hair forming cells was observed both in vitro and in silico, indicating that long‐range intercellular communication is crucial for the trichoblasts' decision to form a root hair. We assume that a hair growth promoter (HGP) is upregulated in root‐hair‐forming cells by a trichoblast‐specific component. Once established, HGP production is self‐enhancing. The autocatalytic regulation of HGP is antagonized by an HGP‐produced hair growth inhibitor (HGI). HGI is exported from trichoblasts and diffuses to neighboring cells, where it inhibits further HGP production and promotes the non‐hair cell fate. Under conditions of phosphate deficiency, we hypothesise that HGP production is increased and HGI diffusion rate is reduced, leading to a position‐independent formation of extra root hairs. BioEssays 30:75–81, 2008. © 2007 Wiley Periodicals, Inc. (shrink)

The development of the Universal Declaration of Ethical Principles for Psychologists has sparked debate about its applicability to cultural groups around the globe. Focusing on the principle of respect espoused in the Declaration, this article uses examples largely drawn from the indigenous Ma-ori culture of Aotearoa/New Zealand, to highlight how the ethical imperatives espoused by the Declaration may conflict with the perspectives of M?ori. A discussion of actions denoting respect is given from a M?ori perspective. Distinctions between the ethical expectations (...) the discipline of psychology and Ma-ori have of psychological practitioners are also addressed. (shrink)

We define bisimulations for temporal logic with Since and Until. This new notion is compared to existing notions of bisimulations, and then used to develop the basic model theory of temporal logic with Since and Until. Our results concern both invariance and definability. We conclude with a brief discussion of the wider applicability of our ideas.

In some cultures, people tend to believe that it is very important to be sexually exclusive in romantic relationships and idealise monogamous romantic relationships; but there is a tension in this ideal. Sex is generally considered to have value, and usually when we love someone we want to increase the amount of value in their lives, not restrict it without good reason. There is thus a call, not yet adequately responded to by philosophers, for greater clarity in the reasons §why (...) it might be reasonable for a couple to adopt a policy of sexual exclusivity. This article argues that we cannot justify the demand for sexual exclusivity by a need to protect the relationship from the risk of one partner ‘trading-up’, or by appealing to jealousy. However, sexual exclusivity can be intelligible if it supports the romantic relationship and helps to distinguish it from other relationships. Nonetheless, sexual exclusivity ought not to be the hegemonic social norm that it currently is in some societies because this diminishes the potential value it might have and gives the idea of faithfulness the wrong focus. (shrink)

Conscience and Conscientious Objection of Health Care Professionals Refocusing the Issue Content Type Journal Article Pages 351-364 DOI 10.1007/s10730-009-9113-x Authors Natasha T. Morton, The University of Western Ontario Ontario Canada N6A 5B9 Kenneth W. Kirkwood, Arthur and Sonia Labatt Health Sciences Building London Ontario Canada N6A 5B9 Journal HEC Forum Online ISSN 1572-8498 Print ISSN 0956-2737 Journal Volume Volume 21 Journal Issue Volume 21, Number 4.

Natasha McKeever argues that prima facie, a friends-with-benefits relationship can be, at the same time, a good friendship. This is because sex is compatible with friendship in that it can complement and potentially even strengthen the three core characteristics of friendship: mutual liking, mutual caring, and mutual sharing. She acknowledges that, by generating uncertainty and having the potential to generate feelings of romantic love, sex does pose risks to friendship. However, she argues that while these risks are significant considerations, (...) they can be mitigated and managed and so do not provide strong reasons against friends-with-benefits relationships. (shrink)

This paper establishes a connection between structure sensitive categorial inference and classical modal logic. The embedding theorems for non-associative Lambek Calculus and the whole class of its weak Sahlqvist extensions demonstrate that various resource sensitive regimes can be modelled within the framework of unimodal temporal logic. On the semantic side, this requires decomposition of the ternary accessibility relation to provide its correlation with standard binary Kripke frames and models.

We consider two systems of constructive modal logic which are computationally motivated. Their modalities admit several computational interpretations and are used to capture intensional features such as notions of computation, constraints, concurrency, etc. Both systems have so far been studied mainly from type-theoretic and category-theoretic perspectives, but Kripke models for similar systems were studied independently. Here we bring these threads together and prove duality results which show how to relate Kripke models to algebraic models and these in turn to the (...) appropriate categorical models for these logics. (shrink)

Background This manuscript explores the pervasive issue of moral distress among nurses and its impact on their well-being and professional satisfaction. Focusing on diverse factors contributing to moral distress, the review spans various experience levels and patient care settings. Method Utilizing integrative reviews and sourcing from PubMed, CINAHL, SCOPUS, PsycINFO, and ProQuest, the study synthesizes findings from studies worldwide. The conceptual framework by Whittemore & Knafl is employed to comprehensively analyze nurses’ experiences. Results Key factors were identified as contributing to (...) moral distress, including concerns about care quality, team dynamics, and insufficient support. Interventions range from light-touch approaches like mentorship programs to resource-intensive strategies such as staff wellness initiatives. The impact of the COVID-19 pandemic on nurses’ moral distress is also explored. Conclusion Moral distress in nurses leads to burnout and, in some cases, prompts professionals to leave the field. The study emphasizes the need for organizational-level initiatives, support networks, and interventions to address moral distress. Identified gaps in the literature underscore opportunities for future research to better prepare clinicians and advance understanding across experience levels and settings. (shrink)

ABSTRACTA close reading of Capitalism, Socialism and Democracy underscores Schumpeter's critique of elite political capacities. Given the neglect of this critique in contemporary scholarship, it might warrant a revision of our understanding of “Schumpeterianism.” To notice the critique of elites, we need to read Part IV in the context of the work as a whole, and with greater sensitivity to the sarcasm, irony, and humor that permeate the book. Such a reading produces a fundamentally altered understanding of Schumpeter's contribution to (...) democratic theory. (shrink)

Relative to a hyperstrong cardinal, it is consistent that measure one covering fails relative to HOD. In fact it is consistent that there is a superstrong cardinal and for every regular cardinal κ, κ + is greater than κ + of HOD. The proof uses a very general lemma showing that homogeneity is preserved through certain reverse Easton iterations.

A general method for constructing a new class of topological Ramsey spaces is presented. Members of such spaces are infinite sequences of products of Fraïssé classes of finite relational structures satisfying the Ramsey property. The Product Ramsey Theorem of Sokič is extended to equivalence relations for finite products of structures from Fraïssé classes of finite relational structures satisfying the Ramsey property and the Order-Prescribed Free Amalgamation Property. This is essential to proving Ramsey-classification theorems for equivalence relations on fronts, generalizing the (...) Pudlák–Rödl Theorem to this class of topological Ramsey spaces. To each topological Ramsey space in this framework corresponds an associated ultrafilter satisfying some weak partition property. By using the correct Fraïssé classes, we construct topological Ramsey spaces which are dense in the partial orders of Baumgartner and Taylor generating p-points which are k-arrow but not \-arrow, and in a partial order of Blass producing a diamond shape in the Rudin-Keisler structure of p-points. Any space in our framework in which blocks are products of n many structures produces ultrafilters with initial Tukey structure exactly the Boolean algebra \\). If the number of Fraïssé classes on each block grows without bound, then the Tukey types of the p-points below the space’s associated ultrafilter have the structure exactly \. In contrast, the set of isomorphism types of any product of finitely many Fraïssé classes of finite relational structures satisfying the Ramsey property and the OPFAP, partially ordered by embedding, is realized as the initial Rudin-Keisler structure of some p-point generated by a space constructed from our template. (shrink)

The definition of consumerism is multifaceted, extending from the consumption of goods and services to its more negative connotations: the obsessive consumption of goods, exploitation of the people who create them and greed. In a society heavily influenced by consumerism, we find ourselves manipulated by social media and targeted advertising to buy goods or to cultivate a certain lifestyle, raising important ethical questions about responsibility and our autonomy to make decisions. How has the nature of how we create and consume (...) goods evolved and how is this linked to moral responsibility and autonomy? Can it also be argued that there is aesthetic appreciation to be gained from some of the items that we create and consume? (shrink)

Sex work is highly gendered, with 80 percent of sex workers being female, and the vast majority of buyers of sex being male. It is often taken for granted that this is how it is, and implicit in much of the debate around sex work is the assumption that it is inherently gendered. In this paper, I question this assumption, drawing on sociological research to challenge arguments which purport that it is inconceivable that women would ever want to pay for (...) sex, or that sex work would exist under conditions of gender equality. I argue that gendered sexual norms likely are a significant reason for why sex work is so gendered, but sex work would probably continue to exist under conditions of gender equality, due to the diversity in motivations people have for buying and selling sex. Acknowledging that sex work is not inherently gendered is important for (at least) two reasons. First, it is probable that the gendered nature of sex work contributes to the stigma and bad treatment that sex workers, particularly female ones, face. Secondly, if sex work is not inherently gendered, this will have implications for how we should think about it, morally, practically, and legally. (shrink)

We extend the hierarchy of finite-dimensional Ellentuck spaces to infinite dimensions. Using uniform barriers [Formula: see text] on [Formula: see text] as the prototype structures, we construct a class of continuum many topological Ramsey spaces [Formula: see text] which are Ellentuck-like in nature, and form a linearly ordered hierarchy under projections. We prove new Ramsey-classification theorems for equivalence relations on fronts, and hence also on barriers, on the spaces [Formula: see text], extending the Pudlák–Rödl theorem for barriers on the Ellentuck (...) space. The inspiration for these spaces comes from continuing the iterative construction of the forcings [Formula: see text] to the countable transfinite. The [Formula: see text]-closed partial order [Formula: see text] is forcing equivalent to [Formula: see text], which forces a non-p-point ultrafilter [Formula: see text]. This work forms the basis for further work classifying the Rudin–Keisler and Tukey structures for the hierarchy of the generic ultrafilters [Formula: see text]. (shrink)

Van Lambalgen (1990) proposed a translation from a language containing a generalized quantifierQ into a first-order language enriched with a family of predicatesR i, for every arityi (or an infinitary predicateR) which takesQxg(x, y1,..., yn) to x(R(x, y1,..., y1) (x,y1,...,yn)) (y 1,...,yn are precisely the free variables ofQx). The logic ofQ (without ordinary quantifiers) corresponds therefore to the fragment of first-order logic which contains only specially restricted quantification. We prove that it is decidable using the method of analytic tableaux. Related (...) results were obtained by Andréka and Németi (1994) using the methods of algebraic logic. (shrink)

England and Wales are moving toward a model of ‘opt out’ for use of personal confidential data in health research. Existing research does not make clear how acceptable this move is to the public. While people are typically supportive of health research, when asked to describe the ideal level of control there is a marked lack of consensus over the preferred model of consent. This study sought to investigate a relatively unexplored difference between the consent model that people prefer and (...) that which they are willing to accept. It also sought to explore any reasons for such acceptance. (shrink)

It is usually taken for granted that romantic relationships will be sexual, but it seems that there is no necessary reason for this, as it is possible for romantic relationships to not include sex. Indeed, sometimes sex is a part of a romantic relationship for only a relatively short period of it. Furthermore, scientific explanations of the link between sex and love don’t seem fully satisfying because they tell us only about the mechanics of sex, rather than its meaning or (...) phenomenology. Therefore, the question of why it is that the archetypal romantic relationship includes sex, calls for philosophical analysis, yet it has been under-explored in philosophy. In this paper, I attempt to remedy this. I argue that sex is important to romantic love because it partly constitutes, builds, and expresses four of the central goods of a romantic relationship: 1) pleasure, 2) union, 3) intimacy, and 4) vulnerability and care. Thus, sex can be, and often is, an important vehicle for romantic love, though it is not essential for it. (shrink)

A Turing degree a is said to be almost everywhere dominating if, for almost all $X \in 2^{\omega}$ with respect to the "fair coin" probability measure on $2^{\omega}$ , and for all g: $\omega \rightarrow \omega$ Turing reducible to X, there exists f: $\omega \rightarrow \omega$ of Turing degree a which dominates g. We study the problem of characterizing the almost everywhere dominating Turing degrees and other, similarly defined classes of Turing degrees. We relate this problem to some questions in (...) the reverse mathematics of measure theory. (shrink)

(2013). Open Access Digital Data Sharing: Principles, Policies and Practices☆. Social Epistemology: Vol. 27, No. 1, pp. 47-67. doi: 10.1080/02691728.2012.760663.

Colleges and universities exist within a political arena where external demands for accountability materialize within a market-driven environment. As a result, government agencies pressure colleges and universities to rely on assessment and transparent reporting to become more market-driven assuming that the competition within the market, led by public choice and institutional selection, will drive improvements in learning and will also self-govern the institutions. This article explores how Foucault informs our conception of neoliberal governmentality through political rationality and technologies of self-governance (...) in order to inform our understanding of accountability in higher education and to challenge institutions to develop a counter dialogue which meets institutional obligations to the public and market. (shrink)

In this article, we study a minimal change approach to preference dynamics. We treat a set of preferences as a special kind of theory, and define minimal change preference contraction and revision operations in the spirit of the Alchourrón, Gärdenfors, and Makinson theory of belief revision. We characterise minimal contraction of preference sets by a set of postulates and prove a representation theorem. We also give a linear time algorithm which implements minimal contraction by a single preference. We then define (...) minimal contraction by a set of preferences, and show that the problem of a minimal contraction by a set of preferences is NP-hard. (shrink)

(2012). Modal logics for reasoning about infinite unions and intersections of binary relations. Journal of Applied Non-Classical Logics: Vol. 22, No. 4, pp. 275-294. doi: 10.1080/11663081.2012.705960.

We build a collection of topological Ramsey spaces of trees giving rise to universal inverse limit structures, extending Zheng’s work for the profinite graph to the setting of Fraïssé classes of finite ordered binary relational structures with the Ramsey property. This work is based on the Halpern-Läuchli theorem, but different from the Milliken space of strong subtrees. Based on these topological Ramsey spaces and the work of Huber-Geschke-Kojman on inverse limits of finite ordered graphs, we prove that for each such (...) Fraïssé class, its universal inverse limit structure has finite big Ramsey degrees under finite Baire-measurable colorings. For such Fraïssé classes satisfying free amalgamation as well as finite ordered tournaments and finite partial orders with a linear extension, we characterize the exact big Ramsey degrees. (shrink)

ABSTRACT This article argues against Giorgio Agamben’s use of Paul’s Epistles to align Walter Benjamin’s critique of violence with antinomian theology and anarcholibertarian politics. It focuses specifically on Benjamin’s critical inheritance of Hermann Cohen’s concepts of unintentional sin and atonement to show that he reactivates a prophetic register of education in Jewish religious ethics. The article contends that these normative and narrative elements of Talmud Torah refute a reductive view of Jewish legalism in confronting the cultural afterlives of historical violence. (...) This argument not only uncouples the reception of Benjamin’s theopolitics from contemporary continental philosophy’s revivals of Pauline messianism, but also contributes to a plural field of political theology emerging beyond the scope of secularized concepts of governance derived from a spurious universalism. This article proposes that the nonidentity between human law and divine justice can orient necessary resistance to justifications for and acts of state violence committed in a community’s name. (shrink)