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

Pogled na kulturnopovijesna smjeranja -- Zajednica i nazovizajednica -- Značenje povijesne predaje.

The latest book by Russian philosopher Sergey Mareev consists of two parts: recollections of his teacher Evald Ilyenkov, and reflections on some of the key themes of Ilyenkov’s philosophical heritage. The author traces several polemical lines related to the problem of the ideal, dialectics of the abstract and the concrete, the principle of historicism, as well as Ilyenkov’s interpretation of Spinoza and Hegel.

This essay is a fictocritical meditation upon the contemporary transformation of temporal experience as we find ourselves embarked upon an accelerating process of climate change and species extinction, including possibly that of the human species. The essay offers an extended reading of a recent villanelle published in John Kinsella’s Book of Villanelles that in turn responds to a controversial project by the Adani mining consortium to begin extracting coal over a large swathe of Wangan and Jagalingou country in the Central (...) Queensland Galilee Basin. The essay is an extract from a collaborative work in progress by John Kinsella and myself, Per Se: On the Imperatives of Place II, that will appear in early 2021 with Narr, building upon ˈtεmprərɪnəs: On the Imperatives of Place. (shrink)

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

The need for innovative development of healthcare institutions is determined by the necessity to increase the efficiency of organizational processes based on the formation of new models of cooperation, which will make it possible to get access to new technologies and knowledge. The goal of the study is to determine the parameters of the impact of innovative open cooperation strategy and the strategy of innovative closed cooperation of healthcare institutions on the effectiveness of their organizational structure in the context of (...) dissemination and the use of knowledge. Simulation modeling was applied to generate the most effective organizational management structure in the context of innovative cooperation and knowledge exchange within the organizational processes “Inside-out” and “Inside-in”. It is substantiated that the strategies of innovative cooperation “Open Innovation/Closed Innovation” have a significant impact on the organizational structure of management of healthcare institutions in terms of the “degree of centralization” (Dci), “degree of mediation” (Dii), and “degree of centralization of powers” (Dpi). The values of the selected criteria range from 25,52% to 61,50% in the case of Dii, and from 34,53% to 52,63% in the case of Dci, which indicates a higher efficiency of organizational knowledge exchange processes in healthcare institutions, which adhere to the Open Innovation strategy of innovative cooperation. Therefore, there are significant differences in the effectiveness of the management’s organizational structure depending on the degree of openness of innovative cooperation of healthcare institutions. The strategy of innovative openness allows increasing the number and quality of connections in the context of knowledge exchange between the subjects (actors, agents) of the organizational structure (in a broad sense, considering internal and external levels of externality) of healthcare institutions, regardless of the distance between them and the level of similarity. (shrink)

This article investigates the proof theory of the Quantified Argument Calculus as developed and systematically studied by Hanoch Ben-Yami [3, 4]. Ben-Yami makes use of natural deduction, we, however, have chosen a sequent calculus presentation, which allows for the proofs of a multitude of significant meta-theoretic results with minor modifications to the Gentzen’s original framework, i.e., LK. As will be made clear in course of the article LK-Quarc will enjoy cut elimination and its corollaries.

This is a selection of readings about professionalism and ethics in engineering. It addresses topics such as the concept of professionalism, education, and maintenance of competence, registration, professional autonomy, social effects and responsibilities, and enforcement of codes of ethics.

A sequent calculus methodology for systems of agency based on branching-time frames with agents and choices is proposed, starting with a complete and cut-free system for multi-agent deliberative STIT; the methodology allows a transparent justification of the rules, good structural properties, analyticity, direct completeness and decidability proofs.

In this paper we use proof-theoretic methods, specifically sequent calculi, admissibility of cut within them and the resultant subformula property, to examine a range of philosophically-motivated deontic logics. We show that for all of those logics it is a (meta)theorem that the Special Hume Thesis holds, namely that no purely normative conclusion follows non-trivially from purely descriptive premises (nor vice versa). In addition to its interest on its own, this also illustrates one way in which proof theory sheds light on (...) philosophically substantial questions. (shrink)

