In [3], two different effective versions of Borel embedding are defined. The first, called computable embedding, is based on uniform enumeration reducibility, while the second, called Turing computable embedding, is based on uniform Turing reducibility. While [3] focused mainly on computable embeddings, the present paper considers Turing computable embeddings. Although the two notions are not equivalent, we can show that they behave alike on the mathematically interesting classes chosen for investigation in [3]. We give a “Pull-back Theorem”, saying that if (...) Φ is a Turing computable embedding of K into K’, then for any computable infinitary sentence φ in the language of K’, we can find a computable infinitary sentence φ* in the language of K such that for all. (shrink)

In this essay we argue that the current social and ethical structure in the Open Source Software Community stem from its roots in academia. The individual developers experience a level of autonomy similar to that of a faculty member. Furthermore, we assert that the Open Source Software Community’s social structure demands benevolent leadership. We argue that it is difficult to pass off low quality open source software as high quality software and that the Open Source development model offers strong accountability. (...) Finally, we argue that Open Source Software introduces ethical challenges for universities and the software development community. (shrink)

"The Rules" are found in a collaborative document that states principles for responsibility when a computer artifact is designed, developed and deployed into a sociotechnical system. At this writing, over 50 people from nine countries have signed onto The Rules. Unlike codes of ethics, The Rules are not tied to any organization, and computer users as well as computing professionals are invited to sign onto The Rules. The emphasis in The Rules is that both users and professionals have responsibilities in (...) the production and use of computing artifacts. In this paper, we use The Rules to examine issues of trust. (shrink)

We contend that software developers have an ethical responsibility to strive for reliable software. We base that obligation on long standing engineering traditions that place the public good as a central tenant and on the professional relationship between a software developer and the users of the software developed.

There is a growing literature on the concept of e-trust and on the feasibility and advisability of “trusting” artificial agents. In this paper we present an object-oriented model for thinking about trust in both face-to-face and digitally mediated environments. We review important recent contributions to this literature regarding e-trust in conjunction with presenting our model. We identify three important types of trust interactions and examine trust from the perspective of a software developer. Too often, the primary focus of research in (...) this area has been on the artificial agents and the humans they may encounter after they are deployed. We contend that the humans who design, implement, and deploy the artificial agents are crucial to any discussion of e-trust and to understanding the distinctions among the concepts of trust, e-trust and face-to-face trust. (shrink)

Advances in life-saving technologies in the past few decades have challenged our traditional understandings of death. Traditionally, death was understood to occur when a person stops breathing, their heart stops beating and they are cold to the touch. Today, physicians determine death by relying on a diagnosis of ‘total brain failure’ or by waiting a short while after circulation stops. Evidence has emerged, however, that the conceptual bases for these approaches to determining death are fundamentally flawed and depart substantially from (...) the established biological conception of death. We argue that the current approach to determining death consists of two different types of unacknowledged legal fictions. These legal fictions were developed for practices that are largely ethically legitimate but need to be reconciled with the law. The considerable debate over the determination of death in the medical and scientific literature has not informed the public that vital organs are being procured from still-living donors and it seems unlikely that this information can remain hidden for long. Given the instability of the status quo and the difficulty of making the substantial legal changes required by complete transparency, we argue for a second-best policy solution: acknowledging the legal fictions involved in determining death to move in the direction of greater transparency. This may someday result in more substantial legal change to directly confront the challenges raised by life-sustaining and life-preserving technologies without the need for fictions. (shrink)

ABSTRACTWe investigated the impact of emotions on learning vocabulary in an unfamiliar language to better understand affective influences in foreign language acquisition. Seventy native English speakers learned new vocabulary in either a negative or a neutral emotional state. Participants also completed two sets of working memory tasks to examine the potential mediating role of working memory. Results revealed that participants exposed to negative stimuli exhibited difficulty in retrieving and correctly pairing English words with Indonesian words, as reflected in a lower (...) performance on the prompted recall tests and the free recall measure. Emotional induction did not change working memory scores from pre to post manipulation. This suggests working memory could not explain the reduced vocabulary learning in the negative group. We argue that negative mood can adversely affect language learning by suppressing aspects of native-language processing and impeding form-meaning mapping with second language words. (shrink)

In this paper we examine the case of Tay, the Microsoft AI chatbot that was launched in March, 2016. After less than 24 hours, Microsoft shut down the experiment because the chatbot was generating tweets that were judged to be inappropriate since they included racist, sexist, and anti-Semitic language. We contend that the case of Tay illustrates a problem with the very nature of learning software that interacts directly with the public, and the developer's role and responsibility associated with it. (...) We make the case that when LS interacts directly with people or indirectly via social media, the developer has additional ethical responsibilities beyond those of standard software. There is an additional burden of care. (shrink)

