In this paper we present a dynamic assignment language which extends the dynamic predicate logic of Groenendijk and Stokhof [1991: 39–100] with assignment and with generalized quantifiers. The use of this dynamic assignment language for natural language analysis, along the lines of o.c. and [Barwise, 1987: 1–29], is demonstrated by examples. We show that our representation language permits us to treat a wide variety of donkey sentences: conditionals with a donkey pronoun in their consequent and quantified sentences with donkey pronouns (...) anywhere in the scope of the quantifier. It is also demonstrated that our account does not suffer from the so-called proportion problem.Discussions about the correctness or incorrectness of proposals for dynamic interpretation of language have been hampered in the past by the difficulty of seeing through the ramifications of the dynamic semantic clauses (phrased in terms of input-output behaviour) in non-trivial cases. To remedy this, we supplement the dynamic semantics of our representation language with an axiom system in the style of Hoare. While the representation languages of barwise and Groenendijk and Stokhof were not axiomatized, the rules we propose form a deduction system for the dynamic assignment language which is proved correct and complete with respect to the semantics. (shrink)
Logical frameworks for analysing the dynamics ofinformation processing abound [4, 5, 8, 10, 12, 14, 20, 22]. Some of these frameworks focus on the dynamics of the interpretation process, some on the dynamics of the process of drawing inferences, and some do both of these. Formalisms galore, so it is felt that some conceptual streamlining would pay off. This paper is part of a larger scale enterprise to pursue the obvious parallel between information processing and imperative programming. We demonstrate that (...) logical tools from theoretical computer science are relevant for the logic of information flow. More specifically, we show that the perspective of bare logic [13, 18] can fruitfully be applied to the conceptual simplification of information flow logics. Part one of this program consisted of the analysis of 'dynamic interpretation' in this way, using the example of dynamic predicate logic ; the results were published in . The present paper constitutes the second part of the program, the analysis of 'dynamic inference'. Here we focus on Veltman’s update logic . Update logic is an example of a logical framework which takes the dynamics of drawing inferences into account by modelling information growth as discarding of possibilities. This paper shows how information logics like update logic can fruitfully be studied by linking their dynamic principles to static 'correctness descriptions'. Our theme is exemplified by providing a sound and complete HoarelPratt style deduction system for update logic. The Hoare/Pratt correctness statements use modal propositional dynamic logic as assertion language and connect update logic to the modal propositional logic S5. The connection with S5 provides a clear link between the dynamic and the static semantics of update logic. The fact that update logic is decidable was noted already in ; the connection with S5 provides an alternative proof. The S5 connection can also be used for rephrasing the validity notions of update logic and for performing consistency checks. In conclusion, it is argued that interpreting the dynamic statements of information logics as dynamic modal operators has much wider applicability. In fact, the method can be used to axiomatize quite a wide range of information logics. (shrink)
Logical frameworks for analysing the dynamics of information processing abound [4, 5, 8, 10, 12, 14, 20, 22]. Some of these frameworks focus on the dynamics of the interpretation process, some on the dynamics of the process of drawing inferences, and some do both of these. Formalisms galore, so it is felt that some conceptual streamlining would pay off.This paper is part of a larger scale enterprise to pursue the obvious parallel between information processing and imperative programming. We demonstrate that (...) logical tools from theoretical computer science are relevant for the logic of information flow. More specifically, we show that the perspective of Hoare logic [13, 18] can fruitfully be applied to the conceptual simplification of information flow logics. (shrink)
BackgroundPediatric oncology has a strong research culture. Most pediatric oncologists are investigators, involved in clinical care as well as research. As a result, a remarkable proportion of children with cancer enrolls in a trial during treatment. This paper discusses the ethical consequences of the unprecedented integration of research and care in pediatric oncology from the perspective of parents and physicians.MethodologyAn empirical ethical approach, combining a narrative review of qualitative studies on parents' and physicians' experiences of the pediatric oncology research practice, (...) and comparison of these experiences with existing theoretical ethical concepts about research. The use of empirical evidence enriches these concepts by taking into account the peculiarities that ethical challenges pose in practice.ResultsAnalysis of the 22 studies reviewed revealed that the integration of research and care has consequences for the informed consent process, the promotion of the child's best interests, and the role of the physician . True consent to research is difficult to achieve due to the complexity of research protocols, emotional stress and parents' dependency on their child's physician. Parents' role is to promote their child's best interests, also when they are asked to consider enrolling their child in a trial. Parents are almost never in equipoise on trial participation, which leaves them with the agonizing situation of wanting to do what is best for their child, while being fearful of making the wrong decision. Furthermore, a therapeutic misconception endangers correct assessment of participation, making parents inaccurately attribute therapeutic intent to research procedures. Physicians prefer the perspective of a therapist over a researcher. Consequently they may truly believe that in the research setting they promote the child's best interests, which maintains the existence of a therapeutic misconception between them and parents.ConclusionDue to the integration of research and care, their different ethical perspectives become intertwined in the daily practice of pediatric oncology. Increasing awareness of what this means for the communication between parents and physicians is essential. Future research should focus on efforts that overcome the problems that the synchronicity of research and care evokes. (shrink)
This paper responds to the commentaries from Stacy Carter and Alan Cribb. We pick up on two main themes in our response. First, we reflect on how the process of setting standards for empirical bioethics research entails drawing boundaries around what research counts as empirical bioethics research, and we discuss whether the standards agreed in the consensus process draw these boundaries correctly. Second, we expand on the discussion in the original paper of the role and significance of the concept of (...) ‘integrating’ empirical methods and ethical argument as a standard for research practice within empirical bioethics. (shrink)
Health technology assessment (HTA) is often biased in the sense that it neglects relevant perspectives on the technology in question. To incorporate different perspectives in HTA, we should pursue agreement about what are relevant, plausible, and feasible research questions; interactive technology assessment (iTA) might be suitable for this goal. In this way a kind of procedural ethics is established. Currently, ethics too often is focussed on the application of general principles, which leaves a lot of confusion as to what really (...) is the matter in specific cases; in an iTA clashes of values should not be approached by use of such ethics. Instead, casuistry, as a tool used within the framework of iTA, should help to articulate and clarify what is the matter, as to make room for explication and consensus building. (shrink)
In 2014, the editorial board of BMC Medical Ethics came together to devise sections for the journal that would give structure to the journal help ensure that authors’ research is matched to the most appropriate editors and help readers to find the research most relevant to them. The editorial board decided to take a practical approach to devising sections that dealt with the challenges of content management. After that, we started thinking more theoretically about how one could go about classifying (...) the field of medical ethics. This editorial elaborates and reflects on the practical approach that we took at the journal, then considers an alternative theoretically derived approach, and reflects on the possibilities, challenges and value of classifying the field more broadly. (shrink)
From 1991 to 1994 the Dutch Health Insurance Council financed research on Extracorporeal Membrane Oxygenation (ECMO). This is a technique for providing cardiopulmonary bypass to patients with pulmonary and/or cardiac failure. Most often, these patients are premature neonates. During ECMO, blood is drained from the right atrium, pumped along a membrane where gas exchange takes place, and then redirected to the aorta. To prevent blood clotting, heparin is added. However, with the heparin added, the risk of hemorrhage is considerably increased. (...) Therefore, both the chance of surviving and the chance of severe disability are higher with ECMO than with conventional treatment (i.e., ventilator support). (shrink)
From 1991 to 1994 the Dutch Health Insurance Council financed research on Extracorporeal Membrane Oxygenation . This is a technique for providing cardiopulmonary bypass to patients with pulmonary and/or cardiac failure. Most often, these patients are premature neonates. During ECMO, blood is drained from the right atrium, pumped along a membrane where gas exchange takes place, and then redirected to the aorta. To prevent blood clotting, heparin is added. However, with the heparin added, the risk of hemorrhage is considerably increased. (...) Therefore, both the chance of surviving and the chance of severe disability are higher with ECMO than with conventional treatment. (shrink)
In a static approach to the semantics of natural language, the use of definite and indefinite descriptions encounters certain difficulties. This paper shows that these problems can to a large extent be overcome by switching to a dynamic perspective, and demonstrates how description operators acquire a new lustre and attractiveness in a dynamic set-up. The starting point of this paper is dynamic predicate logic. The paper first extends the semantics of dynamic predicate logic (Groenendijk & Stokhof 1991) with a clause (...) for definite t assignment. The constructs for indefinite and definite assignment (η and ι) allow a very straightforward analysis of indefinte and definite descriptions in natural language. It is shown how the standard semantics for ι assignment (van Eijck & de Vries 1992) leads to a Russellian treatment of definite descriptions. A Hoare/Pratt–style calculus of assertions for dynamic predicate logic is presented, and it is demonstrated how the axiom schemata of the calculus allow for the calculation of success conditions (static truth conditions) or, equivalently, for the calculation of failure conditions (static falsiry conditions) of dynamic predicate logic programs. Next, the dynamic semantics is enriched with error states, intended to monitor failure of uniqueness presuppositions for definite descriptions. The semantic clause for ι assignment can now take the presuppositions of the use of definite descriptions into account, which gets us a Strawsonian treatment of definites. It is indicated how a Hoare/Pratt–style calculus for the error state semantics can be set up. The paper ends with a demonstration of the use of this calculus for finding success conditions, failure conditions, and error conditions (conditions for presupposition failure). It is also shown that the axiom system may serve as a calculus of presupposition projection. (shrink)
Presented here is the German translation of Jan Patočka’s fragment Nitro a svět which was written in the 1940s and belongs to the so called „Strahov Papers“. The fragment reflects Patočka’s early attempts towards a thinking of subjectivity and the world. Thereby Patočka’s approach is phenomenological, but also integrates motives of German Idealism. The critical impact of the fragment lies in its orientation against the scientific biologism of its times.
To get distracted, to enclose and to give oneself. The Gesture of Transcendence in Jan Patočka The problem of transcendence can be traced throughout the whole work of Jan Patočka. The appeal to transcend our bonds to mere objectivity is a constant issue of his thought. It finds a new substantiation in the 1960s in his studies focusing on the meaning of the other as human being. The relation to the other person offers a special "occasion" or "place" of transcendence (...) and poses the challenge to transcend one's own particular setting. While in the mid-1960s Patočka maintains his earlier dramatic vocabulary to describe the process of transcendence, in the late 1960s his idiom becomes less vehement. Yet, it is precisely within this more "sober" framework that he symbolizes the process of transcendence with an emphatic turn to a "myth of the divine man" and its key metaphor of resurrection. To transcend means, for Patočka, always to liberate oneself from a state of self-distraction between things. However, in his late lectures, he briefly refers to a deeper layer, suggesting that this self-distraction has its "roots" in a self-enclosure or self-isolation, in the exclusive concentration on our own interests and in the illusion of our self-sufficiency. Transcendence, then, means to overcome this self-enclosure by means of a self-forgetting love. Are these rarely mentioned "roots" perhaps implicitly present in all Patočka's accounts of transcendence? (shrink)
This paper describes the work of the Polish logician Jan Kalicki (1922?1953). After a biographical introduction, his work on logical matrices and equational logic is appraised. A bibliography of his papers and reviews is also included.
In ethics, the use of empirical data has become more and more popular, leading to a distinct form of applied ethics, namely empirical ethics. This ‘empirical turn’ is especially visible in bioethics. There are various ways of combining empirical research and ethical reflection. In this paper we discuss the use of empirical data in a special form of Reflective Equilibrium (RE), namely the Network Model with Third Person Moral Experiences. In this model, the empirical data consist of the moral experiences (...) of people in a practice. Although inclusion of these moral experiences in this specific model of RE can be well defended, their use in the application of the model still raises important questions. What precisely are moral experiences? How to determine relevance of experiences, in other words: should there be a selection of the moral experiences that are eventually used in the RE? How much weight should the empirical data have in the RE? And the key question: can the use of RE by empirical ethicists really produce answers to practical moral questions?In this paper we start to answer the above questions by giving examples taken from our research project on understanding the norm of informed consent in the field of pediatric oncology. We especially emphasize that incorporation of empirical data in a network model can reduce the risk of self-justification and bias and can increase the credibility of the RE reached. (shrink)
A unifying framework of probabilistic reasoning Content Type Journal Article Category Book Review Pages 1-4 DOI 10.1007/s11016-011-9573-x Authors Jan Sprenger, Tilburg Center for Logic and Philosophy of Science, Tilburg University, P.O. Box 90153, 5000 LE Tilburg, The Netherlands Journal Metascience Online ISSN 1467-9981 Print ISSN 0815-0796.
Hicrî birinci yüzyılın sonu ile ikinci yüzyılın ortalarında yaşamış bulunan Ca‘fer-i Sâdık ve Ebû Hanîfe, akran iki âlimdir. Kûfe’de yetişen ve Ehl-i sünnet mezheplerinden birinin imamı olan Ebû Hanîfe’nin, Medine’de yetişen ve İsnâaşeriyye’nin altıncı imamı kabul edilen Ca‘fer ile bir araya geldiği ve onun talebesi olduğu hem sünnî hem Şiî kaynaklarda rivayet edilmektedir. Mukaddem kaynaklarda Ebû Hanîfe’nin Ca‘fer-i Sâdık’ın öğrencisi olduğu yönündeki ifadelerin, muahhar kaynaklarda abartılı bir şekilde yorumlandığı görülmüştür. Bu çalışmada Ebû Hanîfe ile Ca‘fer-i Sâdık arasındaki hoca-talebe ilişkisi netleştirilmeye (...) çalışılmıştır. Bu sebeple öncelikle kısaca her iki imamın hayatı ele alınarak onların ilmî birikimi tespit edilmiştir. Akabinde Ebû Hanîfe ile Ca‘fer’in ne zaman ve ne kadar süre birlikte oldukları, Ebû Hanîfe’nin Ehl-i beyt’e yönelik tutumunun Ca‘fer’den ilim almasında ne gibi bir etkisinin bulunduğu ve çeşitli ilim dallarında Ebû Hanîfe- Ca‘fer ilişkisi tespit edilmeye çalışılmıştır. (shrink)
The article focuses on the report of the International Workshop on “17th Century Polish Jesuits in China: Michal Boym, Jan Mikolaj Smogulecki, and Andrzej Rudomina” held at the University School of Philosophy and Education in Poland organized by the Monumenta Serica Institute. The author focuses on the Chinese philosophy lecture by Professor Shi Yunli about the influence of Smogulecki on Xue Fengzou, Chinese culture and science and their work on astrology and astronomy.