Hilden and Gammelgaard's comments on the evaluation and application of statistical trials and on informed consent lead to the same conclusion that there are special circumstances when clinical trials are performed in emergency situations.The decision to comment on the work that H&G responded to was motivated by the wish to manifest the need to reach a consensus on modifying the conditions in which clinical trials should be performed in special circumstances.One unquestionable fact must first be addressed: clinical trials are necessary (...) for acquiring new knowledge and consequent improvements in health care services. At the same time, patient participation should be encouraged under conditions that respect patients' decision making capability.Are these conditions being met at present? An answer to this is given below. (shrink)

The problem of non-compliance with treatment and its repercussions on the clinical evolution of different conditions has been widely investigated.1–4 Non-compliance has also been shown to have significant economic implications, not only as a result of product loss but also indirectly through the complication of disease management and its subsequent healthcare and social costs.5–7Non-compliance as a health problemThe term “non-compliance” might be taken to refer both to the failure to follow a drug regimen and to the failure to adopt other (...) measures that contribute to improvement in health—for example, changes in lifestyle or diet. This letter focuses on the former.Non-compliance with a drug regimen can be the result of a number of different factors9–11 and a variety of techniques have been developed in an attempt to control it.12,13 Of these, the few techniques that have been shown to be effective have only managed to solve the problem in specific situations over short periods of time. The use of such techniques to control non-compliance, particularly where these are effective, raises interesting ethical questions about the extent to which their application constitutes an infringement of the patient’s right to decide on how to manage their own health.8 Here we suggest that in some cases one factor that leads to non-compliance is the tendency to provide extensive and exhaustive information on side effects in …. (shrink)

Advances in medicine are closely linked to clinical research, but certain study procedures may be in conflict with the fundamental principles of ethics and codes of conduct in medicine. Following an analysis of two studies involving treatments for acute myocardial infarction (AMI), the admissibility of continuing a study was questioned after the initial results for two types of treatment showed that one was significantly better than the other. Also considered doubtful was the information provided to patients with the object of (...) obtaining their informed consent. (shrink)

In this paper we prove the equivalence between the Gentzen system G LJ*\c , obtained by deleting the contraction rule from the sequent calculus LJ* (which is a redundant version of LJ), the deductive system IPC*\c and the equational system associated with the variety RL of residuated lattices. This means that the variety RL is the equivalent algebraic semantics for both systems G LJ*\c in the sense of [18] and [4], respectively. The equivalence between G LJ*\c and IPC*\c is a (...) strengthening of a result obtained by H. Ono and Y. Komori [14, Corollary 2.8.1] and the equivalence between G LJ*\c and the equational system associated with the variety RL of residuated lattices is a strengthening of a result obtained by P.M. Idziak [13, Theorem 1].An axiomatization of the restriction of IPC*\c to the formulas whose main connective is the implication connective is obtained by using an interpretation of G LJ*\c in IPC*\c. (shrink)

In this paper we obtain a finite Hilbert-style axiomatization of the implicationless fragment of the intuitionistic propositional calculus. As a consequence we obtain finite axiomatizations of all structural closure operators on the algebra of {–}-formulas containing this fragment.

This paper focuses on the 1986 Amendments to the False Claims Act of 1863, which offers whistle-blowers financial rewards for disclosing fraud committed against the U.S. government. This law provides an opportunity to examine underlying assumptions about the morality of whistle-blowing and to consider the merits of increased reliance on whistle-blowing to protect the public interest. The law seems open to a number of moral objections, most notably that it exerts a morally corrupting influence on whistle-blowers. We answer these objections (...) and argue that the law is not objectionable on these grounds. Since there are no compelling moral objections to the law, it is appropriate and acceptable to judge the law in terms of its economic costs and benefits. We assess the most salient of these and conclude that the benefits outweigh the costs. We suggest that a mechanism similar to the Act should be considered for protecting stockholders’ interests in the private sector. We conclude by making several proposals for improving the existing legislation. (shrink)

