D. D. Martin

In this paper, we study the introduction of modal past temporal operators in Temporal Equilibrium Logic, an hybrid formalism that mixes linear-time modalities and logic programs interpreted under stable models and their characterisation in terms of Equilibrium Logic. We show that Kamp’s translation can also be used to translate the new extension of TEL with past operators into Quantified Equilibrium Logic. Additionally, we provide a method for removing past operators that consists in replacing past-time subformulas by fresh auxiliary atoms, obtaining an equivalent formula, modulo the original alphabet.

The creation of new wetlands along rivers as an instrument to mitigate flood risks in times of climate change seduces us to approach the landscape from a 'managerial' perspective and threatens a more place-oriented approach. How to provide ecological restoration with a broad cultural context that can help prevent these new landscapes from becoming non-places, devoid of meaning and with no real connection to our habitable world. In this paper, I discuss three possible alternative interpretations of the meaning of places and place attachment in these 'new nature' projects, and show how all three imply a different view on human identity and history

Non-invasive prenatal testing is at the forefront of prenatal screening. Current uses for NIPT include fetal sex determination and screening for chromosomal disorders such as trisomy 21. However, NIPT may be expanded to many different future applications. There are a potential host of ethical concerns around the expanding use of NIPT, as examined by the recent Nuffield Council report on the topic. It is important to examine what NIPT might be used for before these possibilities become consumer reality. There is limited research exploring views of women on possible future uses of NIPT, particularly those of women who have undergone NIPT. In this study, we examined the views of women who undertook NIPT previously on the acceptability of and interest levels in using NIPT for a number of current and possible future applications. These included several medical conditions encompassing psychiatric, neurodevelopmental and adult-onset conditions as well as non-medical traits such as intelligence. One thousand women were invited to participate and 235 eligible surveys were received. Women generally reported an interest in using NIPT for medical conditions that severely impacted quality of life and with an onset earlier in life and stressed the importance of the accuracy of the test. Concerns were raised about the use of NIPT for non-medical traits. Respondents indicated that termination of pregnancy was not their only reason for testing, particularly in the case of sex. These results can further inform the ethical debate around the increasing integration of NIPT into healthcare systems.

For implementing ethics in AI technology, there are at least two major ethical challenges. First, there are various competing AI ethics guidelines and consequently there is a need for a systematic overview of the relevant values that should be considered. Second, if the relevant values have been identified, there is a need for an indicator system that helps assessing if certain design features are positively or negatively affecting their implementation. This indicator system will vary with regard to specific forms of AI technology. An adequate indicator system for the ethical development of recommendation algorithms, for example, will diverge considerably from another for autonomous road vehicles, although both are based on shared values. In this contribution, we propose solutions to both challenges with regard to the special case of the development of an AI-assisted rescue robot.

Near the end of 2015, Luis Fariñas del Cerro officially retired as directeur de recherche in the Centre National de Recherche Scientifique (CNRS) and became an Emeritus researcher of the CNRS. The present special issue is a Festschrift in his honour to celebrate Luis’s achievements in science, both as an outstanding scholar as well as a remarkable and highly successful organiser, administrator and leader in science and technology policy and management, in particular as the founder of the Journal of Applied Non-Classical Logics. The issue contains 13 scientific contributions by 32 authors, among them Luis’s colleagues, former students and friends. Preceding versions of these papers were presented at the international workshop ‘Logical Reasoning and Computation’ that was held at IRITInstitut de Recherche en Informatique de Toulouse, Université Paul Sabatier, Toulouse, on 3–4 March 2016. The present introduction contains a short scientific biography describing the many different areas of logic and computation where Luis contributed significant advances.

Gustavo Bueno intentó definir la filosofía en dos obras que han marcado su sistema durante más de cuatro décadas: El papel de la filosofía en el conjunto del saber (1970) y ¿Qué es la filosofía? (1995). Planteamos una crítica global a esa definición, que consideramos incompleta, y proponemos completarla, redefiniéndola a una nueva escala. Mantenemos que su “filosofía de la filosofía” se centra en aspectos “sustanciales” (“Geometría de las Ideas”), olvidando los componentes “modales” (filosofía como actividad o modo de vida), lo que le habría llevado a una visión de la filosofía como “especialidad”, en perjuicio de su cariz “imperativo”, imposible de asimilar por ningún “saber” o “taller” concreto, lo que además ayudaría a explicar la racionalidad de las definiciones clásicas de filosofía.

In certain finite extensive games with perfect information, Cristina Bicchieri (1989) derives a logical contradiction from the assumptions that players are rational and that they have common knowledge of the theory of the game. She argues that this may account for play outside the Nash equilibrium. She also claims that no inconsistency arises if the players have the minimal beliefs necessary to perform backward induction. We here show that another contradiction can be derived even with minimal beliefs, so there is no paradox of common knowledge specifically. These inconsistencies do not make play outside Nash equilibrium plausible, but rather indicate that the epistemic specification must incorporate a system for belief revision. Whether rationality is common knowledge is not the issue.

Central to Kierkegaard’s account of religious existence is his critique of speculative reason. This critique begins with the distinction between subjective and objective reflection. Its most radical aspects appear in Kierkegaard’s discussions of the paradox. In spite of Kierkegaard’s frequent comments on this notion, it is not readily understood. I want to argue against a common reading of this notion and propose an alternative reading. This alternative reading allows for a conceptually quite plausible account of the manner in which the paradox presents reason with a boundary, in virtue of its relation to objective reflection and to subjective reflection as well. Because of this boundary, reason points beyond its own achievements to a domain of contemplation and appropriation. This is a domain that reason itself identifies in connection with the paradox. It both surpasses rational achievements and integrates them into itself.

Dissociative experiences have been associated with diachronic disunity. Yet, this work is in its infancy. Dissociative identity disorder is characterized by different identity states reporting their own relatively continuous sense of self. The degree to which patients in dissociative identity states experience diachronic unity has not been empirically explored. This study examined the degree to which patients in dissociative identity states experienced diachronic unity. Participants were DID adults assessed in adult and child identity states, adults with a psychotic illness, adults from the general population, children from the general population and adults imagining themselves as children. They completed the Diachronic Disunity Scale, the Dissociative Experiences Scale, and the Self-Concept Clarity Scale. Diachronic disunity was not limited to psychiatric groups, but evident to some degree in all adult and child samples. The DID adult sample experienced more dissociation and self-confusion than the psychosis and adult comparison groups, but did not differ on the diachronic measure. DID patients in their child identity states and child comparisons showed disunity and were significantly different from child simulators, who showed relatively more unity. Results suggest that DID patients in either adult or child dissociative identity states, like those in other samples, do not universally experience themselves as having a consistent sense of self over time.