The National Center for Biomedical Ontology is a consortium that comprises leading informaticians, biologists, clinicians, and ontologists, funded by the National Institutes of Health (NIH) Roadmap, to develop innovative technology and methods that allow scientists to record, manage, and disseminate biomedical information and knowledge in machine-processable form. The goals of the Center are (1) to help unify the divergent and isolated efforts in ontology development by promoting high quality open-source, standards-based tools to create, manage, and use ontologies, (2) to create (...) new software tools so that scientists can use ontologies to annotate and analyze biomedical data, (3) to provide a national resource for the ongoing evaluation, integration, and evolution of biomedical ontologies and associated tools and theories in the context of driving biomedical projects (DBPs), and (4) to disseminate the tools and resources of the Center and to identify, evaluate, and communicate best practices of ontology development to the biomedical community. Through the research activities within the Center, collaborations with the DBPs, and interactions with the biomedical community, our goal is to help scientists to work more effectively in the e-science paradigm, enhancing experiment design, experiment execution, data analysis, information synthesis, hypothesis generation and testing, and understand human disease. (shrink)

This paper describes how to ethically conduct research with Black populations at the intersection of COVID-19 and the Black Lives Matter movement. We highlight the issues of historical mistrust in the USA and how this may impact Black populations’ participation in COVID-19 vaccination trials. We provide recommendations for researchers to ethically engage Black populations in research considering the current context. Our recommendations include understanding the impact of ongoing trauma, acknowledging historical context, ensuring diverse research teams and engaging in open and (...) honest conversations with Black populations to better address their needs. The core of our recommendation is recognising the impact of trauma in our research and health care practices. (shrink)

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)

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)

Coalition announcement logic is one of the family of the logics of quantified announcements. It allows us to reason about what a coalition of agents can achieve by making announcements in the setting where the anti-coalition may have an announcement of their own to preclude the former from reaching its epistemic goals. In this paper, we describe a PSPACE-complete model checking algorithm for CAL that produces winning strategies for coalitions. The algorithm is implemented in a proof-of-concept model checker.

Introduction Major scientific revolutions are rarely, if ever, started deliberately. They can be "in the air" for a long time before the first recognizable ...

Normative theorists of migration are beginning to shift their focus away from an earlier obsession with whether the ‘liberal' or ‘legitimate’ state should have a right to exclude, and toward evaluation of how states engage in immigration control. However, with some notable exceptions – such as work of Rebecca Buxton, David Owen, Serena Parekh, and Alex Sager – this work tends not to focus on the global coordination of such control, and is still largely concerned with issues of membership. In (...) this paper I aim to show the value of shifting normative attention to the fundamentally interdependent nature of state control of migration, and the management of all forms of movement – not just settlement. This global management is greatly facilitated by the rapid digitisation of border controls. As such, I outline three aspects of the way digital border controls work – profiling, biometric identification, and the data sharing practices upon which they rest – and highlight ethical challenges of accountability, consent and the reach of the state, and entrenching global inequalities in access to movement. Ultimately, I hope to show that the globally interconnected nature of migration management is a combination of practices that normative theorists of migration should turn their attention to. (shrink)

To be a teacher of literature at a university today is to occupy a problematic position in the production and codification of knowledge - a fact that has generated a great deal of critical comment in recent years. But this position in its problematic dimensions is not necessarily new. The teacher of literature has always been a propagator of an aberrant science - yet a science that in its aberrations has more to do with the methodological problems of the natural (...) sciences than is usually credited. In this article the author approaches an initial statement of what makes the study of literature aberrant in this way, and in the process, elaborates upon a central dynamic of teaching literature that draws its strength from such scientific aberrance. In the process he moves towards a statement of the role played by an aberrant science in negotiating cultural identity. (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.

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)

