We apply the theory of partial algebras, following the approach developed by Van Alten, to the study of the computational complexity of universal theories of monotonic and normal modal algebras. We show how the theory of partial algebras can be deployed to obtain co-NP and EXPTIME upper bounds for the universal theories of, respectively, monotonic and normal modal algebras. We also obtain the corresponding lower bounds, which means that the universal theory of monotonic modal algebras is co-NP-complete and the universal (...) theory of normal modal algebras is EXPTIME-complete. It also follows that the quasi-equational theory of monotonic modal algebras is co-NP-complete. While the EXPTIME upper bound for the universal theory of normal modal algebras can be obtained in a more straightforward way, as discussed in the paper, due to its close connection to the equational theory of normal modal algebras with the universal modality operator, the technique based on the theory of partial algebras is applicable to the study of universal theories of algebras corresponding to a wide range of logics with intensional operators, where no such connection is available. (shrink)

We study the computational complexity of the universal and quasi-equational theories of classes of bounded distributive lattices with a negation operation, i.e., a unary operation satisfying a subset of the properties of the Boolean negation. The upper bounds are obtained through the use of partial algebras. The lower bounds are either inherited from the equational theory of bounded distributive lattices or obtained through a reduction of a global satisfiability problem for a suitable system of propositional modal logic.

In the original publication of the article, the authors name were abbreviated as “D. Shkatov” and “C. J. Van Alten”. However it should be “Dmitry Shkatov” and “Clint J. Van Alten”. The original article has been corrected.

We study the computational complexity of the universal theory of residuated ordered groupoids, which are algebraic structures corresponding to Nonassociative Lambek Calculus. We prove that the universal theory is co $$\textsf {NP}$$ -complete which, as we observe, is the lowest possible complexity for a universal theory of a non-trivial class of structures. The universal theories of the classes of unital and integral residuated ordered groupoids are also shown to be co $$\textsf {NP}$$ -complete. We also prove the co $$\textsf {NP}$$ (...) -completeness of the universal theory of classes of residuated algebras, algebraic structures corresponding to Generalized Lambek Calculus. (shrink)

(2012). Modal logics for reasoning about infinite unions and intersections of binary relations. Journal of Applied Non-Classical Logics: Vol. 22, No. 4, pp. 275-294. doi: 10.1080/11663081.2012.705960.

We give a negative solution to the problem, posed by A. Chagrov and M. Zakharyaschev, of whether every quasi-normal propositional modal logic can be axiomatized by an independent set of axioms, with the inference rules of Substitution and Modus Ponens.

We prove that the positive fragment of first-order intuitionistic logic in the language with two individual variables and a single monadic predicate letter, without functional symbols, constants, and equality, is undecidable. This holds true regardless of whether we consider semantics with expanding or constant domains. We then generalise this result to intervals \ and \, where QKC is the logic of the weak law of the excluded middle and QBL and QFL are first-order counterparts of Visser’s basic and formal logics, (...) respectively. We also show that, for most “natural” first-order modal logics, the two-variable fragment with a single monadic predicate letter, without functional symbols, constants, and equality, is undecidable, regardless of whether we consider semantics with expanding or constant domains. These include all sublogics of QKTB, QGL, and QGrz—among them, QK, QT, QKB, QD, QK4, and QS4. (shrink)

In the early 1960s, to prove undecidability of monadic fragments of sublogics of the predicate modal logic $$\textbf{QS5}$$ QS 5 that include the classical predicate logic $$\textbf{QCl}$$ QCl, Saul Kripke showed how a classical atomic formula with a binary predicate letter can be simulated by a monadic modal formula. We consider adaptations of Kripke’s simulation, which we call the Kripke trick, to various modal and superintuitionistic predicate logics not considered by Kripke. We also discuss settings where the Kripke trick does (...) not work and where, as a result, decidability of monadic modal predicate logics can be obtained. (shrink)

We obtain an effective embedding of the classical predicate logic into the logic of partial quasiary predicates. The embedding has the property that an image of a non-theorem of the classical logic is refutable in a model of the logic of partial quasiary predicates that has the same cardinality as the classical countermodel of the non-theorem. Therefore, we also obtain an embedding of the classical predicate logic of finite models into the logic of partial quasiary predicates over finite structures. As (...) a consequence, we prove that the logic of partial quasiary predicates is undecidable—more precisely, $\varSigma ^0_1$-complete—over arbitrary structures and not recursively enumerable—more precisely, $\varPi ^0_1$-complete—over finite structures. (shrink)

