ABSTRACT This paper presents an attempt to create a shell for generic interactive proof search and proof assistant software based on it.

The relevance of the article is due to the authors attempt to apply some of the philosophical concepts of F.M. Dostoevsky to the comprehension of contemporary sociocultural reality. The purpose of this study is to clarify the reasons for the historically unfriendly attitude of Europe towards Russia by analyzing the works of F.M. Dostoevsky dedicated to this problem. In the process of writing the article, the published Diaries of the writer were used; diary entries unpublished during the writer's life; philosophical (...) reflections contained in works of art, as well as applied modern scientific and popular science literature dedicated to the work of F.M. Dostoevsky. In the course of the analysis, it was found that the writer considered historical, confessional and moral reasons to be the main factors in the rejection of Russia by Europe, while he especially singled out disinterestedness incomprehensible to Europe as a characteristic of the Russian people. The authors draws attention to the fact that all the reasons for Europe's "remarkable dislike" for Russia, about which F.M. Dostoevsky, directly or indirectly associated with the Orthodox faith. Therefore, an attempt to actualize the worldview heritage of the great writer will certainly lead us to a dilemma: either to move from thoughts and words to actions, to religiously enlighten both ourselves and Europe; or to enclose our Orthodox heritage in a historical and cultural framework, eliminating the source of the reasons for our rejection by the European public, with all the ensuing consequences. (shrink)

This is an attempt to describe and explain so-called timbre-based music as a special system of musicking, communication, and psychological and social usage, which along with its corresponding beliefs constitutes a viable alternative to “frequency-based” music. Unfortunately, the current scientific research into music has been skewed almost entirely in favor of the frequency-based music prevalent in the West. Subsequently, whenever samples of timbre-based music attract the attention of Western researchers, these are usually interpreted as “defective” implementations of frequency-based music. The (...) presence of discrete pitch is often regarded as the structural criterion that distinguishes music from non-music. We would like to present evidence to the contrary—in support of the existence of indigenous music systems based on the discretization and patterning of aspects of timbre, rather than pitch. This evidence comes mainly from extensive ethnographic research systematically conducted in eastern European and Asian parts of Russia from the 1890s. It involved the efforts of thousands of specialists and was coordinated by dozens of research institutions, and it has included not just ethnomusicology but linguistics, philology, organology, archaeology, anthropology, geography, and religious and social studies. Much of the data has not been translated into Western languages. Timbre-based tonal organization (TO) differs from that based on frequency in its personal orientation: musicking here occurs primarily for oneself and/or for close relatives/friends. Collective music-making is rare and exceptional. The foundation of timbre-based music seems to have vocal roots and rests on “personal song”—a system of personal identification through individualized patterns of rhythm, timbre, and pitch contour, utilized like a “human voice”—whose sound enables the recognition of a particular individual. The instrumental counterpart of the personalized singing tradition is the jaw harp tradition. The jaw harp is the principal musical instrument for at least 21 ethnicities in Russia, who occupy over half the territory of the country. The evolution of its TO forms the backbone for the development of timbre-based music art. Here, we provide the acoustic, socio-cultural, geographic, and chronological overview of timbre-based music. (shrink)

The goal of this paper is to connect managerial behavior on the “agent-steward” scale to managerial moral development and motivation. I introduce agent- and steward-like behavior: the former is self-serving while the latter is others-serving. I suggest that managerial moral development and motivation may be two of the factors that may predict the tendency of managers to behave in a self-serving way (like agents) or to serve the interests of the organization (like stewards). Managers at low levels of moral development (...) are more likely to behave like agents, while managers at higher levels of moral development are more likely to behave like stewards. I also argue that managers at the highest level of moral development may serve the interests of people other than the firm’s owners and thereby transfer wealth from the firm’s owners to third parties. Moral motivation is likely to be a factor that moderates the proposed relationships. Finally, I develop propositions that address the role of material incentives in controlling behavior of managers at different levels of moral development. (shrink)

Le projet lyotardien de « réécrire la modernité » se construit à partir de la division kantienne entre le jugement déterminant et le jugement réfléchissant esthétique. La seule voie, pour l’œuvre d’art, de ne pas retomber dans une représentation, serait de devenir le témoin du « désastre » sublime, ou, autrement, d’une incompatibilité principielle entre le mode logique et le mode esthétique. Cependant cette projection du caractère tautégorique du jugement réfléchissant sur une œuvre d’art s’avère, d’une part, problématique car il (...) s’agit d’un concept extra-artistique et, d’autre part, potentiellement contradictoire car elle semble reproduire – sur un niveau diffèrent, certes – la logique de la représentation (dans le sens où il s’agit de représenter le « désastre » sublime par le moyen de la peinture par exemple). (shrink)

