Visuomotor adaptation to novel environments can occur via non-physical means, such as observation. Observation does not appear to activate the same implicit learning processes as physical practice, rather it appears to be more strategic in nature. However, there is evidence that interspersing observational practice with physical practice can benefit performance and memory consolidation either through the combined benefits of separate processes or through a change in processes activated during observation trials. To test these ideas, we asked people to practice aiming (...) to targets with visually rotated cursor feedback or engage in a combined practice schedule comprising physical practice and observation of projected videos showing successful aiming. Ninety-three participants were randomly assigned to one of five groups: massed physical practice, distributed physical practice, or one of 3 types of combined practice: alternating blocks, or all observation before or after blocked physical practice. Participants received 100 practice trials. All groups improved in adaptation trials and showed savings across the 24-h retention interval relative to initial practice. There was some forgetting for all groups, but the magnitudes were larger for physical practice groups. The Act and Obs_During groups were most accurate in retention and did not differ, suggesting that observation can serve as a replacement for physical practice if supplied intermittently and offers advantages above just resting. However, after-effects associated with combined practice were smaller than those for physical practice control groups, suggesting that beneficial learning effects as a result of observation were not due to activation of implicit learning processes. Reaction time, variable error, and post-test rotation drawings supported this conclusion that adaptation for observation groups was promoted by explicit/strategic processes. (shrink)

BackgroundHuman genome editing technologies offer much potential benefit. However, central to any conversation relating to the application of such technologies are certain ethical, legal, and social difficulties around their application. The recent misuse, or inappropriate use, by certain Chinese actors of the application of genome editing technologies has been, of late, well noted and described. Consequently, caution is expressed by various policy experts, scientists, bioethicists, and members of the public with regard to the appropriate use of human germline genome editing (...) and its possible future effect on future generations.Main textAs concerns about the applications of heritable genome editing have grown, so too have the questions around what is to be done to curtail ‘rogue actors’. This paper explores various ways in which to regulate genomic editing that are socially beneficial, while being cognisant of legal and ethical principles and rights values. This is done by evolving regulatory frameworks across jurisdictions in an attempt to raise issues, address common principles, and set responsible standards for stewardship of the novel technology.ConclusionsIt is suggested that robust and concrete regulatory measures be introduced that are culturally and contextually sensitive, inclusive, appropriate, and trustworthy – and are based on public empowerment and human rights objectives. Doing so will ensure that we are perfectly positioned to harness and promote the benefits that novel technologies have to offer, while safeguarding public health and curtailing the ambitions of rogue actors. This it is acknowledged is no easy task, so, as a point of departure, this paper sets out a path forward by means of certain, practical recommendations – by constructing genome editing regulation in a manner that both fulfils the desire to better progress human health and that can withstand legal and ethical scrutiny.The following observations and recommendations are made: Firstly, that a solution of effective, legitimate governance should consist of a combination of national and supranational legislative regulation or ‘hard’ law, in combination with ‘soft’ ethics, firmly anchored in and underpinned by human rights values. Second, that efforts to support legal and ethical solutions should be rigorous, practical, and robust, contribute to a reaffirmation of human rights in a contextually sensitive manner, and be transnational in reach. Lastly, that greater harmonisation across jurisdictions and increased public engagement be sought. This it is proposed will address the question of how to implement a normative framework which in turn can prevent future rogue actors. (shrink)

With recent advancements in systems engineering and artificial intelligence, autonomous agents are increasingly being called upon to execute tasks that have normative relevance. These are tasks that directly—and potentially adversely—affect human well-being and demand of the agent a degree of normative-sensitivity and -compliance. Such norms and normative principles are typically of a social, legal, ethical, empathetic, or cultural nature. Whereas norms of this type are often framed in the abstract, or as high-level principles, addressing normative concerns in concrete applications of (...) autonomous agents requires the refinement of normative principles into explicitly formulated practical rules. This paper develops a process for deriving specification rules from a set of high-level norms, thereby bridging the gap between normative principles and operational practice. This enables autonomous agents to select and execute the most normatively favourable action in the intended context premised on a range of underlying relevant normative principles. In the translation and reduction of normative principles to SLEEC rules, we present an iterative process that uncovers normative principles, addresses SLEEC concerns, identifies and resolves SLEEC conflicts, and generates both preliminary and complex normatively-relevant rules, thereby guiding the development of autonomous agents and better positioning them as normatively SLEEC-sensitive or SLEEC-compliant. (shrink)