Even though Belgrade student protests emerged and ended abruptly after only seven days in June of 1968, they came as a cumulative point of a decade-long accumulated social dissatisfaction and antagonisms, as well as of philosophical investigations of the unorthodox Marxists of the Praxis school. It surprised the Yugoslav authorities as the first massive rebellion after WWII to explicitly criticize rising social inequality, bureaucratization and unemployment and demand free speech and abolishment of privileges. This article focuses on the intellectual destiny (...) and legacy of the eight professors from the Faculty of Philosophy close to the Praxis school, who were identified as the protests’ instigators and subsequently expelled from the University of Belgrade due to their “ethico-political unsuitability”. Under both international and domestic pressure, they were later reemployed in a separate research unit named the Centre for Philosophy and Social Theory, where they kept their critical edge and argued for political pluralism. From the late 1980s onwards, they and their colleagues became politically active and at times occupied the highest positions in Serbia – Dragoljub Mićunović as one of the founders of the modern Democratic Party and the Speaker of the Parliament, former Serbian President and Prime Minister Vojislav Koštunica and former Prime Minister late Zoran Đinđić. Still, while some members became strong anti-nationalists and anti-war activists, other embraced Serbian nationalism, therefore pivoting the intellectual split into the so called First and Second Serbia that marked Serbian society during the 1990s and remained influential to this day. (shrink)

Free logics is a family of first-order logics which came about as a result of examining the existence assumptions of classical logic. What those assumptions are varies, but the central ones are that the domain of interpretation is not empty, every name denotes exactly one object in the domain and the quantifiers have existential import. Free logics usually reject the claim that names need to denote in, and of the systems considered in this paper, the positive free logic concedes that (...) some atomic formulas containing non-denoting names are true, while negative free logic rejects even the latter claim. Inclusive logics, which reject, are likewise considered. These logics have complex and varied axiomatizations and semantics, and the goal of this paper is to present an orderly examination of the various systems and their mutual relations. This is done by first offering a formalization, using sequent calculi which possess all the desired structural properties of a good proof system, including admissibility of contraction and cut, while streamlining free logics in a way no other approach has. We then present a simple and unified system of abstract semantics, which allows for a straightforward demonstration of the meta-theoretical properties, and offers insights into the relationship between different logics. The final part of this paper is dedicated to extending the system with modalities by using a labeled sequent calculus, and here we are again able to map out the different approaches and their mutual relations using the same framework. (shrink)

The Quantified argument calculus (Quarc) has received a lot of attention recently as an interesting system of quantified logic which eschews the use of variables and unrestricted quantification, but nonetheless achieves results similar to the Predicate calculus (PC) by employing quantifiers applied directly to predicates instead. Despite this noted similarity, the issue of the relationship between Quarc and PC has so far not been definitively resolved. We address this question in the present paper, and then expand upon that result. Utilizing (...) recent developments in structural proof theory, we develop a G3-style sequent calculus for Quarc and briefly demonstrate its structural properties. We put these properties to use immediately to construct direct proofs of the meta-theoretical properties of the system. We then incorporate an abstract (and, as we shall see, logical) predicate into the system in a way that preserves all the structural properties. This allows us to identify a system of Quarc which is deductively equivalent to PC, and also yields a constructive method of demonstrating the Craig interpolation theorem (which speaks in favor of the aforementioned predicate being logical). We further generalize this extension to develop a bivalent system of Quarc with defining clauses that still maintains all the desirable properties of a good proof system. (shrink)

