Movatterモバイル変換

BackgroundThis article is part of a study to gain insight into the decision-making process by looking at the views of the relatives of potential brain dead donors. Alongside a literature review, focus interviews were held with healthcare professionals about their role in the request and decision-making process when post-mortal donation is at stake. This article describes the perspectives of the relatives.MethodsA content-analysis of 22 semi-structured in-depth interviews with relatives involved in an organ donation decision.ResultsThree themes were identified: ‘conditions’, ‘ethical considerations’ (...) and ‘look back’. Conditions were: ‘sense of urgency’, ‘incompetence to decide’ and ‘agreement between relatives’. Ethical considerations result in a dilemma for non-donor families: aiding people or protecting the deceased’s body, especially when they do not know his/her preference. Donor families respect the deceased’s last will, generally confirmed in the National Donor Register. Looking back, the majority of non-donor families resolved their dilemma by justifying their decision with external arguments. Some non-donor families would like to be supported during decision-making.DiscussionThe discrepancy between general willingness to donate and the actual refusal of a donation request can be explained by multiple factors, with a cumulative effect. Firstly, half of the participants stated that they felt that they were not competent to decide in such a crisis and they seem to struggle with utilitarian considerations against their wish to protect the body. Secondly, non-donor families refused telling that they did not know the deceased’s wishes or contesting posthumous autonomy of the eligible. Thirdly, the findings emphasise the importance of Donor Registration, because it seems to prevent dilemmas in decision-making, at least for donor families.ConclusionDiscrepancies between willingness to consent to donate and refusal at the bedside can be attributed to an unresolved dilemma: aiding people or protect the body of the deceased. Non-donor families felt incompetent to decide. They refused consent for donation, since their deceased had not given any directive. When ethical considerations do not lead to an unambiguous answer, situational factors were pivotal. Relatives of unregistered eligible donors are more prone to unstable decisions. To overcome ambivalence, coaching during decision-making is worth investigation. (shrink)

Direct download(6 more)   Export citation   Bookmark   9 citations  

In the Netherlands, consent from relatives is obligatory for post mortal donation. This study explored the perspectives of relatives regarding the request for consent for donation in cases without donor registration. A content analysis of narratives of 24 bereaved relatives of unregistered, eligible, brain-dead donors was performed. Relatives of unregistered, brain-dead patients usually refuse consent for donation, even if they harbour pro-donation attitudes themselves, or knew that the deceased favoured organ donation. Half of those who refused consent for donation mentioned (...) afterwards that it could have been an option. The decision not to consent to donation is attributed to contextual factors, such as feeling overwhelmed by the notification of death immediately followed by the request; not being accustomed to speaking about death; inadequate support from other relatives or healthcare professionals, and lengthy procedures. Healthcare professionals could provide better support to relatives prior to donation requests, address their informational needs and adapt their message to individual circumstances. It is anticipated that the number of consenting families could be enlarged by examining the experience of decoupling and offering the possibility of consent for donation after circulatory death if families refuse consent for donation after brain-death. (shrink)

Direct download(3 more)   Export citation   Bookmark   3 citations  

BackgroundVarious forms of Clinical Ethics Support (CES) have been developed in health care organizations. Over the past years, increasing attention has been paid to the question of how to foster the quality of ethics support. In the Netherlands, a CES quality assessment project based on a responsive evaluation design has been implemented. CES practitioners themselves reflected upon the quality of ethics support within each other’s health care organizations. This study presents a qualitative evaluation of this Responsive Quality Assessment (RQA) project.MethodsCES (...) practitioners’ experiences with and perspectives on the RQA project were collected by means of ten semi-structured interviews. Both the data collection and the qualitative data analysis followed a stepwise approach, including continuous peer review and careful documentation of the decisions.ResultsThe main findings illustrate the relevance of the RQA with regard to fostering the quality of CES by connecting to context specific issues, such as gaining support from upper management and to solidify CES services within health care organizations. Based on their participation in the RQA, CES practitioners perceived a number of changes regarding CES in Dutch health care organizations after the RQA: acknowledgement of the relevance of CES for the quality of care; CES practices being more formalized; inspiration for developing new CES-related activities and more self-reflection on existing CES practices.ConclusionsThe evaluation of the RQA shows that this method facilitates an open learning process by actively involving CES practitioners and their concrete practices. Lessons learned include that “servant leadership” and more intensive guidance of RQA participants may help to further enhance both the critical dimension and the learning process within RQA. (shrink)

