Game-theoretic solution concepts describe sets of strategy profiles that are optimal for all players in some plausible sense. Such sets are often found by recursive algorithms like iterated removal of strictly dominated strategies in strategic games, or backward induction in extensive games. Standard logical analyses of solution sets use assumptions about players in fixed epistemic models for a given game, such as mutual knowledge of rationality. In this paper, we propose a different perspective, analyzing solution algorithms as processes of learning (...) which change game models. Thus, strategic equilibrium gets linked to fixed-points of operations of repeated announcement of suitable epistemic statements. This dynamic stance provides a new look at the current interface of games, logic, and computation. (shrink)

This paper examines explanations for human artistic behavior in two reductionist research programs, cognitive neuroscience and evolutionary psychology. Despite their different methodological outlooks, both approaches converge on an explanation of art production and appreciation as byproducts of normal perceptual and motivational cognitive skills that evolved in response to problems originally not related to art, such as the discrimination of salient visual stimuli and speech sounds. The explanatory power of this reductionist framework does not obviate the need for higher-level accounts of (...) art from the humanities, such as aesthetics, art history or anthropology of art. (shrink)

In the last few years, preference logic and in particular, the dynamic logic of preference change, has suddenly become a live topic in my Amsterdam and Stanford environments. At the request of the editors, this article explains how this interest came about, and what is happening. I mainly present a story around some recent dissertations and supporting papers, which are found in the references. There is no pretense at complete coverage of preference logic (for that, see Hanson 2001) or even (...) of preference change (Hanson 1995). (shrink)

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 2 BASIC MODAL LOGIC . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.

Previous research has demonstrated that trait self-control is related to a range of positive romantic relationship processes, suggesting that trait self-control should be positively and robustly linked to relationship satisfaction in both partners in a romantic relationship. However, the existing empirical evidence is limited and mixed, especially regarding partner effects. With three datasets of heterosexual couples, the present pre-registered studies examined: the dyadic associations between trait self-control and relationship satisfaction both cross-sectionally and longitudinally, and whether these effects hold when controlling (...) for both partners’ relationship commitment. The results indicated a cross-sectional positive actor effect, some support for a positive cross-sectional partner effect, and only little support for a longitudinal actor effect. After controlling for relationship commitment, all effects of trait self-control on satisfaction diminished except for a longitudinal actor effect among women in Study 2. Potential explanations for the current results, and implications for theory and practice, are discussed. (shrink)

For a Euclidean space , let L n denote the modal logic of chequered subsets of . For every n 1, we characterize L n using the more familiar Kripke semantics, thus implying that each L n is a tabular logic over the well-known modal system Grz of Grzegorczyk. We show that the logics L n form a decreasing chain converging to the logic L of chequered subsets of . As a result, we obtain that L is also a logic (...) over Grz, and that L has the finite model property. We conclude the paper by extending our results to the modal language enriched with the universal modality. (shrink)

Labeled transition systems are key structures for modeling computation. In this paper, we show how they lend themselves to ordinary logical analysis (without any special new formalisms), by introducing their standard first-order theory. This perspective enables us to raise several basic model-theoretic questions of definability, axiomatization and preservation for various notions of process equivalence found in the computational literature, and answer them using well-known logical techniques (including the Compactness theorem, Saturation and Ehrenfeucht games). Moreover, we consider what happens to this (...) general theory when one restricts attention to special classes of transition systems (in particular, finite ones), as well as extended logical languages (in particular, infinitary first-order logic). We hope that this puts standard logical formalisms on the map as a serious option for a theory of computational processes. As a side benefit, our approach increases comparability with several other existing formalisms over labeled transition systems (such as Process Algebra or Modal Logic). We provide some pointers to this effect, too. (shrink)

We present a new notion of game equivalence that captures basic powers of interacting players. We provide a representation theorem, a complete logic, and a new game algebra for basic powers. In doing so, we establish connections with imperfect information games and epistemic logic. We also identify some new open problems concerning logic and games.