This article presents an attempt to approach the dispute over Kosovo between Serbs and Albanians from a non-territorial perspective, with particular focus on the preservation of the Serbian cultural and religious heritage. First, we argue that the Kosovo issue is at present commonly understood as an either-or territorial dispute over sovereignty and recognition between Serbian and Kosovo Albanian politicians. However, we claim that a lasting resolution to the Kosovo issue actually needs to account for at least three separate aspects: 1) (...) status of Northern Kosovo which is ethnically Serbian and still maintains various ties with the Serbian state, 2) status of Serbian cultural and religious heritage, chiefly UNESCO world heritage Serbian medieval monasteries and churches and 3) the fact that the Serbian population in central Kosovo, i.e. south of the river Ibar, where most of the mentioned monasteries and churches are located, are located in small municipalities or enclaves of Serbs surrounded by vast Albanian populations. We examine the applicability of the non– territorial approach to the Kosovo issue by analyzing the normative framework directly regulating the Serbian cultural and religious heritage in Kosovo, its preservation and protection, particularly of Serbian Orthodox monasteries, churches and other historical and cultural sites, while comparing these regulations to the existing normative NTAs in Croatia and Montenegro. Arguably, since most Serbian monasteries and churches are not included in any sovereignty negotiations, we point to the potential to combine territorial and non–territorial approaches, regardless of the continued obstacles in implementation arising from continued contestation of Kosovo’s sovereign status. This article presents an attempt to approach the dispute over Kosovo between Serbs and Albanians from a non-territorial perspective, with particular focus on the preservation of the Serbian cultural and religious heritage. First, we argue that the Kosovo issue is at present commonly understood as an either-or territorial dispute over sovereignty and recognition between Serbian and Kosovo Albanian politicians. However, we claim that a lasting resolution to the Kosovo issue actually needs to account for at least three separate aspects: 1) status of Northern Kosovo which is ethnically Serbian and still maintains various ties with the Serbian state, 2) status of Serbian cultural and religious heritage, chiefly UNESCO world heritage Serbian medieval monasteries and churches and 3) the fact that the Serbian population in central Kosovo, i.e. south of the river Ibar, where most of the mentioned monasteries and churches are located, are located in small municipalities or enclaves of Serbs surrounded by vast Albanian populations. We examine the applicability of the non– territorial approach to the Kosovo issue by analyzing the normative framework directly regulating the Serbian cultural and religious heritage in Kosovo, its preservation and protection, particularly of Serbian Orthodox monasteries, churches and other historical and cultural sites, while comparing these regulations to the existing normative NTAs in Croatia and Montenegro. Arguably, since most Serbian monasteries and churches are not included in any sovereignty negotiations, we point to the potential to combine territorial and non–territorial approaches, regardless of the continued obstacles in implementation arising from continued contestation of Kosovo’s sovereign status. (shrink)

In a recent paper, Negri and Pavlović (Studia Logica 1–35, 2020) have formulated a decidable sequent calculus for the logic of agency, specifically for a deliberative see-to-it-that modality, or dstit. In that paper the adequacy of the system is demonstrated by showing the derivability of the axiomatization of dstit from Belnap et al. (Facing the future: agents and choices in our indeterminist world. Oxford University Press, Oxford, 2001). And while the influence of the latter book on the study of (...) logics of agency cannot be overstated, we note that this is not the only axiomatization of that modality available. In fact, an earlier (and arguably purer) one was offered in Xu (J Philosophical Logic 27(5):505–552, 1998). In this article we fill this lacuna by proving that this alternative axiomatization is likewise readily derivable in the system of Negri and Pavlović (Studia Logica 1–35, 2020). (shrink)