The purpose of the study is to reveal the main actions of the major central banks during the COVID - 19 pandemic and their main impact on the world stock markets. The scientific novelty consists in identifying the key results of the impact of the pandemic in general and the restrictive measures of national governments, in particular, on the dynamics of the state of the stock markets of the world, namely, the level of decline in the main stock indexes of (...) the S &P 500, Dow Jones and NASDAQ. The measures taken by the central banks of the United States, Japan, England and other developed and developing countries of the world to provide financial assistance to commercial banks and other financial organizations related to the purchase of government bonds at a "zero" rate, targeting the yield of government bonds, reducing key rates and other measures are summarized. It is indicated that the influx of new private investors provided a great help to the stock market, for which many Central Banks introduced special programs and preferences. As a result, the main measures taken by the Central Bank of the Russian Federation to stabilize the financial situation in the country and the domestic stock market, in particular, are summarized. (shrink)

This book explores the major differences between the kinds of risk encountered in different sectors of industry - production and services - and identifies the main features of accidents within different industries. Because of these differences, unique risk-mitigation measures will need to be implemented in one industry that cannot be implemented in another, leading to large managerial differences between these broad economic sectors. Based on the analysis of more than 500 disasters, accidents and incidents - around 230 cases from the (...) production sector and around 280 cases from the service sector - the authors compare the risk response actions appropriate within different sectors, and establish when and how it is possible to generalize the experience of dealing with risks in any given industry to a wider field of economic activity. This book is mainly intended for executives, strategists, senior risk managers of enterprise-wide organizations and risk management experts engaged in academic or consulting work. By setting out clearly the sector differences in risk management, the authors aim to improve the practice of general risk assessment with regard to identifying and prioritizing risks, and of risk control with regard to planning appropriate mitigation measures. (shrink)

Journal Name: Apeiron Issue: Ahead of print.

A groundbreaking, revisionist account of the importance of the history of philosophy to intellectual change - scientific, philosophical and religious - in seventeenth-century England.

The article develops the idea of forming postcapitalist social relations as a social revolution of an individual, which consists in the fact that popularity becomes a key advantage, the “possession” of which is a desired goal and a significant resource of political influence. At the same time, it is shown that this process leads to forming a new dominant stratum — personalities (“people with personality”): celebrities, popular bloggers, social media influencers, micro- and nanosignature. It is substantiated that the personaliat domination (...) is a consequence of contradictory social relations between the new aristocracy represented by the representatives of the personaliat and many people who do not “possess” a popular personality - the impersonaliat (“extra people”, “lower” precariat, those who turn out to be outsiders in the world of social platforms). This contradiction is associated with the rooting of a celebrity’s culture, which encourages a lot of people to fight for popularity and focus on finding advantageous differences from others in the process of self-realization. However, this struggle in the end for the overwhelming majority turns into an increase in creative competition and subtraction. Various new forms of subtraction that appear in situations of widespread self-realization are revealed. Accordingly, arguments are given in favor of the fact that in the context of the “personality revolution”, the truly left will be rather an alternative that will call into question the ways of solving social problems formulated by popular personalities. In other words, it will be possible to oppose the total pursuit of popularity with the projects of society, in which the person is relied not as someone who rises above the others, but as an involved person who values life in harmony with others higher than his own “I”. (shrink)

The recent surge of discoveries concerning the structural organization of nucleosomes, together with genetic evidence of highly specialized roles for the histones in gene regulation, have brought a renewed need for a detailed understanding of nucleosomal anatomy. Here we review recent structural advances leading to a new level of understanding of the nucleosome and chromatin fibre structure. We discuss the problems and challenges for existing models of chromatin structure and, in particular, consider how linker histones may bind within the nucleosome, (...) together with the implications of their association for the structure of the chromatin fibre. (shrink)

A conception of an information system has been introduced by Pawlak. The study has been continued in works of Pawlak and Orlowska and in works of Vakarelov. They had proposed some basic relations and had constructed a formal system of a modal logic that describes the relations and some of their Boolean combinations. Our work is devoted to a generalization of this approach. A class of relation systems and a complete calculus construction method for these systems are proposed. As a (...) corollary of our main result, our paper contains a solution of a Vakarelov's problem: how to construct a formal system that describes all the Boolean combinations of the basic relations. (shrink)