The environmental crisis is undoubtedly one of the most critical and urgent problems of our times. Many people are raising their voices in support of nature to build a better future for humanity and for our planet. In this article, the authors explore the specific contribution that Christianity and Islam can offer in this debate and how religions can help bring back into the ecological discourse the element of the sacred that abandoned the reflection about nature since the advent of (...) the Enlightenment. Moving from the spiritual dimension of nature in the light of Pope Francis’s 2015 encyclical on ecology Laudato Si’, the authors argue that the current ecological crisis can represent an opportunity for a renewed encounter among religions, bringing together the ethical and the spiritual, recovering the element of communion between human beings and nature that points to something beyond themselves. The authors present the Laudato Si’ as a universal invitation and a space for encounter between world religions that puts at its heart love as a guiding principle and animating force of a much-needed ecological, spiritual and anthropological conversion. Contribution: This article focuses on the spiritual dimension of nature in Pope Francis’s 2015 encyclical letter Laudato Si ’. The authors argue that the document with its emphasis on love represents a platform for dialogue between Christianity and Islam by bringing back the element of the sacred in the current ecological debate. (shrink)

Keuze van artikelen uit het werk van de Vlaamse filosoof over wetenschap, milieu, en medische en biologische ethiek.

This article shows how eco-theology could and should be indigenised in an African context using the Copperbelt in Zambia as a case study. The ecological crisis worldwide has given rise to the call for everyone to work together to start caring about our natural environment. In theology, the response to this call received the name eco-theology. By means of a literature review, ethnographic information and governmental legislation, the article tries to illustrate how eco-theology could and should be indigenised in an (...) African context using the Copperbelt in Zambia as a case study. This article makes an attempt to contribute to the needed ecological renewal by reinterpreting two traditions that inform thinking on the Copperbelt: Christianity and African traditional religion. The supernatural belief of the Lamba people is no longer embodied in this creation, and it is not too late for the people to form any indigenous environmental protection movement to protect the sacredness of mother Earth from further contamination and exploitation by strengthening, maintaining and respecting the traditional teachings and the cultural laws. Obedience to God’s command to tend creation is a quest for continued creation by humans, so that value is added to what is already in existence. This is embodied making the place we live in more beautiful, appealing and peaceful. Fruitfulness with sustainability becomes core values for interdependence and earth keeping.Contribution: We wish to address the ecological situation of the mining industry in Zambia from a theological perspective by assessing the impact of the copper mining and processing industry on humans, their environment and nature and by showing how the traditions of African traditional religion thought can be transformed into tools to oppose this ecological disaster. (shrink)

IntroductionBorderline personality disorder patients are often subjected to inpatient compulsory care due to suicidal behaviour. However, inpatient care is usually advised against as it can have detrimental effects, including increased suicidality.AimTo investigate what motives psychiatrists have for treating borderline personality disorder patients under compulsory care.Materials and MethodsA questionnaire survey was distributed to all psychiatrists and registrars in psychiatry working at mental health emergency units or inpatient wards in Sweden. The questionnaire contained questions with fixed response alternatives, with room for comments, (...) about the respondents’ motives for practising compulsory care of borderline personality disorder patients. The responses were analysed quantitatively with descriptive statistics, and comments were analysed with qualitative descriptive content analysis.ResultsThe psychiatrists’ views were divided on when it was justified to treat borderline personality disorder patients under compulsory care, as were their views on borderline personality disorder patients’ decision competence. When there was an assessed risk of harm, 53% were positive to compulsory care of decision-competent borderline personality disorder patients and another 31% because they considered the patients to be decision incompetent in such situations. Adding the risk of harm caused many respondents to alter their assessment of the patient from decision competent to decision incompetent.ConclusionThe large variations in doctors’ opinions indicate that the care of borderline personality disorder patients is arbitrary. Further, the assessed risk of harm increases the use of compulsory care, even though such care is advised against in clinical guidelines, has questionable legal support, and could lead to an increased suicide risk over time. (shrink)

Is Nederland een fraudeland geworden? Na alle berichten over boekhoudschandalen en het bekend worden van illegale prijsafspraken is het terecht dat die vraag wordt gesteld. Het oplichten van aandeelhouders of van klanten gaat in tegen verschillende ethische noties. Het verstrekken van onjuiste informatie is niet alleen vanuit een utilistisch standpunt verwerpelijk vanwege de economische schade die ontstaat doordat een optimale marktwerking belemmerd wordt. Ook vanuit een deontologisch perspectief staan de ethische seinen op rood: het bedriegen van aandeelhouders of klanten getuigt (...) van weinig respect en is onrechtvaardig omdat dit zelfverrijking mogelijk maakt ten koste gaat van de stakeholders. Ook vanuit het perspectief van de deugdenethiek zijn deze praktijken verwerpelijk: het achterhouden van informatie getuigt van een gebrek aan integriteit en heeft een negatieve voorbeeldfunctie naar anderen. (shrink)

