The article is devoted to an important area of scientific research related to the history and culture of Yakutia. Written monuments of historical and cultural heritage, along with material ones, occupy their permanent place. The solution to the problem of their preservation and interpretation is inextricably linked with publishing activities – modern technical capabilities increase its effectiveness. In the article we study the existing experience in this field by the example of the publication of Russian cursive sources of the XVII (...) century about the history of Yakutia, as well as cultural heritage. The object of the study is the historical and cultural heritage of Yakutia. The subject of the study ate the samples in various forms. The research summarized the experience of publishing historical and cultural heritage monuments on the example of Russian cursive documents of the XVII century about Yakutia, as well as the works of the first Yakut composer M.N. Zhirkov. Since they are of great value as samples of archival documents reflecting regional specifics, we have carried out work to determine their historical significance for the culture of Yakutia. In this article, based on an assessment of the internal content of the collections considered as examples and the quality of their publication, recommendations have been developed to improve further work in this direction. Undoubtedly, further work should be continued to identify such written monuments that require special storage and interpretation, have great historical and cultural value for the Yakut people, as well as transfer to modern media of this information, taking into account the necessary publication rules. For the first time, the question of creating a pan-Yakut electronic database of written monuments of historical and cultural heritage of Yakutia was raised. (shrink)

An introduction to the basic ideas of philosophy as a science, materialism, the categories and laws of motion of nature, society and human thought, dialectics, the theory of knowledge.

An introduction to the mode of production, explains a social order's base and superstructure, people as decisive in social development, classes and class struggle, the state, revolutionary change, social consciousness.

Розкрито сутність поняття «рейтинг». Доведено значущість рейтингової оцінки для суб’єктів фінансового ринку, зокрема для страхових компаній, потенційних страхувальників, інвесторів та кредиторів.

The question of peaceful and nonpeaceful paths of the socialist revolution and the building of socialism is now the subject of the lively discussion in the international Communist and workers' movement. It is sometimes asserted that V. I. Lenin raised violence to an absolute, that he saw armed insurrection and civil war as virtually the only means of carrying out the socialist revolution. Inasmuch as under today's conditions, particularly in developed capitalist countries, seizure of power by the working class and (...) toiling masses through armed insurrection is allegedly totally impossible, the conclusion is drawn that a number of basic propositions of Leninism are obsolete and that Leninism is a purely Russian phenomenon with no international significance. All such conclusions are nothing but a distortion of Leninism. (shrink)

Various connexive FDE-based modal logics are studied. Some of these logics contain a conditional that is both connexive and strict, thereby highlighting that strictness and connexivity of a conditional do not exclude each other. In particular, the connexive modal logics cBK-\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$^{-}$$\end{document}, cKN4, scBK-\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$^{-}$$\end{document}, scKN4, cMBL, and scMBL are introduced semantically by means of classes of Kripke models. The logics cBK-\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} (...) \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$^{-}$$\end{document} and cKN4 are connexive variants of the FDE-based modal logics BK-\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$^{-}$$\end{document} and KN4 with a weak and a strong implication, respectively. The system cMBL is a connexive variant of the modal bilattice logic MBL. The latter is a modal extension of Arieli and Avron’s logic of logical bilattices and is characterized by a class of Kripke models with a four-valued accessibility relation. In the systems scBK-\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$^{-}$$\end{document}, scKN4, and scMBL, the conditional is both connexive and strict. Sound and complete tableau calculi for all these logics are presented and used to show that the entailment relations of the systems under consideration are decidable for finite premise set. Moreover, the logics cBK-\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {cBK}^-$$\end{document} and cMBL\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {cMBL}$$\end{document} are shown to be algebraizable. The algebraizability of cMBL\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {cMBL}$$\end{document} is derived from proving cMBL\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {cMBL}$$\end{document} to be definitionally equivalent to MBL\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {MBL}$$\end{document}. All connexive modal logics studied in this paper are decidable, paraconsistent, and inconsistent but non-trivial logics. (shrink)

Обґрунтовано стратегію високочастотної біржової торгівлі (high-frequency trading) акціями. Для цього досліджено особливості та обмеження біржової високочастотної торгівлі, визначено верхню межу прибутку агресивного «шкідливого» високочастотного трейдера, обґрунтовано оптимальну частоту стратегії біржової високочастотної торгівлі акціями, розглянуто емпіричне підтвердження прогнозованості біржових курсів акцій на надкоротких горизонтах інвестування.

Авторами розглянуто вплив провідних світових кредитних рейтингових агентств на фінансову безпеку емітентів цінних паперів. Обґрунтовано перформативний характер діяльності кредитних рейтингових агентств з позицій моделі «Les economies de la grandeur» нового соціологічного французького інституціоналізму, що дає змогу розв’язати протиріччя щодо сильної опозиції стосовно їх функціонування з одночасним збереженням діючої системи нормативного використання кредитних рейтингів.