Direct download(4 more)   Export citation   Bookmark   4 citations  

We demonstrate ways to incorporate nondeterminism in a system designed to formalize the reasoning of agents concerning their abilities and the results of the actions that they may perform. We distinguish between two kinds of nondeterministic choice operators: one that expresses an internal choice, in which the agent decides what action to take, and one that expresses an external choice, which cannot be influenced by the agent. The presence of abilities in our system is the reason why the usual approaches (...) towards nondeterminism cannot be used here. The semantics that we define for nondeterministic actions is based on the idea that composite actions are unravelled in the strings of atomic actions and tests that constitute them. The main notions used in defining this semantics are finite computation sequences and finite computation runs of actions. The results that we obtain meet our intuitions regarding events and abilities in the presence of nondeterminism. (shrink)

Direct download(3 more)   Export citation   Bookmark   1 citation  

In _Kazimierz Twardowski: A Grammar for Philosophy_Maria van der Schaar shows the importance of Twardowski’s method, his philosophical grammar, for both the Lvov-Warsaw School, and analytic philosophy today.

Direct download   Export citation   Bookmark   4 citations  

We present a number of puzzles arising for the interpretation of modified numerals. Following Büring and others we assume that the main difference between comparative and superlative modifiers is that only the latter convey disjunctive meanings. We further argue that the inference patterns triggered by disjunction and superlative modifiers are hard to capture in existing semantic and pragmatic analyses of these phenomena (neo-Gricean or grammatical alike), and we propose a novel account of these inferences in the framework of bilateral state-based (...) modal logic defining a first order extension of Aloni (Semant Pragmat 15:5-EA, 2022. https://doi.org/10.3765/sp.15.5)’s. (shrink)

Direct download(3 more)   Export citation   Bookmark  

No categories

Export citation   Bookmark  

The cultural group selection approach provides a compelling explanation for recent changes in human societies, but has trouble explaining why our ancestors, rather than any other great ape, evolved into a hyper-cooperative niche. The cooperative breeding hypothesis can plug this gap and thus complement CGS, because recent comparative evidence suggests that it promoted proactive prosociality, social transmission, and communication in Pleistocene hominins.

No categories

Direct download(2 more)   Export citation   Bookmark   2 citations  

It has been widely theorized and empirically proven that self-regulated learning (SRL) is related to more desired learning outcomes, e.g., higher performance in transfer tests. Research has shifted to understanding the role of SRL during learning, such as the strategies and learning activities, learners employ and engage in the different SRL phases, which contribute to learning achievement. From a methodological perspective, measuring SRL using think-aloud data has been shown to be more insightful than self-report surveys as it helps better in (...) determining the link between SRL activities and learning achievements. Educational process mining on the basis of think-aloud data enables a deeper understanding and more fine-grained analyses of SRL processes. Although students’ SRL is highly contextualized, there are consistent findings of the link between SRL activities and learning outcomes pointing to some consistency of the processes that support learning. However, past studies have utilized differing approaches which make generalization of findings between studies investigating the unfolding of SRL processes during learning a challenge. In the present study with 29 university students, we measured SRLviaconcurrent think-aloud protocols in a pre-post design using a similar approach from a previous study in an online learning environment during a 45-min learning session, where students learned about three topics and wrote an essay. Results revealed significant learning gain and replication of links between SRL activities and transfer performance, similar to past research. Additionally, temporal structures of successful and less successful students indicated meaningful differences associated with both theoretical assumptions and past research findings. In conclusion, extending prior research by exploring SRL patterns in an online learning setting provides insights to the replicability of previous findings from online learning settings and new findings show that it is important not only to focus on the repertoire of SRL strategies but also on how and when they are used. (shrink)

Direct download(2 more)   Export citation   Bookmark   2 citations  

No categories

Direct download   Export citation   Bookmark  

In their 2007 paper, Swierstra and Rip identify characteristic tropes and patterns of moral argumentation in the debate about the ethics of new and emerging science and technologies (or “NEST-ethics”). Taking their NEST-ethics structure as a starting point, we considered the debate about tissue engineering (TE), and argue what aspects we think ought to be a part of a rich and high-quality debate of TE. The debate surrounding TE seems to be predominantly a debate among experts. When considering the NEST-ethics (...) arguments that deal directly with technology, we can generally conclude that consequentialist arguments are by far the most prominently featured in discussions of TE. In addition, many papers discuss principles, rights and duties relevant to aspects of TE, both in a positive and in a critical sense. Justice arguments are only sporadically made, some “good life” arguments are used, others less so (such as the explicit articulation of perceived limits, or the technology as a technological fix for a social problem). Missing topics in the discussion, at least from the perspective of NEST-ethics, are second “level” arguments—those referring to techno-moral change connected to tissue engineering. Currently, the discussion about tissue engineering mostly focuses on its so-called “hard impacts”—quantifiable risks and benefits of the technology. Its “soft impacts”—effects that cannot easily be quantified, such as changes to experience, habits and perceptions, should receive more attention. (shrink)

Direct download(3 more)   Export citation   Bookmark   3 citations  

No categories

Direct download(3 more)   Export citation   Bookmark  

Direct download   Export citation   Bookmark  

In lieu of an abstract, here is a brief excerpt of the content:Truth in Tragedy:When are we Entitled to Doubt a Character's Words?A.Maria Van Erp Taalman KipIn Sophocles' Electra 563–76 Electra explains what happened at Aulis. Because Agamemnon had shot a stag in Artemis' grove and boasted of his deed, the goddess demanded the sacrifice of his daughter. If he refused, the Greeks would not be allowed to leave Aulis, either to go home or to sail to Troy. (...) Thus, Electra assures her mother, he was forced to make the sacrifice, "under sore constraint and with sore reluctance" (tr. Jebb, Sophocles ad loc).The same version of the story is found in the Cypria(Davies, Fragmenta 32, 55–63), but Sophocles adds a new detail: the impossibility of going home. This is a significant addition. According to the Cypria, Agamemnon could have renounced the war in order to save Iphigeneia, but this solution was not open to his Sophoclean namesake, since refusal meant the Greeks were doomed to remain at Aulis, more or less as prisoners. In this way, we are given to understand that for Sophocles' Agamemnon there was in effect no alternative. This considerably lessens his guilt, while Clytaemnestra is largely deprived of what might have been a righteous motive for her deed. The other motive, her adulterous love, now carries all the weight. But is what Electra says true? Or, to be more precise: are the audience meant to accept her information as true?A number of scholars have answered this question in the negative and it may be useful to begin by examining their arguments. In his article with the telling title "A Defence of Sophocles" J. T. Sheppard asks: "What if the story... were false? 'They tell me...,' she says (566). But what if it were not true? What if Agamemnon was a criminal?" (7). J. H. Kells (Electra), in his general introduction to 566–633, ridicules the whole story as recounted by Electra: "This was the popular belief as to how such unpleasantnesses as Ajax's madness and the Greeks' detention at Aulis came about. But did Sophocles expect an intelligent person to believe it? I do not think so, since in Ajax, in which such causes of Ajax's madness are ventilated, we are also given a behind–the–scenes picture [End Page 517] of the goddess concerned in action (Ajax 1–133), and there we see that the madness of Ajax was in fact inspired by no such divine jealousy: it was simply to prevent Ajax from killing the Greek leaders (51)—an aim which he conceived through no divine infatuation, but because he was angry over the bestowal of the arms of Achilles (41)."Kells' comment on 573 is also noteworthy: : did any intelligent Greek really believe this?" and on 566ff: " 'as I am told.' Does not she know why her father sacrificed her sister?" In the same vein R. P. Winnington–Ingram (Sophocles 220) says that "Electra's account of Aulis, admittedly second–hand ( 566), is the story she would like to believe; and we can hardly suppose that Sophocles wishes us to take it too seriously as an explanation of events." In a note he refers to Kells and adds: "If Sophocles had been concerned to give a serious account of Agamemnon's dilemma, he would hardly have trivialized it in the way he does. The fact remains that Agamemnon did kill his daughter."1On closer inspection, these arguments are not actually arguments at all. Both Kells and Winnington–Ingram appear to be very certain about Sophocles' intentions and expectations, but neither of them presents any convincing reason to disbelieve Electra's account. Sophocles does not give them what they want and therefore they assume that he is not serious. Winnington–Ingram may consider Agamemnon's dilemma trivial, but it makes no sense to say that Sophocles trivialized it, as if it were something real that existed outside of myth. For the purpose of this play, the reason for Artemis' demand was not relevant, but the sanction was. And what about Kells' rhetorical questions? He does not explain why an "intelligent person" or an "intelligent Greek" would disbelieve what Electra says. Because it is... (shrink)

No categories

Direct download(5 more)   Export citation   Bookmark  

Palliative care philosophy is based on a holistic approach to patients, but research shows that possibilities for living up to this philosophy seem limited by historical and administrative structures. From the nurse perspective, this article aims to explore nursing practice in specialised palliative homecare, and how it is influenced by organisational and cultural structures. Qualitative, semi-structured interviews with nine nurses were conducted, inspired by Bourdieu. The findings showed that nurses consolidate the doxa of medicine, including medical-professional values that configure a (...) control-oriented, positivistic approach, supported by the organising policy for clinical practice. Hierarchically, nurses were positioned under doctors: medical rounds functioned as a structuring structure for their working day. They acted as medical assistants, and the prevailing medical logic seemed to make it difficult for nurses to meet their own humanistic ideals. Only short time slots allowed nurses to prioritise psychosocial needs of patients and relatives. Point-of-actions had high priority, added financial resources and ensured that budgets were allocated. Weekly visits made it possible for nurses to measure, control and govern patients’ drugs and symptoms which was a necessity for their function as medical assistants. The findings challenge nurses to take on an ethical point of view, partly to ensure that patients and their families receive good palliative care focusing on more than medical issues and logic, and partly to strengthen the nurses’ profession in the palliative field and help them implement palliative care philosophy in practice. (shrink)

Direct download(5 more)   Export citation   Bookmark   6 citations  

Palliative care philosophy is based on a holistic approach to patients, but research shows that possibilities for living up to this philosophy seem limited by historical and administrative structures. From the nurse perspective, this article aims to explore nursing practice in specialised palliative homecare, and how it is influenced by organisational and cultural structures. Qualitative, semi-structured interviews with nine nurses were conducted, inspired by Bourdieu. The findings showed that nurses consolidate the doxa of medicine, including medical-professional values that configure a (...) control-oriented, positivistic approach, supported by the organising policy for clinical practice. Hierarchically, nurses were positioned under doctors: medical rounds functioned as a structuring structure for their working day. They acted as medical assistants, and the prevailing medical logic seemed to make it difficult for nurses to meet their own humanistic ideals. Only short time slots allowed nurses to prioritise psychosocial needs of patients and relatives. Point-of-actions had high priority, added financial resources and ensured that budgets were allocated. Weekly visits made it possible for nurses to measure, control and govern patients’ drugs and symptoms which was a necessity for their function as medical assistants. The findings challenge nurses to take on an ethical point of view, partly to ensure that patients and their families receive good palliative care focusing on more than medical issues and logic, and partly to strengthen the nurses’ profession in the palliative field and help them implement palliative care philosophy in practice. (shrink)

Direct download(5 more)   Export citation   Bookmark   6 citations  

Human communication can be either monosemiotic or polysemiotic, depending on whether it combines ensembles of representations from one or more semiotic systems such as language, gesture and depiction. Each semiotic system has its unique storytelling potentials, which makes intersemiotic translation from one system to another challenging. We investigated the influence of the source semiotic system, realised in speech and a sequence of pictures, respectively, on the way the same story was retold using speech and co-speech gestures. The story was the (...) content of the picture book Frog, Where Are You?. A group of Finnish speakers saw the story in pictures, and another group heard it in matched oral narration. Each participant retold the story to an addressee and all narrations were video-recorded and analysed for both speech and gestures. Given the high degree of iconicity in depiction, we expected more iconic gestures (especially enactments) in the narratives translated from pictures than in those translated from speech. Conversely, we expected greater narrative coherence in the narratives translated from speech. The results showed that more iconic gestures were produced in the narratives translated from speech, but these were primarily not from the enactment subtype. As expected, iconic enactments were more frequent in the narratives translated from the story presented in pictures. The narratives produced by participants who had only heard the story did not have a greater variety of connective devices, yet the type of devices differed slightly between the groups. Together with some additional differences between the groups that had not been anticipated, the results indicate that a story presented in different semiotic systems tends to be translated into different polysemiotic narratives. (shrink)

Direct download   Export citation   Bookmark   3 citations  

Direct download(2 more)   Export citation   Bookmark   7 citations  

Direct download(2 more)   Export citation   Bookmark   1 citation  

We define balance games, which describe the formation of friendships and enmity in social networks. We show that if the agents give high priority to future profits over short term gains, all Pareto optimal strategies will eventually result in a balanced network. If, on the other hand, agents prioritize short term gains over the long term, every Nash equilibrium eventually results in a network that is stable but that might not be balanced.

Direct download(3 more)   Export citation   Bookmark   1 citation  

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.

Direct download(2 more)   Export citation   Bookmark   144 citations  

Branching-time temporal logics have proved to be an extraordinarily successful tool in the formal specification and verification of distributed systems. Much of their success stems from the tractability of the model checking problem for the branching time logic CTL, which has made it possible to implement tools that allow designers to automatically verify that systems satisfy requirements expressed in CTL. Recently, CTL was generalised by Alur, Henzinger, and Kupferman in a logic known as Alternating-time Temporal Logic (ATL). The key insight (...) in ATL is that the path quantifiers of CTL could be replaced by cooperation modalities, of the form , where is a set of agents. The intended interpretation of an ATL formula is that the agents can cooperate to ensure that holds (equivalently, that have a winning strategy for ). In this paper, we extend ATL with knowledge modalities, of the kind made popular in the work of Fagin, Halpern, Moses, Vardi and colleagues. Combining these knowledge modalities with ATL, it becomes possible to express such properties as group can cooperate to bring about iff it is common knowledge in that . The resulting logic — Alternating-time Temporal Epistemic Logic (ATEL) — shares the tractability of model checking with its ATL parent, and is a succinct and expressive language for reasoning about game-like multiagent systems. (shrink)

Direct download(3 more)   Export citation   Bookmark   51 citations  

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)

