In this paper a new property of theories, called effective retractability is introduced and used to obtain a characterization for the degrees of subtheories of arithmetic and set theory. By theory we understand theory in standard formalization as defined by Tarski [10]. The word degree refers to the Kleene-Post notion of degree of recursive unsolvability [2]. By the degree of a theory we mean, of course, the degree associated with its decision problem via Gödel numbering.

This is the first book to offer the best essays, articles, and speeches on ethics and intelligence that demonstrate the complex moral dilemmas in intelligence collection, analysis, and operations. Some are recently declassified and never before published, and all are written by authors whose backgrounds are as varied as their insights, including Robert M. Gates, former Director of the Central Intelligence Agency; John P. Langan, the Joseph Cardinal Bernardin Professor of Catholic Social Thought at the Kennedy Institute of Ethics, Georgetown (...) University; and Loch K. Johnson, Regents Professor of Political Science at the University of Georgia and recipient of the Owens Award for contributions to the understanding of U.S. intelligence activities. Creating the foundation for the study of ethics and intelligence by filling in the gap between warfare and philosophy, this is a valuable collection of literature for building an ethical code that is not dependent on any specific agency, department, or country. (shrink)

Rapid advances in the domain of science and technology are having an unprecedented effect upon the provision of higher education in universities throughout the world, the pace of change often being so fast as to make planning for the development of the “classroom of the future” an extremely difficult task. The Mobile Multimedia University (MMU) project, a collaborative action between four leading UK based research facilities, has been established to investigate these issues. Included amongst its aims is the use of (...) novel research methodologies to determine the factors which will influence the shape and form of future education provision, and thus the distribution of knowledge to society, such as mobility, telecommunications and multimedia services. This paper describes the use of a Delphi survey in predicting the technological trends and innovations which will affect university education in the near future. It describes the theory underpinning the Delphi method, illustrating this with examples of how such a technique has been successfully used in the past. It then details the specific application of the Delphi approach within the current MMU research project, detailing the preliminary results and discussing the implications of these findings for the future of universities and other institutes of higher education. (shrink)

This article is an attempt to clarify a confusion in the brain death literature between logical sufficiency/necessity and natural sufficiency/necessity. We focus on arguments that draw conclusions regarding empirical matters of fact from conceptual or ontological definitions. Specifically, we critically analyze arguments by Tom Tomlinson and Michael B. Green and Daniel Wikler. which, respectively, confuse logical and natural sufficiency and logical and natural necessity. Our own conclusion is that it is especially important in discussing the brain death issue to observe (...) the distinction between logical and natural sufficiency/necessity in a strict fashion. (shrink)

Some argue the common practice of inferring multiple processes or systems from a dissociation is flawed. One proposed solution is state-trace analysis, which involves plotting, across two or more conditions of interest, performance measured by either two dependent variables, or two conditions of the same dependent measure. The resulting analysis is considered to provide evidence that either a single process underlies performance or there is evidence for more than one process. This article reports simulations using the simple recurrent network in (...) which changes to the learning rate produced state-trace plots with multiple functions. We also report simulations using a single-layer error-correcting network that generate plots with a single function. We argue that the presence of different functions on a state-trace plot does not necessarily support a dual-system account, at least as typically defined ; it can also indicate variation in a single parameter within theories generally considered to be single-system accounts. (shrink)

Ambitious targets to reduce greenhouse gas emissions from agriculture have been set by both national governments and their respective livestock sectors. We hypothesize that farmer self-identity influences their assessment of climate change and their willingness to implement measures which address the issue. Perceptions of climate change were determined from 286 beef/sheep farmers and evaluated using principal component analysis. The analysis elicits two components which evaluate identity, and two components which evaluate behavioral capacity to adopt mitigation and adaptation measures. Subsequent Cluster (...) Analyses reveal four farmer types based on the PCA scores. ‘The Productivist’ and ‘The Countryside Steward’ portray low levels of awareness of climate change, but differ in their motivation to adopt pro-environmental behavior. Conversely, both ‘The Environmentalist’ and ‘The Dejected’ score higher in their awareness of the issue. In addition, ‘The Dejected’ holds a high sense of perceived risk; however, their awareness is not conflated with an explicit understanding of agricultural GHG sources. With the exception of ‘The Environmentalist’, there is an evident disconnect between perceptions of agricultural emission sources and their contribution towards GHG emissions amongst all types. If such linkages are not conceptualized, it is unlikely that behavioral capacities will be realized. Effective communication channels which encourage action should target farmers based on the groupings depicted. Therefore, understanding farmer types through the constructs used in this study can facilitate effective and tailored policy development and implementation. (shrink)

