Introduction. The article is focused on analyzing the utopian direction of Russian cosmism and its influence on the Soviet cosmonautics and the development of society in the USSR. This philosophical theory was created in the period that made it possible to incorporate the applied aspects of utopia into scientific and technological progress and thereby embody a number of steps towards the outer space exploration. The authors have developed criteria and parameters for assessing the utopian component of the Russian cosmism theories, (...) which made it possible to bring this construct to a higher level of abstraction and thereby create a working model for conducting such studies in the context of other utopias of models. The purpose of the article is to show the influence of the Russian cosmism utopia on the cosmonautics development in the USSR, develop empirical criteria for evaluating the phenomenon. Achieving the goal required solving the following tasks: 1) considering and analyzing the subject matter of the cosmism utopia; 2) developing parameters for assessing the impact of utopia on the development of the social system; 3) applying the developed parameters to assess the impact of utopian ideas on the development of the Soviet cosmonautics system. Methods. Developing the theoretical model for assessing social utopias, as well as considering and analyzing the cosmism utopia, required the use of structural-functional and systems analysis. The research was conducted within the framework of a synergistic paradigm. Scientific novelty of the research. The article conceptualizes the concept of utopia. It is shown that most of the definitions of utopia as a socio-political ideal focus on the limitations of its existence: utopia cannot be embodied, often has an unscientific character, does not correlate with the real state of the system, i.e. definitions of utopia are often reduced to the negative format. The authors believe that the influence of utopia on society, as a rule, is positive. It is noted that, along with limitations, utopianism has certain unique essential features that qualitatively affect the social projects implementation. Utopia in the systemic understanding acts as a complex of ideas influencing the development of the system, being both internal (since it is created artificially and consciously by the very elements of the system) and an external factor of influence. Unlike Plato’s eidos, the projection of which is reality, utopia is created inductively, but after its creation it again “descends” to the level of reality, since it begins to influence the social model in which it was created. Results. The article discusses the prognostic and modeling functions of the social utopias of Russian cosmists. It has been proved that one of the essential functions of the Russian cosmism utopias is the formation of an ideal type, towards which, in a historical perspective, the real social system begins to strive. It is convincingly demonstrated that utopia acts as a cognitive support and inevitably forms the canvas along which society begins to move, defining the utopian model as an attractor, although such a goal is not always formulated when creating a utopia. This relationship makes it possible to assess the degree of influence of utopian ideas on the formation of reality in each specific case, which, in turn, provides an opportunity to answer the question of how and to what extent the utopian ideal type participates in determining the characteristics and parameters of a real social system. Conclusions. It was found that the social utopia of cosmists as a cognitive concept is an important effective factor influencing the development of the space industry in the USSR. The parameters adopted in the study allow us to describe the measure of its influence as both an internal and an external factor on the development of the society in which it is implemented. The validity of perceiving the utopia of cosmists as a construct with a certain life cycle, the main part of which is the period of functioning, is stated. During this time period, utopian theory can have a significant impact on the actual development of society from various angles. (shrink)

All extensions of the modal Grzegorczyk logic Grz possessing projective Beth's property PB2 are described. It is proved that there are exactly 13 logics over Grz with PB2. All of them are finitely axiomatizable and have the finite model property. It is shown that PB2 is strongly decidable over Grz, i.e. there is an algorithm which, for any finite system Rul of additional axiom schemes and rules of inference, decides if the calculus Grz+Rul has the projective Beth property.

For intermediate logics, there is obtained in the paper an algebraic equivalent of the disjunction propertyDP. It is proved that the logic of finite binary trees is not maximal among intermediate logics withDP. Introduced is a logicND, which has the only maximal extension withDP, namely, the logicML of finite problems.

This is a survey of results on interpolation in propositional normal modal logics. Interpolation properties of these logics are closely connected with amalgamation properties of varieties of modal algebras. Therefore, the results on interpolation are also reformulated in terms of amalgamation.

A family of prepositional logics is considered to be intermediate between the intuitionistic and classical ones. The generalized interpolation property is defined and proved is the following.Theorem on interpolation. For every intermediate logic L the following statements are equivalent:(i) Craig's interpolation theorem holds in L, (ii) L possesses the generalized interpolation property, (iii) Robinson's consistency statement is true in L.

