ABSTRACT A propositional temporal logic is introduced whose operators quantify over intervals of a reference time line. The intervals are specified symbolically, for example ?next week's weekend?. The specification language for the intervals takes into account all the features of real calendar systems. A simple statement which can be expressed in this language is for example: ?yesterday I worked for eight hours with one hour lunch break at noon?. Calendar Logic can be translated into propositional logic. Satisfiability is therefore decidable. (...) Since the translation is exponential, a tableau decision procedure for checking decidability is presented as an alternative. (shrink)

This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICTL '94), held at Bonn, Germany in July 1994. Since its conception as a discipline thirty years ago, temporal logic is studied by many researchers of numerous backgrounds; presently it is in a stage of accelerated dynamic growth. This book, as the proceedings of the first international conference particularly dedicated to temporal logic, gives a thorough state-of-the-art report on all aspects of temporal logic research relevant for computer (...) science and AI. It contains 27 technical contributions carefully selected for presentation at ICTL '94 as well as three surveys and position papers. (shrink)

Neuroenhancement involves the use of neurotechnologies to improve cognitive, affective or behavioural functioning, where these are not judged to be clinically impaired. Questions about enhancement have become one of the key topics of neuroethics over the past decade. The current study draws on in-depth public engagement activities in ten European countries giving a bottom-up perspective on the ethics and desirability of enhancement. This informed the design of an online contrastive vignette experiment that was administered to representative samples of 1000 respondents (...) in the ten countries and the United States. The experiment investigated how the gender of the protagonist, his or her level of performance, the efficacy of the enhancer and the mode of enhancement affected support for neuroenhancement in both educational and employment contexts. Of these, higher efficacy and lower performance were found to increase willingness to support enhancement. A series of commonly articulated claims about the individual and societal dimensions of neuroenhancement were derived from the public engagement activities. Underlying these claims, multivariate analysis identified two social values. The Societal/Protective highlights counter normative consequences and opposes the use enhancers. The Individual/Proactionary highlights opportunities and supports use. For most respondents these values are not mutually exclusive. This suggests that for many neuroenhancement is viewed simultaneously as a source of both promise and concern. (shrink)

Neuroenhancement involves the use of neurotechnologies to improve cognitive, affective or behavioural functioning, where these are not judged to be clinically impaired. Questions about enhancement have become one of the key topics of neuroethics over the past decade. The current study draws on in-depth public engagement activities in ten European countries giving a bottom-up perspective on the ethics and desirability of enhancement. This informed the design of an online contrastive vignette experiment that was administered to representative samples of 1000 respondents (...) in the ten countries and the United States. The experiment investigated how the gender of the protagonist, his or her level of performance, the efficacy of the enhancer and the mode of enhancement affected support for neuroenhancement in both educational and employment contexts. Of these, higher efficacy and lower performance were found to increase willingness to support enhancement. A series of commonly articulated claims about the individual and societal dimensions of neuroenhancement were derived from the public engagement activities. Underlying these claims, multivariate analysis identified two social values. The Societal/protective highlights counter normative consequences and opposes the use enhancers. The Individual/proactionary highlights opportunities and supports use. For most respondents these values are not mutually exclusive. This suggests that for many neuroenhancement is viewed simultaneously as a source of both promise and concern. (shrink)

Overtreatment is when medical or dental services are provided with a higher volume or cost than is appropriate. This study aimed to investigate how a group of dentists in Switzerland, a wealthy country known to have high standards of healthcare including dentistry, evaluated the meaning of unnecessary treatments from an ethical perspective and, assessed the expected frequency of different possible behaviors among their peers.

This article sketches an idealized strategy for the identification of neural correlates of consciousness. The proposed strategy is based on a state space approach originating from the analysis of dynamical systems. The article then focuses on one constituent of consciousness, phenomenal awareness. Several rudimentary requirements for the identification of neural correlates of phenomenal awareness are suggested. These requirements are related to empirical data on selective attention, on completely intrinsic selection and on globally unconscious states. As an example, neuroscientific findings on (...) synchronized γ activity are categorized according to these requirements. (shrink)

