This paper experimentally investigates the altruistic behavior of physicians and whether this behavior is affected by payment system and uncertainty in health outcome. Subjects in the experiment take on the role of physicians and decide on the provision of medical care for different types of patients, who are identical in all respects other than the degree to which a given level of medical treatment affects their health. We investigate physician altruism from the perspective of ethical principles, by categorizing physicians according (...) to how well their treatment decisions align with different principles for priority setting. The experiment shows that many physicians are altruistic toward their patients but also that the degree of altruism varies across patients with different medical needs. We find a strong effect of payment system that is overall unaffected by the introduction of risk and ambiguity in patients health outcomes. There is, however, substantial heterogeneity across individuals, in particular under the capitation payment system where physicians responses to the introduction of uncertainty in patient health are modulated by their own generic risk and ambiguity preferences. (shrink)

The vital status of patients who are a part of controlled donation after circulatory death (cDCD) is widely debated in bioethical literature. Opponents to currently applied cDCD protocols argue that they violate the dead donor rule, while proponents of the protocols advocate compatibility. In this article, we argue that both parties often misinterpret the moral implications of the dead donor rule. The rule as such does not require an assessment of a donor’s vital status, we contend, but rather an assessment (...) of whether procurement of organs in cDCD cause the death of the donor or not. We then argue that commonly practiced cDCD protocols do not violate the dead donor rule, since the donation does not trigger or cause the death of the donors. (shrink)

The introduction of normothermic regional perfusion (NRP) in controlled donation after circulatory determination of death (cDCDD) protocols is by some regarded as controversial and ethically troublesome. One of the main concerns that opponents have about introducing NRP in cDCDD protocols is that reestablishing circulation will negate the determination of death by circulatory criteria, potentially resuscitating the donor. In this article, I argue that this is not the case. If we take a closer look at the concept of death underlying the (...) circulatory criterion for determination of death, we find that the purpose of the criterion is to show whether the organism as a whole has died. I argue that this purpose is fulfilled by the circulatory criterion in cDCDD protocols, and that applying NRP does not negate the determination of death or resuscitate the donor. (shrink)

I. In der Bahn freigemeindlicher Ansichten. Kritiken und Referate. 1907.--II-III. Kleinere philosophische und kritische Abhandlungen. 1907-1908.--IV-V. Kritische Exkurse im Gebiete der Kantforschung. 1908-1909.--VI. Beiträge zu dem Material der Geschichte von Kants Leben und Schriftstellertätigkeit in bezug auf seine "Religionslehre" und seinen Konflikt mit der preussischen Regierung. Zwei kleinere Aufsätze. 1909.--Nachlass: I. Zur Literatur: 1. Abt., Faust. Nathan. 2. Abt. Kleinere Abhandlungen. 2 v. in 1. 1906.--II. Erläuternde Abhandlungen zu Kants Kritik der reinen Vernunft. 1907.--III. Einleitung in die Philosophie. Vorlesung. 1910.--IV. (...) Auswahl aus Arnoldts Briefen. 1911. (shrink)

Keine ausführliche Beschreibung für "Religionsphilosophie evangelischer Theologie" verfügbar.

We investigate the computational complexity of deciding whether a given inference rule is admissible for some modal and superintuitionistic logics. We state a broad condition under which the admissibility problem is coNEXP-hard. We also show that admissibility in several well-known systems (including GL, S4, and IPC) is in coNE, thus obtaining a sharp complexity estimate for admissibility in these systems.

We develop canonical rules capable of axiomatizing all systems of multiple-conclusion rules over K4 or IPC, by extension of the method of canonical formulas by Zakharyaschev [37]. We use the framework to give an alternative proof of the known analysis of admissible rules in basic transitive logics, which additionally yields the following dichotomy: any canonical rule is either admissible in the logic, or it is equivalent to an assumption-free rule. Other applications of canonical rules include a generalization of the Blok–Esakia (...) theorem and the theory of modal companions to systems of multiple-conclusion rules or (finitary structural global) consequence relations, and a characterization of splittings in the lattices of consequence relations over monomodal or superintuitionistic logics with the finite model property. (shrink)

Since 2013, several social actors of the Federal University of Santa Catarina community have formed a public sphere in order to deliberate and decide on the University Hospital’s affiliation to the Brazilian Hospital Services Company, a public company set up in accordance with a private law which has been created by the Brazilian federal government in order to set up a management body for public university hospitals. Underpinned by critical discourse analysis, our purpose is to analyze the embedded ideologies in (...) discursive practices within the UFSC/ebserh public sphere, especially those perpetrated by the federal government’s bureaucratic means as to mystify reality, and also promote and legitimize dominant interests and actions with regard to the UH/ufsc’s affiliation to the EBSERH. We organized this analysis in five main categories: staff shortage and the ideological use of the double standard policy, the ideology of neo-liberalism and managerialism, blame avoidance behavior and the ideological dispute between ideology and pragmatism, the policy of terror and the fallacy of choice and ideology of participationism. (shrink)

