Interactive media arts offer us new approaches to the role of theatrical representation. Nowadays, digital technology allows us to explore self-representation in systems that cross over between installation art, theatre and performance. By confronting the subject with his or her own image, these devices question the mechanisms of identification and denegation. Both the theatrical creations and the interactive forms that are examined here invite the spectator to explore the relationship between identification and denegation. All the artistic productions that are studied (...) in this article call for a virtual double that the immersant meets: Liquid Views (1992) and Rigid Waves ([1993] 2008) by Monika Fleischmann and Wolfgang Strauss, Telematic Dreaming ([1992] 2007) by Paul Sermon and Eux (2008) by the Crew company and Sensorama (2009) by the Andwhatbeside(s)death company. In all of these artworks, the participant is encouraged to give less importance to his or her cognitive senses in order to allow his or her sensations to create a representation of himself or herself. The overlap between identity and otherness is therefore to be found at the very heart of the sensitive body. (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.

Counterfactual thinking, or simulating alternative versions of occurred events, is a common psychological strategy people use to process events in their lives. However, CFT is also a core com...

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)

Satisficing consequentialism is an unpopular theory. Because it permits gratuitous sub-optimal behaviour, it strikes many as wildly implausible. It has been widely rejected as a tenable moral theory for more than twenty years. In this article, I rehearse the arguments behind this unpopularity, before examining an attempt to redeem satisficing. Richard Yetter Chappell has recently defended a form of ‘effort satisficing consequentialism’. By incorporating an ‘effort ceiling’ – a limit on the amount of willpower a situation requires – and requiring (...) that agents produce at least as much good as they could given how much effort they are exerting, Chappell avoids the obvious objections. However, I demonstrate that the revised theory is susceptible to a different objection, and that the resulting view requires that any supererogatory behaviour must be efficient, which fails to match typical moral verdicts. (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.

The god of writing is thus at once his father, his son, and himself. He cannot be assigned a fixed spot in the play of differences. Sly, slippery, and masked, an intriguer and a card, like Hermes, he is neither king nor jack, but rather a sort of joker, a floating signifier, a wild card, one who puts play into play.They are called tricksters, song dogs, and ghosts of the prairie. Indigenous to North and Central America, the coyote has been (...) revered in the stories of native tribes, trapped and hunted by ranchers, and detonated in Saturday-morning cartoons. Recently, the multitextual coyote has assumed a new role, that of “patroller” in downtown Chicago. This role came to light in November 2010, when local news .. (shrink)

Inclusive education is a process that integrates students with special needs inmainstream schools, providing them with appropriate support and adaptations. Thispaper discusses the differences between mainstream and special education, focusing onthe right to education, aims and approaches, responsibilities and competences, curricula,focus of education, teacher preparation, learning conditions, teaching methods, learningstandards, assessment and evaluations, teacher competencies, educational researchand legislation. In Macedonia, inclusive education started in 1998 and is still in theprocess of development, aimed at the full inclusion of students with disabilities, (...) which isstipulated in the Law on Basic Education passed in 2019.The methodology includes an analysis of existing research and laws, as well as acomparative study of regular and special education. Data from relevant sources such asEuropean and national education agencies, UNICEF reports and laws on special educationwere used. This methodology enables a detailed overview of the current situationand challenges in inclusive education.The conclusion is that although significant efforts have been made for theintegration of students with special needs in mainstream schools, there are manychallenges that need to be overcome. Better support for teachers, more resources andfunding, and a change in attitudes of the society are needed. With appropriate measuresand policies, real inclusion and quality education for all students can be achieved. (shrink)

This chapter explores if androids like Ash in Alien have rights. Philosophers have tried to answer this type of question in several ways. The chapter looks at a few of these different ways, thinking about some cases that might be surprisingly difficult to explain, like why babies matter, whether animals have moral status, and what we should think about synthetics in this regard. Australian philosopher, Peter Singer argues that it is speciesist to treat human beings as the only things worthy (...) of moral status. He thinks speciesism, like racism and sexism, is morally abhorrent. Animals, aliens, or androids might be in the class of things having moral status. Autonomy is one trait some philosophers, have thought is a good candidate for conferring moral status. One reason people might think of autonomy as the supreme notion of moral status is the role it plays in fixing the meaning of other moral ideas. (shrink)

We consider a predicate logic Lfd where not all assignments of values to individual variables are possible. Some variables are functionally dependent on other variables. This makes sense if the models of logic are assumed to correspond to databases or states. We show that Lfd is undecidable but has a complete and sound sequent calculus formalisation.

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)

Two uses of ‘if are discussed which do not involve conditions. The first is illustrated in the example ‘If he's here, I don't see him’, the second in ‘He's not a dunce, if a trifle stupid’. A third non‐conditional use, cognate with the first is also mentioned: it would be illustrated in the example ‘If he's a Dutchman, I'll eat my hat’. It is argued that recent attempts to formulate a logic of conditionals have distorted our understanding of ‘if, by (...) ignoring these uses, sometimes deliberately. Specifically, as a result, many arguments involving ‘if have been misjudged as invalid, because the expectation has been that ‘if expresses a condition. It is suggested that the traditional analysis of ‘necessary and sufficient conditions’ in terms of ‘if and only if, is partly to blame for these misunderstandings. And the proper understanding of ‘if’ which emerges shows it is quite fully captured in the propositional calculus. (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)

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)

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)