With recent advancements in systems engineering and artificial intelligence, autonomous agents are increasingly being called upon to execute tasks that have normative relevance. These are tasks that directly—and potentially adversely—affect human well-being and demand of the agent a degree of normative-sensitivity and -compliance. Such norms and normative principles are typically of a social, legal, ethical, empathetic, or cultural (‘SLEEC’) nature. Whereas norms of this type are often framed in the abstract, or as high-level principles, addressing normative concerns in concrete applications (...) of autonomous agents requires the refinement of normative principles into explicitly formulated practical rules. This paper develops a process for deriving specification rules from a set of high-level norms, thereby bridging the gap between normative principles and operational practice. This enables autonomous agents to select and execute the most normatively favourable action in the intended context premised on a range of underlying relevant normative principles. In the translation and reduction of normative principles to SLEEC rules, we present an iterative process that uncovers normative principles, addresses SLEEC concerns, identifies and resolves SLEEC conflicts, and generates both preliminary and complex normatively-relevant rules, thereby guiding the development of autonomous agents and better positioning them as normatively SLEEC-sensitive or SLEEC-compliant. (shrink)

C.S. Peirce, the American philosopher and a principal figure in the development of the modern study of semiotics, struggled, mostly during his later years, to work out a systematic method for classifying sciences. By doing this, he hoped to define more clearly the various tasks of these sciences by showing how their individual effects are interrelated and how these effects, considered in their interrelations, establish pragmatic meanings for each individual science. Much of his work was centered on the meaning and (...) function of logic in relation to other areas of human knowledge. By rightly defining the work of logic, Peirce argued, the work of the other sciences could be pursued with more rigorous reasoning. Beverley Kent closely examines the published and unpublished writings of Peirce and carefully attends to the chronological development of his systems of classification; she thereby shows for the first time in the scholarly literature how seeming contradictions in Peirce's evolving classification are really part of an increasingly clear position. Logic, Peirce came to understand, is actually dependent on ethics and aesthetics for its principles. Kent shows how Peirce's working out of the classification of logic in relation to other sciences is a clue to the significant differences between his early and late philosophy and, perhaps even more important, to a reading of his more general claims for a philosophy of "pragmaticism." This work will be of interest to readers of Peirce and American philosophy, to historians of logic and semiotics, and to those more generally interested in the history of systems of knowledge-classification. (shrink)

Miranda Fricker's original presentation of Hermeneutical Injustice left open theoretical choice points leading to criticisms and subsequent clarifications with the resulting dialectic appearing largely verbal. The absence of perspicuous exposition of hallmarks of Hermeneutical Injustice might suggest scenarios exhibiting some – but not all – such hallmarks are within its purview when they are not. The lack of clear hallmarks of Hermeneutical Injustice, moreover, obscures both the extent to which Fricker's proposed remedy Hermeneutical Justice – roughly, virtuous communicative practices – (...) adequately addresses the injustice, and the accuracy of criticisms suggesting that Hermeneutical Justice is insufficient to the task. In what follows, after briefly defending necessary and sufficient conditions for what I take to be the best candidate interpretation of Hermeneutical Injustice, I build on recent work on moral responsibility to construct and defend a rigorous explication of Hermeneutical Justice. (shrink)