Lotman’s contribution to semiotic theory, anthroposemiotics, the study of artistic texts and defining the relationship between language and culture represent some of the most powerful work produced within the Tartu–Moscow School of Semiotics. The importance of translation is one of the central principles that unites all of Lotman’s work. In the following paper, we will consider Lotman’s definition of translatability in the context of (1) the definition of semiospheric internal and external boundaries and the importance of crossing these boundaries, (2) (...) the role of no fewer than two languages as a minimal unit of semiotic meaning-generation, (3) culture text-level generation of collective memory, and (4) the ever-present tension in the communication act. In our concluding section, we will offer an extended model of the communication act, based on the fundamental principles given in Jakobson, Sebeok and Lotman, in order to specify important moments of the translation process. (shrink)

It is proved that there are exactly 16 superintuitionistic propositional logics with the projective Beth property. These logics are finitely axiomatizable and have the finite model property. Simultaneously, all varieties of Heyting algebras with strong epimorphisms surjectivity are found.

Algebraic approach to study of classical and non-classical logical calculi was developed and systematically presented by Helena Rasiowa in [48], [47]. It is very fruitful in investigation of non-classical logics because it makes possible to study large families of logics in an uniform way. In such research one can replace logics with suitable classes of algebras and apply powerful machinery of universal algebra. In this paper we present an overview of results on interpolation and definability in modal and positive logics,and (...) also in extensions of Johansson's minimal logic. All these logics are strongly complete under algebraic semantics. It allows to combine syntactic methods with studying varieties of algebras and to flnd algebraic equivalents for interpolation and related properties. Moreover, we give exhaustive solution to interpolation and some related problems for many families of propositional logics and calculi. (shrink)

In this paper we find an algebraic equivalent of the Hallden property in modal logics, namely, we prove that the Hallden-completeness in any normal modal logic is equivalent to the so-called super-embedding property of a suitable class of modal algebras. The joint embedding property of a class of algebras is equivalent to the Pseudo-Relevance Property. We consider connections of the above-mentioned properties with interpolation and amalgamation. Also an algebraic equivalent of of the principle of variable separation in superintuitionistic logics will (...) be found. (shrink)

This book is a specialized monograph on interpolation and definability, a notion central in pure logic and with significant meaning and applicability in all areas where logic is applied, especially computer science, artificial intelligence, logic programming, philosophy of science and natural language. Suitable for researchers and graduate students in mathematics, computer science and philosophy, this is the latest in the prestigous world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of intuitionism, J. M. Dunn and G. Hardegree's Algebraic Methods in (...) Philosophical Logic, H. Rott's Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning, P. T. Johnstone's Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2, and David J. Pym and Eike Ritter's Reductive Logic and Proof Search: Proof theory, semantics and control. (shrink)

We consider the problem of recognizing important properties of logical calculi and find complexity bounds for some decidable properties. For a given logical system L, a property P of logical calculi is called decidable over L if there is an algorithm which for any finite set Ax of new axiom schemes decides whether the calculus L + Ax has the property P or not. In [11] the complexity of tabularity, pre-tabularity, and interpolation problems over the intuitionistic logic Int and over (...) modal logic S4 was studied, also we found the complexity of amalgamation problems in varieties of Heyting algebras and closure algebras. In the present paper we deal with positive calculi. We prove NP-completeness of tabularity, DP-hardness of pretabularity and PSPACE-completeness of interpolation problem over Int + . In addition to above-mentioned properties, we consider Beth's definability properties. Also we improve some complexity bounds for properties of superintuitionistic calculi. (shrink)

Three variants of Beth's definability theorem are considered. Let L be any normal extension of the provability logic G. It is proved that the first variant B1 holds in L iff L possesses Craig's interpolation property. If L is consistent, then the statement B2 holds in L iff L = G + {0}. Finally, the variant B3 holds in any normal extension of G.

In a previous paper [ 21 ] all extensions of Johansson’s minimal logic J with the weak interpolation property WIP were described. It was proved that WIP is decidable over J. It turned out that the weak interpolation problem in extensions of J is reducible to the same problem over a logic Gl, which arises from J by adding tertium non datur. In this paper we consider extensions of the logic Gl. We prove that only finitely many logics over Gl (...) have the Craig interpolation property CIP, the restricted interpolation property IPR or the projective Beth property PBP. The full list of Gl-logics with the mentioned properties is found, and their description is given. We note that IPR and PBP are equivalent over Gl. It is proved that CIP, IPR and PBP are decidable over the logic Gl. (shrink)