Direct download(2 more)   Export citation   Bookmark   9 citations  

Export citation   Bookmark   214 citations  

We present an epistemic default logic, based on the metaphore of a meta-level architecture. Upward reflection is formalized by a nonmonotonic entailment relation, based on the objective facts that are either known or unknown at the object level. Then, the meta (monotonic) reasoning process generates a number of default-beliefs of object-level formulas. We extend this framework by proposing a mechanism to reflect these defaults down. Such a reflection is seen as essentially having a temporal flavour: defaults derived at the meta-level (...) are projected as facts in a next object level state. In this way, we obtain temporal models for default reasoning in meta-level formalisms which can be conceived as labeled branching trees. Thus, descending the tree corresponds to shifts in time that model downward reflection, whereas the branching of the tree corresponds to ways of combining possible defaults. All together, this yields an operational or procedural semantics of reasoning by default, which admits one to reason about it by means of branching-time temporal logic. Finally, we define sceptical and credulous entailment relations based on these temporal models and we characterize Reiter extensions in our semantics. (shrink)

Direct download(4 more)   Export citation   Bookmark   1 citation  

Direct download(3 more)   Export citation   Bookmark  

Amsterdam University Press is a leading publisher of academic books, journals and textbooks in the Humanities and Social Sciences. Our aim is to make current research available to scholars, students, innovators, and the general public. AUP stands for scholarly excellence, global presence, and engagement with the international academic community.