This article deals with the question of the interrelation between two papers, both called, in short, “Onomatodoxy”, dedicated to the doctrine of Name-glorification (Imiaslavie, Onomatodoxy), both of which were created in line with the Neo-Patristic movement in the Russian philosophy of the Silver Age. One of these papers is by Alexei Losev and the other by Pavel Florensky. In my opinion, there are sufficient grounds to state that Losev’s “Onomatodoxy” was written either after Florensky created his own “Onomatodoxy”, i.e., after (...) November 1922, or, at the earliest, after Florensky started to give clandestine lectures about Onomatodoxy in Moscow (where Losev lived), i.e., not earlier than spring 1921. Therefore, Losev’s article “Onomatodoxy” could have been intended for the religious-philosophical collection of articles planned for publishing by Yaschenko in 1922 in Berlin. (shrink)

Introduction. One of the drivers of the Russian regions’ development is traditionally considered to be local universities and the scientific activity development, in particular. However, such a belief is usually based on speculative conclusions and is not subjected to detailed empirical testing. The purpose of the study is to assess the relationship between the development of science in universities in Russian regions and indicators of regional development according to 2017—18 data. Methods. The authors use methods of generalization, grouping, assessment of (...) indicators of central tendency and variations, as well as methods of correlation analysis. The study is based on the data from regional statistics presented on the official website of Russian Statistics Agency, as well as data from monitoring the universities effectiveness, commissioned by the Ministry of Science and Higher Education of the Russian Federation. Scientific novelty of the research. For the first time, the authors present an empirical analysis of the relationship between indicators of socioeconomic development of Russian regions and indicators of scientific activity in universities in the region. The study is characterized by using a sample of homogeneous regions. The sample excluded regions that did not have significant scientific results, as well as regions that are leaders in economic development. As a result, a “core” of 57 Russian regions with similar characteristics of both economic development and the results of scientific activity was investigated. This increased the practical significance of the conclusions and their reliability. Results. As a result of the study, it was found out that there is a statistically significant relationship between all indicators of regional development and science in universities. However, a deeper analysis made it possible to establish that this relationship is indirect. In some cases, we can talk about the opposite influence - regional development on scientific results in universities. Conclusions. It was found that the indicators used in the public administration system for assessing the effectiveness and efficiency of scientific activity are not key in terms of their impact on regional development. It was revealed that publications in leading world databases and in the Russian Science Citation Index (RSCI) are equally related to regional development. It has been determined that in a number of cases, within the considered sample, it is possible to distinguish two groups of regions with a different nature of the relationship between regional development and science in universities. (shrink)

Ambiguity affects decisions of people who exhibit a distaste of and require a premium for dealing with it. Do ambiguity-neutral subjects completely disregard ambiguity and react to any vague news? Online vending platforms often attempt to affect buyer’s decisions by messages like “20 people are looking at this item right now” or “The average score based on 567 reviews is 7.9/10”. We augment the two-color Ellsberg experiment with similarly worded signals about the unknown probability of success. All decision-makers, including ambiguity-neutral, (...) recognize and account for ambiguity; ambiguity-neutral subjects are less likely to respond to vague signals. The difference between decisions of ambiguity-neutral and non-neutral subjects vanishes for high precision signals; still less than 60% subjects choose the ambiguous urn, even for high communicated probabilities of success. We conjecture participants may discard information, if they see no contradiction between it and their prior beliefs, hence the latter are not updated. Higher confidence makes subjects more likely to discard the news, and empirically ambiguity-neutral subjects appear more confident than those ambiguity-averse. (shrink)

Comparative study between Tibetan Bon and Buryatian Bø religion of ancient Shamanic traditions.

