Questions connected with the admissibility of rules of inference and the solvability of the substitution problem for modal and intuitionistic logic are considered in an algebraic framework. The main result is the decidability of the universal theory of the free modal algebra imageω extended in signature by adding constants for free generators. As corollaries we obtain: there exists an algorithm for the recognition of admissibility of rules with parameters in the modal system Grz, the substitution problem for Grz and for (...) the intuitionistic calculus H is decidable, intuitionistic propositional calculus H is decidable with respect to admissibility . A semantical criterion for the admissibility of rules of inference in Grz is given. (shrink)

During the German-Soviet War and in the decades that followed, the Volyn Orthodox clergy functioned under a cohesive social ghetto, which was to ensure the gradual assimilation of the social group in accordance with the needs of the totalitarian regime. In this situation, the national self-awareness of a part of the sacred priests did not fit into the coordinates of the Nazi religious and ethnic politics and, later, into the process of creation of the Soviet people. The question of national (...) identity remains relevant, and now, when it is the basis of the newest Ukrainian state-making, it has caused division in the Orthodox field. The national consciousness of the Volyn clergy in the years of war and in the era of Soviet totalitarianism never became a topic of separate study. To date, scientists have only partially addressed the problem. Although in 1960, the head of the ROC Council, V. Kuroedov, said that the remnants of religious remnants contributed to preserving the bourgeois nationalist sentiment. The compilers of the first volume of documents and materials “Martyrology of the Ukrainian Churches” Osip Zinkevich and Alexander Voronin, analyzing the national composition of the bishopric of the Russian Church in Ukraine as of 1986, hoped that in case of revival of Ukrainian Orthodoxy, the origin of some of them role. (shrink)

We prove that the diagonalizable algebras of PA and ZF are not isomorphic.

Objectives: To examine the perspectives of journal editors and authors on overlapping and redundant publications in clinical research.Design: Pretested cross-sectional survey, containing both forced choice and open ended questions, administered by mail to the senior editors and one randomly selected author from all journals in the Abridged Index Medicus that published clinical research.Main measurements: The views of editors and authors about the extent of redundant publications, why they occur, how to prevent and respond to cases, and when the publication of (...) overlapping manuscripts is justified.Results: Seventy two per cent of editors and 65% of authors completed the survey. There was consensus between both groups that redundant publications occur because authors feel the pressure to publish and journals do not do enough to publicise, criticise, and punish cases, and that the publication of most types of overlapping articles is unacceptable. Sixty seven per cent of authors but only 31% of editors felt, however, that it was justified to publish an overlapping article in a non-peer reviewed symposium supplement, and 68% of editors but 39% of authors supported imposing restrictions on guilty authors’ future submissions. In written comments, 15% to 30% of both groups emphasised that it was justified to publish overlapping articles when there were different or non-English-speaking audiences, new data, strengthened methods, or disputed findings.Conclusions: Editors, authors, and other academic leaders should together develop explicit guidelines that clarify points of contention and ambiguity regarding overlapping manuscripts. (shrink)

We show the non-arithmeticity of 1st order theories of lattices of Σ n sentences modulo provable equivalence in a formal theory, of diagonalizable algebras of a wider class of arithmetic theories than has been previously known, and of the lattice of degrees of interpretability over PA. The first two results are applications of Nies’ theorem on the non-arithmeticity of the 1st order theory of the lattice of r.e. ideals on any effectively dense r.e. Boolean algebra. The theorem on degrees of (...) interpretability relies on an adaptation of techniques leading to Nies’ theorem. (shrink)

The process of turning a myth into a fairy tale, its internal and external causes, patterns, consequences... It may be difficult to find a more traditional way of exploring a fairy tale than this one. We will not avoid it either, because whatever aspect of the fairy tale analysis we choose, it is impossible to bypass this side of its genesis. And the choice of the method of explication of this problem largely predetermines both the angle of her vision and (...) the means of solution. The same traditions have already been given peculiar power lines that urge more and more researchers to move in the area of ​​these lines and to cover more and more varieties of the same dimensions of the object: demythologization and desacralization of the hero, his actions, his environment; giving the myth an exoteric character, with the elements of fiction and irony that are inconceivable as a result; the shrinking of the scale of the hero's actions, and hence the replacement of the mystery of myth with mysteriousness, intrigue in the fairy tale, the decline of the mythological worldview. The topics of branching of the subjects through the myth to the fairy tale, finding and researching common for both phenomena of binary oppositions, etc., are densely addressed. (shrink)

If we approach the analysis of fairy tales from the point of view of revealing in them a metaphysical dimension of human intentions, then in their subjects one can identify several paradigms. The most important of these should include, in particular, the following: the combination of man with the deity ; the loss of God's person as a result of her violation of some conditions for coexistence with God; the search for the lost man of God and the rejoining of (...) him. These through-world ideological paradigms, embodied in specific themes, may be adjoined in the same tale, and may exist separately, encompassing all of its plot. All the above applies to Ukrainian fairy tales. (shrink)

Tоday there is a strong tendency to incorporate the bioethical principle of social justice in healthcare in cross-cultural communication. Considering cultural differences makes it possible to ensure that the human right to medical care and wellbeing is fully respected. Several types of most vulnerable populations were identified – immigrants and social minorities. When seeking medical care they face a number of problems such as culture and language barriers, lower socio-economic status, lack of literacy, which impede effective communication and care provision. (...) The most promising ways of coping with the problem are developing cultural competence and practicing a patient-centered approach. New curricula aiming at raising cultural awareness have been elaborated for practical use in medical schools. (shrink)