No categories

Direct download(2 more)   Export citation   Bookmark  

Fundamentele filosofische studie over hermeneutiek, opgevat als het stem geven aan degene die niet (meer) zelf kan spreken, met beschouwingen over het betreffende gedachtegoed van enkele vooraanstaande denkers zoals Plato en Heidegger.

No categories

Direct download   Export citation   Bookmark  

This contribution is a gentle introduction to so-called dynamic epistemic logics, that can describe how agents change their knowledge and beliefs. We start with a concise introduction to epistemic logic, through the example of one, two and finally three players holding cards; and, mainly for the purpose of motivating the dynamics, we also very summarily introduce the concepts of general and common knowledge. We then pay ample attention to the logic of public announcements, wherein agents change their knowledge as the (...) result of public announcements. One crucial topic in that setting is that of unsuccessful updates: formulas that become false when announced. The Moore-sentences that were already extensively discussed at the conception of epistemic logic in Hintikka’s ‘Knowledge and Belief’ give rise to such unsuccessful updates. After that, we present a few examples of more complex epistemic updates. Our closing observations are on recent developments that link the ‘standard’ topic of belief revision, as in ‘On the Logic of Theory Change: partial meet contraction and revision functions’, by Alchourron et al. , to the dynamic epistemic logics introduced here. (shrink)