This paper focuses on the 1986 Amendments to the False Claims Act of 1863, which offers whistle-blowers financial rewards for disclosing fraud committed against the U.S. government. This law provides an opportunity to examine underlying assumptions about the morality of whistle-blowing and to consider the merits of increased reliance on whistle-blowing to protect the public interest. The law seems open to a number of moral objections, most notably that it exerts a morally corrupting influence on whistle-blowers. We answer these objections (...) and argue that the law is not objectionable on these grounds. Since there are no compelling moral objections to the law, it is appropriate and acceptable to judge the law in terms of its economic costs and benefits. We assess the most salient of these and conclude that the benefits outweigh the costs. We suggest that a mechanism similar to the Act should be considered for protecting stockholders' interests in the private sector. We conclude by making several proposals for improving the existing legislation. (shrink)

In this paper we study the relations between the fragment L of classical logic having just conjunction and disjunction and the variety D of distributive lattices, within the context of Algebraic Logic. We prove that these relations cannot be fully expressed either with the tools of Blok and Pigozzi's theory of algebraizable logics or with the use of reduced matrices for L. However, these relations can be naturally formulated when we introduce a new notion of model of a sequent calculus. (...) When applied to a certain natural calculus for L, the resulting models are equivalent to a class of abstract logics (in the sense of Brown and Suszko) which we call distributive. Among other results, we prove that D is exactly the class of the algebraic reducts of the reduced models of L, that there is an embedding of the theories of L into the theories of the equational consequence (in the sense of Blok and Pigozzi) relative to D, and that for any algebra A of type (2,2) there is an isomorphism between the D-congruences of A and the models of L over A. In the second part of this paper (which will be published separately) we will also apply some results to give proofs with a logical flavour for several new or well-known lattice-theoretical properties. (shrink)

ABOUT THE BOOK:A new systematization of the main philosophical tenets of Hinayana Buddhism as derived from the Four Noble Truths. The work is divided in three parts: (1) Suffering and the Nature of Existence; (2) Origin of Suffering and the Notion.

In this paper we study the relations between the fragment L of classical logic having just conjunction and disjunction and the variety D of distributive lattices, within the context of Algebraic Logic. We prove that these relations cannot be fully expressed either with the tools of Blok and Pigozzi's theory of algebraizable logics or with the use of reduced matrices for L. However, these relations can be naturally formulated when we introduce a new notion of model of a sequent calculus. (...) When applied to a certain natural calculus for L, the resulting models are equivalent to a class of abstract logics (in the sense of Brown and Suszko) which we call distributive. Among other results, we prove that D is exactly the class of the algebraic reducts of the reduced models of L, that there is an embedding of the theories of L into the theories of the equational consequence (in the sense of Blok and Pigozzi) relative to D, and that for any algebra A of type (2,2) there is an isomorphism between the D-congruences of A and the models of L over A. In the second part of this paper (which will be published separately) we will also apply some results to give proofs with a logical flavour for several new or well-known lattice-theoretical properties. (shrink)

In this article, we shed light on the debate about the financial performance of socially responsible investment (SRI) mutual funds by separately analyzing the contributions of before-fee performance and fees to SRI funds' performance, and by investigating the role played by fund management companies in the determination of those variables. We apply the matching estimator methodology to obtain our results and find that in the period 1997–2005, US SRI funds had better beforeand after-fee performance than conventional funds with similar characteristics. (...) The differences, however, are driven exclusively by SRI funds run by management companies specialized in SRI. While these funds significantly outperform similar conventional funds, funds run by companies not specialized in SRI underperform their matched conventional funds. We find no significant differences in fees between SRI and conventional funds except in one case: SRI funds are cheaper than conventional funds run by the same management company. (shrink)

Resumen: El presente artículo pretende mostrar que, en el ámbito de la ciencia, la Edad Media no fue un período oscuro y sin avances significativos, y que la modernidad no supuso una ruptura con lo hecho al final del medievo, sino algo muy distinto. Decir lo contrario es mantener un tópico que desfigura la realidad.