Philosophical discussions on causal inference in medicine are stuck in dyadic camps, each defending one kind of evidence or method rather than another as best support for causal hypotheses. Whereas Evidence Based Medicine advocates the use of Randomised Controlled Trials and systematic reviews of RCTs as gold standard, philosophers of science emphasise the importance of mechanisms and their distinctive informational contribution to causal inference and assessment. Some have suggested the adoption of a pluralistic approach to causal inference, and an inductive (...) rather than hypothetico-deductive inferential paradigm. However, these proposals deliver no clear guidelines about how such plurality of evidence sources should jointly justify hypotheses of causal associations. We here develop such guidelines by first giving a philosophical analysis of the underpinnings of Hill’s viewpoints on causality. We then put forward an evidence-amalgamation framework adopting a Bayesian net approach to model causal inference in pharmacology for the assessment of harms. Our framework accommodates a number of intuitions already expressed in the literature concerning the EBM vs. pluralist debate on causal inference, evidence hierarchies, causal holism, relevance, and reliability. (shrink)

Written in the 1960s, TRUTH AND METHOD is Gadamer's magnum opus.

Discusses the ethical implications of modern technology and examines the responsibility of humanity for the fate of the world.

According to the objective Bayesian approach to inductive logic, premisses inductively entail a conclusion just when every probability function with maximal entropy, from all those that satisfy the premisses, satisfies the conclusion. When premisses and conclusion are constraints on probabilities of sentences of a first-order predicate language, however, it is by no means obvious how to determine these maximal entropy functions. This paper makes progress on the problem in the following ways. Firstly, we introduce the concept of a limit in (...) entropy and show that, if the set of probability functions satisfying the premisses contains a limit in entropy, then this limit point is unique and is the maximal entropy probability function. Next, we turn to the special case in which the premisses are categorical sentences of the logical language. We show that if the uniform probability function gives the premisses positive probability, then the maximal entropy function can be found by simply conditionalising this uniform prior on the premisses. We generalise our results to demonstrate agreement between the maximal entropy approach and Jeffrey conditionalisation in the case in which there is a single premiss that specifies the probability of a sentence of the language. We show that, after learning such a premiss, certain inferences are preserved, namely inferences to inductive tautologies. Finally, we consider potential pathologies of the approach: we explore the extent to which the maximal entropy approach is invariant under permutations of the constants of the language, and we discuss some cases in which there is no maximal entropy probability function. (shrink)

First published in 1949 expressly to introduce logical positivism to English speakers. Reichenbach, with Rudolph Carnap, founded logical positivism, a form of epistemofogy that privileged scientific over metaphysical truths.

Narrative allegory is distinguished from mythology as reality from symbol; it is, in short, the proper intermedium between person and personification. Where it is too strongly individualized, it ceases to be allegory […]. In the community of scholars of intermedia research, the above quoted citation is commonly regarded as Coleridge’s coining of the term “intermedium” or “intermediality”. However, a short glance at the discursive strategy of his argument emphasizes that his notion of “intermedium” must be closely linked to the poetics (...) and aesthetics of 19th-century romanticism. For the romantic poet, the term of “intermedium” does not point to media relations or intermedia processes but to.. (shrink)

We study questionnaire responses to situations in which sacrificing one life may save many other lives. We demonstrate gender differences in moral judgments: males are more supportive of the sacrifice than females. We investigate a source of the endorsement of the sacrifice: antisocial preferences. First, we measure individual proneness to spiteful behavior, using an experimental game with monetary stakes. We demonstrate that spitefulness can be sizable—a fifth of our participants behave spitefully—but it is not associated with gender. Second, we find (...) that gender is consistently associated with responses even when we account for individual differences in the propensity to spitefulness. (shrink)

Reprinted 1999 by The Lawbook Exchange, Ltd. LCCN 98-32334. ISBN 1-886363-74-9. Cloth. $95. * Reprint of the first edition.

We must restrict to mere probability not only statements of comparatively great uncertainty, like predictions about the weather, where we would cautiously ...