We investigate the effects of various forcings on several forms of the Halpern– Läuchli theorem. For inaccessible κ, we show they are preserved by forcings of size less than κ. Combining this with work of Zhang in [17] yields that the polarized partition relations associated with finite products of the κ-rationals are preserved by all forcings of size less than κ over models satisfying the Halpern– Läuchli theorem at κ. We also show that the Halpern–Läuchli theorem is preserved by <κ-closed (...) forcings assuming κ is measurable, following some observed reflection properties. (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)

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)

This symposium brings into conversation normative political theory on migration and critical border/migration studies, with a particular focus on digital border control technology. Normative theorists have long been concerned with questions about the extent and nature of control over migration that the state should exercise, and the balance of rights and duties between states and migrants. To date, however, there has been little reflection among such theorists on digital border control technology. Critical border/migration studies scholars, on the other hand, have (...) paid considerable attention to the rapid development of digital technology in the border control/mobility management space, and revealed a range of problems with the technology itself and the ways it is deployed. What has thus far been lacking, however, is sustained ethical reflection on what should be done about the use of this technology. The papers in this symposium thus seek to bring these two groups of scholars together and to prompt what we hope will be a sustained conversation on these rapidly evolving and deeply problematic practices. This introduction contextualises the issue at the heart of this symposium – the rapid expansion of digital border controls and the ethical challenges that these pose – and offers brief summaries of the contributions. (shrink)

The generic ultrafilter${\cal G}_2 $forced by${\cal P}\left/\left$was recently proved to be neither maximum nor minimum in the Tukey order of ultrafilters, but it was left open where exactly in the Tukey order it lies. We prove${\cal G}_2 $that is in fact Tukey minimal over its projected Ramsey ultrafilter. Furthermore, we prove that for each${\cal G}_2 $, the collection of all nonprincipal ultrafilters Tukey reducible to the generic ultrafilter${\cal G}_k $forced by${\cal P}\left/{\rm{Fin}}^{ \otimes k} $forms a chain of lengthk. Essential to (...) the proof is the extraction of a dense subsetεkfrom +which we prove to be a topological Ramsey space. The spacesεk,k≥ 2, form a hierarchy of high dimensional Ellentuck spaces. New Ramsey-classification theorems for equivalence relations on fronts on εkare proved, extending the Pudlák–Rödl Theorem for fronts on the Ellentuck space, which are applied to find the Tukey and Rudin–Keisler structures below${\cal G}_k $. (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)

Henle, Mathias, and Woodin proved in [21] that, provided that${\omega }{\rightarrow }({\omega })^{{\omega }}$holds in a modelMof ZF, then forcing with$([{\omega }]^{{\omega }},{\subseteq }^*)$overMadds no new sets of ordinals, thus earning the name a “barren” extension. Moreover, under an additional assumption, they proved that this generic extension preserves all strong partition cardinals. This forcing thus produces a model$M[\mathcal {U}]$, where$\mathcal {U}$is a Ramsey ultrafilter, with many properties of the original modelM. This begged the question of how important the Ramseyness of$\mathcal (...) {U}$is for these results. In this paper, we show that several classes of$\sigma $-closed forcings which generate non-Ramsey ultrafilters have the same properties. Such ultrafilters include Milliken–Taylor ultrafilters, a class of rapid p-points of Laflamme,k-arrow p-points of Baumgartner and Taylor, and extensions to a class of ultrafilters constructed by Dobrinen, Mijares, and Trujillo. Furthermore, the class of Boolean algebras$\mathcal {P}({\omega }^{{\alpha }})/{\mathrm {Fin}}^{\otimes {\alpha }}$,$2\le {\alpha }<{\omega }_1$, forcing non-p-points also produce barren extensions. (shrink)

We characterize the (κ, Λ, < μ)-distributive law in Boolean algebras in terms of cut and choose games $\scr{G}_{<\mu}^{\kappa}(\lambda)$ , when μ ≤ κ ≤ Λ and κ<κ = κ. This builds on previous work to yield game-theoretic characterizations of distributive laws for almost all triples of cardinals κ, Λ, μ with μ ≤ Λ, under GCH. In the case when μ ≤ κ ≤ Λ and κ<κ = κ, we show that it is necessary to consider whether the κ-stationarity (...) of Pκ+Λ in the ground model is preserved by B. In this vein, we develop the theory of κ-club and κ-stationary subsets of Pκ+Λ. We also construct Boolean algebras in which Player I wins $\scr{G}_{\kappa}^{\kappa}(\kappa ^{+})$ but the (κ, ∞, κ)-d.1, holds, and, assuming GCH, construct Boolean algebras in which many games are undetermined. (shrink)

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)