Predstavlenie ob "obraze Bozhiem" v svi︠a︡shchennom Pisanii -- Poni︠a︡tie "obraz Bozhiĭ" v svi︠a︡shchennom Predanii -- Lichnye svoĭstva Boga i cheloveka v svi︠a︡shchennom Pisanii -- Poni︠a︡tie "obraz Bozhiĭ" i lichnye svoĭstva -- Analiz sootnoshenii︠a︡ poni︠a︡tiĭ "lichnostʹ" i "obraz Bozhiĭ" v pravoslavii -- "Idei︠a︡ lichnostnogo bytii︠a︡ v russkoĭ bogoslovskoĭ mysli XIX veka".

The spinor covariant derivative through which the equations of quantum fields are generalized to include gravitational coupling has a direct and simple geometric significance. The formula for the difference of two spinor covariant derivatives taken in different order is derived geometrically; and the geometric proof of the covariant constancy of the spin-1/2 γ-matrices in curved space is given.

It is argued that it is a misinterpretation of frege to construe his talk of the bedeutungen of sentences and of predicates in an ontologically innocent way.

gl. 1. Geopoliticheskai︠a︡ determinat︠s︡ii︠a︡ kulʹtury i ėkonomiki. Rolʹ geograficheskikh faktorov v razvitii obshchestva ; Geopoliticheskie osobennosti sot︠s︡iokulʹturnoĭ istorii Rossii -- gl. 2. Kulʹturnai︠a︡ sostavli︠a︡i︠u︡shchai︠a︡ geopolitiki. Kulʹtura kak instrument geopolitiki ; Dialog kulʹtur v sovremennom mire: opasnai︠a︡ illi︠u︡zii︠a︡, otchai︠a︡nnai︠a︡ vera ili velenie vremeni?

Biological mimicry is regarded by many as a textbook illustration of Darwin’s idea of evolution by random mutation followed by differential selection of reproductively fit specimens, resulting in gradual phenotypic change in a population. In this paper, I argue that some cases of so-called mimicry are probably merely look-a-likes and do not gain an advantage due to their similarity in appearance to something else. In cases where a similar appearance does provide a benefit, I argue that it is possible that (...) these forms of mimicry were created in a single generation. An interpretive response to an appearance as a sign can make a new structure perform drastically differently in an environment. In such cases, Darwin’s natural selection mechanism only helps to explain gradual the spread of these new forms, not the creation of them. I argue that biosemiosis should be regarded as a much more powerful mechanism for affecting evolutionary trajectories than the gradualist view allows. I focus on two cases of butterfly mimicry: the Viceroy (Nymphalidae: Limenitis archippus) and Monarch (Nymphalidae: Danaus plexippus) butterflies, supposed Müllerian mimics, and deadleaf mimic butterflies (Kallima). (shrink)

While the notion of the common good figures frequently in both rhetoric and the inquiries of academic political theory, it is often neither closely examined nor precisely defined. This article examines Aristotle’s use of the idea, focusing primarily on two sets of key texts: first, Politics 1.1–2 and Nicomachean Ethics 1.2; and second, Nic. Ethics 8.9 and Politics 3.7. The first set of texts emphasizes the common good as flourishing and the city as its necessary condition; the second emphasizes the (...) common good as the good of all citizens as distinct from that of the rulers alone and leads to Aristotle’s notion of the generic political regime with its focus on the middle class and the rule of law. The conclusion notes both continuities and discontinuities with and challenges to contemporary politics posed by Aristotle’s view, which is neither as readily supportive of modern political programs nor as opposed to modern practices as is sometimes thought. (shrink)

Книга иранского историка посвящена истории происхождения названия государства Азербайджан, истории Кавказской Албании, древнему государству существовавшему на территории современных Азербайджана, Дагестана и Армении (Нагорного Карабаха).

Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind. Der Verlag stellt mit diesem Archiv Quellen für die historische wie auch die disziplingeschichtliche Forschung zur Verfügung, die jeweils im historischen Kontext betrachtet werden müssen. Dieser Titel erschien in der Zeit vor 1945 und wird daher in seiner zeittypischen politisch-ideologischen Ausrichtung vom Verlag nicht beworben.

Indian theories of sentence and its meaning with special reference to grammar (Vyākaraṇa), logic (Nyāya), and ritualism (Mīmāṃsā).

In this brief comment I will focus on Chris Cuomo's (1998) discussions of theoretical versus applied ethics, and apply this discussion to her suggestion that the cyborg myth, as discussed by Donna Haraway, can be a helpful ecological feminist ideal. Although I agree with Cuomo that some aspects of the cyborg myth might be helpful, I will explore some disturbing aspects of cyborgs. Cuomo is certainly aware of the dangers of the cyborg myth, mentioning many some of them herself My (...) aim is to fill out a discussion of such dangers by arguing that cyborgs are nothing new. In fact, I shall argue that key figures involved in the decision to bomb Hiroshima and Nagasaki, including President Truman, identified with the bomb and bomb-centered technology in a cyborgian manner. Obviously, the kind of cyborg identity that could encourage mass murder of the sort involved in our bombings of Japan, and the cyborg ideal that inspires Cuomo, are very different. However, Cuomo's discussion of theoretical versus applied ethics clearly indicates that before ecological feminists accept the cyborg as a theoretical ideal, we should examine how real cyborgs, if there have in fact been any, have functioned within society. Hence, if the case can be made that those responsible for the devastating bombings of Japan were cyborgs, this fact is crucial for anyone promoting a cyborg ideal of any sort to consider. © 1999 Elsevier Science Inc. (shrink)

The Party's strategic orientation toward an acceleration of socioeconomic development has posed a number of extremely important problems for Soviet society, of which the problem of activating the human factor has priority. When current tasks become more complex and new, more complicated tasks arise, it is inevitable that attention should turn to man.