We show that IPC, K4, GL, and S4, as well as all logics inheriting their admissible rules, have independent bases of admissible rules.

We study the notion of conservative translation between logics introduced by (Feitosa & D’Ottaviano2001). We show that classical propositional logic (CPC) is universal in the sense that every finitary consequence relation over a countable set of formulas can be conservatively translated into CPC. The translation is computable if the consequence relation is decidable. More generally, we show that one can take instead of CPC a broad class of logics (extensions of a certain fragment of full Lambek calculus FL) including most (...) nonclassical logics studied in the literature, hence in a sense, (almost) any two reasonable deductive systems can be conservatively translated into each other. We also provide some counterexamples, in particular the paraconsistent logic LP is not universal. (shrink)

We study the extension 123) of the theory S21 by instances of the dual weak pigeonhole principle for p-time functions, dWPHPx2x. We propose a natural framework for formalization of randomized algorithms in bounded arithmetic, and use it to provide a strengthening of Wilkie's witnessing theorem for S21+dWPHP. We construct a propositional proof system WF , which captures the Π1b-consequences of S21+dWPHP. We also show that WF p-simulates the Unstructured Extended Nullstellensatz proof system of Buss et al. 256). We prove that (...) dWPHP is equivalent to a statement asserting the existence of a family of Boolean functions with exponential circuit complexity. Building on this result, we formalize the Nisan–Wigderson construction in a conservative extension of S21+dWPHP. (shrink)

Excerpt from Die Lehre vom Urteil Windelband hat in seinen "präludien und in dem Aufsatz der Festschrift für Zeller "beiträge zur Lehre vom nega tiven Urteil gerade vermittelst der Urteilslehre den ent scheidenden Schritt zu tun vermocht, der Logik wieder ihre sachliche Heimat im Ganzen der Philos0phie zu bestimmen. Rickerts "gegenstand der Erkenntnis ist sodann das Grund buch für alle logischen Untersuchungen der Werttheorie geworden und geblieben. About the Publisher Forgotten Books publishes hundreds of thousands of rare and classic books. (...) Find more at www.forgottenbooks.com This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works. (shrink)

How to make robots safe for humans is intensely debated, within academia as well as in industry, media and on the political arena. Hardly any discussion of the subject fails to mention Isaac Asimov’s three laws of Robotics. We find it curious that a set of fictional laws can have such a strong impact on discussions about a real-world problem and we think this needs to be looked into. The probably most common phrase in connection with robotic and AI ethics, (...) second to “The Three Laws of Robotics”, is “The Trolley Problem”. Asimov’s laws and the Trolley Problem are usually discussed separately but there is a connection in that the Trolley Problem poses a seemingly unsolvable problem for Asimov’s First Law, that states: A robot may not injure a human being or, through inaction, allow a human being to come to harm. That is, it contains an active and a passive clause and obliges the robot to obey both, while the Trolley Problem forces us to choose between these two options. The object of this paper is therefore to investigate if and how Asimov’s First Law of Robotics can handle a situation where we are forced to choose between the active and the passive clauses of the law. We discuss four possible solutions to the challenge explicitly or implicitly used by Asimov. We conclude that all four suggestions would solve the problem but in different ways and with different implications for other dilemmas in robot ethics. We also conclude that considering the urgency of finding ways to secure a safe coexistence between humans and robots, we should not let the Trolley Problem stand in the way of using the First Law of robotics for this purpose. If we want to use Asimov’s laws for this purpose, we also recommend discarding the active clause of the First Law. (shrink)

Timothy Michael Fowler has argued that, as a consequence of their commitment to neutrality in regard to comprehensive doctrines, political liberals face a dilemma. In essence, the dilemma for political liberals is that either they have to give up their commitment to neutrality (which is an indispensible part of their view), or they have to allow harm to children. Fowler’s case for this dilemma depends on ascribing to political liberals a view which grants parents a great degree of freedom in (...) deciding on the education of their children. I show that ascribing this view to political liberals rests upon a misinterpretation of political liberalism. Since political liberals have access to reasons based upon the interests of children, they need not yield to parent’s wishes about the education of their children. A correct understanding of political liberalism thus shows that political liberals do not face the dilemma envisaged by Fowler. (shrink)

There are no egalitarians in a pandemic. The scale of the challenge for health systems and public policy means that there is an ineluctable need to prioritize the needs of the many. It is impossible to treat all citizens equally, and a failure to carefully consider the consequences of actions could lead to massive preventable loss of life. In a pandemic there is a strong ethical need to consider how to do most good overall. Utilitarianism is an influential moral theory (...) that states that the right action is the action that is expected to produce the greatest good. It offers clear operationalizable principles. In this paper we provide a summary of how utilitarianism could inform two challenging questions that have been important in the early phase of the pandemic: (a) Triage: which patients should receive access to a ventilator if there is overwhelming demand outstripping supply? (b) Lockdown: how should countries decide when to implement stringent social restrictions, balancing preventing deaths from COVID‐19 with causing deaths and reductions in well‐being from other causes? Our aim is not to argue that utilitarianism is the only relevant ethical theory, or in favour of a purely utilitarian approach. However, clearly considering which options will do the most good overall will help societies identify and consider the necessary cost of other values. Societies may choose either to embrace or not to embrace the utilitarian course, but with a clear understanding of the values involved and the price they are willing to pay. (shrink)