Previous work has shown that memory performance in older adults is affected by activation of a stereotype of age-related memory decline. In the present experiment, we examined whether stereotype threat would affect metamemory in older adults; that is, whether under stereotype threat they make poorer judgments about what they could remember. We tested older adults (MAge= 66.18 years) on a task in which participants viewed words paired with point values and “bet” on whether they could later recall each word. If (...) they bet on and recalled a word, they gained those points, but if they bet on and failed to recall a word, they lost those points. Thus, this task required participants to monitor how much they could remember and prioritize high value items. Participants performed this task over six lists of items either under stereotype threat about age-related memory decline or not under stereotype threat. Participants from both groups performed similarly on initial lists, but on later lists, participants under stereotype threat showed impaired performance as indicated by a lower average point score and a lower average gamma coefficient. The results suggest that a modest effect of stereotype threat on recall combined with a modest effect on metacognitive judgments to result in a performance deficit. This pattern of results may reflect an effect of stereotype threat on executive control reducing the ability to strategically use memory. (shrink)

There exists a considerable body of work on epistemic logics for resource-bounded reasoners. In this paper, we concentrate on a less studied aspect of resource-bounded reasoning, namely, on the ascription of beliefs and inference rules by the agents to each other. We present a formal model of a system of bounded reasoners which reason about each other’s beliefs, and investigate the problem of belief ascription in a resource-bounded setting. We show that for agents whose computational resources and memory are bounded, (...) correct ascription of beliefs cannot be guaranteed, even in the limit. We propose a solution to the problem of correct belief ascription for feasible agents which involves ascribing reasoning strategies , or preferences on formulas, to other agents, and show that if a resource-bounded agent knows the reasoning strategy of another agent, then its ascription of beliefs to the other agent is correct in the limit. (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.

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.

Creativity is an imperative need of the twenty-first century, and it seems to be a skill that will monopolize interest for many years. It is, in substance, a newly established scientific field and despite attempts to encroach on the science of psychology, its origin and functions have not been probed yet. Still, it continues to be researched, with ever-increasing vigor, almost in every area of science and action, with the main scope of potential exploitation being education. The philosophical foundation of (...) creativity has not reached the depths that one would expect, and most scientists-thinkers (and... (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)

_Guy Debord: Complete Cinematic Works_ Translated and edited by Ken Knabb Oakland, California: AK Press, 2003 ISBN 1-902593-73-1 62 illustrations, 272 pp.

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)

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)

The Higher School Certificate is a certificate that recognises the successful completion of secondary education in New South Wales, Australia. The most recent enrolment information available suggests that at least 13,472 students undertaking the NSW Higher School Certificate in 2019 conducted research projects that involved human participants. During the course of their high school education current HSC students are taught research design principles and statistics so that they are equipped to plan a research project and determine the meaning of the (...) outcome; however, the students are not systematically taught the application of research ethics during their high school years. This article contends that the NSW HSC curriculum be expanded to include instruction in and application of the fundamentals of research ethics to these high school projects to ensure that all participants involved in these projects are accorded respect and protection as intended by the Australian National Statement on Ethical Conduct in Human Research. (shrink)