Explanations of how identity is constructed are fundamental to contemporary debates in feminism and social theory. In this important addition to the literature, Beverley Skeggs demonstrates that class needs to be featured more prominently in theoretical accounts of gender, identity, and power. Class has been marginalized in feminist and cultural theory and it has become increasingly difficult to teach, research, or speak about class. Formations of Class and Gender identifies the neglect of class issues in favor of gender issues, (...) and shows how class and gender must be fused together to produce an accurate representation of power relations in modern society. In a sustained examination of the production of knowledge, detailed ethnographic research is used to explain how ôrealö women modify and reformulate our understanding of class, subjectivity, and sexuality. A critical examination of cultural representationùinformed by recent feminist theory and the work of Pierre BourdieuùFormations of Class and Gender is an articulate demonstration of how to translate theory into practice. Engaged with theoretical and methodological issues, this will be the standard referenced ethnography on class and gender. It will be required reading for students and researchers in womenÆs studies and sociology. (shrink)

We have been discussing some of the fundamental features of the classical calculus of probability. The equiprobability of rival events was seen to be a major assumption of the calculus. Moreover, it is an assumption which the pure mathematician need not bother to justify. He need only present his formal system as follows.

The Circle of Concerned African Women Theologians has since its inception, affirmed the agency of women in their theological reflection and praxis. In doing so, they have called on their male colleagues to stand in solidarity with them in forging alternative masculinities that renew culture, curb gender-based violence and mitigate HIV infection. This essay argues that there are three assumptions that form the basis of the work of the Circle theologians. Firstly, that women seek to be in egalitarian relationships with (...) men that bring dignity and respect. Secondly, women assert their agency to achieve this goal and in so doing bring healing and wholeness to both groups who are transformed through this process. Thirdly, women assert their agency in solidarity with other women as they build alternative egalitarian communities. Yet, the recent phenomenon of the #Blessed community of young women who seek out ‘blessers’, older men who engage them in transactional sex, in order to fund opulent lifestyles contradicts these assumptions. Their agency embraces non-liberative ideology and practice and chooses not to unseat the dominant ideologies of hetero- and econo-patriarchy. Contribution: The essay concludes that a lack of sustained economic analysis and engaged theological reflection on sexual ethics means the Circle is ill-equipped to respond to the challenge posed by the #Blessed community of young women. (shrink)

In the first section, I consider what several logicians say informally about the notion of logical consequence. There is significant variation among these accounts, they are sometimes poorly explained, and some of them are clearly at odds with the usual technical definition. In the second section, I first argue that a certain kind of informal account—one that includes elements of necessity, generality, and apriority—is approximately correct. Next I refine this account and consider several important questions about it, including the appropriate (...) characterization of necessity, the criterion for selecting logical constants, and the exact role of apriority. I argue, among other things, that there is no need to recognize a special logical sense of necessity and that the selection of terms to serve as logical constants is ultimately a pragmatic matter. In the third section, I consider whether the informal account I have presented and defended is adequately represented by the usual technical definition. I show that it is, and provably so, for certain limited ways of selecting logical constants. In the general case, however, there seems to be no way to be sure that the technical and informal accounts coincide. (shrink)

Unethical practices in education come at too great a cost when our future generation is at stake. Educators are role models for students in their future careers and so must believe in and use ethical practices. In politics, in big and small business, and in legal and medical practice the question of ethical practices surrounds us. Have people become desensitized to ethics? Are we condoning unethical practice? Our educational profession must stand up for honesty and integrity. We, as educators, have (...) the obligation of setting the standards for ethics. Ethical Dilemmas in Education addresses the dilemmas teachers face every day throughout all aspects of education in a comprehensive manner. The book outlines standards of professionalism and presents information teachers can use for the challenges teachers face. With the policies of today's educational system, teachers need to stand up for honesty and integrity, providing role models for students in their future careers. This book guides teachers towards developing ethical habits and a professional demeanor. (shrink)