La migración internacional es parte de la globalización, todos los países desarrollados han recibido un gran número de inmigrantes. España también ha recibido a alta cantidad de nómadas. La población española era emigrante y ahora ella tiene que hacer frente a este nuevo fenómeno, las sociedades desarrolladas van a tener que adaptarse a las grandes afluencias de extranjeros. La migración ha sido a menudo una fuente de tensiones entre culturas e incluso entre movimientos racistas y xenófobos. Un problema político fundamental (...) en España es la situación que hay en la frontera del sur, por donde mucha gente intenta entrar en la UE desde África, arriesgando su vida y perdiéndola a menudo.International migration is part of globalization, all developed countries have received significant numbers of migrants. Spain have also received a high amount of migrants. Spanish people were traditionally emigrants and now they have to face this new phenomena, developed societies are going to have to face larger inflows of migrants. Migration has often been a source of tensions among cultures and even racist and xenophobic movements. A prominent political problem in Spain is the situation on the Southern border, where many people try to enter the EU from Africa, risking their life and often losing. (shrink)

The object of this paper is to make a study of four systems of modal logic (S4, S5, and their intuitionistic analogues IM4 and IM5) with the techniques of the theory of abstract logics set up by Suszko, Bloom, Brown, Verdú and others. The abstract concepts corresponding to such systems are defined as generalizations of the logics naturally associated to their algebraic models (topological Boolean or Heyting algebras, general or semisimple). By considering new suitably defined connectives and by distinguishing between (...) having the rule of necessitation only for theorems or as a full inference rule (which amounts to dealing with all filters or with open filters of the algebras) we are able to reduce the study of a modal (abstract) logic L to that of two nonmodal logics L - and L + associated with L. We find that L is "of IM4 type" if and only if L - and L + are both intuitionistic and have the same theorems, and logics of type S4, IM5 or S5 are obtained from those of type IM4 simply by making classical L -, L + or both. We compare this situation with that found in recent approaches to intuitionistic modal logic using birelational models or using higher-level sequent-systems. The treatment of modal systems with abstract logics is rather new, and in our way to it we find several general constructions and results which can also be applied to other modal systems weaker than those we study in detail. (shrink)

In our previous paper Algebraic Logic for Classical Conjunction and Disjunction we studied some relations between the fragmentL of classical logic having just conjunction and disjunction and the varietyD of distributive lattices, within the context of Algebraic Logic. The central tool in that study was a class of closure operators which we calleddistributive, and one of its main results was that for any algebraA of type (2,2) there is an isomorphism between the lattices of allD-congruences ofA and of all distributive (...) closure operators overA. In the present paper we study the lattice structure of this last set, give a description of its finite and infinite operations, and obtain a topological representation. We also apply the mentioned isomorphism and other results to obtain proofs with a logical flavour for several new or well-known lattice-theoretical properties, like Hashimoto's characterization of distributive lattices, and Priestley's topological representation of the congruence lattice of a bounded distributive lattice. (shrink)

This paper examines the value awarded by Duns Escoto to the defence of god -understood as Lave- who acts in a completely free mannner and is omnipotent. I also studies the implications of his philosophical position when confrontingthe relationships between faith and reason, theology and philosophy, intellect and will, necessity and contingency. His analysis of The Philosopher, Aristotle, is also discussed.

Thomas Bradwardine fue, con Guillermo de Ockham, tal vez el pensador más destacado del siglo XIV Influyó en los terrenos de la lógica, la ciencia (matemáticas y física) y la teología. Su obra más importante fue: De Causa Dei con fra Pellagium et D e virtute causarum. En ella aborda profundamente un problema fundamental, discutido antes y después (sobre todo en los siglos XVI, XVII y XVIII): el de la libertad del hombre, el de la posible concordia entre necesidad y (...) libertad. (shrink)