The UN Convention on the Rights of Persons with Disabilities (CRPD) withits Optional Protocol is the first binding legal act and leading international instrumentregarding the rights of persons with disabilities. One of the principles of CRPDis “respect for inherent dignity, individual autonomy including the freedom to makeone’s own choices and independence”, whereby persons with disabilities are recognizedas holders of rights taking into account their specific situation. CRPD recognizes inArticle 6 that “women and girls with disabilities are subject to multiple discrimination”and (...) mandates signatory countries to “take measures to ensure their full and equalenjoyment of all human rights and fundamental freedoms.” The research was done inorder to examine the readiness of the state to institutionally cover the awareness of girlsand women with disabilities, their education on the issue of violence, access to servicesand information appropriate to the needs of each category separately, as well as systemicsolutions for their protection from violence. A qualitative research strategy was applied,and the research was conducted with representatives of the Centers for Social Work, representativesfrom the Ministry of Labor and Social Policy, professionals who are directproviders of services in the field of non-family protection, as well as the girls and womenwith disabilities themselves. The main conclusions that emerge from the research saythat girls and women with disabilities are more susceptible to violence, especially bytheir partners or family members. More awareness is needed to recognize and encouragereporting of violence. (shrink)

Combining ethnographic, semiotic, and performative approaches, this book examines texts and accompanying acts of writing of national commemoration. The commemorative visitor book is viewed as a mobilized stage, a communication medium, where visitors' public performances are presented, and where acts of participation are authored and composed. The study contextualizes the visitor book within the material and ideological environment where it is positioned and where it functions. The semiotics of commemoration are mirrored in the visitor book, which functions as a participatory (...) platform that becomes an extension of the commemorative spaces in the museum. The study addresses tourists' and visitors' texts, i.e. the commemorative entries in the book, which are succinct dialogical utterances. Through these public performances, individuals and groups of visitors align and affiliate with a larger imagined national community. Reading the entries allows a unique perspective on communication practices and processes, and vividly illustrates such concepts as genre, voice, addressivity, indexicality, and the very acts of writing and reading. The book's many entries tell stories of affirming, but also resisting the narrative tenets of Zionist national identity, and they illustrate the politics of gender and ethnicity in Israel society. The book presents many ethnographic observations and interviews, which were done both with the management of the site, and with the visitors themselves. The observations shed light on processes and practices involved in writing and reading, and on how visitors decide on what to write and how they collaborate on drafting their entries. The interviews with the site's management also illuminate the commemoration projects, and how museums and exhibitions are staged and managed. (shrink)

Adolescence is a time of transition from childhood to adulthood during which significant changes occur across multiple domains, including emotional experience. This article reviews the relevant literature on adolescents’ experience of four specific dimensions of emotion: emotional frequency, intensity, instability, and clarity. In an effort to examine how emotional experiences change as individuals approach adulthood, we examine these dimensions across ages 10 to 19, and review how the emotional functioning of adolescents compares to that of adults. In addition, we explore (...) whether and how gender and puberty explain age differences in emotional experience. Finally, we discuss how these findings could inform future research on both the typical trajectory of emotional experience and the development of psychopathology in adolescence. (shrink)

Aversive autobiographical memories sometimes prompt maladaptive emotional responses and contribute to affective dysfunction in anxiety and depression. One way to regulate the impact of such memories is to create a downward counterfactual thought–a mental simulation of how the event could have been worse–to put what occurred in a more positive light. Despite its intuitive appeal, counterfactual thinking has not been systematically studied for its regulatory efficacy. In the current study, we compared the regulatory impact of downward counterfactual thinking, temporal distancing, (...) and memory rehearsal in 54 adult participants representing a spectrum of trait anxiety. Participants recalled regretful experiences and rated them on valence, arousal, regret, and episodic detail. Two to six days later, they created a downward counterfactual of the remembered event, thought of how they might feel about it 10 years from now, or simply rehearsed it. A day later, participants re-rated the phenomenological characteristics of the events. Across all participants, downward counterfactual thinking, temporal distancing, and memory rehearsal were equally effective at reducing negative affect associated with a memory. However, in individuals with higher trait anxiety, downward counterfactual thinking was more effective than rehearsal for reducing regret, and it was as effective as distancing in reducing arousal. We discuss these results in light of the functional theory of counterfactual thinking and suggest that they motivate further investigation into downward counterfactual thinking as a means to intentionally regulate emotional memories in affective disorders. (shrink)