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)

конецформыначалоформы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)

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)

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)

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 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 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)

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 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)

The great disputants within the Islamic tradition, the Mutakallimūn, laid down the basis for rational discussion of causality by affirming the right of reason to engage in independent research. This affirmation could not be absolute; it took the form of a division of the spheres of competence belonging, respectively, to reason and Law. Reason was declared to be the judge in ontological and epistemological questions, whereas the sphere of ethics and legislation were left subject to religious Law. Certainly, this division (...) should not be understood too rigidly. The Mutakallimūn often remained loyal to the Law and did not permit reason to execute its rights to the full even when disputing ontological problems. On the other hand, in the sphere of legislation they asserted the rights of reason to define new norms, not established in Revelation, on the basis of rational analysis of revealed Law, thus defying the Zāhiriyya, “people of the manifest,” who denied the legitimacy of rational procedures for determining new norms of law. (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)

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)

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)

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 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 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 Cartesian cogito ergo sum is a major milestone for modern European philosophy, which shaped its mainstream for centuries. This dictum states that consciousness is the only reliable object of in...

The paradigm of enfolded-unfolded introduced by Nicolas of Cusa, poses a puzzling question: why and how are the enfolded and unfolded equal to itself and to each other (coi...

The increasingly foreshortening of bioethics known as narrative and even literary bioethics is analyzed in article. This analysis is realized on the material of Rudyard Kipling’s story «The miracle of Purun Bhagat». Deconstruction in its ethical aspect comes out in this case as method of the overcoming of logocentrism and becomes radicalization of ethics. The talk is about consideration of bioethics not simply as the science of survival but as radical ethics of the salvation of life. The text of the (...) story is interpreted as pharrmacon, remedy, sure remedy for human consciousness, society and nature. The result of the analysis is the idea of the consideration of conservative bioethics as radical ethics of salvation and science about spiritual-moral essence of human. This essence is consciousness, which is always moral consciousness in contradiction to intellect deprivated of moral dimension and leading humankind on the way of catastrophic progress to transhumanistic, posthuman future. (shrink)

Full development of personality under socialism is ensured by the further improvement of the socialist system and the rising cultural and material levels of the Soviet people. The author demonstrates that a new, integrated approach should be taken to the problem of human health in Soviet sociopolitical strategy: the concept of human health should embrace philosophical aspects together with findings of the natural and social sciences. The author looks at the wide range of social, philosophical, and methodological issues which should (...) be taken into account in order to remove the obstacles from the road towards purposeful control of human and social health. Keywords: concept of health, socialism, health care, Marxism-Leninism, USSR, bioethics CiteULike Connotea Del.icio.us What's this? (shrink)

There is given the proof of strict embedding of Leniewski's elementary ontology into monadic second-order calculus of predicates providing a formalization of the class of all formulas valid in all domains (including the empty one). The elementary ontology with the axiom S (S S) is strictly embeddable into monadic second-order calculus of predicates which provides a formalization of the classes of all formulas valid in all non-empty domains.

The builders of our new society will concentrate their primary efforts and energy on the improvement of the economic system of socialism, the growth of the productive forces, and the intensification of scientific-technological progress. To what extent it will be possible to accelerate the pace along this unbeaten path will depend on success in mobilizing the vast reserves of the socialist economy.

Meaning is not a ready-made entity found in dictionaries as signified by a language sign, but rather something which is manufactured through a sense-positing procedure that starts with an initial i...