Rationale In Belgium, several policies regulating reimbursement of acid suppressant drugs and evidence-based recommendations for clinical practice were issued in a short period of time, creating a unique opportunity to observe their effect on prescribing. Aims and objectives To describe the evolution of prescriptions for acid suppressants and explore the interaction of policies and practice recommendations with prescribing patterns. Method Monthly claims-based data for proton pump inhibitors (PPIs) and H-2-antihistamines by general practitioners, internists and "astroenterologists were obtained from the Belgian (...) national health insurance database (1997-2005). The evolution of reimbursed defined daily doses and expenses after introduction of reimbursement regulations and dissemination of practice recommendations was explored. Results Recommendations had no impact on prescribing. All changes can be related to concomitant policies. Lifting reimbursement restrictions for cheaper products did not control growth or save costs in the Iona term. Only restricting reimbursement of all PPIs managed to curb the growth. We observed an unintended increase of non-omeprazole PPIs by gastroenterologists. Conclusions Reimbursement policies influence prescribing, but their effect can be unintended. A dialogue between policymakers and guideline developers, and evidence-based policies that are linked to clinical guidelines, could be an effective way to pursue both cost-containment and quality of care. (shrink)

This book raises in a new way a central question of Christology: what is the divine motive for the incarnation? Throughout Christian history a majority of Western theologians have agreed that God's decision to become incarnate in the person of Jesus Christ was made necessary by "the Fall": if humans had not sinned, the incarnation would not have happened. This position is known as "infralapsarian." A minority of theologians however, including some major 19th- and 20th-century theological figures, championed a "supralapsarian" (...) Christology, arguing that God has always intended the incarnation, independent of "the Fall." Edwin Chr. van Driel offers the first scholarly monograph to map and analyze the full range of supralapsarian arguments. He gives a thick description of each argument and its theological consequences, and evaluates the theological gains and losses inherent in each approach. Van Driel shows that each of the three ways in which God is thought to relate to all that is not God -- in creation, in redemption, and in eschatological consummation -- can serve as the basis for a supralapsarian argument. He illustrates this thesis with detailed case studies of the Christologies of Schleiermacher, Dorner, and Barth. He concludes that the most fruitful supralapsarian strategy is rooted in the notion of eschatological consummation, taking interpersonal interaction with God to be the goal of the incarnation. He goes on to develop his own argument along these lines, concluding in an eschatological vision in which God is visually, audibly, and tangibly present in the midst of God's people. (shrink)

In grapheme-color synesthesia, a number or letter can evoke two different and possibly conflicting color sensations at the same time. In this study, we investigate the relationship between synesthesia and executive control functions. First, no general skill differences were obtained between synesthetes and non-synesthetes in classic executive control paradigms. Furthermore, classic executive control effects did not interact with synesthetic behavioral effects. Third, we found support for our hypothesis that inhibition of a synesthetic color takes effort and time. Finally, individual differences (...) analyses showed no relationship between the two skills; performance on a ‘normal’ Stroop task does not predict performance on a synesthetic Stroop task. Across four studies, the current results consistently show no clear relationship between executive control functions and synesthetic behavioral effects. This raises the question of which mechanisms are at play in synesthetic ‘management’ during the presence of two conflicting sensations. (shrink)

Dynamic Epistemic Logic This article tells the story of the rise of dynamic epistemic logic, which began with epistemic logic, the logic of knowledge, in the 1960s. Then, in the late 1980s, came dynamic epistemic logic, the logic of change of knowledge. Much of it was motivated by puzzles and paradoxes. The number … Continue reading Dynamic Epistemic Logic →.

Dynamic Epistemic Logic This article tells the story of the rise of dynamic epistemic logic, which began with epistemic logic, the logic of knowledge, in the 1960s. Then, in the late 1980s, came dynamic epistemic logic, the logic of change of knowledge. Much of it was motivated by puzzles and paradoxes. The number … Continue reading Dynamic Epistemic Logic →.

We provide an ethical evaluation of the debate on managing diversity within teams and organizations between equality and business case scholars. Our core assertion is that equality and business case perspectives on diversity from an ethical reading appear stuck as they are based on two different moral perspectives that are difficult to reconcile with each other. More specifically, we point out how the arguments of equality scholars correspond with moral reasoning grounded in deontology, whereas the foundations of the business case (...) perspective are crafted by utilitarian arguments. We show that the problems associated with each diversity perspective correspond with the traditional concerns with the two moral perspectives. To resolve this stalemate position, we argue that the equality versus business case debate needs to be approached from a third, less well-known moral perspective (i.e. virtue ethics). We posit that a focus on virtues can enhance equality by reducing prejudice and illustrate this by applying it to the HRM domains of recruitment and selection and of performance management. Subsequently, we argue that values are key to aligning virtues with each other and with corporate strategy, delineate our values and virtues perspective on diversity, and argue why and how it can enhance organizational performance. (shrink)