Introduction. The human world is presented as an integrity — an organic unity of many inter- connected and interdependent centers (parts, sides, elements): natural and cultural, natural and artificial, animate and inanimate. When any center dominates over others (for example, technical and technological) and / or attempts to realize its claim to the status of a whole, the agreed and optimal ra- tio in the coexistence and synergistic development of all centers, and, consequently, of the whole, is violated. There arises (...) an ecosystem problem. The purpose of the study is to present and analyze the techno-technologized world in the context of current philosophical and scientific methodologi- cal principles: polycentricity, complexity, network- centricity, and ecosystem; to designate their theoretical and practical significance, interdepend- ence; to substantiate the principle of ecosystems as more general and fundamental and to present its effectiveness in preserving the integrity of man, his world and the full value of human being-in-the- world. Methods. The author uses methods of dialectics, synergetics and systemic approach in the philo- sophical understanding of the specifics of the modern techno-technological world and a person’s existence in it. The author also uses the methods of extrapolation and interpretation, the ideas of B. Latour’s actor-network theory, and ecosystem approach. Scientific novelty of the research. The author projects the key attitudes and concepts of the actual conceptual and paradigm principles on the techno-technological world, and formulates the main advantages and disadvantages. The author substantially justifies that the principle of ecosys- tem is the most effective in solving the problem of preserving and reproducing the integrity of the human world, the person himself and his being. Results. The author carries out theoretical and methodological analysis of the techno-technolo- gized world and a person’s existence in it. It has been determined that when solving the problem of preserving and reproducing the integrity of a person and his world, the principle of ecosystems is the most effective and preferable. The ecosystem principle implies the synergistic unity of all centers of human existence, their interdependence and interconnection, ensures the priority of the whole for the benefit of each center, expressed in mutual strengthening and expansion of their potential. Conclusions. The author comes to the conclusion that the application of relevant paradigm principles in studying and analyzing the techno-technological world will make it possible to obtain a more mul- tidimensional and accurate interpretation of the ways and means of achieving a full-fledged human being, with a focus on preserving his identity, origi- nality, subjectivity and integrity. (shrink)

We explore a possibility of generalization of classical truth values by distinguishing between their ontological and epistemic aspects and combining these aspects within a joint semantical framework. The outcome is four generalized classical truth values implemented by Cartesian product of two sets of classical truth values, where each generalized value comprises both ontological and epistemic components. This allows one to define two unary twin connectives that can be called “semi-classical negations”. Each of these negations deals only with one of the (...) above mentioned components, and they may be of use for a logical reconstruction of argumentative reasoning. (shrink)

In their useful logic for a computer network Shramko and Wansing generalize initial values of Belnap’s 4-valued logic to the set 16 to be the power-set of Belnap’s 4. This generalization results in a very specific algebraic structure — the trilattice SIXTEEN 3 with three orderings: information, truth and falsity. In this paper, a slightly different way of generalization is presented. As a base for further generalization a set 3 is chosen, where initial values are a — incoming data is (...) asserted, d — incoming data is denied, and u — incoming data is neither asserted nor denied, that corresponds to the answer “don’t know”. In so doing, the power-set of 3, that is the set 8 is considered. It turns out that there are not three but four orderings naturally defined on the set 8 that form the tetralattice EIGHT 4 . Besides three ordering relations mentioned above it is an extra uncertainty ordering. Quite predictably, the logics generated by a –order (truth order) and d –order (falsity order) coincide with first-degree entailment. Finally logic with two kinds of operations ( a –connectives and d –connectives) and consequence relation defined via a –ordering is considered. An adequate axiomatization for this logic is proposed. (shrink)

I detect a specific attitude to Byzantium (“the Byzantine Enlightenment”) in Ivan Kireevsky’ Slavophile article “On the Character of Enlightenment in Europe” (1852). I qualify this attitude as Byzantinocentrism. I take that as a focal point and, against this background, consider the image of Byzantium in Kireevsky and some thinkers of his social circle. It allows me to trace the most important lines of attitudes to Byzantium in the Russian historiosophical literature and opinion journalism of the nineteenth century. I detect (...) two opposite lines in perceiving Byzantium in Kireevsky’s early social circle: the anti- and pro-Byzantine ones. The first line goes back to an anti-Byzantine message, characteristic of the epoch of Enlightenment. It found its manifestation in G. W. F. Hegel’s Lectures on the Philosophy of History. I point to the traces of the implicit polemics with Hegel’s anti-byzantinism in Kireevsky and identify the context of these polemics in Arist Kunick. As well, I outline how these lines worked in Pyotr Chaadaev and Alexander Pushkin. Then I distinguish between how the image of Byzantium was presented, first, in Kireevsky’s earlier Slavophile article “On the Character of Enlightenment in Europe” and, second, in his last article “On the Necessity and Possibility of the new Foundations for Philosophy” (1856). In the latter article, which sees Byzantium as bipolar, I find another view on Byzantium. I suggest that this view on Byzantium as a bipolar entity goes back to Alexey Khomyakov’s Semiramis. My point is that this difference in the views on Byzantium is paradigmatic and it reflects a division that was present in the Russian Slavophile-conservative milieu of that time. I suggest that this division stands behind another division within the same milieu, which was politically oriented, the one in relation to the Greek-Bulgarian ecclesiastical question. I analyze how both monopolar (Byzantinocentric) and bipolar views on Byzantium were reflected in the Greek-Bulgarian question as it was considered by Alexey Khomyakov and Terty Filippov. I find a context for developing Kireevsky’s attitude towards Byzantium in François Guizot’s historiosophic scheme as well. (shrink)