The article develops the modern significance of the legal doctrine in the post-Soviet legal system, describes its impact on lawmaking and on judicial practice. The authors argue in favor of the conclusion that the legal doctrine is an independent and important component of the Russian legal system, as it influences structuring and functioning of the legal system, and, being in demand in practice, is implemented in different components of the country’s legal system. In order to strengthen the role and significance (...) of legal doctrine in the post-Soviet space, the authors make a number of certain proposals on consideration of provisions of legal doctrine in lawmaking and in judicial practice. (shrink)

конецформыначалоформыLeo Lopatin (1855-1920) elaborated the distinct and proved views on the subject, methods and tasks of philosophy. In this paper Lopatin's definition of the subject of philosophy is reviewed and his method of reasoning is shown. As Lopatin proves, philosophy has to be knowledge of theactual nature of things in their independent reality and in their internal attitude and interrelations; it is knowledge of the actual world. The exact and clear understanding of the subject, methods of philosophical knowledge is necessary (...) for any scientist-researcher working in the field of philosophy, ethics, and psychology. It might be useful for a researcher in the field of natural sciences as well. Philosophy should have an independent position among other sciences and it differs from theology that allocates belief in the isolated and unique source of knowledge. Lopatin's example, who shows how one can distinguish philosophy from theology, poetry, art reflections of a writer, inspires everyone who tries to answer "eternal questions" of knowledge. (shrink)

It was repeatedly underlined in literature that quantum mechanics cannot be considered a closed theory if the Born Rule is postulated rather than derived from the first principles. In this work the Born Rule is derived from the time-reversal symmetry of quantum equations of motion. The derivation is based on a simple functional equation that takes into account properties of probability, as well as the linearity and time-reversal symmetry of quantum equations of motion. The derivation presented in this work also (...) allows to determine certain limits to applicability of the Born Rule. (shrink)

The article analyzes the issues of training military aeronauts in the late 19th – early 20th century in Russia. It is shown that the emergence of new technical means providing ascent into the airspace has opened up new possibilities for conducting military operations, as evidenced by the experience of using aeronautics abroad. The Russian command did not immediately realize the possibilities of conducting reconnaissance and conducting artillery fire on the enemy, which led to a lag in the development of aeronautics (...) and aeronautics, as well as in training personnel for flight support. The article shows that for the training of officers and lower ranks in the Russian army, special units were created in which the lower ranks were taught special subjects that guarantee the production of safe flights due to their technical support. (shrink)

This paper presents a new line of inquiry into when and how music as a semiotic system was born. Ten principal expressive aspects of music retain specific structural patterns to signify a certain affective state, which distinguishes the tonal organization of music from the phonetic and prosodic organization of natural languages. Therefore, the question of music’s origin can be answered by establishing the point in human history, at which expressive aspects might have been abstracted from the instinct-driven primate calls and (...) used to express human psycho-emotional states. Etic analysis of acoustic parameters is the prime means of cross-comparison of the typical patterns of expression of the same basic emotions in human music versus animal vocal communication. A new method of such analysis is proposed here. Formation of such expressive aspects as meter, tempo, melodic intervals, and articulation can be explained by the influence of bipedal locomotion, breathing cycle, and heartbeat, long before Homo sapiens. However, two aspects, rhythm and melodic contour, most crucial for music as we know it, lack proxies in the Paleolithic lifestyle. The available ethnographic and developmental data leads one to believe that rhythmic and directional patterns of melody became involved in conveying emotion-related information as a result of frequent switching from one call-type to another within the limited repertory of calls adopted for ongoing caretaking of human youngsters and domestic animals. The efficacy of rhythm and pitch contour in affective communication must have been discovered spontaneously in new important cultural activities. The most likely scenario for music to have become fully semiotically functional is the formation of cross-specific communication between humans and domesticated animals during the Neolithic demographic explosion. The model of such communication can be found in the surviving tradition of Scandinavian pastoral music. This article discusses the most likely ways in which such music evolved. (shrink)