In Feminism and the Power of Law Carol Smart argued “law must also be tackled at the conceptual level if feminist discourses are to take a firmer root” (Smart in Feminism and the power of law, Routledge, London, 1989, 5). In Canada, the Women’s Legal Education and Action Fund (LEAF) ’tackled‘ the concept of comparison in the age equality case of Withler v Canada, 2008 BCCA 539. Rejecting ’similarly situated ‘(or ’groups‘) comparison as inconsistent with substantive equality, LEAF advocated a (...) “contextual” approach to import gender into the Withler frame. However, LEAF did not identify a male comparator even though all of the plaintiffs were women. Accordingly, it is unclear whether LEAF’s contextual approach obviates comparison, permits comparing some women to other women, or is synonymous with ‘grounds’ comparison. I argue LEAF could have named the patriarchal state as the male comparator in Withler, thereby aligning their contextual approach with ‘grounds’ comparison and offering substantive equality a ’firmer root’. (shrink)

Such an absence seems ultimately fatal. Yet as this volume amply demonstrates, the richness of his social theory can be opened up by contemporary feminism.

Although the last decade has seen a proliferation of ontological approaches to arguments, many of them employ ad hoc solutions to representing arguments, lack interoperability with other ontologies, or cover arguments only as part of a broader approach to evidence. To provide a better ontological representation of arguments, we present the Arguments Ontology (ArgO), a small ontology for arguments that is designed to be imported and easily extended by researchers who work in different upper-level ontology frameworks, different logics, and different (...) approaches to argument evaluation. Unlike most ontological approaches to arguments, ArgO utilizes Basic Formal Ontology (BFO) as an upper-level ontology, and may be used alongside other commonly used ontologies in the BFO framework, including boththe Information Artifact Ontology (IAO), and the Information Entity Ontology (INFO). Critically, our proposal is principled, based on rigorous definitions and formal axioms out of which characterizations of arguments naturally fall. It is our hope that ArgO may assist researchers in many projects, including: integrating heterogeneous sources of evidence, structuring the content of semantic wikis, and enhancing semantic reasoning. (shrink)

On a rainy day in May 1988, a lowland gorilla named Willie B. stepped outdoors for the first time in twenty-seven years, into a new landscape immersion exhibit. Born in Africa, Willie B. had been captured by an animal collector and sold to a zoo. During the decades he spent in a cage, zoos stopped collecting animals from the wild and Americans changed the ways they wished to view animals in the zoo. Zoos developed new displays to simulate landscapes like (...) the Amazon River basin and African forests. Exhibits similar to animals' natural habitats began to replace old-fashioned animal houses. But such displays are only the most recent effort of zoos to present their audiences with an authentic experience of nature. Since the first zoological park opened in the United States in Philadelphia in 1874, zoos have promised their visitors a journey into the natural world. And for more than a century they have been popular places for education and recreation: every year more than 130 million Americans go to zoos to look at the animals and enjoy a day outdoors. The first book-length history of American zoos, Animal Attractions examines the meaning of nature in the city by looking at the ways zoos have assembled and displayed their animal collections. Situated literally and culturally in the American middle landscape, zoos are concrete expressions of longstanding tensions between wildness and civilization, science and popular culture, education and entertainment. In their efforts to promote nature appreciation, they reveal much about how our culture envisions the natural world and the human place in it and how these ideas have changed. (shrink)

The first publication of Beverley Clack and Brian R. Clack’s exciting and innovative introduction to the philosophy of religion has been of enormous value to students, as well as providing a bold and refreshing alternative to the standard analytic approaches to the subject. This second edition retains the accessibility which made it popular for both teachers and students, while furthering its distinctive argument that emphasises the human dimension of religion. The text has been fully revised and updated. The traditional (...) emphasis on the arguments for the existence of God is reflected in a newly extended and reworked investigation into natural theology. Recent developments in the subject are also reflected in updated chapters, and, in a move that highlights the originality of the authors’ approach, they offer a critical engagement with current world events. An entirely new concluding chapter interrogates the connection between religion and terror, and demonstrates how philosophy of religion might be conducted under the terrible shadow of 9/11. This new edition of The Philosophy of Religion will continue to be essential reading for all students and practitioners of the subject. (shrink)