Early versions of satellite and radiosonde datasets suggested that the tropical surface had warmed more than the troposphere, while climate models consistently showed tropospheric amplification of surface warming in response to human-caused increases in greenhouse gases. We revisit such comparisons here using new observational estimates of surface and tropospheric temperature changes. We find that there is no longer a serious discrepancy between modeled and observed trends in the tropics. Our results contradict a recent claim that all simulated temperature trends in (...) the tropical troposphere are inconsistent with observations. This claim was based on the use of older radiosonde and satellite datasets and on two methodological errors: the neglect of observational trend uncertainties introduced by interannual climate variability and application of an inappropriate statistical “consistency test”.This emerging reconciliation of models and observations has two primary explanations. First, because of changes in the treatment of buoy and satellite information, new surface temperature datasets yield slightly reduced tropical warming relative to earlier versions. Second, recently developed satellite and radiosonde datasets now show larger warming of the tropical lower troposphere. In the case of a new satellite dataset from remote sensing systems, enhancedRSS warming is due to an improved procedure of adjusting for inter-satellite biases. When the RSS-derived tropospheric temperature trend is compared with four different observed estimates of surface temperature change, the surface warming is invariably amplified in the tropical troposphere, consistent with model results. Even if we use data from a second satellite dataset with smaller tropospheric warming than in remote sensing systems RSS, observed tropical lapse rates are not significantly different from those in all model simulations.Our results contradict a recent claim that all simulated temperature trends in the tropical troposphere and in tropical lapse rates are inconsistent with observations. This claim was based on the use of older radiosonde and satellite datasets and on two methodological errors: the neglect of observational trend uncertainties introduced by interannual climate variability and application of an inappropriate statistical “consistency test”. (shrink)

This article names some of the human under standings and ways of being that are fundamental to teaching and learning, which new educational tech nologies, especially the computer, tend to remake, reduce, or replace altogether in K-12 classrooms. The article asks questions and tells stories about students, teachers, and the authors themselves using computers for educational purposes, investigating three particular uses of technology in detail. The authors argue that new educational technologies change the meaning of words common to teachers' vocabularies, (...) especially words such as classroom community, knowing, and coming to know. The authors also argue that human senses used in learning are nullified, if not assaulted, by new educational technologies. (shrink)

_341_ _Objectives: _In patients with multivessel disease both the detection of the culprit lesion and the exact allocation are important preconditions for sufficient treatment and improved outcome. In a vessel based approach the combination of quantitative coronary angiography and fractional flow reserve measured by a pressure wire should be advantageous compared to myocardial SPECT, as morphological and functional information is delivered simultaneously. Therefore our aim was to evaluate MS in the detection and allocation of hemodynamically significant stenoses obtained by the (...) combined gold standard QCA plus FFR in patients with multivessel disease. _Methods: _FFR and QCA of 95 vessels in 80 patients have been evaluated. Hemodynamically significant target lesions were defined as intermediate stenoses between 50 and 75% with an FFR. (shrink)