The subject of this paper is a specific form of cosmogony—the conception of cosmogonic objectivation, interpreted as a tragedy or cosmogonic fall. This conception is examined on the basis of the evidence furnished by two sets of materials: firstly, the original texts and paraphrases of the Valentinian Gnostics of the 2nd and 3rd centuries AD, and secondly, the writings of the Russian philosophers Vladimir Solovyov, Lev Karsavin and Nikolay Berdyaev. The research reveals a series of specific features common to both (...) of these: in particular, the conception of cosmogonic objectivation appears to be connected with the doctrine of the absolute person’s fall, and with the motive of self-alienation. (shrink)

The subject of this paper is a specific form of cosmogony—the conception of cosmogonic objectivation, interpreted as a tragedy or cosmogonic fall. This conception is examined on the basis of the evidence furnished by two sets of materials: firstly, the original texts and paraphrases of the Valentinian Gnostics of the 2nd and 3rd centuries AD, and secondly, the writings of the Russian philosophers Vladimir Solovyov, Lev Karsavin and Nikolay Berdyaev. The research reveals a series of specific features common to both (...) of these: in particular, the conception of cosmogonic objectivation appears to be connected with the doctrine of the absolute person’s fall, and with the motive of self-alienation. (shrink)

In modern science, research aimed at studying the functioning of the human brain under the influence of various factors of the social and natural environment, including religious practices, both personal and social, is relevant. The purpose of the research is to consider the current state of neurotheology as a new field of knowledge and to analyze the possibilities of its interaction with already existing social and humanitarian disciplines; review, analytical and critical publications of Russian and foreign scientists are used as (...) material for the study. Attention is drawn to the philosophical and methodological problems that neurotheology needs to be resolved in order to determine its place in the modern cognitive space as its organic component. First of all, according to the authors of the article, representatives of this science need to enrich the formed empirical basis with theoretical generalizations, for which it is necessary to implement the principle of interdisciplinarity declared by them and involve specialists from various fields of humanities in the common work. In the hypotheses put forward by neurotheologists, the question of the ontological existence of objects of religious experience is recognized as epistemologically insoluble, however, when constructing a philosophical and worldview concept, it is impossible to limit oneself to such statements; It is noted that the idea developed in neurotheology about the genetic translation of the qualities of the “brain/consciousness” in the process of “cognitive evolution” of mankind returns us to the social deterministic and mechanistic views overcome by modern science. The hope is expressed that neurotheology, having overcome the emerging philosophical and methodological difficulties, will play an important role in the development of Russian science. (shrink)

The relevance of the article is due to the fact that in the modern world, various utopian concepts do not lose their ideological strength, which for more than two centuries have significantly influenced public consciousness and have caused significant transformations in the socio-cultural life of mankind. The connection among social utopias and Christian eschatology has been noticed for a long time, and the thoughts expressed on this occasion by Protopresbyter Alexander Schmemann in articles and diary entries can contribute to a (...) better understanding of deep cognitive processes that largely determine modern social realities. The purpose of the study was based on the analysis of the works of this worthy representative of the philosophy of the Russian diaspora, comparing the traditional religious eschatological "prototype" and later views on the "end of history". These views contributed to the development of utopianism and ideologism in the public mind. The authors focus attention on the antinomical nature of Christian eschatology, in contrast to the various socio-utopian modifications that define social ideals in a field transcendental to everyday human activities. The striving of religious thinking towards the "non-worldly" ideal, as Protopresbyter Alexander Schmemann believed, made it possible to form a Christian's attitude to earthly life, which inevitably required a qualitative transformation corresponding to the notion of the ultimate goal. However, over time, the Christian faith paid less and less attention to the eschatological dimension of human life, which contributed to the formation of new eschatologies seeking their social ideals in the immediate givenness of earthly life and affirming the belief in the possibility of their empirical achievement. The authors of the article come to the conclusion that the most important factor in the formation and development of the "ideological faith" in the public consciousness, the concept of which is defined in the most general terms in the works of Protopresbyter Alexander Schmemann, was the isolation of the dominant ideological structures based on social utopian ideas, from traditional faith grounds. Thus, ideologies ceased to be functional aspects of concrete historical religions, lost their official character and themselves became the foundation for pseudo-religious creativity. (shrink)