Export citation   Bookmark   15 citations  

Amsterdam University Press is a leading publisher of academic books, journals and textbooks in the Humanities and Social Sciences. Our aim is to make current research available to scholars, students, innovators, and the general public. AUP stands for scholarly excellence, global presence, and engagement with the international academic community.

No categories

Direct download(2 more)   Export citation   Bookmark  

Although the change of beliefs in the face of new information has been widely studied with some success, the revision of other mental states has received little attention from the theoretical perspective. In particular, intentions are widely recognised as being a key attitude for rational agents, and while several formal theories of intention have been proposed in the literature, the logic of intention revision has been hardly considered. There are several reasons for this: perhaps most importantly, intentions are very closely (...) connected with other mental states—in particular, beliefs about the future and the abilities of the agent. So, we cannot study them in isolation. We must consider the interplay between intention revision and the revision of other mental states, which complicates the picture considerably. In this paper, we present some first steps towards a theory of intention revision. We develop a simple model of an agent’s mental states, and define intention revision operators. Using this model, we develop a logic of intention dynamics, and then investigate some of its properties. (shrink)

Direct download(4 more)   Export citation   Bookmark   19 citations  

Direct download   Export citation   Bookmark   11 citations  

Since it was first proposed by Moses, Shoham, and Tennenholtz, the social laws paradigm has proved to be one of the most compelling approaches to the offline coordination of multiagent systems. In this paper, we make four key contributions to the theory and practice of social laws in multiagent systems. First, we show that the Alternating-time Temporal Logic (atl) of Alur, Henzinger, and Kupferman provides an elegant and powerful framework within which to express and understand social laws for multiagent systems. (...) Second, we show that the effectiveness, feasibility, and synthesis problems for social laws may naturally be framed as atl model checking problems, and that as a consequence, existing atl model checkers may be applied to these problems. Third, we show that the complexity of the feasibility problem in our framework is no more complex in the general case than that of the corresponding problem in the Shoham–Tennenholtz framework (it is np-complete). Finally, we show how our basic framework can easily be extended to permit social laws in which constraints on the legality or otherwise of some action may be explicitly required. We illustrate the concepts and techniques developed by means of a running example. (shrink)