The authors designated speech culture as the object of this article. The subject of the study is the creative potential of the Honored Artist of the RSFSR Maria Vinogradova in the context of voicing Soviet cartoons. The authors set a goal to identify the range of the potential of speech capabilities in voicing cartoon characters. The methodological basis of the article is content analysis, comparative, statistical, historical and cultural analysis of Soviet animated works, as well as their characters voiced by (...) Maria Vinogradova. The authors, when considering the problem, achieve the following results: from 1954 to 1995, Maria Sergeevna took part in the dubbing of 213 Soviet cartoons. The most fruitful years for the actress in terms of voice acting were 1976 – 15 works; 1975, 1984 - 12 works; 1973 – 11 works; 1974 – 10 works. For 40 years, the actress has voiced 109 animals, 87 boys, 22 girls, 14 indeterminate characters and 9 inanimate objects. In the process of developing the problem, the authors identify categories of voiced characters (boy characters, girl characters, animal characters, object characters, indeterminate characters) and analyze the actress' creativity for the characters she voices belonging to these categorical elements. The novelty of the research lies in the unconventionality of the indicated approach, as well as in the complex analysis of the palette of Maria Vinogradova's speech capabilities. As a result of the study, the authors come to the following conclusions: 1) The high creative rise of the actress was formed in the 1970s - 91 Soviet cartoons were voiced in this decade, which is 42% of the total number of voiced cartoons. 2) The acting role of Maria Sergeevna's travesty confirms the first place in the number of voiced male characters - children and animals. 3) In 15 cartoons, Maria voiced several characters, and in 2 – all the characters, which indicates a wide speech range of the actress. (shrink)

At the beginning of 2020, COVID-19 became a global problem. Despite all the efforts to emphasize the relevance of preventive measures, not everyone adhered to them. Thus, learning more about the characteristics determining attitudinal and behavioral responses to the pandemic is crucial to improving future interventions. In this study, we applied machine learning on the multi-national data collected by the International Collaboration on the Social and Moral Psychology of COVID-19 (N = 51,404) to test the predictive efficacy of constructs from (...) social, moral, cognitive, and personality psychology, as well as socio-demographic factors, in the attitudinal and behavioral responses to the pandemic. The results point to several valuable insights. Internalized moral identity provided the most consistent predictive contribution—individuals perceiving moral traits as central to their self-concept reported higher adherence to preventive measures. Similar was found for morality as cooperation, symbolized moral identity, self-control, open-mindedness, collective narcissism, while the inverse relationship was evident for the endorsement of conspiracy theories. However, we also found a non-negligible variability in the explained variance and predictive contributions with respect to macro-level factors such as the pandemic stage or cultural region. Overall, the results underscore the importance of morality-related and contextual factors in understanding adherence to public health recommendations during the pandemic. (shrink)

A sequence x=xn:nω of elements of a complete Boolean algebra converges to a priori if lim infx=lim supx=b. The sequential topology τs on is the maximal topology on such that x→b implies x→τsb, where →τs denotes the convergence in the space — the a posteriori convergence. These two forms of convergence, as well as the properties of the sequential topology related to forcing, are investigated. So, the a posteriori convergence is described in terms of killing of tall ideals on ω, (...) and it is shown that the a posteriori convergence is equivalent to the a priori convergence iff forcing by does not produce new reals. A property of c.B.a.’s, satisfying -cc -cc and providing an explicit definition of the a posteriori convergence, is isolated. Finally, it is shown that, for an arbitrary c.B.a. , the space is sequentially compact iff the algebra has the property and does not produce independent reals by forcing, and that implies P is the unique sequentially compact c.B.a. in the class of Suslin forcing notions. (shrink)

It is generally claimed that there exist exceptional circumstances when taking human life may be approved and when such actions may be justified on moral grounds. Precise guidelines in the medical field for making such decisions concerning patients who are terminally ill or have irreparable injuries incompatible with a bearable life, are difficult to establish. Recommendations that take the particular logical form of a rule, such as "in dubio pro vita", "when in doubt favour life") have been suggested and in (...) some countries incorporated into legal texts (Germany). We claim here that such a rule is of no value since it is open-ended and always allows for doubt, and a decision to employ measures that would support human life could always be argued to be a valid choice. Preservation of this rule could be encouraged, but giving it the force of law may put physicians at risk, as they may be challenged for choosing to terminate life in otherwise ethically and medically uncontroversial circumstances. (shrink)