The problem of truth was raised in medieval Islamic philosophy within the framework of discussions starting from the question of whether our knowledge corresponds to the “actuality of affairs.” The notion of validity thus elaborated was comprehended as a quality of knowledge established through a comparison with “matters of fact.” What was intended is not coincidence with what is and has existence. Existence (wujūd) was generally understood in Islamic thought as one of the attributes (ṣifa) that a thing might or (...) might not possess while still being “a thing” (shay’), and since our knowledge embraces things independently of their accidental attributes, the question about truth was placed on a wider footing. Validity, from that point of view, testifies that our knowledge conforms with reality in the immediate meaning of the term – thing‐ness. This notion of reality (shay’iyya) does not necessarily exclude Divinity, for God in Islamic sciences is often comprehended as The Thing, although different in every respect (except that of thing‐ness) from all other things. The concept of “thing” serves to introduce something into the current of intellectual discourse rather than to state anything definite about it; to be a thing – that is, fixed and established – means to enter the field of discussion. (shrink)

Automatic preferences can influence a decision maker’s choice before any relevant or meaningful information is available. We account for this element of human cognition in a computational model of problem solving that involves active trial and error and show that automatic biases are not just a beneficial or detrimental property: they are a tool that, if properly managed over time, can give rise to superior performance. In particular, automatic preferences are beneficial early on and detrimental at later stages. What is (...) more, additional value can be generated by a timely rebiasing, i.e., a calculated reversal of the initial automatic preference. Remarkably, rebiasing can dominate not only debiasing but also continuously unbiased decision making. This research contributes to the debate on the adaptiveness of automatic and intuitive biases, which has centered primarily on one-shot controlled laboratory experiments, by simulating outcomes across extended time spans. We also illustrate the value of the novel intervention of adopting the opposite automatic preference—something organizations can readily achieve by changing key decision makers—as opposed to attempting to correct for or simply accepting the ubiquity of such biases. (shrink)

In terms of subject-centered philosophy of existential realism, the article discusses the ontological theories of George Berkeley and Bruno Latour, outlining and clarifying the conceptual relationship between the two. This relationship manifests itself: (a) in the attention that both paid to the issue of discreteness/continuity of matter and the limitations of its divisibility, (b) in their shared inclination toward nominalism and methodological affinity for the complementarity principle, (c) in an increased attention to weaker bonds of a correlation (coordination) type rather (...) than to strong bonds of determination type, (d) in linking the above orientations to the discussion of the ontological status of the subject, who first of all is human. G. Berkeley raises human subjectivity to a level that is as high as possible within the framework of religious idealistic philosophy. Such a position is achieved through several steps: through a postulate-based prohibition of infinite divisibility of matter and tabooing reduction of the macro-world to elements of the micro-world; through a sharp delimitation of the subject from everything the subject is not; through the hypothetical assumption of solipsism, which, in fact, always remains relative; through combining solipsistic nominalism and theistic realism based on the complementarity principle. However, B. Latour minimizes man’s personal agency. This paradigm is associated with a number of others: with the assumption of the infinite divisibility of matter, at least with reducing three dimensions to one, and macro-level to micro-level; with equalizing the subject and the non-subject, humans and non-humans; with his caution to an individual as an opponent of democracy; with combining scientist nominalism and technologism of the actant-rhizome network based on the complementarity principle. Latour’s claims to non-trivial materialism and realism, if he has them, are inconsistent. An existential realist is likely to define his ontology as technologically desubjectified Berkeleianism. (shrink)

Together with language, music is perhaps the most distinctive behavioral trait of the human species. Different hypotheses have been proposed to explain why only humans perform music and how this ability might have evolved in our species. In this paper, we advance a new model of music evolution that builds on the self-domestication view of human evolution, according to which the human phenotype is, at least in part, the outcome of a process similar to domestication in other mammals, triggered by (...) the reduction in reactive aggression responses to environmental changes. We specifically argue that self-domestication can account for some of the cognitive changes, and particularly for the behaviors conducive to the complexification of music through a cultural mechanism. We hypothesize four stages in the evolution of music under self-domestication forces: (1) collective protomusic; (2) private, timbre-oriented music; (3) small-group, pitch-oriented music; and (4) collective, tonally organized music. This line of development encompasses the worldwide diversity of music types and genres and parallels what has been hypothesized for languages. Overall, music diversity might have emerged in a gradual fashion under the effects of the enhanced cultural niche construction as shaped by the progressive decrease in reactive (i.e., impulsive, triggered by fear or anger) aggression and the increase in proactive (i.e., premeditated, goal-directed) aggression. (shrink)