Analogues of Ramsey’s Theorem for infinite structures such as the rationals or the Rado graph have been known for some time. In this context, one looks for optimal bounds, called degrees, for the number of colors in an isomorphic substructure rather than one color, as that is often impossible. Such theorems for Henson graphs however remained elusive, due to lack of techniques for handling forbidden cliques. Building on the author’s recent result for the triangle-free Henson graph, we prove that for (...) each [Formula: see text], the k-clique-free Henson graph has finite big Ramsey degrees, the appropriate analogue of Ramsey’s Theorem. We develop a method for coding copies of Henson graphs into a new class of trees, called strong coding trees, and prove Ramsey theorems for these trees which are applied to deduce finite big Ramsey degrees. The approach here provides a general methodology opening further study of big Ramsey degrees for ultrahomogeneous structures. The results have bearing on topological dynamics via work of Kechris, Pestov, and Todorcevic and of Zucker. (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.

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.

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)

Normative debates on migration control, while characterised by profound disagreement, do appear to agree that the state has at least a prima facie right to prevent the entry of security threats. While concern is sometimes raised that this ‘security exception’ can be abused, there has been little focus by normative theorists on concrete practices of security, and how we can determine what a ‘principled’ use of the security exception would be. I argue that even if states have a right to (...) prevent migrants from entering on grounds of security, the practices required to implement this right will likely compromise core liberal democratic values in ways that have not been sufficiently appreciated. I draw on literature from Science and Technology Studies and Critical Security Studies to examine the proliferation of digital border control technologies which are increasingly dominating state security practices, and explain the challenges these technologies pose to non-discrimination, liberty and equality. I also highlight the difficulties of taking these principles as presumptive limitations on the operation of the security exception. A more sustained conversation among ethical theorists is needed to address the profound ethical challenges that the ever-increasing use of these technologies poses, particularly in pursuit of security. (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)

Despite decades of concerted efforts to communicate to the public on important scientific issues pertaining to the environment and public health, gaps between public acceptance and the scientific consensus on these issues remain stubborn. One strategy for dealing with this shortcoming has been to focus on the existence of scientific consensus on the relevant matters. Recent science communication research has added support to this general idea, though the interpretation of these studies and their generalizability remains a matter of contention. In (...) this paper, we describe results of a qualitative interview study on different models of scientific consensus and the relationship between such models and trust of science, finding that familiarity with scientific consensus is rarer than might be expected. These results suggest that consensus messaging strategies may not be effective. (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)

For many families, the idea of going out for walks and family adventures can be a dream that is erased by the determination of autistic spectrum in a child. Gaps in the health and quality of life of young people with autism spectrum disorder (ASD) are well documented. One particularly noticeable gap that affects both physical health and quality of life is in the area of outdoor recreation, particularly including outdoor recreation activities such as biking, hiking, running, canoeing/kayaking, horseback riding, (...) and skiing. Of the many outdoor activities to promote physical fitness, hiking is perhaps the most versatile and accessible for people with ASD. Hiking is a natural extension of walking. It is one of the first skills we acquire, one of the most important activities in everyday life and one of the few forms of recreation that does not require specific equipment and conditions. On the other hand, except for perhaps the most densely populated urban areas, there are almost always trails nearby. Lately even urban hikes that move around the city are becoming more and more popular. Whether you’re climbing the mountains at an expert level or hiking a trail, hiking gets your kids moving, which is of utmost importance in our modern society, when childhood seems to be filled more and more with time spent in front of the screens, and for children with autism this can become a serious problem. The main goal of this paper, on the one hand, is to increase awareness of the importance of hiking for psychophysical health, both for people from the general population and for people with ASD, but also to give recommendations for the approach and the way of organizing hiking activities for people with ASD, on the other hand. (shrink)

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)

What are species? Are they objective features of the world? If so, what sort of features are they? Do everyday intuitions that species are real stand up to philosophical and scientific scrutiny? Two rival accounts of species' reality have dominated the discussion: that species are natural kinds defined by essential properties and that species are individuals. Unfortunately, neither account fully accommodates biological practice. In Are Species Real?, Slater presents a novel approach to this question aimed at accommodating the attractions (...) to both realism and antirealism about species. (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.

One of the claims made for C. S. Peirce's existential graphs has been that they are a deductively complete formulation of first-order logic with identity. As Peirce presented them, this is true only for certain versions of first-order logic :those which do not include terms for individuals. I amend Peirce's rules here, showing, in particular, how they are capable of demonstrating that, for instance, ?Jack is in the kitchen? contradicts ?Jack is not in the kitchen?

Forensic archaeology, the application of archaeological methods in a criminal framework, has undergone a rapid process of acceptance and development. From the initial occasional involvement of archaeologists in the search for and recovery of murder victims in the late 1970s, to the general acceptance of archaeological methods, such as shallow level geophysics, this chapter provides a brief history of forensic archaeology in the United Kingdom and beyond. It outlines the ways in which an archaeologist’s understanding of formation processes and skills (...) in the interpretation of human behaviour from physical alterations to the landscape can be of benefit to different stages and types of investigation. Discussing the way in which the archaeologist can usefully contribute to the investigation of a crime, the chapter looks at the methods which have been successfully applied in a number of high-profile cases and the considerations which the forensic archaeologist must make which are not an issue for ‘traditional’ archaeology. In a discipline which has reached a critical point in its development with the acknowledgement that archaeological skills should regularly form an integral part of crime scene investigation and an increase in professional training, the authors explain how forensic archaeology is now moving to increased standardization and attempts at quality assurance. (shrink)