We prove that the sharply bounded arithmetic T02 in a language containing the function symbol ⌊x /2y⌋ is equivalent to PV1.

We develop an arithmetical theory and its variant , corresponding to “slightly nonuniform” . Our theories sit between and , and allow evaluation of log-depth bounded fan-in circuits under limited conditions. Propositional translations of -formulas provable in admit L-uniform polynomial-size Frege proofs.

We investigate the substitution Frege () proof system and its relationship to extended Frege () in the context of modal and superintuitionistic propositional logics. We show that is p-equivalent to tree-like , and we develop a “normal form” for -proofs. We establish connections between for a logic L, and for certain bimodal expansions of L.We then turn attention to specific families of modal and si logics. We prove p-equivalence of and for all extensions of , all tabular logics, all logics (...) of finite depth and width, and typical examples of logics of finite width and infinite depth. In most cases, we actually show an equivalence with the usual system for classical logic with respect to a naturally defined translation.On the other hand, we establish exponential speed-up of over for all modal and si logics of infinite branching, extending recent lower bounds by P. Hrubeš. We develop a model-theoretical characterization of maximal logics of infinite branching to prove this result. (shrink)

By a well-known result of Cook and Reckhow [S.A. Cook, R.A. Reckhow, The relative efficiency of propositional proof systems, Journal of Symbolic Logic 44 36–50; R.A. Reckhow, On the lengths of proofs in the propositional calculus, Ph.D. Thesis, Department of Computer Science, University of Toronto, 1976], all Frege systems for the classical propositional calculus are polynomially equivalent. Mints and Kojevnikov [G. Mints, A. Kojevnikov, Intuitionistic Frege systems are polynomially equivalent, Zapiski Nauchnyh Seminarov POMI 316 129–146] have recently shown p-equivalence of (...) Frege systems for the intuitionistic propositional calculus in the standard language, building on a description of admissible rules of IPC by Iemhoff [R. Iemhoff, On the admissible rules of intuitionistic propositional logic, Journal of Symbolic Logic 66 281–294]. We prove a similar result for an infinite family of normal modal logics, including K4, GL, S4, and. (shrink)

It has been argued that there is a genuine conflict between the views of geometry defended by Hume in the Treatise and in the Enquiry: while the former work attributes to geometry a different status from that of arithmetic and algebra, the latter attempts to restore its status as an exact and certain science. A closer reading of Hume shows that, in fact, there is no conflict between the two works with respect to geometry. The key to understanding Hume's view (...) of geometry is the distinction he draws between two standards of equality in extension. (shrink)

IN THE PREFACE to his Philosophy of Right Hegel writes: "Was vernünftig ist, das ist wirklich; und was wirklich ist, das ist vernünftig"--"What is rational is actual, and what is actual is rational." In paragraph 6 of the third edition of his Encyclopedia of Philosophical Sciences he repeats this statement verbatim, calling it "simple." Few interpreters, however, have ever found it so. Even friendly critics are baffled; hostile ones dismiss it as either scandalous or senseless. Two centuries after Hegel's birth (...) there is thus still room for a modest exposition of the meaning of this famous Hegelian statement, much more so for one of its "simplicity." Both tasks, however--and in particular the second, seemingly hopeless one--should be undertaken in full awareness of two conditions which the Encyclopedia passage considers evident but which can be taken as such no longer. One is possession of "religion." The other is the kind of philosophical "culture" which includes "knowledge" of "God.". (shrink)

Does normothermic regional perfusion (NRP) resurrect the dead? That was the question I asked in one of the target articles published in the special issue of The American Journal of Bioethics (AJOB)...

We show that the universally axiomatized, induction-free theory equation image is a sequential theory in the sense of Pudlák's 5, in contrast to the closely related Robinson's arithmetic.

It has been argued that Hume's denial of infinite divisibility entails the falsity of most of the familiar theorems of Euclidean geometry, including the Pythagorean theorem and the bisection theorem. I argue that Hume's thesis that there are indivisibles is not incompatible with the Pythagorean theorem and other central theorems of Euclidean geometry, but only with those theorems that deal with matters of minuteness. The key to understanding Hume's view of geometry is the distinction he draws between a precise and (...) an imprecise standard of equality in extension. Hume's project is different from the attempt made by Berkeley in some of his later writings to save Euclidean geometry. Unlike Berkeley, who interprets the theorems of Euclidean geometry as false albeit useful approximations of geometrical facts, Hume is able to save most of the central theorems as true. (shrink)