To many who develop and use free software, the GNU General Public License represents an embodiment of the meaning of free software. In this paper we examine the definition and meaning of free software in the context of three events surrounding the GNU General Public License. We use a case involving the GPU software project to establish the importance of Freedom 0 in the meaning of free software. We analyze version 3 of the GNU General Public License and conclude that (...) although a credible case can be made that the added restrictions are consistent with the definition of free software, the case requires subtle arguments. Strong arguments against the added restrictions are less subtle, and may therefore be more convincing to many users and developers. We also analyze the Affero General Public License and conclude that it is inconsistent with the definition of free software. (shrink)

BackgroundIn the Canadian Alliance for Healthy Hearts and Minds (CAHHM) cohort, participants underwent magnetic resonance imaging (MRI) of the brain, heart, and abdomen, that generated incidental findings (IFs). The approach to managing these unexpected results remain a complex issue. Our objectives were to describe the CAHHM policy for the management of IFs, to understand the impact of disclosing IFs to healthy research participants, and to reflect on the ethical obligations of researchers in future MRI studies.MethodsBetween 2013 and 2019, 8252 participants (...) (mean age 58 ± 9 years, 54% women) were recruited with a follow-up questionnaire administered to 909 participants (40% response rate) at 1-year. The CAHHM policy followed a restricted approach, whereby routine feedback on IFs was not provided. Only IFs of severe structural abnormalities were reported.ResultsSevere structural abnormalities occurred in 8.3% (95% confidence interval 7.7–8.9%) of participants, with the highest proportions found in the brain (4.2%) and abdomen (3.1%). The majority of participants (97%) informed of an IF reported no change in quality of life, with 3% of participants reporting that the knowledge of an IF negatively impacted their quality of life. Furthermore, 50% reported increased stress in learning about an IF, and in 95%, the discovery of an IF did not adversely impact his/her life insurance policy. Most participants (90%) would enrol in the study again and perceived the MRI scan to be beneficial, regardless of whether they were informed of IFs. While the implications of a restricted approach to IF management was perceived to be mostly positive, a degree of diagnostic misconception was present amongst participants, indicating the importance of a more thorough consent process to support participant autonomy.ConclusionThe management of IFs from research MRI scans remain a challenging issue, as participants may experience stress and a reduced quality of life when IFs are disclosed. The restricted approach to IF management in CAHHM demonstrated a fair fulfillment of the overarching ethical principles of respect for autonomy, concern for wellbeing, and justice. The approach outlined in the CAHHM policy may serve as a framework for future research studies.Clinical trial registrationhttps://clinicaltrials.gov/ct2/show/nct02220582. (shrink)

In The Ethics of Food, Gregory E. Pence brings together a collection of voices who share the view that the ethics of genetically modified food is among the most pressing societal questions of our time. This comprehensive collection addresses a broad range of subjects, including the meaning of food, moral analyses of vegetarianism and starvation, the safety and environmental risks of genetically modified food, issues of global food politics and the food industry, and the relationships among food, evolution, and human (...) history. (shrink)

This report describes the rationale, approaches, organization, and resource development leading to a large-scale deletion bin map of the hexaploid wheat genome. Accompanying reports in this issue detail results from chromosome bin-mapping of expressed sequence tags representing genes onto the seven homoeologous chromosome groups and a global analysis of the entire mapped wheat EST data set. Among the resources developed were the first extensive public wheat EST collection. Described are protocols for sequencing, sequence processing, EST nomenclature, and the assembly of (...) ESTs into contigs. These contigs plus singletons were used for selection of distinct sequence motif unigenes. Selected ESTs were rearrayed, validated by 5′ and 3′ sequencing, and amplified for probing a series of wheat aneuploid and deletion stocks. Images and data for all Southern hybridizations were deposited in databases and were used by the coordinators for each of the seven homoeologous chromosome groups to validate the mapping results. Results from this project have established the foundation for future developments in wheat genomics. (shrink)

We study the relative complexity of equivalence relations and preorders from computability theory and complexity theory. Given binary relationsR,S, a componentwise reducibility is defined byR≤S⇔ ∃f∀x, y[x R y↔fS f].Here,fis taken from a suitable class of effective functions. For us the relations will be on natural numbers, andfmust be computable. We show that there is a${\rm{\Pi }}_1^0$-complete equivalence relation, but no${\rm{\Pi }}_k^0$-complete fork≥ 2. We show that${\rm{\Sigma }}_k^0$preorders arising naturally in the above-mentioned areas are${\rm{\Sigma }}_k^0$-complete. This includes polynomial timem-reducibility on (...) exponential time sets, which is${\rm{\Sigma }}_2^0$, almost inclusion on r.e. sets, which is${\rm{\Sigma }}_3^0$, and Turing reducibility on r.e. sets, which is${\rm{\Sigma }}_4^0$. (shrink)