The article refutes the widespread view that Dostoevsky's Christian beliefs were strictly Orthodox. It is proved that Dostoevsky's religious and philosophical searches' central tendency is the criticism of historical, ecclesiastical Christianity as a false, distorted form of the teaching of Jesus Christ and the desire to restore this teaching in its original purity. Modern researchers of the history of early Christianity find more and more arguments in favor of the fact that the actual teaching of Jesus Christ is contained in (...) that religious movement, which the church called the Gnostic heresy. The exact philosophical expression of the teaching of Christ was received in the later works of J.G. Fichte, whose ideas had a strong influence on the Russian writer. Like Fichte, Dostoevsky understands Christ as the first person who showed the possibility of revealing God in himself and gaining divine omnipotence and eternal life directly in earthly reality. In this sense, every person can become like Christ. Dostoevsky's main characters walk the path of Christ and show how difficult this path is. The article shows that Dostoevsky used in his work not only the philosophical version of true Christianity developed by German philosophy, but also the key motives of the Gnostic myth, primarily the idea that our world, filled with evil and suffering, is created not by the supreme, good God-Father, but by the evil Demiurge, the Devil. (shrink)

The review is devoted to a joint monograph of Phenomenological Approaches to Intersubjectivity and Values published in 2019. The peculiarity and novelty of this monograph is that it is devoted not so much to the cognitive and epistemological aspects of phenomenology of intersubjectivity as to ethical, existential and value problems of relations with the Others, presented in various phenomenological concepts. One of the advantages of the work is the pluralistic approach, which allows the reader to get acquainted with the solutions (...) to the problem of intersubjectivity posed by a number of the most prominent phenomenologists, i. e. Husserl, Scheler, Heidegger, Sartre, Marcel, Levinas and others. The book traces the idea that emerging of the topic of intersubjectivity in phenomenology caused a socio-ethical and axiological shift in the phenomenological movement. Considering moving of modern philosophy towards “the intersubjective paradigm”, the aim of the authors of the monograph to show the relevance and innovation of phenomenology in discussing the problems of the Other, communication and ethics can be assessed as a promising theoretical project. Whereas critics of the phenomenological movement reproached “methodological solipsism” of phenomenology, which develops Cartesian-Kantian subjectivism, a serious analysis of the works of the most prominent representatives of the phenomenological tradition leads the authors of the monograph to the conclusion that a phenomenological subject is social in its essence. The review draws a conclusion that the joint monograph brings into sharp focus that phenomenology is in possession of deep and diverse ways of studying the common being of people and collectively shared values. (shrink)

The processes of changing the way of thinking, typical for modern people, and subsequently shaping a new “Homo clicking” individual are analyzed. The authors consider a specific mindset of “Homo clicking” illustrating it with some patterns and modes of action that characterize individuals in the human–machine interface. Under this frame, the influence of modern converging technologies upon human conduct is examined and functional redistribution between human beings and technical devices is outlined. In the literature, the latter phenomenon is referred to (...) as “life outsourcing.” This material is used to introduce several principles that form the basis for a new type of thought and actions of “Home clicking”: snapping, transforming trust into knowledge, and action reduction. Reducing the traditional classic understanding of a human act of thinking to a pattern of a thinking act as a need-satisfying act is described. In the last section, we introduce an extension of Searle’s Chinese room, which can be seen as a possible consequence of intensive exploitation of technologies. (shrink)

The article analyzes the main trends of the development of cross-border e-commerce, presents the position of the main characters: both supporters of «free trade» and protectionism on issues such as government regulation, as well as further development of cross-border e-commerce.

The expression “linguistic Kantianism” is widely used to refer to ideas about thought and cognition being determined by language — a conception characteristic of 20th century analytic philosophy. In this article, I conduct a comparative analysis of Kant’s philosophy and views falling under the umbrella expression “linguistic Kantianism.” First, I show that “linguistic Kantianism” usually presupposes a relativistic conception that is alien to Kant’s philosophy. Second, I analyse Kant’s treatment of linguistic determinism and the place of his ideas in the (...) 18th century intellectual milieu and provide an overview of relevant contemporary literature. Third, I show that authentic Kantianism and “linguistic Kantianism” belong to two different types of transcendentalism, to which I respectively refer as the “transcendentalism of the subject” and the “transcendentalism of the medium.” The transcendentalism of the subject assigns a central role to the faculties of the cognising subject. The transcendentalism of the medium assigns the role of an “active” element neither to the external world nor to the faculties of the cognising subject, but to something in between — language, in the case of “linguistic Kantianism.” I conclude that the expression “linguistic Kantianism” can be misleading when it comes to the origins of this theory. It would be more appropriate to refer to this theory by the expression “linguistic transcendentalism,” thus avoiding an incorrect reference to Kant. (shrink)