The provability logic GL was in the field of interest of A.V. Kuznetsov, who had also formulated its intuitionistic analog—the intuitionisticprovability logic—and investigated these two logics and their extensions.In the present paper, different versions of interpolation and of the Bethproperty in normal extensions of the provability logic GL are considered. Itis proved that in a large class of extensions of GL almost all versions of interpolation and of the Beth propertyare equivalent. It follows that in finite slice logics over GL (...) the three versionsCIP, IPD and IPR of the interpolation property are equivalent. Also theyare equivalent to the Beth properties B1, PB1 and PB2. (shrink)

We have identified a sample of 53 societies outside of the classical Himalayan and Marquesean area that permit polyandrous unions. Our goal is to broadly describe the demographic, social, marital, and economic characteristics of these societies and to evaluate some hypotheses of the causes of polyandry. We demonstrate that although polyandry is rare it is not as rare as commonly believed, is found worldwide, and is most common in egalitarian societies. We also argue that polyandry likely existed during early human (...) history and should be examined from an evolutionary perspective. Our analysis reveals that it may be a predictable response to a high operational sex ratio favoring males and may also be a response to high rates of male mortality and, possibly, male absenteeism. Other factors may contribute, but our within-polyandry sample limits analysis. (shrink)

Big Ideas for Little Kids includes everything a teacher, a parent, or a college student needs to teach philosophy to elementary school children from picture books. Written in a clear and accessible style, the book explains why it is important to allow young children access to philosophy during primary-school education. Wartenberg also gives advice on how to construct a "learner-centered" classroom, in which children discuss philosophical issues with one another as they respond to open-ended questions by saying whether they agree (...) or disagree with what others have said. (shrink)

The aim of this study is to explore how nurses perceive patient participations of patients over 75 years old undergoing hemodialysis treatment in dialysis units, and of their next of kin. Ten nurses told stories about what happened in the dialysis units. These stories were analyzed with critical discourse analysis. Three discursive practices are found: (1) the nurses’ power and control; (2) sharing power with the patient; and (3) transferring power to the next of kin. The first and the predominant (...) discursive practice can be explained with an ideology of paternalism, in which the nurses used biomedical explanations and the ethical principle of benefice to justify their actions. The second can be explained with an ideology of participation, in which the nurses used ethical narratives as a way to let the patients participate in the treatment. The third seemed to involve autonomous decision-making and the ethical principle of autonomy for the next of kin in the difficult end-of-life decisions. (shrink)

В статье философия характеризуется на основе дискурсной парадигмы анализа: как текст, интеллектуальная деятельность и коммуникация. Характеризуются два равнозначных аспекта философского дискурса - когнитивный и коммуникативный. Обсуждается феномен философских контроверз, специфика философского спора, выразительные (знаковые) средства философского дискурса, роль мировоззренческого дискурса в современной общественно-политической ситуации в стране.

Because factory-farmed meat production inflicts gratuitous suffering upon animals and wreaks havoc on the environment, there are morally compelling reasons to become vegetarian. Yet industrial plant agriculture causes the death of many field animals, and this leads some to question whether consumers ought to get some of their protein from certain kinds of non factory-farmed meat. Donald Bruckner, for instance, boldly argues that the harm principle implies an obligation to collect and consume roadkill and that strict vegetarianism is thus immoral. (...) But this argument works only if the following claims are true: all humans have access to roadkill, roadkill would go to waste if those who happen upon it don’t themselves consume it, it’s impossible to harvest vegetables without killing animals, the animals who are killed in plant production are all-things-considered harmed by crop farming, and the best arguments for vegetarianism all endorse the harm principle. As I will argue in this paper, each claim is deeply problematic. Consequently, in most cases, humans ought to strictly eat plants and save the roadkill for cats. (shrink)

An adequate theory of rights ought to forbid the harming of animals to promote trivial interests of humans, as is often done in the animal-user industries. But what should the rights view say about situations in which harming some animals is necessary to prevent intolerable injustices to other animals? I develop an account of respectful treatment on which, under certain conditions, it’s justified to intentionally harm some individuals to prevent serious harm to others. This can be compatible with recognizing the (...) inherent value of the ones who are harmed. My theory has important implications for contemporary moral issues in nonhuman animal ethics, such as the development of cultured meat and animal research. (shrink)