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.

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

É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)

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)

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)

One of the leading legal philosophers of this century, Kelsen published this short treatise in 1934, when the neo-Kantian influence on his work was at its zenith. An earlier, "constructivist" phase had been displaced by his effort to provide something approximating a neo-Kantian foundation for his theory. If this second phase represents the Pure Theory of Law in its most characteristic form, then the present treatise may well be its central text. And of Kelsen's many statements of the Pure Theory, (...) this one is surely the most accessible. Topics covered include the legal norm and Kelsen's normativity thesis, law and morality, the role of ideology, the concept of the legal person, legal interpretation, the identity of law and state, and the theory of international law. Among the appendices is an annotated bibliography of secondary literature on Kelsen. (shrink)

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)

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)

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 paper presents the contributions of Alcindo Flores Cabral, professor of Chemistry at the Faculdade de Agronomia Eliseu Maciel, nowadays part of the Universidade Federal de Pelotas, to chemistry teaching. It is a contribution almost unknown to the Brazilian chemical community, although recognized as valuable by several renowned chemists abroad, like W. Hückel, G. Charlot, F. Strong, E. Fessenden and others. Cabral’s innovative helical representation is presented in connection not only with contemporary representations, but also an incursion is made into (...) the first helical systems proposed, those of Hinrichs and of Baumhauer. Some comments are made not only on Cabral’s Classificação Natural dos Elementos, published in 1946, but also about other texts he wrote for an efficient chemistry teaching. (shrink)

Epistemic scoring rules are the en vogue tool for justifications of the probability norm and further norms of rational belief formation. They are different in kind and application from statistical scoring rules from which they arose. In the first part of the paper I argue that statistical scoring rules, properly understood, are in principle better suited to justify the probability norm than their epistemic brethren. Furthermore, I give a justification of the probability norm applying statistical scoring rules. In the second (...) part of the paper I give a variety of justifications of norms for rational belief formation employing statistical scoring rules. Furthermore, general properties of statistical scoring rules are investigated. Epistemic scoring rules feature as a useful technical tool for constructing statistical scoring rules. (shrink)

Este artigo apresenta a contribuição de Alcindo Flores Cabral (1907-1982) - professor de química da Faculdade de Agronomia Eliseu Maciel, hoje incorporada à Universidade Federal de Pelotas - ao ensino de química, uma contribuição quase desconhecida pela própria comunidade química brasileira, embora reconhecida como relevante por diversos químicos estrangeiros importantes, como W. Hückel, G. Charlot, F. Strong, E. Fessenden e outros. A inovadora representação helicoidal de Cabral é apresentada não só em conexão com representações contemporâneas, mas também inclui-se uma incursão (...) pelos primeiros sistemas helicoidais propostos, os de Hinrichs e de Baumhauer. Apresentam-se alguns comentários não somente sobre a Classificação natural dos elementos, publicada em 1946, mas também sobre outros textos escritos para tornar mais eficaz o ensino de química. (shrink)

O presente trabalho examina os aspectos históricos da extração do óleo de canela-sassafrás (Ocotea pretiosa Mez), rico em safrol, no Alto e Médio Vale do Itajaí, a partir de 1940, por iniciativa de Otto Grimm, no município de Rio do Sul. Apresenta-se o tema no contexto da memória química em Santa Catarina, e discutem-se os procedimentos utilizados, e principalmente os motivos que levaram tal indústria incipiente a não se converter em uma indústria de química fina. Para tanto, são apresentados alguns (...) dados pertinentes à química do safrol, indicando que tal indústria poderia ter evoluído, bem como os aspectos econômicos e sociais que, ao lado da proibição do corte da canela-sassafrás, levaram em 1990 à extinção definitiva dessa "química fina que poderia ter sido". (shrink)

Dos diferentes fatores associados a uma mudança de paradigma e, portanto, a uma revolução química, o menos discutido é o que envolve os assim chamados experimentos exemplares, mudanças radicais na metodologia de trabalho e nos procedimentos empíricos da química, mudanças e modificações estas que, no caso de uma ciência natural empírica, podem ter como consequência dados experimentais antes inacessíveis, levando, por fim, a uma nova abordagem de conceitos, hipóteses e teorias e desencadeando uma "revolução" química, um novo paradigma. Muito mais (...) do que uma revolução química, dever-se-ia optar por uma gradativa evolução química. Escolhemos três dessas situações como "exemplares": a modificação no procedimento empírico da química pneumática, com o uso da cuba pneumática contendo mercúrio; a introdução de novos métodos de extração de compostos orgânicos naturais, com a substituição do método pirogênico pelo de extração com solventes; um novo entendimento de "análise química", com a substituição da comparação de amostras tidas como autênticas pela decomposição do analito. (shrink)

The chemist Max von Pettenkofer studied with Justus von Liebig, and after leaving Giessen in 1844 did not immediately find an academic position. During the period 1844/1845 he wrote a cycle of 16 Chemical Sonnets, but published them only in 1886. The Sonnets have with few exceptions a historiographical character. We present a translation of the Sonette into Portuguese as well as commentaries about their content and their philosophical significance. We also comment rather briefly on Pettenkofer’s career as an empirical (...) chemist and later as a somewhat heterodox hygienist. (shrink)

In this essay, we aim to provide an overview of the periodic table’s origins and history, and of the elements which conspired to make it chemistry’s most recognisable icon. We pay attention to Mendeleev’s role in the development of a system for organising the elements and chemical knowledge while facilitating the teaching of chemistry. We look at how the reception of the table in different chemical communities was dependent on the local scientific, cultural and political context, but argue that its (...) eventual universal acceptance is due to its unique ability to accommodate possessed knowledge while enabling novel predictions. Furthermore, we argue that its capacity to unify apparently disconnected phenomena under a simple framework facilitates our understanding of periodicity, making the table an icon of aesthetic value, and an object of philosophical inquiry. Finally, we briefly explore the table’s iconicity throughout its representations in pop art and science fiction. (shrink)