Habla pausadamente, con un cierto distanciamiento irónico. El tema es, naturalmente, su libro "Yo y tú, objetos de lujo". No afirma nada categóricamente, pero, como observador crítico de una cultura tal vez emergente, sugiere interpretaciones de la realidad muy alejadas de visiones apocalípticas o condenatorias hacia lo que viene (está ya aquí, de hecho) en la era del consumo y del ciberespacio. Y, sin embargo, me parece descubrir en él un punto de melancolía�.

¿Qué importancia tiene para la historia del pensamiento lo hecho durante el s. XIV? Este periodo supone un cambio en el modo de ver el mundo impulsado por Petrarca, Boccaccio, Salutati, Giotto... La ciencia abre una nueva vía de incomparables repercusiones históricas. En teología, junto a la mística del maestro Eckhart, destacan Ockham, Bradwine, Gregorio de Rimini, Wiclif o Hus, figuras ineludibles al estudiar la influencia del s. XIV en la reforma. Sin estudiar el movimiento ockhamista, el desarrollo de la (...) lógica o el resurgir del agustianismo..., No podríamos entender el giro que tanto la filosofía como el pensamiento en general dieron en este siglo. (shrink)

The paper examines Frege’s argument based on the problem of cognitive value. This argument is opposed to Millian semantics on proper names and sustains Frege’s owns proposal. I point out a general flaw in the argument and elucidate the difficulty embodied by the ‘Paderewski’ example. I also defend the relevance of the example from a contention suggested in a recent paper by David Sosa.

El objetivo del presente artículo es doble. En primer lugar, mostrar con claridad cual es la estructura formal de la obra De causa Dei contra Pelagiurn et de virtute causarui’n de Thomas Bradwardine. brillante pensador del siglo xiv, de fecunda influencia en su siglo y en los posteriores. En segundo lugar, profundizar en el estudio del método, que podríamos denominar matemático, utilizado por Bradwardine en esta obra, intentando mostrar los motivos que le llevaron a estructuraría así y lo que esto (...) supone.The aims of tbis article are two. The first is to sliow what is dic structure of dic fon in dic more important book of Thomas Bradwardine’s work: De causa Dei contra Pelagium et de virtute causarunt Bradwardine was a brilliantthinker of dic XIV century, who hada prolific influence in that century andin later ones. The second is to study dic method he used in ibis work, trying to show wby Bradwardine structured «De causa Dei» so, and its consecuences. (shrink)

ABSTRACT In this paper we study consequence relations on the set of many sided sequents over a propositional language. We deal with the consequence relations axiomatized by the sequent calculi defined in [2] and associated with arbitrary finite algebras. These consequence relations are examples of what we call Gentzen systems. We define a semantics for these systems and prove a Strong Completeness Theorem, which is an extension of the Completeness Theorem for provable sequents stated in [2]. For the special case (...) of the finite linear MV-algebras, the Strong Completeness Theorem was proved in [10], as a consequence of McNaughton's Theorem. The main tool to prove this result for arbitrary algebras is the deduction-detachment theorem for Gentzen systems. (shrink)

Łukasiewicz’s infinite-valued logic is commonly defined as the set of formulas that take the value 1 under all evaluations in the Łukasiewicz algebra on the unit real interval. In the literature a deductive system axiomatized in a Hilbert style was associated to it, and was later shown to be semantically defined from Łukasiewicz algebra by using a “truth-preserving” scheme. This deductive system is algebraizable, non-selfextensional and does not satisfy the deduction theorem. In addition, there exists no Gentzen calculus fully adequate (...) for it. Another presentation of the same deductive system can be obtained from a substructural Gentzen calculus. In this paper we use the framework of abstract algebraic logic to study a different deductive system which uses the aforementioned algebra under a scheme of “preservation of degrees of truth”. We characterize the resulting deductive system in a natural way by using the lattice filters of Wajsberg algebras, and also by using a structural Gentzen calculus, which is shown to be fully adequate for it. This logic is an interesting example for the general theory: it is selfextensional, non-protoalgebraic, and satisfies a “graded” deduction theorem. Moreover, the Gentzen system is algebraizable. The first deductive system mentioned turns out to be the extension of the second by the rule of Modus Ponens. (shrink)