The COVID-19 pandemic prompted immense work on the investigation of the SARS-CoV-2 virus. Rapid, accurate, and consistent interpretation of generated data is thereby of fundamental concern. Ontologies––structured, controlled, vocabularies––are designed to support consistency of interpretation, and thereby to prevent the development of data silos. This paper describes how ontologies are serving this purpose in the COVID-19 research domain, by following principles of the Open Biological and Biomedical Ontology (OBO) Foundry and by reusing existing ontologies such as the Infectious Disease Ontology (...) (IDO) Core, which provides terminological content common to investigations of all infectious diseases. We report here on the development of an IDO extension, the Virus Infectious Disease Ontology (VIDO), a reference ontology covering viral infectious diseases. We motivate term and definition choices, showcase reuse of terms from existing OBO ontologies, illustrate how ontological decisions were motivated by relevant life science research, and connect VIDO to the Coronavirus Infectious Disease Ontology (CIDO). We next use terms from these ontologies to annotate selections from life science research on SARS-CoV-2, highlighting how ontologies employing a common upper-level vocabulary may be seamlessly interwoven. Finally, we outline future work, including bacteria and fungus infectious disease reference ontologies currently under development, then cite uses of VIDO and CIDO in host-pathogen data analytics, electronic health record annotation, and ontology conflict-resolution projects. (shrink)

Motivated by a characterization of weakly compact cardinals due to Todorcevic, we introduce a new cardinal characteristic, the C-sequence number, which can be seen as a measure of the compactness of a regular uncountable cardinal. We prove a number of ZFC and independence results about the C-sequence number and its relationship with large cardinals, stationary reflection, and square principles. We then introduce and study the more general C-sequence spectrum and uncover some tight connections between the C-sequence spectrum and the strong (...) coloring principle U(. . .), introduced in Part I of this series. (shrink)

Viale introduced covering matrices in his proof that SCH follows from PFA. In the course of the proof and subsequent work with Sharon, he isolated two reflection principles, CP and S, which, under certain circumstances, are satisfied by all covering matrices of a certain shape. Using square sequences, we construct covering matrices for which CP and S fail. This leads naturally to an investigation of square principles intermediate between □κ and □ for a regular cardinal κ. We provide a detailed (...) picture of the implications between these square principles. (shrink)

Basic Formal Ontology (BFO) is a top-level ontology consisting of thirty-six classes, designed to support information integration, retrieval, and analysis across all domains of scientific investigation, presently employed in over 350 ontology projects around the world. BFO is a genuine top-level ontology, containing no terms particular to material domains, such as physics, medicine, or psychology. In this paper, we demonstrate how a series of cases illustrating common types of change may be represented by universals, defined classes, and relations employing the (...) BFO framework. We provide discussion of these cases to provide a template for other ontologists using BFO, as well as to facilitate comparison with the strategies proposed by ontologists using different top-level ontologies. (shrink)

We investigate questions involving Aronszajn trees, square principles, and stationary reflection. We first consider two strengthenings of introduced by Brodsky and Rinot for the purpose of constructing κ‐Souslin trees. Answering a question of Rinot, we prove that the weaker of these strengthenings is compatible with stationary reflection at κ but the stronger is not. We then prove that, if μ is a singular cardinal, implies the existence of a special ‐tree with a cf(μ)‐ascent path, thus answering a question of Lücke.

History of science and philosophy of science are not logically related: to claim that they are would be either to underestimate or to misunderstand the genetic fallacy. But one risk of inferring that there is no connection at all between the two is the risk that philosophers of science may not know what they are talking about. The philosopher of science who does not know intimately the history of the scientific problem with which he is exercised may be discussing no (...) genuine state of affairs. On the other hand, The historian and philosopher of science are both concerned with the structure of scientific ideas, And these concerns are fused into one when the scientific "argumentation" of the past is the issue. (staff). (shrink)