We model three examples of beliefs that agents may have about other agents' beliefs, and provide motivation for this conceptualization from the theory of mind literature. We assume a modal logical framework for modelling degrees of belief by partially ordered preference relations. In this setting, we describe that agents believe that other agents do not distinguish among their beliefs ('no preferences'), that agents believe that the beliefs of other agents are in part as their own ('my preferences'), and the special (...) case that agents believe that the beliefs of other agents are exactly as their own ('preference refinement'). This multi-agent belief interaction is frame characterizable. We provide examples for introspective agents. We investigate which of these forms of belief interaction are preserved under three common forms of belief revision. (shrink)

Fitch showed that not every true proposition can be known in due time; in other words, that not every proposition is knowable. Moore showed that certain propositions cannot be consistently believed. A more recent dynamic phrasing of Moore-sentences is that not all propositions are known after their announcement, i.e., not every proposition is successful. Fitch's and Moore's results are related, as they equally apply to standard notions of knowledge and belief (S 5 and KD45, respectively). If we interpret ‘successful’ as (...) ‘known after its announcement’ and ‘knowable’ as ‘known after some announcement’, successful implies knowable. Knowable does not imply successful: there is a proposition ϕ that is not known after its announcement but there is another announcement after which ϕ is known. We show that all propositions are knowable in the more general sense that for each proposition, it can become known or its negation can become known. We can get to know whether it is true: ◊(Kϕ ∨ K¬ϕ). This result comes at a price. We cannot get to know whether the proposition was true. This restricts the philosophical relevance of interpreting ‘knowable’ as ‘known after an announcement’. (shrink)

We look at lying as an act of communication, where (i) the proposition that is communicated is not true, (ii) the utterer of the lie knows that what she communicates is not true, and (iii) the utterer of the lie intends the lie to be taken as truth. Rather than dwell on the moral issues, we provide a sketch of what goes on logically when a lie is communicated. We present a complete logic of manipulative updating, to analyse the effects (...) of lying in public discourse. Next, we turn to the study of lying in games. First, a game-theoretical analysis is used to explain how the possibility of lying makes such games interesting, and how lying is put to use in optimal strategies for playing the game. Finally, we give a matching logical analysis. Our running example of lying in games in liar’s dice. (shrink)

This is a case-study in knowledge representation. We analyze the ‘one hundred prisoners and a lightbulb’ puzzle. In this puzzle it is relevant what the agents (prisoners) know, how their knowledge changes due to observations, and how they affect the state of the world by changing facts, i.e., by their actions. These actions depend on the history of previous actions and observations. Part of its interest is that all actions are local, i.e. not publicly observable, and part of the problem (...) is therefore how to disseminate local results to other agents, and make them global. The various solutions to the puzzle are presented as protocols (iterated functions from agent’s local states, and histories of actions, to actions). The computational aspect is about average runtime termination under conditions of random (‘fair’) scheduling. (shrink)

This article discusses the design methodology of the Benedictine monk-architect Dom Hans van der Laan, famous for his manifesto De Architectonische Ruimte, in which he proposed his ideal elementary architecture. In the past, this ideal achitecture was linked to Van der Laan’s proportional system and to his general approach as an architect rather than to his Catholic background. Consequently, the changing conceptual landscape in which he developed his ideas on the relation between religion and design was neglected. Yet, as (...) this article will argue, it is only by carefully exploring the relation between Van der Laan’s attempts to define a fundamental architecture and his ambition to understand the religious traditions they may have sprung from that one can understand how his religion and design methodology influenced each other. Based on unedited primary sources, this article reveals forgotten interconnections between Van der Laan’s religious and architectural thinking. By analysing these motifs, it offers new insights on the interrelationships between religion and architecture that go beyond the traditionalist-modernist dichotomy. (shrink)

This is a case-study in knowledge representation and dynamic epistemic protocol verification. We analyze the ‘one hundred prisoners and a lightbulb’ puzzle. In this puzzle it is relevant what the agents know, how their knowledge changes due to observations, and how they affect the state of the world by changing facts, i.e., by their actions. These actions depend on the history of previous actions and observations. Part of its interest is that all actions are local, i.e. not publicly observable, and (...) part of the problem is therefore how to disseminate local results to other agents, and make them global. The various solutions to the puzzle are presented as protocols. The paper consists of three parts. First, we present different versions of the puzzle, and their solutions. This includes a probabilistic version, and a version assuming synchronicity. The latter is very informative for the prisoners, and allows different protocols. Then, we model the puzzle in an epistemic logic incorporating dynamic operators for the effects of information changing events. Such events include both informative actions, where agents become more informed about the non-changing state of the world, and factual changes, wherein the world and the facts describing it change themselves as well. Finally, we verify the basic protocol to solve the problem. Novel contributions in this paper are: Firstly, Protocol 2 and Protocol 4. Secondly, the modelling in dynamic epistemic logic in its entirety — we do not know of a case study that combines factual and informational dynamics in a setting of non-public events, or of a similar proposal to handle asynchronous behaviour in a dynamic epistemic logic. Thirdly, our method to verify dynamic epistemic protocols by reasoning over possibly infinite execution sequences of these protocols. A precursor of the present paper, entitled ‘One hundred prisoners and a lightbulb – logic and computation’, was presented at KR 2010, Toronto. The differences with the present contribution are as follows: the former contains a section with computational results, whereas the focus of the present paper is the verification of one of the presented protocols in the former. (shrink)