Direct download(4 more)   Export citation   Bookmark   16 citations  

Hans van Ditmarsch, Wiebe van derHoek 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.

Direct download   Export citation   Bookmark  

We study several modal languages in which some (sets of) generalized quantifiers can be represented; the main language we consider is suitable for defining any first order definable quantifier, but we also consider a sublanguage thereof, as well as a language for dealing with the modal counterparts of some higher order quantifiers. These languages are studied both from a modal logic perspective and from a quantifier perspective. Thus the issues addressed include normal forms, expressive power, completeness both of modal systems (...) and of systems in the quantifier tradition, complexity as well as syntactic characterizations of special semantic constraints. Throughout the paper several techniques current in the theory of generalized quantifiers are used to obtain results in modal logic, and conversely. (shrink)

Direct download(5 more)   Export citation   Bookmark   16 citations  

Direct download(2 more)   Export citation   Bookmark   18 citations  

Amsterdam University Press is a leading publisher of academic books, journals and textbooks in the Humanities and Social Sciences. Our aim is to make current research available to scholars, students, innovators, and the general public. AUP stands for scholarly excellence, global presence, and engagement with the international academic community.

No categories

Direct download(2 more)   Export citation   Bookmark  

No categories

Direct download(3 more)   Export citation   Bookmark  

Direct download(3 more)   Export citation   Bookmark  

Amsterdam University Press is a leading publisher of academic books, journals and textbooks in the Humanities and Social Sciences. Our aim is to make current research available to scholars, students, innovators, and the general public. AUP stands for scholarly excellence, global presence, and engagement with the international academic community.

No categories

Direct download(2 more)   Export citation   Bookmark  

