Издание содержит: Мировая философия как философия "глобальной деревни"; Испания и Россия: опыт компаративного исследования; Компаративное видение современной философии образования и др.

The article examines the situation of the presence of virtual voices in modern reality. The voices of virtual assistants model a new relationship between voice and face, with anonymity and depersonalization being a priority. The closeness of the face from the voice peculiar to virtual assistants, the detachment of the voice from the facial "accompaniment", the fundamental possibility of the existence of a voice without a face — all this gives the voice as an anthropological and cultural phenomenon of modernity (...) fundamentally new parameters. Digital "logic" implies a departure from the human logos, which can be clearly seen in the example of the problem of "gender" of artificial assistants. Special attention is paid to the problem of correlation of voice and artificial intelligence. Artificial intelligence as an organizational form of cognition acquires a voice, merges with a voice, becomes a voice. The universal scale of the claims of virtual voices requires theological reflection, because the religious experience of "working" with voices, represented in a wide range of world religions, is able to offer a unique interpretation of the role of the voice in modern times. Internet voices can be called into the liturgical space, where they will be asked to sound in new registers and keys. Digital religion appears as a new liturgical reality, a new common cause. It is significant that the non-spiritual technogenic environment can only offer emptiness — the emptiness of digital dehumanization. Digital-humanitarian unity can be built on the adoption of a spiritual foundation, based on the conclusion of a "pact" on cooperation between the spiritual experience of mankind and cyber-information perspectives. (shrink)

The main topic of this paper is the investigation of generalized amalgamation properties for simple theories. That is, we are trying to answer the question of when a simple theory has the property of n-dimensional amalgamation, where two-dimensional amalgamation is the Independence Theorem for simple theories. We develop the notions of strong n-simplicity and n-simplicity for 1≤n≤ω, where both “1-simple” and “strongly 1-simple” are the same as “simple”. For strong n-simplicity, we present examples of simple unstable theories in each subclass (...) and prove a characteristic property of strong n-simplicity in terms of strong n-dividing, a strengthening of the dependence relation called dividing in simple theories. We prove a strong three-dimensional amalgamation property for strongly 2-simple theories, and, under an additional assumption, a strong -dimensional amalgamation property for strongly n-simple theories. In the last section of the paper we comment on why strong n-simplicity is called strong. (shrink)

We study generalized amalgamation properties in simple theories. We formulate a notion of generalized amalgamation in such a way so that the properties are preserved when we pass from T to Teq or Theq; we provide several equivalent ways of formulating the notion of generalized amalgamation.We define two distinct hierarchies of simple theories characterized by their amalgamation properties; examples are given to show the difference between the hierarchies.

The new result of this paper is that for θ-stable we have S1[θ] = D[θ, L, ∞]. S1 is Hrushovski's rank. This is an improvement of a result of Kim and Pillay, who for simple theories under the assumption that either of the ranks be finite obtained the same identity. Only the first equality is new, the second equality is a result of Shelah from the seventies. We derive it by studying localizations of several rank functions, we get the followingMain (...) Theorem. Suppose that μ is regular satisfying μ ≥ |T|+, p is a finite type, and Δ is a set of formulas closed under Boolean operations. If either R[p, Δ, μ+] < ∞ or p is Δ-stable and μ satisfies “for every sequence {μi : i < |Δ| + ℵ0} of cardinals μi < μ we have that equation image holds”, then S[p, Δ, μ+] = D[p, Δ, μ+] = R[p, Δ, μ+].The S rank above is a localized version of Hrushovski's S1 rank. This rank, as well as our systematic use of local stability, allows us to get a more conceptual proof of the equality of D and R, which is an old result of Shelah. A particular case of the theorem offers a new sufficient condition for the equality of S1 and D[·, L, ∞]. We also manage, due to a more general approach, to avoid some combinatorial difficulties present in Shelah's original exposition. (shrink)