Hot spot policing is an established concept that is proven to reduce crime. It is mostly done through foot patrol or car patrols. In the present study it is tested whether helicopters can produce a deterrent policing effect to reduce the amount of vehicle arsons in Sweden on larger hot areas. Sweden tends to have elevated levels of vehicle arsons in August, with about 20% of police districts responsible for 50% of the cases. The risk narrative revolves around youth congregating (...) in public places in deprived neighborhoods to generate disturbances, and the disruption of the risk narrative tested here is based on providing deterrence through helicopter police presence. During 6 weeks in August and September of 2019 police helicopters patrolled four police districts in Sweden to attempt to prevent vehicle arsons. Our data comprise police reports of vehicle arson, and time stamped satellite data over the location for police helicopters. The evaluation considers whether there is an intention to treat effect from this project, in addition to whether there is an effect of actual helicopter presence. The study finds no significant effect of intention to treat, nor of actual dosage. (shrink)

Current dynamic epistemic logics often become cumbersome and opaque when common knowledge is added for groups of agents. Still, postconditions regarding common knowledge express the essence of what communication achieves. We present some methods that yield so-called reduction axioms for common knowledge. We investigate the expressive power of public announcement logic with relativized common knowledge, and present reduction axioms that give a detailed account of the dynamics of common knowledge in some major communication types.

Questions related to end-of-life decision making are common in clinical ethics and may be exceedingly difficult. Chief among these are the provision of cardiopulmonary resuscitation (CPR) and do-not-resuscitate orders (DNRs). To better address such questions, clarity is needed on the values of medical ethics that underlie CPR and the relevant moral framework for making treatment decisions. An informed consent model is insufficient to provide justification for CPR. Instead, ethical justification for CPR rests on the rule of rescue and on substituted (...) interest judgments. Patients’ known wishes and values are relevant, particularly in protecting them from unwanted CPR. Clinicians should rescue patients with the means at their disposal, as a prima facie moral imperative, unless there are compelling reasons to refrain. We present a moral framework for making decisions regarding CPR and DNR. (shrink)

Johan van Benthem; VII*—Modelling the Kinematics of Meaning, Proceedings of the Aristotelian Society, Volume 93, Issue 1, 1 June 1993, Pages 105–122, https://do.

Games, Norms, and Reasons: Logic at the Crossroads provides an overview of modern logic focusing on its relationships with other disciplines, including new interfaces with rational choice theory, epistemology, game theory and informatics. This book continues a series called "Logic at the Crossroads" whose title reflects a view that the deep insights from the classical phase of mathematical logic can form a harmonious mixture with a new, more ambitious research agenda of understanding and enhancing human reasoning and intelligent interaction. The (...) editors have gathered together articles from active authors in this new area that explore dynamic logical aspects of norms, reasons, preferences and beliefs in human agency, human interaction and groups. The book pays a special tribute to Professor Rohit Parikh, a pioneer in this movement. (shrink)

The Rustenburg Conference of churches that took place in 1990 was a critical turning point for Christianity in South Africa. Besides the important declaration at the end of the conference, a statement was also made by the women at the conference. Although this statement is lesser known, it was and still is of utmost importance because it addresses the plight of women in South Africa. The focus of this article is the relevance of the statement made by the women more (...) than 30 years later. The article is written from a church historical perspective. To achieve this objective, the research in this article is based on qualitative literature search. It focuses on relevant literature that includes books, scholarly articles, online articles and scientific data provided by Statistics South Africa. It starts with a brief overview of the conference and important events that took place; it then moves on to the statement by the women at the conference before arguing that the content of the statement still is an important voice from the past that reminds us of the plight of women in South Africa. The role of the church as an important agent of change is then discussed briefly before concluding with an example of a programme by the South African Council of Churches (SACC) that is aimed at change in society. Contribution: In the conclusion, the author proposes a South African conference for women where current programmes can be synchronised and planning for the future can be done. (shrink)