Contemporary epistemological and cognitive studies, as well as recent trends in computer science and game theory have revealed an increasingly important and intimate relationship between Information, Interaction, and Agency. Agents perform actions based on the available information and in the presence of other interacting agents. From this perspective Information, Interaction, and Agency neatly ties together classical themes like rationality, decision-making and belief revision with games, strategies and learning in a multi-agent setting. Unified by the central notions Information, Interaction, and Agency, (...) the essays in this volume provide refreshing methodological perspectives on belief revision, dynamic epistemic logic, von Neumann games, and evolutionary game theory; all of which in turn are central approaches to understanding our own rationality and that of other agents. (shrink)

No categories

Direct download(2 more)   Export citation   Bookmark  

Homeopathy is controversial and hotly debated. The conclusions of systematic reviews of randomised controlled trials of homeopathy vary from ‘comparable to conventional medicine’ to ‘no evidence of effects beyond placebo’. It is claimed that homeopathy conflicts with scientific laws and that homoeopaths reject the naturalistic outlook, but no evidence has been cited. We are homeopathic physicians and researchers who do not reject the scientific outlook; we believe that examination of the prior beliefs underlying this enduring stand-off can advance the debate. (...) We show that interpretations of the same set of evidence—for homeopathy and for conventional medicine—can diverge. Prior disbelief in homeopathy is rooted in the perceived implausibility of any conceivable mechanism of action. Using the ‘crossword analogy’, we demonstrate that plausibility bias impedes assessment of the clinical evidence. Sweeping statements about the scientific impossibility of homeopathy are themselves unscientific: scientific statements must be precise and testable. There is growing evidence that homeopathic preparations can exert biological effects; due consideration of such research would reduce the influence of prior beliefs on the assessment of systematic review evidence. (shrink)

Direct download(3 more)   Export citation   Bookmark  

Direct download(2 more)   Export citation   Bookmark   5 citations  

No categories

Direct download   Export citation   Bookmark   5 citations  

No categories

Export citation   Bookmark  

Direct download(2 more)   Export citation   Bookmark   15 citations  

Direct download(2 more)   Export citation   Bookmark   2 citations  

No categories

Direct download(2 more)   Export citation   Bookmark  

Rational agents are important objects of study in several research communities, including economics, philosophy, cognitive science, and most recently computer science and artificial intelligence. Crudely, a rational agent is an entity that is capable of acting on its environment, and which chooses to act in such a way as to further its own best interests. There has recently been much interest in the use of mathematical logic for developing formal theories of such agents. Such theories view agents as practical reasoning (...) systems, deciding moment by moment which action to perform next, given the beliefs they have about the world and their desires with respect to how they would like the world to be. In this article, we survey the state of the art in developing logical theories of rational agency. Following a discussion on the dimensions along which such theories can vary, we briefly survey the logical tools available in order to construct such theories. We then review and critically assess three of the best known theories of rational agency: Cohen and Levesque's intention logic, Rao and Georgeff's BDI logics, and the KARO framework of Meyer et al. We then discuss the various roles that such logics can play in helping us to engineer rational agents, and conclude with a discussion of open problems. (shrink)

Direct download(2 more)   Export citation   Bookmark   17 citations  

We extend our general approach to characterizing information to multi-agent systems. In particular, we provide a formal description of an agent''s knowledge containing exactly the information conveyed by some (honest) formula . Only knowing is important for dynamic agent systems in two ways. First of all, one wants to compare different states of knowledge of an agent and, secondly, for agent a''s decisions, it may be relevant that (he knows that) agent b does not know more than . There are (...) three ways to study the question whether a formula can be interpreted as minimal information. The first method is semantic and inspects minimal models for (with respect to some information order on states). The second one is syntactic and searches for stable expansions, minimal with respect to some language *. The third method is a deductive test, known as the disjunction property. We present a condition under which the three methods are equivalent. Then, we show how to construct the order by collecting layered orders. Focusing on the multi-agent case we identify languages * for various orders , and show how they yield different notions of honesty for different multi-modal systems. We then provide several tools for studying honesty types and illustrate their usefulness on a number of examples, for three modal systems of particular interest. Finally, we relate the different notions of minimal knowledge, and describe possible patterns of honesty for these systems. (shrink)

Direct download(4 more)   Export citation   Bookmark   3 citations