Building on Hrushovski's work in [5], we study definable groupoids in stable theories and their relationship with 3-uniqueness and finite internal covers. We introduce the notion of retractability of a definable groupoid (which is slightly stronger than Hrushovski's notion of eliminability), give some criteria for when groupoids are retractable, and show how retractability relates to both 3-uniqueness and the splitness of finite internal covers. One application we give is a new direct method of constructing non-eliminable groupoids from witnesses to the (...) failure of 3-uniqueness. Another application is a proof that any finite internal cover of a stable theory with a centerless liaison groupoid is almost split. (shrink)

Purpose. To examine the existential anthropology of G. Marcel and E. Minkowski, in order to demonstrate the necessity of distinguishing the universal-spiritual, as human in human being, apart from the individual-existential in him, and to reveal the hierarchical correlation of biosocial, existential and spiritual spheres in personality. Theoretical basis. Within existential philosophy the author differentiates two separate traditions and proceeds from the insufficiency of the distinction of existential sphere, proposed by phenomenological tradition, showing the necessity of its correlation with the (...) spiritual sphere as a sphere of humanity, proposed by non-phenomenological tradition of G. Marcel and E. Minkowski. Originality. The author presents the anthropological conception of G. Marcel and E. Minkowski, in which human personality is understood as unity of individual-existential and universal-spiritual, which requires a special trans-empirical field of culture, which contains senses, images and symbols of humanity. Also, the author presents the recent developments of existential thinkers in distinguishing existential and spiritual dimensions, both not reducible to the physical and social dimensions. Conclusions. In both existential traditions, the specifically human was founded as a trans-biological and trans-social phenomenon, which appears as indefinable and non-predetermined. But in first tradition, humanity is understood as an existence, as a unique individuality, "project", variant of humanity, equivalent to other variants, and universal is understood as a community of human condition in the world. While in the second tradition, the universal is understood as spiritual. Thus, horizontal level of our private existence, as the process of movement from birth to death, is supplemented by vertical of human, universal ideals and images. Humanity appears as a task, on the way to which human being transcends beyond the limits of his individual "self" to the "super-individual", through inclusion into spiritual community, into universal culture. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviews 105 NEW RUSSIAN WORK ON RUSSELL IRVING H. ANELLIS Modern Logic Publishing I Box 1036, Welch Ave. Station Ames, JA 5°010-1036, USA A. S. Kolesnikov. cI»HJIOCOcPHJl BepTPaHa PacceJIa [Filosofija Bertrana Rassela]. Leningrad: Izdatel'srvo Leningradskogo Universiteta, 1991. Pp. 232. 3 rub. 30 kop.. Anatolii Sergeevich Kolesnikov is a relatively new name in Russell studies,.r1.a1though his book shows a deep knowledge of the material available on Russell in (...) Russian and a wide acquaintance with Russell's publications in English and in Russian translation.1 In this work, which translates as The Philosophy ofBertrand Russel~ Kolesnikov traces the evolution of Russell's "world-view", while presenting a traditional Soviet interpretation of Russell's place in "bourgeois" philosophy. This monograph presents for the first time in Russian a thorough analysis of the evolution of Russell's philosophy as the outstanding representation of contemporary bourgeois philosophy, and is the first major study on Russell's philosophy in Russian since the appearance in'1962 ofSoviet philosopher 1. S. Narskii's The Philosophy ofBertrand Russell2 Russell himself is viewed by Kolesnikov as the best representative of the bourgeois humanist, philosopher, and mathematician. The author seeks a critical understanding of the historical and philosophical sources of Russell's ideas and conceptions and of the influence which these exercised and continue to exercise on contemporary Western philosophy and science. The author's aim is to "uncover" the neo-realist empiricist direction of Russell's philosophy as it manifested itself as a condition of his scientific and epistemological thinking. As had been usual for Soviet studies of Western "bourgeois" philosophers and their philosophies, Lenin and his empiriocriticism serves as a foil for the elucidation of Russell's thought and its development. Probably the most famous example of the dialectical attack on anaI Kolesnikov is also the author of The Freethought ofBertrand Russell [Svobodomyslie Bertrana Rassela] (Moscow: Mysl', 1978). 2 The Philosophy ofBertrand Russell: Lectures for Students in the University Philosophy Faculty [Filosofija Bertrana Rassela: lekcija dlja studentovfilosofikih fakul'tov universitetov] (Moscow: 1962). In the first footnote (on p. 60) to his translation of the article on "Bertrand Russell in the Great Soviet Encyclopedia: Translation from Russian", Russel~ nos. 23-4 (1976): 60-2, Charles Haynes wrote that "Narskiy... appears to be a leading Soviet writet on Russell's philosophy." In fact Narskii wrote extensively on philosophy of logic, for which work he is bcst known. 106 Reviews lytic philosophy revolved around the rather rough treatment accorded to A. J. Ayer when he lectured at Moscow State University in 1962. This methodology for criticizing "bourgeois idealism" has declined in recent years as a consequence of perestroika; from as early as 1987 Soviet philosophers have managed to refrain from employing this tactic in their writings (as one may readily see, e.g., from Zinaida Sokuler's recent paper on "Wirrgenstein on the Contradictions in Logic and in the Foundations of Mathematics"3). Kolesnikov's discussion of political-ideological, social and moral issues is limited to the Preface, which also presents a brief sketch of Russell's life, especially his education and the earliest of the philosophical influences at Cambridge, of course Russell's visit in 1920 to Soviet Russia and the writings that derived from that trip, especially his book The Practice and Theory of Bolshevism, and of his travels in China. Here Kolesnikov notes Russell's ties to the Fabian socialists and names in particular the Webbs, H. G. Wells and "other members representative of the bourgeois intelligentsia" (p. 5). Mention is also made here of his activism for nuclear disarmament and against the American war in Indochina, and of the essay "Why I Am Not a Christian". We are told at the very outset (p. 3) that "the name of this philosopher is widely known in our country." The remainder of the book is concerned with Russell's technical philosophy, i.e. with his work in philosophy of mathematics, logic, philosophy of language, metaphysics and epistemology. Kolesnikov divides Russell's philosophical evolution into three stages (p. 22). The "early" period (1894-1910) is the developmental stage, characterized by the influence ofneo-Hegelianism and neo-Kantianism and by the development of the conception of... (shrink)

This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic (intuitionistic as well as classical); the theory of logic programming; category theory; modal logic; linear logic; first-order arithmetic and second-order logic. In each case the aim is to illustrate the methods in relatively simple situations and then apply them elsewhere in much (...) more complex settings. There are numerous exercises throughout the text. In general, the only prerequisite is a standard course in first-order logic, making the book ideal for graduate students and beginning researchers in mathematical logic, theoretical computer science and artificial intelligence. For the new edition, many sections have been rewritten to improve clarity, new sections have been added on cut elimination, and solutions to selected exercises have been included. (shrink)

Provability, Computability and Reflection.

I would like to begin with the role of philosophy in solving ecological problems, emphasizing two aspects of its role: the struggle against hostile ideology and the organizing and guiding of activity in the sphere of the development of science and the shaping of its problems. This role of Marxist-Leninist philosophy clearly appears in the complex interdisciplinary problem of the interaction between nature and society.

Venturing beyond the framework of an existing culture becomes philosophizing when society begins to sense an acute need for a critique of its historical experience and a change in its cultural underpinnings, which are necessary for attaining a qualitatively new level of interpretaion and understanding. Philosophizing appears as a specialized form of life activity in the sphere of the universal, as an ongoing search for new ways and new foundations for developing the diversity of cultural processes lying at the basis (...) of the reproduction of society, culture, and relations. (shrink)