Our survey of literature on moral dilemmas in teaching reveals that scholars declare the need to unequivocally resolve them yet refrain from doing so. This phenomenon is rooted in falure to distinguish between the different moral conflicts. The methods of resolving abstract hypothetical dilemmas, advocated but not implemented by the scholars, are poorly suited to deal with conflicts involving social pressure and high-stakes consequences for the parties involved, like most of the conflicts that teachers report. Thus, textbooks invite teachers to (...) resolve dilemmas on their own through reflection and dialogue, beyond the limits which Habermasian ethics of dialogue allows. The scholarship licenses lax attitudes towards commitment to professional and ethical standards by appealing to the ethics of care. It appeals to outdated versions of ethics of care that posit care in opposition to the ethics of duties, no longer employed in ethics of nursing and other caring professions. (shrink)

Neuroscience has established several brain pathways that process visual information. Distinct neural circuits analyze body appearance and movement providing information about the person’s cognitive and emotional states. The activity of the pathways depends on the salience of visual stimuli for the organism in the given circumstances. Since ballet performances are not among the crucial events for the viewer’s organism, not all viewers perceive and interpret bodily signs that express the mental state of the dancer. Treatment of the dancer as close (...) other activates the neural circuits that elaborate emotions, this enables the viewer to feel the internal state of the dancer and enrich the interpretation of the scenic action. (shrink)

In 1933 Godel introduced a calculus of provability (also known as modal logic S4) and left open the question of its exact intended semantics. In this paper we give a solution to this problem. We find the logic LP of propositions and proofs and show that Godel's provability calculus is nothing but the forgetful projection of LP. This also achieves Godel's objective of defining intuitionistic propositional logic Int via classical proofs and provides a Brouwer-Heyting-Kolmogorov style provability semantics for Int which (...) resisted formalization since the early 1930s. LP may be regarded as a unified underlying structure for intuitionistic, modal logics, typed combinatory logic and λ-calculus. (shrink)

We describe a general logical framework, Justification Logic, for reasoning about epistemic justification. Justification Logic is based on classical propositional logic augmented by justification assertions t: F that read t is a justification for F. Justification Logic absorbs basic principles originating from both mainstream epistemology and the mathematical theory of proofs. It contributes to the studies of the well-known Justified True Belief vs. Knowledge problem. We state a general Correspondence Theorem showing that behind each epistemic modal logic, there is a (...) robust system of justifications. This renders a new, evidence-based foundation for epistemic logic. As a case study, we offer a resolution of the GoldmanRed Barns in Justification Logic. Furthermore, we formalize the well-known Gettier example and reveal hidden assumptions and redundancies in Gettier’s reasoning. (shrink)

In this paper an Artificial Neural Network (ANN) model was used to help cars dealers recognize the many characteristics of cars, including manufacturers, their location and classification of cars according to several categories including: Make, Model, Type, Origin, DriveTrain, MSRP, Invoice, EngineSize, Cylinders, Horsepower, MPG_Highway, Weight, Wheelbase, Length. ANN was used in prediction of the number of miles per gallon when the car is driven in the city(MPG_City). The results showed that ANN model was able to predict MPG_City with 97.50 (...) % accuracy. The factor of DriveTrain has the most influence on MPG_City evaluation. Similar studies can be carried out for the evaluation of other characteristics of cars. (shrink)

Why does the theory of law have such a significant role in Russian liberalism, and how is this related to the state of the legal system in Russia and to the public’s legal consciousness? This intro...

In this paper individual proofs are integrated into provability logic. Systems of axioms for a logic with operators “A is provable” and “p is a proof of A” are introduced, provided with Kripke semantics and decision procedure. Completeness theorems with respect to the arithmetical interpretation are proved.

The article proceeds from the concept of understanding local government in Russia as a projection of the potestar (pre-state) organization of public life, which transforms under the dominance of methods of state organization of public life, but retains its influence as the essential core of political and social interaction between people. The existing complex «state-municipal» mechanism for exercising power at the local level largely determines the forms and nature of political actors’ interaction at the regional level. State authorities, which are (...) focused on the totality of their own administrative influences, have not yet succeeded in fully integrating local self-government into the general public space of responsibility for powers, since local power is unbuilt initially on the principles of autogenesis, autochthony and autonomy. The current situation contributes to the archaicism of a part of social relations. For some time now, to work in the multidimensional reality of society, the authorities have begun to need analytical models to understand what is happening. As an explanatory theoretical basis for the modes of existence of local authorities developed and described by the author in the current stage of development of Russian statehood, a modal methodology is used, supplemented by the results of constructing model-oriented political ontologies, which reflect the aggregates of the layers and actors of the municipal sphere of sociopolitical reality at the regional level that are actually and actively present in the Russian society. The author is interested in searching the patterns that operate in the environment created and cultivated by the organizational and activity efforts of state structures against the background of sociocultural and other characteristics inherent in the regions. Possible working models for the needs of public administration arising from the modes offered by the author are still under development, since the reform of constitutional rules proposed by the country’s leadership raises the question of new forms of organizing the continuum of coexistence and interaction of local and state authorities in Russia. The article outlines the main research lines that indicate a number of features and reference points of the author’s approach in understanding the relationship between local government and municipal government, which may serve as an occasion for a new circle of discussions of specialists interested in the prospects for the development of political potential in the Russian municipal environment. (shrink)