In a recent paper we have defined an analytic tableau calculus PL_16 for a functionally complete extension of Shramko and Wansing's logic based on the trilattice SIXTEEN_3. This calculus makes it possible to define syntactic entailment relations that capture central semantic relations of the logic---such as the relations |=_t, |=_f, and |=_i that each correspond to a lattice order in SIXTEEN_3; and |=, the intersection of |=_t and |=_f,. -/- It turns out that our method of characterising these semantic relations---as (...) intersections of auxiliary relations that can be captured with the help of a single calculus---lends itself well to proving interpolation. All entailment relations just mentioned have the interpolation property, not only when they are defined with respect to a functionally complete language, but also in a range of cases where less expressive languages are considered. For example, we will show that |=, when restricted to L_{tf}, the language originally considered by Shramko and Wansing, enjoys interpolation. This answers a question that was recently posed by M. Takano. (shrink)

In this paper we give an analytic tableau calculus P L 1 6 for a functionally complete extension of Shramko and Wansing’s logic. The calculus is based on signed formulas and a single set of tableau rules is involved in axiomatising each of the four entailment relations ⊧ t, ⊧ f, ⊧ i, and ⊧ under consideration—the differences only residing in initial assignments of signs to formulas. Proving that two sets of formulas are in one of the first three entailment (...) relations will in general require developing four tableaux, while proving that they are in the ⊧ relation may require six. (shrink)

The relation between Jesus and the Spirit appears in diverse occasions and in different contexts in Gregory. Jesus has sanctified the waters in his baptism, from his body springs the Spirit whom he has received in the Jordan, he is the «anointed», the «Christ» par excellence who gives the Holy Spirit to people at Pentecost. The theology of the baptism of the Lord calls for special attention; it takes place at an interesting moment of transition. On the one hand, the (...) effusion of the Spirit on the humanity of Jesus does not create any problem for Gregory who distinguishes it clearly from the incarnation of the Son. On the other hand, the initiative of the Father in this unction is not paid special attention to, nor does it seem that it has a special significance for Jesus himself and the beginning of his mission in the world. However, much stress is given to the ecclesiological dimension of the descent of the Spirit in the baptism of Christ. On him comes the Spirit in fullness, as he will also abide in fullness in the whole Church which is his Body. Each of the Christians receives only a partial gift which must contribute to the perfection of the whole. (shrink)

Last year's meetings of the leaders of the party and government with groups of creative artists caused a stir in the field of esthetics, placed in the foreground discussion of questions concerning the theory of the realistic image, and led to an examination of the experience accumulated in the party's struggle for socialist realism. In recent years, as a consequence of the spread of mathematical methods of research into the social sciences and even into creative work, old doubts with respect (...) to the specific significance of the creative image in art have again arisen. For several years now, efforts have been made in esthetics to emphasize, as distinctive features of art, other factors in artistic creativity, more accessible to study by the techniques of the natural sciences. (shrink)

In recent years interest in studies of the interrelation of the categories of quality and property has risen in the Soviet philosophical literature. Indeed, this cardinal problem requires further study. The concepts of "quality" and "property" are so close to each other in content in a number of meanings that they are sometimes used as synonyms.1 For further theoretical inquiry it is necessary to define the philosophical meaning of these categories accurately, since otherwise, as Francis Bacon wrote, they will become (...) idols and give rise to errors in our thinking instead of preventing them. (shrink)

Some philosophers—call them pessimists–think we have reason to avoid deferring to testimony to settle our questions in domains where deep understanding is important. Extant defences of pessimism focus on whether deferring to testimony is ever sufficient for acquiring understanding. But I argue that these defences/articulations of pessimism are unsatisfactory. Even if deference to testimony were always insufficient for acquiring understanding—which seems doubtful—this would not explain why we have reason to avoid deferring in certain domains. Instead, I claim we should think (...) about how and when testimony can disincentivize and discourage agents’ coming to understand. I argue that deferring to testimony to settle a question often results in one having less reason to seek broader understanding and thereby sets one up to (continue to) lack understanding. The incentive pessimist appeals to this phenomenon to explain and defend the basic pessimist thought. (shrink)

Polyclonal antibodies raised against the human erythrocyte nucleoside transporter were used to investigate the distribution of the nucleoside transporters in the placenta. Immunoblots of brush-border membranes isolated from the human syncytiotrophoblast revealed a cross-reactive species that co-migrated with the erythrocyte nucleoside transporter as a broad band of apparent M(r) 55,000. In contrast, no labelling was detected in basal membranes containing a similar number of equilibrative nucleoside transporters as assessed by nitrobenzylthioinosine (NBMPR)-binding. The absence of cross-reactive epitopes in basal membranes and (...) their presence in brush-border membranes was confirmed by confocal immunofluorescence microscopy. The results suggest that at least two isoforms of the NBMPR-sensitive nucleoside transporter are present in the human placenta. The lumenal surfaces of fetal capillaries, small placental vessels and umbilical vein ware also strongly labelled by the antibody, a finding that suggests that the high fetal-placental adenosine uptake previously reported is due to endothelial transporters. (shrink)

This article is an attempt to evaluate the Oregon plan from the perspective of a Scandinavian national health care system. The Nordic welfare states are marked by a strong emphasis on equality. As an example of an egalitarian system we present the Norwegian health care model in part one. In part two, the arguments in favor of a one tier system in Norway are presented and compared to Oregon's two tier system. Although we argue, in part three, that a comparison (...) of the degree of explicitness in the prioritization process shows that Norway has much to learn from Oregon, we do believe that the Norwegian system has some attractive elements that may function as an important corrective. In part four we present the Norwegian Guidelines for priority-setting and discuss the weight assigned to the severity of disease criterion. It is argued that the exclusion of information about the severity of disease partly explains the counterintuitive ranking of treatment-condition pairs in Oregon's initial method based on the principle of health maximization. A normative analysis of the conflicting norms of efficiency and equality of results is called for. The final part of the paper is devoted to the problem of rigidity. Henry J. Aaron has argued that the Oregon system is insensitive to inter-individual variations within each diagnosis-treatment pair. This objection is a severe one, since the system might end up treating patients unfairly on the individual level. To overcome this problem, we suggest a selection rule that should be more capable of dealing with the problem of rigidity. (shrink)

In the anthropology of Gregory of Elvira there converge different lines of thought. On the one hand he is very dependent on Origen, on the other there is to be found in him the mental framework of Irenaeus and he quotes word for word long passages from Tertullian. The article attempts to determine to what extent, starting from those influences he encountered, Gregory has developed a personal vision of the relationship between Adam and Christ along the double line of the (...) Pauline parallel : sin and grace, initial creation and eschatological fulfilment. If some characteristic passages stress much this second aspect, the majority of the texts analyzed concentrate primarily on the theme of redemption. The reason for the prefiguration of Christ in the creation of Adam, so important for Irenaeus and Tertullian, does not have in Gregory the prominent place which one might have expected to find. (shrink)

The author of these two complementary essays, neither of which he lived to see in final published form, was one of the most distinguished Jesuit scholars of his generation. Alexander Kojève, whose seminar on Hegel he attended from 1934 to 1939, once remarked that he could have been "easily and by far" France's best Marxist theorist if he had so desired. Partly because of the topical nature of his works, but perhaps even more because of his philosophic depth, he was (...) never read as widely outside of France as are his illustrious confrères, Henri de Lubac and Jean Daniélou. Of the one hundred and twenty-odd items listed in his bibliography only three articles have thus far been translated into English. Yet this impressive literary production could well become one of the landmarks of contemporary French Catholicism. (shrink)