Moeser suggested participants default to linear ordering elements but they can be primed to impose either linear or partial ordering. This study seems problematic insofar as ‘greater than’ might be understood to incline participants to favor linear orderings. Recent follow-up studies strongly suggest participants do not default to linear ordering. It seems plausible, moreover, that the observed priming effect is far more pervasive than Moeser countenanced. The present work explores the extent to which priming for linear or partial orders conflicts (...) with the construction of linear or partial ordering lists. Our two experiments suggest friction between priming and task, and also show once the priming tasks are cleared of potentially confounding semantic content, participants perform equally with respect to constructing linear or partial orders under similar priming conditions. (shrink)

If a person requires an organ or tissue donation to survive, many philosophers argue that whatever moral responsibility a biological relative may have to donate to the person in need will be grounded at least partially, if not entirely, in biological relations the potential donor bears to the recipient. We contend that such views ignore the role that a potential donor's unique ability to help the person in need plays in underwriting such judgments. If, for example, a sperm donor is (...) judged to have a significant moral responsibility to donate tissue to a child conceived with his sperm, we think this will not be due to the fact that the donor stands in a close biological relationship to the recipient. Rather, we think such judgments will largely be grounded in the presumed unique ability of the sperm donor to help the child due to the compatibility of his tissues and organs with those of the recipient. In this paper, we report the results of two studies designed to investigate the comparative roles that biological relatedness and unique ability play in generating judgments of moral responsibility in tissue donation cases. We found that biologically related individuals are deemed to have a significant moral responsibility to donate tissue only when they are one of a small number of people who have the capacity to help. (shrink)

Generic language (e.g., “tigers have stripes”) leads children to assume that the referenced category (e.g., tigers) is inductively informative and provides a causal explanation for the behavior of individual members. In two preregistered studies with 4- to 7-year-old children (N = 497), we considered the mechanisms underlying these effects by testing how correcting generics might affect the development of these beliefs about novel social and animal kinds (Study 1) and about gender (Study 2). Correcting generics by narrowing their scope to (...) a single individual limited beliefs that the referenced categories could explain what their members would be like while broadening the scope to a superordinate category (Study 2) uniquely limited endorsement of gender norms. Across both studies, correcting generics did not alter beliefs about feature heritability and had mixed effects on inductive inferences, suggesting that additional mechanisms (e.g., causal reasoning about shared features) contribute to the development of full-blown essentialist beliefs. These results help illuminate the mechanisms by which generics lead children to view categories as having rich inductive and causal potential; in particular, they suggest that children interpret generics as signals that speakers in their community view the referenced categories as meaningful kinds that support generalization. The findings also point the way to concrete suggestions for how adults can effectively correct problematic generics (e.g., gender stereotypes) that children may hear in daily life. (shrink)

When attempting to answer the question, in the context of clinical healthcare, one might be tempted to leap to either of two rather obvious, but seemingly contradictory conclusions. On the one hand, we might have a general impression of religion not making much of a distinctive and clear difference, at least in the actions and outcomes of most cases of clinical interaction. Those of us in the bioethics world of discourse are likely to think only of the less common cases (...) of Christian Scientists, Jehovah's Witnesses, Orthodox Jews, or certain religious groups who seem to the majority of the population to hold especially sectarian, if not beliefs about medical matters. The so-called mainstream religious groups do not get much attention because they largely don't cause much trouble ; they have learned to bracket their religious commitments from at least any professional settings ; or they don't hold views entailing consequences any different from those of most nonbelieving, generally upright individuals. Furthermore, although religious believers may have some distinctive views, these views don't often noticeably manifest themselves in distinctive or significant ways. (shrink)

Do biological relations ground responsibilities between biological fathers and their offspring? Few think biological relations ground either necessary or sufficient conditions for responsibility. Nevertheless, many think biological relations ground responsibility at least partially. Various scenarios, such as cases concerning the responsibilities of sperm donors, have been used to argue in favor of biological relations as partially grounding responsibilities. In this article, I seek to undermine the temptation to explain sperm donor scenarios via biological relations by appealing to an overlooked feature (...) of such scenarios. More specifically, I argue that sperm donor scenarios may be better explained by considering the unique abilities of agents involved. Appealing to unique ability does not eliminate the possibility of biological relations providing some explanation for perceived responsibilities on the part of biological fathers. However, since it is unclear exactly why biological relations are supposed to ground responsibility in the first place, and rather clear why unique ability grounds responsibility in those scenarios where it is exhibited, the burden of proof seems shifted to those advocating biological relations as grounds of responsibility to provide an explanation. Since this seems unlikely, I conclude it is best to avoid appealing to biological relations as providing grounds for responsibility. (shrink)

