This paper examines and classifies the computational complexity of model checking and satisfiability for hybrid logics over frames with equivalence relations. The considered languages contain all possible combinations of the downarrow binder, the existential binder, the satisfaction operator, and the global modality, ranging from the minimal hybrid language to very expressive languages. For model checking, we separate polynomial-time solvable from PSPACE-complete cases, and for satisfiability, we exhibit cases complete for NP, PS pace , NE xp T ime , and even (...) N2E xp T ime . Our analysis includes the versions of all these languages without atomic propositions, and also complete frames. (shrink)

Peu de travaux explorent les liens grands-parents/petits-enfants en contexte homoparental. Ces travaux montrent une attitude différenciée des grands-parents selon l’acceptation ou non de l’homosexualité de leur enfant devenu parent et un engagement spécifique selon la lignée et/ou le statut légal de parent. La recherche sur laquelle s’appuie cet article porte sur une vingtaine de couples lesboparentaux français (questionnaires et entretiens) avec des enfants nés en 2011 ou 2012, mariés ou non depuis, qui se différencient selon le type de maternité mis (...) en œuvre et le statut du donneur. Les résultats mettent en évidence que plus le couple lesbien se rapproche du modèle bioconjugal, ou plus exactement du modèle conjugo-parental, plus les relations entre petits-enfants et grands-parents sont facilitées des deux côtés des branches maternelles et ceci selon les enjeux intergénérationnels et relationnels de la transmission. (shrink)

Originally presented as author's doctoral thesis. Universitèat, Mèunchen, 2011.

In his reflections on the Cartesian philosophy Leibniz proposes that action rather than thought is the essence of the substance. The action of the substance consists not only in thought, but also in spontaneous motion. By means of this new criterion, Leibniz overcomes the Cartesian distinction between corporeal and spiritual substances. Moreover, he overcomes the Cartesian opposition between subject and object by emphasizing the intentionality of thought through the addition of the principle 'varia a me cogitantur' to Descartes' 'cogito, ergo (...) sum'. In the course of this paper the main characteristics of the monad - action, unity, perception, appetition, apperception - will be presented. (shrink)

The question of the possibility of a world-constitution by logical analysis is exemplarily investigated for two philosophers. Both of them try to the same extent to solve the problem in the context of a universal method founded on the basis of formal logic, while each of them follows opposing aims: on the one hand the foundation , on the other the elimination of metaphysics by logical analysis of language. Following an exposé of the fundamental philosophical and epistemological theses of the (...) two philosophers, the question is answered by treating three partial problems: the so called basic problem , the main problem of the constitution of objects , and the problem of the possible worlds. (shrink)

Machine learning-driven clinical decision support systems (ML-CDSSs) seem impressively promising for future routine and emergency care. However, reflection on their clinical implementation reveals a wide array of ethical challenges. The preferences, concerns and expectations of professional stakeholders remain largely unexplored. Empirical research, however, may help to clarify the conceptual debate and its aspects in terms of their relevance for clinical practice. This study explores, from an ethical point of view, future healthcare professionals’ attitudes to potential changes of responsibility and decision-making (...) authority when using ML-CDSS. Twenty-seven semistructured interviews were conducted with German medical students and nursing trainees. The data were analysed based on qualitative content analysis according to Kuckartz. Interviewees’ reflections are presented under three themes the interviewees describe as closely related: (self-)attribution of responsibility, decision-making authority and need of (professional) experience. The results illustrate the conceptual interconnectedness of professional responsibility and its structural and epistemic preconditions to be able to fulfil clinicians’ responsibility in a meaningful manner. The study also sheds light on the four relata of responsibility understood as a relational concept. The article closes with concrete suggestions for the ethically sound clinical implementation of ML-CDSS. (shrink)

Recording and manipulating neuronal ensemble activity is a key requirement in advanced neuromodulatory and behavior studies. Devices capable of both recording and manipulating neuronal activity brain-computer interfaces should ideally operate un-tethered and allow chronic longitudinal manipulations in the freely moving animal. In this study, we designed a new intracortical BCI feasible of telemetric recording and stimulating local gray and white matter of visual neural circuit after irradiation exposure. To increase the translational reliance, we put forward a Göttingen minipig model. The (...) animal was stereotactically irradiated at the level of the visual cortex upon defining the target by a fused cerebral MRI and CT scan. A fully implantable neural telemetry system consisting of a 64 channel intracortical multielectrode array, a telemetry capsule, and an inductive rechargeable battery was then implanted into the visual cortex to record and manipulate local field potentials, and multi-unit activity. We achieved a 3-month stability of the functionality of the un-tethered BCI in terms of telemetric radio-communication, inductive battery charging, and device biocompatibility for 3 months. Finally, we could reliably record the local signature of sub- and suprathreshold neuronal activity in the visual cortex with high bandwidth without complications. The ability to wireless induction charging combined with the entirely implantable design, the rather high recording bandwidth, and the ability to record and stimulate simultaneously put forward a wireless BCI capable of long-term un-tethered real-time communication for causal preclinical circuit-based closed-loop interventions. (shrink)

This white paper outlines the plans of the History Philosophy Culture Working Group of the Next Generation Event Horizon Telescope Collaboration.

Problem: Visions of technology, future scenarios, guiding visions represent imaginations of future states of affairs that play a functional role in processes of technological research, development and innovation—e.g. as a means to create attention, communication, coordination, or for the strategic exertion of influence. Since a couple of years there is a growing attention for such imaginations of futures in politics, the economy, research and the civil society. This trend concerns technology assessment as an observer of these processes and a consultant (...) on the implications of technology and innovation. TA faces increasing demands to assess imaginations of futures that circulate in the present and to participate in shaping these through scenarios or foresights. More than ever, this raises the question, which propositions can be made based on these imaginations by TA and how this can be used in advisory practices. Imaginations of futures are relevant for TA not as predictions but in their significance and effectiveness in the present, which need to be understood and assessed.Contents: This discussion paper outlines how present significance and effects of imagined futures in technological research and innovation processes can be conceived and analyzed. In this paper, all forms of imaginations of technology futures will be called “socio-technical futures” because within them technological developments and social changes are interwoven and inseparably interrelated. In this paper, we discuss why TA should analyze socio-technical futures, how such analyses can grasp the societal conditions that are expressed in the imagined futures and how these become effective in processes of technology development, communication, decision making etc. We raise the question which self-reflexive positioning or possible realignment of TA is needed as a response to its increased concern with assessing and even co-producing socio-technical futures. The latter is often demanded regarding the growing attention by politics and publics to imaginations of futures with wide temporal and spatial reach.Addressee of this paper is the TA community in a broader sense. The aim is to sensitize colleagues for the topic and its challenges, to consolidate discussions and to provide theoretical and methodical suggestions for research in TA and related advisory practices with respect to socio-technical futures. This paper has been originally initiated during the workshop “The present of technological futures-theoretical and methodical challenges for Technology Assessment”, in which all of the paper’s authors participated. The contents of this discussion paper are preliminary results that shall initiate and guide further discussions. (shrink)