ABSTRACT:A wide range of research uses patterns of genetic variation to infer genetic similarity between individuals, typically referred to as genetic ancestry. This research includes inference of human demographic history, understanding the genetic architecture of traits, and predicting disease risk. Researchers are not just structuring an intellectual inquiry when using genetic ancestry, they are also creating analytical frameworks with broader societal ramifications. This essay presents an ethics framework in the spirit of virtue ethics for these researchers: rather than focus on (...) rule following, the framework is designed to build researchers’ capacities to react to the ethical dimensions of their work. The authors identify one overarching principle of intellectual freedom and responsibility, noting that freedom in all its guises comes with responsibility, and they identify and define four principles that collectively uphold researchers’ intellectual responsibility: truthfulness, justice and fairness, anti-racism, and public beneficence. Researchers should bring their practices into alignment with these principles, and to aid this, the authors name three common ways research practices infringe these principles, suggest a step-by-step process for aligning research choices with the principles, provide rules of thumb for achieving alignment, and give a worked case. The essay concludes by identifying support needed by researchers to act in accord with the proposed framework. (shrink)

J. T. Hooker argues that at Il. 24.649 πικερτομων must mean ‘taunting’ and, since ‘taunting’ makes no sense, that πικερτομων must have entered our Iliad at this point from a version of the Iliad slightly different from ours in which it did make sense. I wish to argue that πικερτομων has a meaning different from ‘taunting’, which makes good sense of this, and every other, context.

Recognising and responding appropriately to emotions is critical to adaptive psychological functioning. Psychopathic traits (e.g. callous, manipulative, impulsive, antisocial) are related to differences in recognition and response when emotion is conveyed through facial expressions and language. Use of emotional music stimuli represents a promising approach to improve our understanding of the specific emotion processing difficulties underlying psychopathic traits because it decouples recognition of emotion from cues directly conveyed by other people (e.g. facial signals). In Experiment 1, participants listened to clips (...) of emotional music and identified the emotional content (Sample 1, N = 196) or reported on their feelings elicited by the music (Sample 2, N = 197). Participants accurately recognised (t(195) = 32.78, p <.001, d = 4.69) and reported feelings consistent with (t(196) = 7.84, p <.001, d = 1.12) the emotion conveyed in the music. However, psychopathic traits were associated with reduced emotion recognition accuracy (F(1, 191) = 19.39, p <.001) and reduced likelihood of feeling the emotion (F(1, 193) = 35.45, p <.001), particularly for fearful music. In Experiment 2, we replicated findings for broad difficulties with emotion recognition (Sample 3, N = 179) and emotional resonance (Sample 4, N = 199) associated with psychopathic traits. Results offer new insight into emotion recognition and response difficulties that are associated with psychopathic traits. (shrink)

J. T. Hooker argues that at Il. 24.649 ⋯πικερτομ⋯ων must mean ‘taunting’ and, since ‘taunting’ makes no sense, that ⋯πικερτομ⋯ων must have entered ourIliadat this point from a version of theIliadslightly different from ours in which it did make sense. I wish to argue that ⋯πικερτομ⋯ων has a meaning different from ‘taunting’, which makes good sense of this, and every other, context.

In this essay I show that Structuralism, in order to combat the impression that it is “untenable and outmoded,” needs to be attached to a phenomenology of transcendental intersubjectivity. My argument for this conclusion is: 1) that Peter Caws is right in arguing that Structuralism needs a notion of the transcendental subject because its objects, qua intentional, presuppose such a subject; 2) the objects withwhich Structuralism is concemed are objects in the sense that Husserl speaks of objects ofthe spiritual world; (...) and, 3) the spiritual world, indeed the world in general, is constituted intersubjectively. Therefore, Structuralism needs a notion of transcendental intersubjectivity.Dans cet essai, je démontre que le structuralisme doit être rattaché à une phénoménologie de l’intersubjectivité transcendantale afin d’éviter l’impression qu’il donne d’être «intenable et démodé». J’appuie cette conclusion à l’aide des arguments suivants: 1) Peter Caws a raison d’arguer que le structuralisme a besoin d’une notion de sujet transcendantal parce que ses objets, en tant qu’intentionnels, présupposent un tel sujet; 2) les objets dont s’occupe le structuralisme sont des objets au sens oú Husserl parle d’objets du monde spirituel; et 3) le monde spirituel, enfait le monde en général, est constitué de façon intersubjective. Ainsi, le structuralisme requiert une notion d’intersubjectivité transcendantale. (shrink)