Marx’s critical theory of slavery is the operational subtext throughout his critique of political economy. For Marx, the movement from modern slavery to capital represents a historical transition of significance, not only (or foremost) as an empirical transition but also as a transformation of social substance. Marx reveals why, in retrospect, production based on slavery, as logical configuration, must give way to the generalising logic of wage labour. Marx’s critical theory of slavery historicises wage labour (qua category) as the dissolution (...) and inversion of enslaved labour (qua category). Plantation slavery production in the colonised territories initiates a qualitative development that constitutes the historical condition for the emergence of a mode of sociality that we can call ‘value’. Marx’s theoretical account of modern slavery is a lever in his broader critique of capital and is fundamentally distinct from empirical, historical accounts. (shrink)

We address three questions raised by Cummings and Foreman regarding a model of Gitik and Sharon. We first analyze the PCF-theoretic structure of the Gitik–Sharon model, determining the extent of good and bad scales. We then classify the bad points of the bad scales existing in both the Gitik–Sharon model and other models containing bad scales. Finally, we investigate the ideal of subsets of singular cardinals of countable cofinality carrying good scales.

We give a formalism for approximate isomorphism in continuous logic simultaneously generalizing those of two papers by Ben Yaacov [2] and by Ben Yaacov, Doucha, Nies, and Tsankov [6], which are largely incompatible. With this we explicitly exhibit Scott sentences for the perturbation systems of the former paper, such as the Banach‐Mazur distance and the Lipschitz distance between metric spaces. Our formalism is simultaneously characterized syntactically by a mild generalization of perturbation systems and semantically by certain elementary classes of two‐sorted (...) structures that witness approximate isomorphism. As an application, we show that the theory of any ‐tree or ultrametric space of finite radius is stable, improving a result of Carlisle and Henson [8]. (shrink)

Feminist legal scholars have never cut the first woman appointed to the Supreme Court of Canada as much slack as the second. Yet the first, Justice Bertha Wilson, introduced the contextual method into the Court’s jurisprudence. Her approach to contextualism is consistent with one of three feminist legal methods that Katharine T. Bartlett identifies. More specifically, it is consistent with Bartlett’s feminist practical reasoning. However, Justice Wilson’s contextualism is not without its critics. The most challenging, Ruth Colker, contends it must (...) work in conjunction with a distinctive substantive principle. Justice Wilson took a different approach, aligning the contextual method with the constitutional principle of proportionality. Thus construed, this paper argues, contextualism represents a new approach to feminist judging. (shrink)

To explain how constitutions shape and are shaped by women's lives, the contributors to this volume examine constitutional cases pertaining to women in twelve countries. Analyzing jurisprudence about reproductive, sexual, familial, socio-economic, and democratic rights, they focus constructively on women's claims to equality, asking who makes these claims, what constitutional rights inform them, how they have evolved, what arguments work in defending them, and how they relate to other national issues. Their findings reveal significant similarities in outcomes and in reasoning (...) about women's constitutional rights in these twelve countries, challenging the tradition of distinguishing constitutional jurisprudence depending on whether the country has a written or unwritten constitution, subscribes to civil or common law, is a federal or unitary state, limits constitutional adjudication to the public domain, accords international norms binding or subject to incorporation force, or relies on a specialized or general court to adjudicate constitutional matters. (shrink)