A proposition is noncontingent, if it is necessarily true or it is necessarily false. In an epistemic context, ‘a proposition is noncontingent’ means that you know whether the proposition is true. In this paper, we study contingency logic with the noncontingency operator? but without the necessity operator 2. This logic is not a normal modal logic, because?→ is not valid. Contingency logic cannot define many usual frame properties, and its expressive power is weaker than that of basic modal logic over (...) classes of models without reflexivity. These features make axiomatizing contingency logics nontrivial, especially for the axiomatization over symmetric frames. In this paper, we axiomatize contingency logics over various frame classes using a novel method other than the methods provided in the literature, based on the ‘almost-definability’ schema AD proposed in our previous work. We also present extensions of contingency logic with dynamic operators. Finally, we compare our work to the related work in the fields of contingency logic and ignorance logic, where the two research communities have similar results but are apparently unaware of each other’s work. One goal of our paper is to bridge this gap. (shrink)

In this analysis we discuss the change in criteria for triage of patients during three different phases of a pandemic like COVID-19, seen from the critical care point of view. Availability of critical care beds has become a hot topic, and in many countries, we have seen a huge increase in the provision of temporary intensive care bed capacity. However, there is a limit where the hospitals may run out of resources to provide critical care, which is heavily dependent on (...) trained staff, just-in-time supply chains for clinical consumables and drugs and advanced equipment. In the first phase, we can still do clinical prioritisation and decision-making as usual, based on the need for intensive care and prognostication: what are the odds for a good result with regard to survival and quality of life. In the next, the resources are mostly available, but the system is stressed by many patients arriving over a short time period and auxiliary beds in different places in the hospital being used. We may have to abandon admittance of patients with doubtful prognosis. In the last phase, usual medical triage and priority setting may not be sufficient to decrease inflow and there may not be enough intensive care unit beds available. In this phase different criteria must be applied using a utilitarian approach for triage. We argue that this is an important transition where society, and not physicians, must provide guidance to support triage that is no longer based on medical priorities alone. (shrink)

Although agreement on the positive sign of the relationship between corporate social and financial performance is observed in the literature, the mechanisms that constitute this relationship are not yet well-known. We address this issue by extending management’s stakeholder theory by adding insights from psychology’s prospect decision theory and sociology’s resource dependence theory. Empirically, we analyze an extensive panel dataset, including information on disaggregated measures of social performance for the S&P 500 in the 1997–2002 period. In so doing, we enrich the (...) extant literature by focusing on stakeholder heterogeneity, perceptional framing, and disaggregated measures of corporate social performance. (shrink)

This volume consists of several contributions to a refined understanding of religious experience in view of contemporary theological epistemology.

This paper explores the relation between evolutionary explanations of religious belief and a core idea in both classical Christian theology and Reformed Epistemology, namely that humans have fallen into sin. In particular, it challenges the claim made by De Cruz and De Smedt that ‘ in the light of current evolutionary and cognitive theories, the Reformed epistemological view of NES [the noetic effects of sin] is in need of revision.’ Three possible solutions to this conundrum are examined, two of which (...) are shown to be plausible. (shrink)

We model the ‘100 prisoners and a lightbulb’ puzzle in an epistemic logic incorporating dynamic operators for the effects of information changing events. Such events include both informative actions, where agents become more informed about the non-changing state of the world, and factual changes, wherein the world and the facts describing it change themselves as well. We specify the underlying nondeterministic protocol and verify its postconditions in a recent extension of the model checker DEMO with factual change. We also present (...) a synchronized version of the riddle, for which there are also other protocols, and we report on efforts to minimize the expected termination of such protocols when assuming random scheduling. (shrink)

Hans van Ditmarsch and Barteld Kooi (2008). Semantic results for ontic and epistemic change. In: G. Bonanno, W. van der Hoek and M. Wooldridge (editors). Logic and the Foundations of Game and Decision Theory (LOFT 7). Texts in Logic and Games 3, pp. 87-117, Amsterdam University Press, Amsterdam.

L’article propose une réflexion autour de deux personnages qui, à deux moments-clés du xxe siècle, ont pratiqué un art du « faux », de façon quasi inversée sur les plans moral et artistique : Hans Van Meegeren et Elaine Sturtevant. Après un exposé de leurs pratiques comme de leurs destins, il tente de montrer comment ont fonctionné des systèmes de légitimation de formes artistiques a priori problématiques, en produisant des effets parfois logiques, parfois contradictoires ; et comment des contextes (...) idéologiques mais surtout une phraséologie bien précise à laquelle ont participé les protagonistes eux-mêmes, ont permis l’instauration d’œuvres profondément ambiguës où des valeurs telles que l’engagement, l’intégrité, voire l’authenticité, sont restées, en dernière analyse, essentielles. (shrink)