As digital media becomes more central to the lives of adolescents, it also becomes increasingly relevant for their sexual communication. Sexting as an important image-based digital medium provides opportunities for self-determined digital communication, but also carries specific risks for boundary violations. Accordingly, sexting is understood either as an everyday, or as risky and deviant behavior among adolescents. In the affectedness of boundary violations gender plays an important role. However, it is still unclear to what extent digital sexual communication restores stereotypical (...) gender roles and restrictive sexuality norms or, alternatively, enables new spaces of possibility. In this sense, current research points to a desideratum regarding adolescents’ orientations toward sexting as a practice between spaces of possibility and boundary violations. This paper discusses the possibilities, but also the risks, of intimate digital communication among adolescents. The main question is, how adolescents themselves perceive sexting practices and how they position themselves between both spaces for possibility and for the exchange of unwanted sexual content. For this purpose, orientations toward normalities and gender of students are reconstructed. To answer these questions, twelve single-sex, group discussions were carried out with students aged 16 and 17 at five different secondary schools in northern Germany. A total of 20 boys and 22 girls took part. The group discussions were structured by a narrative generating guideline. The analysis draws its methodology from the Documentary Method, regarding implicit and explicit forms of knowledge and discourse. It results in a typology of three types with different orientations. The study shows, that most of the students consider sexting to be a risky practice; only one type shows normality in the use of sexting. At the same time, some of the young people are interested in experimenting with image-based intimate digital communication. Further, gender differences in use and affectedness are also documented. In this way, orientations toward gender stereotypes “favor” both the attribution of responsibility to girls, and overlook the responsibility of students who perpetrated the boundary violation. The orientations of adolescents should be taken more into account in research as well as in educational programs for the prevention of sexual violence. (shrink)

Émile Durkheim remains one of the most controversial, and deeply misunderstood, classics of social theory. His work differs from the dominant version of sociology that has essentially accepted the modernist self-description of contemporary societies; and it contradicts the individualism that has come to dominate the social sciences. For everybody who is interested in constructing theoretical alternatives to this individualism, Durkheim's sociology can be a useful inspiration - not only because of the solutions it suggests, but already because of the questions (...) it asks. Making use of the theoretical possibilities offered by the Durkheimian tradition, however, requires going beyond the familiar appropriations. The Oxford Handbook of Émile Durkheim takes stock of the different recent debates on Durkheimian sociology, and makes them accessible to a wide audience spanning various disciplines; this includes crucial debates that, due to language barriers, are not easily accessible for an English-reading public. The handbook's chapters elucidate the controversial key concepts of Durkheimian sociology; situate them within the contemporary political and theoretical debates they were originally responding to; offer surveys of empirical research that uses Durkheimian concepts (on topics that were already central for Durkheim's own work as well as on topics that Durkheim hardly touched upon), thus demonstrating the possibilities of a Durkheimian sociology; bring out the divergent, and competing, ways in which Durkheim's ideas have been appropriated and reformulated within more recent theoretical developments in the social sciences. In doing so, this volume is an important resource for all scholars and students looking to understand Durkheimian sociology. (shrink)

Augmented Reality (AR) is commonly defined as a digital layer of information viewed on top of the physical world through a smartphone, tablet or eyewear. Increasingly, this understanding of AR is shifting to a dynamic framework of ‘smart things’, including wearable technology, sensors and artificial intelligence (AI), with the ability to intercede in key moments and to deliver contextual and meaningful experiences. The things that come into context are the logical next steps in an evolutionary development towards computers that are (...) better able to show empathy in relation to people: even more human-oriented, anticipative and ubiquitous. Thus, this outsourcing of meaning to empathic technologies points to one of the fundamental questions concerning the relation of human and technology – the nature of the trust that users place in technology. (shrink)

This book both consummates and demonstrates the basic thrust of Jonas's thought: the inseparability of ethics and metaphysics, the reality of values at the ...

Introduction All of us have experienced quite dramatic social changes in our lifetimes. Our families differ greatly from those of our parents, ...