We continue our study of strongly unbounded colorings, this time focusing on subadditive maps. In Part I of this series, we showed that, for many pairs of infinite cardinals $\theta < \kappa $, the existence of a strongly unbounded coloring $c:[\kappa ]^2 \rightarrow \theta $ is a theorem of $\textsf{ZFC}$. Adding the requirement of subadditivity to a strongly unbounded coloring is a significant strengthening, though, and here we see that in many cases the existence of a subadditive strongly unbounded coloring (...) $c:[\kappa ]^2 \rightarrow \theta $ is independent of $\textsf{ZFC}$. We connect the existence of subadditive strongly unbounded colorings with a number of other infinitary combinatorial principles, including the narrow system property, the existence of $\kappa $ -Aronszajn trees with ascent paths, and square principles. In particular, we show that the existence of a closed, subadditive, strongly unbounded coloring $c:[\kappa ]^2 \rightarrow \theta $ is equivalent to a certain weak indexed square principle $\boxminus ^{\operatorname {\mathrm {ind}}}(\kappa, \theta )$. We conclude the paper with an application to the failure of the infinite productivity of $\kappa $ -stationarily layered posets, answering a question of Cox. (shrink)

The field of AI has undergone a series of transformations, each marking a new phase of development. The initial phase emphasized curation of symbolic models which excelled in capturing reasoning but were fragile and not scalable. The next phase was characterized by machine learning models—most recently large language models (LLMs)—which were more robust and easier to scale but struggled with reasoning. Now, we are witnessing a return to symbolic models as complementing machine learning. Successes of LLMs contrast with their inscrutability, (...) inaccuracy, and hallucinations, which underwrite concerns over the reliability and trustworthiness of these systems, motivating investigations into commonsense reasoning, AI explainability, and formal verification techniques. Moreover, proper assessments of hybrid machine learning/symbolic systems require novel strategies to facilitate comparisons of performance and guide future AI progress. The EDGeS AAAI 2023 Spring symposium brought together researchers focusing on novel assessments and benchmarks for evaluating hybrid and artificial general intelligence (AGI) systems. This symposium revealed what was already suspected: research concerning evaluation of machine learning/symbolic hybrids and AGI is, unfortunately, lacking. Even so, the discussion was fruitful. (shrink)

The current studies (N = 255, children ages 4–5 and adults) explore patterns of age‐related continuity and change in conceptual representations of social role categories (e.g., “scientist”). In Study 1, young children's judgments of category membership were shaped by both category labels and category‐normative traits, and the two were dissociable, indicating that even young children's conceptual representations for some social categories have a “dual character.” In Study 2, when labels and traits were contrasted, adults and children based their category‐based induction (...) decisions on category‐normative traits rather than labels. Study 3 confirmed that children reason based on category‐normative traits because they view them as an obligatory part of category membership. In contrast, adults in this study viewed the category‐normative traits as informative on their own (not only as a cue to obligations). Implications for continuity and change in representations of social role categories will be discussed. (shrink)

There is a widespread feeling that health is special; the rules that are usually used in other policy areas are not applied in health policy. Health economists, for example, tend to be reluctant to offer economists' usual prescription of competition and consumer choice, even though they have largely failed to justify this reluctance by showing that health economics involves special features such as public goods, externalities, adverse selection, poor consumer information, or unusually severe consequences.

Feminist philosophy of religion as a subject of study has developed in recent years because of the identification and exposure of explicit sexism in much of the traditional philosophical thinking about religion. This struggle with a discipline shaped almost exclusively by men has led feminist philosophers to redress the problematic biases of gender, race, class and sexual orientation of the subject. Anderson and Clack bring together new and key writings on the core topics and approaches to this growing field. Each (...) essay exhibits a distinctive theoretical approach and appropriate insights from the fields of literature, theology, philosophy, gender and cultural studies. Beginning with a general introduction, part one explores important approaches to the feminist philosophy of religion, including psychoanalytic, poststructualist, postmetaphysical, and epistemological frameworks. In part two the authors survey significant topics including questions of divinity, embodiment, autonomy and spirituality, and religious practice. Supported by explanatory prefaces and an extensive bibliography which is organized thematically, Feminist Philosophy of Religion is an important resource for this new area of study. (shrink)