A propósito de algunos sermones agustinianos predicados en cuaresma, este artículo señala en primer lugar cómo Agustín relaciona con la vida del hombre en esta tierra el número de días de preparación a la Pascua. Después aborda el motivo de la "imitatio Christi", así como las diferentes alternativas al ayuno. Finalmente, pone de manifiesto algunos conceptos teológicos que se expresan en estos sermones.

El artículo expone detalladamente el comentario agustiniano de Jn 4, 1-42. Al analizar el diálogo entre Cristo y la Samaritana, el autor se centra particularmente en Io. eu. tr. 15 y diu. qu. 64.

El artículo analiza los textos en que san Agustín comenta la curación del ciego de nacimiento (Jn 9, 1-41), tomando como hilo conductor el comentario de Io. eu. tr. 44, sin olvidar los "sermones 135, 136, 136A, 136B, 136C, destacando particularmente los elementos espirituales resaltados por Agustín.

El artículo analiza los sermones de san Agustín sobre la Ascensión del Señor, centrándose en el significado que Agustín da a los cuarenta días, la relación de los apóstoles con los creyentes, la fuerza expresiva de la Ascensión, su significado en la vida espiritual de los creyentes y finalmente la importancia de fijar la mirada en Cristo.

El artículo recorre los sermones de san Agustín predicados el día de Pentecostés. Señala las ideas más importantes de aquéllos, particularmente las que no son habituales en nuestros días y que el arte tampoco ha reflejado.

El artículo estudia el pensamiento de san Agustín sobre la elocuencia de la palabra en la comunicación humana, cuyo fundamento está en Jesucristo, la Palabra. Trata también sobre el valor y significado que san Agustín atribuye a esa Palabra.

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)

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 →.

Seks is overal. In kranten en tijdschriften, in advertenties op bushokjes, op televisie en het internet, op Instagram en Snapchat. Seks beheerst en betovert onze beeldcultuur. Af en toe roept die onafgebroken stroom van seksuele beelden kritiek op. We lezen over de ‘pornoficatie’ van onze cultuur en hoe de modeindustrie zelfs kinderen verleidt om sexy strings te kopen. We horen dat we aan porno verslaafd zijn, dat alles van waarde vervliegt en dat we steeds intensere prikkels nodig hebben. Een zeldzame (...) keer merkt iemand op dat de constante seksuele objectivering van vrouwenlichamen de genderongelijkheid in stand houdt. Als seks overal is, is het niet verwonderlijk dat seks ook in kunst te vinden is. Kunst en pornografie lijken elkaar uit te sluiten: het ene maakt het mooiste en het beste in ons wakker, het andere onderwerpt ons aan hitsigheid en dierlijkheid. Het ene viert de schoonheid van de vrouw, het andere is een kwestie van geweld en onderwerping. Toch is de relatie tussen kunst en pornografie genuanceerder dan ze op het eerste gezicht lijkt. In deze filosofische verkenning nemen filosofen Petra Van Brabandt en Hans Maes zowel kunst als pornografie onder de loep en ontdekken ze dat de dingen soms helemaal niet zijn wat ze lijken. (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)

We propose a separation logic where resources are histories (sequences) of epistemic actions so that resource update means concatenation of histories and resource decomposition means splitting of histories. This separation logic, called AMHSL, allows us to reason about the past: does what is true now depend on what was true in the past, before certain actions were executed? We show that the multiplicative connectives can be eliminated from a logical language with also epistemic and action model modalities, if the horizon (...) of epistemic actions is bounded. (shrink)

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)

Where did the universe come from? Is life a result of chance, or design? If God is loving and all-powerful, why does evil still exist? Is religious belief just a byproduct of undirected evolutionary processes? Or did God make sure humans would evolve in such a way as to believe? Are philosophers closed-minded about religion? And why is so much of philosophy of religion about God-but not about gods? Introduction to Philosophy: Philosophy of Religion introduces students to some of the (...) major traditional arguments for and against the existence of God. It also includes discussions of some less well-known, but thought-provoking arguments for the existence of God, and one of the most important new challenges to religious belief from the Cognitive Science of Religion. An introductory chapter traces the deep interconnections between philosophy and religion throughout Western history, and a final chapter considers what place there is for non-Western and non-monotheistic religions within contemporary philosophy of religion. Whatever your religious beliefs-or lack of beliefs-we think you will find many of the arguments in this book fascinating to think about, and useful starting points for deeper philosophical discussions. (shrink)

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

Dynamic Epistemic Logic is the logic of knowledge change. This book provides various logics to support such formal specifications, including proof systems. Concrete examples and epistemic puzzles enliven the exposition. The book also offers exercises with answers. It is suitable for graduate courses in logic. Many examples, exercises, and thorough completeness proofs and expressivity results are included. A companion web page offers slides for lecturers and exams for further practice.

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)

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)

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)

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)

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)

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)

Hans van Ditmarsch, Wiebe van der Hoek and Barteld Kooi (2011). Reasoning about local properties in modal logic. In K. Tumer and P. Yolum and L. Sonenberg and P. Stone (editors). Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), pp. 711-718.

Parametric cognitive models are increasingly popular tools for analyzing data obtained from psychological experiments. One of the main goals of such models is to formalize psychological theories using parameters that represent distinct psychological processes. We argue that systematic quantitative reviews of parameter estimates can make an important contribution to robust and cumulative cognitive modeling. Parameter reviews can benefit model development and model assessment by providing valuable information about the expected parameter space, and can facilitate the more efficient design of experiments. (...) Importantly, parameter reviews provide crucial—if not indispensable—information for the specification of informative prior distributions in Bayesian cognitive modeling. From the Bayesian perspective, prior distributions are an integral part of a model, reflecting cumulative theoretical knowledge about plausible values of the model's parameters (Lee,2018). In this paper we illustrate how systematic parameter reviews can be implemented to generate informed prior distributions for the Diffusion Decision Model (DDM; Ratcliff and McKoon,2008), the most widely used model of speeded decision making. We surveyed the published literature on empirical applications of the DDM, extracted the reported parameter estimates, and synthesized this information in the form of prior distributions. Our parameter review establishes a comprehensive reference resource for plausible DDM parameter values in various experimental paradigms that can guide future applications of the model. Based on the challenges we faced during the parameter review, we formulate a set of general and DDM-specific suggestions aiming to increase reproducibility and the information gained from the review process. (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)