In this paper we continue the study of Girard's Linear Logic and introduce a new Linear Logic with modalities. Our logic describes not only the consumption, but also the presence of resources. We introduce a new semantics and a new calculus for this logic. In contrast to the results of Lincoln [7] and Kanovich [4] about the NP-completeness of the problem of the construction of a proof for a given sequent in the multiplicative fragment of Girard's Linear Logic, we present (...) here a non-exponential algorithm to construct a proof for a given sequent and a given point of a given model in our Linear Logic. (shrink)

Introduction. A human and the world are an organically connected part and whole, they are always a single World, and therefore they can only evolve together, in one direction. The human world consists of many interconnected and interdepend- ent parts. If any one of the parts (for example, technology) begins to dominate and claim the sta- tus of the whole, then the problem of violating the optimal ratio in the coexistence and co-evolutionary development of each of the parts, and hence (...) the whole itself, becomes aggravated. Hence, the eco-humanistic problem arises. The purpose of the work is to present the content and substantiate the theoretical and practical significance of eco-humanism as a new humanitar- ian knowledge and methodology for understanding the specifics of the relationship “man — technical and-technological world”. Methods. The author uses the methods of dia- lectics, systemic and synergetic approaches, the project (projective) method, which is implemented in the design and development of a new philo- sophical and scientific discipline of eco-humanism, and ideas of co-evolution. Scientific novelty of the research. The author determines basic foundations of eco-humanism as a new type of humanitarian knowledge; formulates and meaningfully substan- tiates the main principles of eco-humanism as a methodological setting for the ecologization of a person and the world: optimality, coordination and dominance of the whole (integrity) in relation to its parts. Results. Eco-humanistics is defined as a new type of knowledge about a person and a specific setting of his thinking and practical activities, focused on finding ways and means to achieve op- timality in relation to various aspects (for example, technical and anthropological) in a person’s being to ensure the possibility of their fruitful existence, to preserve and reproduce a person (as a unique integrity) and his world (as a universal integrity), in their interconnected and interdependent unity. Conclusions. The author of the article comes to the conclusion that the theoretical development of eco-humanistics will make it possible to study and analyze the phenomena of modern culture in a more multifaceted way, to get a more accurate interpretation of the ways of human existence and eco-cultural practices that provide the effect of the state of the “ecosystem” in situations of any intense socio-cultural transformations. (shrink)

In their useful logic for a computer network Shramko and Wansing generalize initial values of Belnap’s 4-valued logic to the set 16 to be the power-set of Belnap’s 4. This generalization results in a very specific algebraic structure — the trilattice SIXTEEN3 with three orderings: information, truth and falsity. In this paper, a slightly different way of generalization is presented. As a base for further generalization a set 3 is chosen, where initial values are a — incoming data is asserted, (...) d — incoming data is denied, and u — incoming data is neither asserted nor denied, that corresponds to the answer “don’t know”. In so doing, the power-set of 3, that is the set 8 is considered. It turns out that there are not three but four orderings naturally defined on the set 8 that form the tetralattice EIGHT4. Besides three ordering relations mentioned above it is an extra uncertainty ordering. Quite predictably, the logics generated by a–order and d–order coincide with first-degree entailment. Finally logic with two kinds of operations and consequence relation defined via a–ordering is considered. An adequate axiomatization for this logic is proposed. (shrink)

In this paper we introduce a new type of nets with bounded types of distributed resources . Linear Logic to describe the behaviour of BR-nets is defined. It is based on Girard's Linear Logic but captures not only consumption of resources but their presence as well. Theorem of soundness and completeness of the proposed axiomatization is proved and the complexity of the provability problem is established for the general case and some particular ones.

The fact that modern artists are turning toward science and the latest technologies—robotics, information technology, biomedicine—forces us to reformulate our concept of art. One need only imagine...