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)

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)

t. 1. Dialog s V. V. Davydovym -- t. 2. Nereshennye problemy razvivai︠u︡shchego obrazovanii︠a︡.

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)

El problema que Bradwardine ha de afrontar como central en su antropología,consiste en mostrar hasta qué punto es libre el hombre, y qué implica esa libertad humana. Esta es la cuestión fundamental y sobre ella gravita todo lo que el Doctor profirndus piensa acerca de Dios. Pero para afrontarla con rigor, si bien Tomás Bradwardine no lo indica específicamente en su obra, es convenientehacer ver que el problema afecta a dos órdenes diferentes, tanto de la realidad como del estudio de (...) la misma. Uno de estos órdenes, e natural, se refiere al hombre en cuanto criatura, capaz, como se verá, de elegir libremente, y, por tanto, no sometida a la necesidad de un modo determinante, así como a la cooperación general de las causas primera y segundas en todo obrar en cuanto tal. Es en este orden donde Bradwardine habrá de intentar hacer compatibles los atributos divinos y la libertad de elección humana, el libre albedrío. Porsu parte, los problemas planteados en el orden sobrenatural, el orden de la gracia, pertenecen a la teología revelada. Se abordan cuestiones como la de si el hombre es capaz de hacer el bien y liberarse del pecado por sí mismo, sin el auxilio de la gracia, si puede salvarse por sus propias fuerzas, si está en sus manos el initumfidei... Bradwardine afrontará el problema de la libertad, eje de su antropología, en relación a ambos órdenes, pues reivindicar al hombre como ser completo equivale a reivindicarlo como libre, se pone en juego su verdadera humanidad. (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)

Standard models of adolescent risk taking posit that the cognitive abilities of adolescents and adults are equivalent, and that increases in risk taking that occur during adolescence are the result of socio emotional differences in impulsivity, sensation seeking, and lack of self-control. Fuzzy-trace theory incorporates these socio emotional differences. However, it predicts that there are also cognitive differences between adolescents and adults, specifically that there are developmental increases in gist-based intuition that reflects understanding. Gist understanding, as opposed to verbatim-based analysis, (...) generally has been hypothesized to have a protective effect on risk taking in adolescence. Gist understanding is also an essential element of informed consent regarding risks in medical decision- making. Evidence thus supports the argument that adolescents’ status as mature minors should be treated as an exception rather than a presumption, because accuracy in verbatim analysis is not mature gist understanding. Use of the exception should be accompanied by medical experts’ input on the bottom-line gist of risks involved in treatment. (shrink)