Let ℜ be an o-minimal expansion of (ℝ, <+) and (φk)k∈ℕ be a sequence of positive real numbers such that limk→+∞f(φk)/φk+1=0 for every f:ℝ→ ℝ definable in ℜ. (Such sequences always exist under some reasonable extra assumptions on ℜ, in particular, if ℜ is exponentially bounded or if the language is countable.) Then (ℜ, (S)) is d-minimal, where S ranges over all subsets of cartesian powers of the range of φ.

We say that E is R-sparse if f(Ek) has no interior, for each k 2 N and f : Rk ! R de nable in R. (Throughout, \de nable" means \de nable without parameters".) In this note, we consider the extent to which basic metric and topological properties of subsets of R de nable in (R;E)# are determined by the corresponding properties of subsets of R de nable in (R;E), when R is an o-minimal expansion of (R;<;+;0;1) and E is (...) R-sparse. The precise statement of the main result is a bit complicated, but we can state some special cases now. (shrink)

The philosophy of Wittgenstein is both novel and enigmatic. What is his new revolutionizing methodology? What is his aim, his purpose, his intention? What does he mean by the puzzling terms ‘forms of life’, ‘language-games’, ‘seeing as’? The key to the answers, according to the thesis of this paper, lies in Wittgenstein’s conception of the ‘Weltanschauung’. By the explanation of the use of this term, the entire philosophy of Wittgenstein may become illuminated with new meaning and interpretation. In understanding the (...) meaning of the word ‘Weltanschauung’ we shall come to understand why Wittgenstein used his new method, just what that method was, and what the impact of the concept and method had on the terms ‘Language-game’, ‘forms of life’ and ‘seeing as’. (shrink)

The average male–female performance difference in the three sports of track athletics, swimming and time trial cycling are examined between the years 1948 and 1976. During this period females have gradually come to participate in a much larger number of events, particularly those of longer duration. In each of these three sports, women's performances in relation to men's have more or less continuously improved and it appears that if the changes between 1948 and 1976 are maintained, average female performance will (...) equal that of males for all events currently competed in by both sexes in these sports at some time during the next century. Estimates as to when, precisely, this will occur vary somewhat according to the basis on which the calculations are made. The other main change evident during these years is that in all three sports women's performances relative to men's for events of long duration have become as good or better than their relative performance at events of short duration. (shrink)

Those who deny the usefulness of the concept of “motive” for psychology commonly bring two arguments in support of theirview. The first is that the whole notion of “motive” is “animistic” and “folklorish”, since a motive cannot be directly observed. The second is that “motives” cannot be accurately observed, and therefore are beyond the scope of scientific study, because they are “the secret of the agent”, and the agenthimself has no indubitable knowledge of his “motives”. In a recent article, Professor (...) MacIver defends the view that the imputation of “motives” is necessary to a complete explanation of behaviour. To the first of the above criticisms, he replies that such a view neglects a part of reality and that since “motives” exist they should be studied by psychology. This reply does nothing to demonstrate the necessity of imputing motives in order to obtain a complete explanation of behaviour. To the second criticism he replies “motives” are not the secret of the agent, and we can only assert that the agent has mistaken his “motive” if we can gain indepen-dent knowledge of it. We can do this, Professor MacIver asserts, by observing typical behaviour in typical circum-stances, and making inferences from the coherence of total situations. Professor MacIver's replies to the second of the above criticisms are valid only if “motive” is defined as equivalent to “need”, so that we can say “under such-and-such conditions, such-and-such behaviour occurs”. A statement of this type says nothing about the agent's awareness of his goal. When the term “consciousness” is carefully defined along the lines suggested by Boring, the methods of imputation described by Professor MacIver can be seen to lead us only to the agent's “drives”, or “needs”, defined without reference to the agent's awareness of his goal. Professor MacIver uses “motives” to mean “awareness of the goal”, but gives us no clue as to how they may be imputed, and adduces no proof that their imputation is necessary. A possible criterion of the presence of a “motive” is the degree of direction observable in the organism's varied reac-tions in response to frustration, though the more precise definition of such a criterion must await further experiment. In view of the ambiguity of the term “motive” and its penumbra of false suggestion, it is desirable that the term be dropped from psychology. (shrink)