This study aims to explore a demoethical model for sustainable development in modern society. It proposes an approach that focuses on organizing activities to improve sustainable development. Specifically, it presents a demoethical model relevant to Society 5.0 and Industry 5.0 organizations. The objective is to identify demoethical values that can drive sustainable development in the era of digitalization. Through a literature review and analysis, this study identifies key components of the demoethical model and provides practical recommendations for stakeholders involved in (...) digital transformation. The analysis of demoethical norms and phenomena, such as education, nurturing, mind, knowledge, science, and honest work, has enabled the identification of values that align with sustainable development in society. The results of the study demonstrate that the notion of a demoethical foundation for sustainability is rooted in the concept of spirituality as the basis for a new societal development scenario and its relationship with nature. The study shows that ideas about the demoethical basis of sustainability are based on the priority of spirituality as the basis of a new scenario for the development of society, as well as the integration of demographic, socio-economical, and ecological components in system-wide modeling. (shrink)

Introduction. Higher education systems at the present stage of development are facing new serious challenges. On the one hand, universities function as independent units, on the other, they are part of the regional system, they attract and share the attention of the stakeholders interested in the system (applicants, students, research and teaching staff, business structures, etc.). The purpose of the study is to assess the competitiveness of regional higher education systems through the formed system of indicators, as well as to (...) draw conclusions about the degree of uniformity in the development of these networks. Methods. To assess the state of the higher education system in Russia, the author uses an indicative method of analysis, which makes it possible to determine the degree of compliance of the indicator values achieved by now with the criteria that meet the set requirements for the development of society. Scientific novelty of the research. The novelty of the research consists in forming a set of indicators, which makes it possible to draw conclusions about the competitiveness of regional systems and the degree of their development uniformity, as well as the number of universities in the regional system and their influence on the entire system, according to their uniform development relative to each other. Results. Following the results of diagnosing the regional higher education systems, the author identifies the regions-leaders and the regions-outsiders. The diagnostic results are compared with the data of international rankings. Conclusions. The conclusion states that the region with fewer but equally developing universities (for example, the Belgorod region or the Republic of Tatarstan) have higher indicators of competitiveness. On the contrary, regional higher education systems, represented by a large number of universities, but with unevenly developing performance indicators, are characterized as less competitive, i.e. the performance indicators of the leading university are leveled within the system as a whole. (shrink)

The object of this study is the speech style of artists of the Bolshoi Drama Theater in the 1950s and 1960s. The subject of the study is the evolution of the speech style from the first to the second edition of G. Tovstonogov's performance "The Fox and the Grapes" ("Aesop"). The author of the article studies in detail two versions of the famous performance, analyzes the acting speech of N. Korn, V. Polizeimako, O. Basilashvili and S. Yursky from aesthetic and (...) technological positions. The author pays special attention to the fundamental changes in the intonation-melodical architectonics of sounding speech in less than one decade. A change in speech style in the Bolshoi Drama Theater is included by the author in the wider context of changes in the art of the "thaw" era. The methodology of this study includes measurement (auditory analysis of the pace of speech, auditory analysis of diction and orthoepia, instrumental analysis of the intonation-melodic score), comparative analysis, induction, historical method. The novelty of the present study lies in the combined use of auditory and instrumental analysis tools for acting speech. The author clearly proves the subjectively obvious difference between the sound of speech in the first and second editions of the performance "The Fox and The Grapes" by conducting a detailed comparative analysis of acting speech in all main parameters: tempo, diction, orthoepia, melodics. From the study of a specific performance and specific acting works, the author goes to generalization, concluding about the powerful influence of screen (cinematic) speech on theatrical speech in the 1950s and 1960s, about the formation of a new standard of audience perception and a new idea of the naturalness of acting speech. (shrink)

The object of this study is acting speech in modern theater and cinema. The subject of the study is the influence of the aesthetics of screen speech on the theatrical word in the 21st century. The author explores in detail the phenomenon of "microphone speech" in modern drama theater, analyzes the reasons for the rapid expansion of microphone sound and, in particular, the influence on stage speech of the aesthetics of post-drama theater. With numerous examples, various options for using microphones (...) in a drama theater are considered - from local to radical. The author pays special attention to the category of "naturalness" of the acting speech in the screen arts and on the theatrical stage. The novelty of the study lies in a comprehensive study of the phenomenon of "microphone speech" in drama theater and the category of naturalness in stage and screen speech. The author concludes about the overwhelming influence of cinema on modern theatrical speech. The article scientifically substantiates the impact on the speech art of a modern theater actor both the aesthetics of post-dramatism and the new standard of naturalness that has developed in the screen arts and has formed spectator perception. The opposite influence of stage speech on the aesthetics of speech in screen arts is mediated, realized almost exclusively through the theater school. In the final part of the study, the author concludes that changes are necessary in the speech education of future theater and film artists. (shrink)

In the article, the author analyzes methodological approaches to the study of the concept of historical responsibility, comparing the German tradition of study with the voluntary actions ontology of M.M. Bakhtin 's. The German tradition, influenced by the thinking of World War II, emphasizes the perception of responsibility in the context of the relationship with guilt, which raises a substantial question about the nature of responsibility and its boundaries. In particular, H. Arendt formulates the concept of banality of evil, focusing (...) on the disappearance of internal perception of responsibility, but does not solve the question of the origins of such feeling. The Russian religious tradition, presented by M.M. Bakhtin, allows to propose a way to solve the issues raised due to the identification of ontological grounds of individual responsibility. Nevertheless, M.M. Bakhtin conclusions are also important for solving the problem of collective responsibility. Bakhtin addresses responsibility as an ontological characteristic of human existence, opposing its freedom. Responsibility manifests itself in acts, but ontologically precedes a separate action performed by a person. The role of the act is that it allows the person himself to understand the burden of responsibility and act on these prerequisites. The transfer of the Bakhtins methodology from individual to collective responsibility makes it possible to link the moment of its occurrence not to public recognition, but to the very fact of the individual 's entry into a certain community. The ontological integrity of the individual also acquires a social dimension, not only synchronic but also diachronic. According to the author, the application of the Bakhtins methodology in the field of social research makes it possible to consider problems of historical responsibility in the context of more fundamental philosophical questions about the relationship between individual and collective identity, the dynamics of identity, the combination of regularity and variability in human behavior. (shrink)

John Komlos’s Foundations of Real-World Economics is an ambitious book that aims at taking down the foundations of modern mainstream economics that students are taught at Econ 101 classes and replace them with a more reality-based alternative. However, Komlos’s falls way short of the stated objective. First, he fails to genuinely engage the introductory textbooks with which he supposedly argues. Komlos also appears to misunderstand the purpose of introductory-level economic models like perfect competition, as well as to entertain the idea (...) that their rejection may lead to different conclusions from those that he seems to favor. Finally, Komlos does not cite sufficient research and evidence for his own potential building blocks for a new economics, such as the claim that the basic assumption of scarcity should be scrapped in favor of that of abundance. (shrink)

John Komlos’s Foundations of Real-World Economics is an ambitious book that aims at taking down the foundations of modern mainstream economics that students are taught at Econ 101 classes and replace them with a more reality-based alternative. However, Komlos’s falls way short of the stated objective. First, he fails to genuinely engage the introductory textbooks with which he supposedly argues. Komlos also appears to misunderstand the purpose of introductory-level economic models like perfect competition, as well as to entertain the idea (...) that their rejection may lead to different conclusions from those that he seems to favor. Finally, Komlos does not cite sufficient research and evidence for his own potential building blocks for a new economics, such as the claim that the basic assumption of scarcity should be scrapped in favor of that of abundance. (shrink)

Rad se bavi pojmom Drugog/bliznjeg/brata u pravoslavnom hriscanstvu i u raznim aktuelnim kontekstima kao sto su odnos medju ljudima, medjureligijski dijalog i dijalog o proslosti na prostoru bivse Jugoslavije, sa naglaskom na postkonfliktni period. U osnovi rada je analiza neprihvatanja Drugog i drugacijeg, straha i mrznje prema drugom, sto se ne zadrzava samo na coveku kao pojedincu, vec se reflektuje i na citav narod. Razmatra se i dijalog kao neizbezan cinilac odnosa sa Drugim, suzivota i pomirenja na prostoru bivse Jugoslavije. (...) Postavlja se pitanje moguceg doprinosa pravoslavlja mirnom suzivotu i ocuvanju mira medju narodima na pomenutom prostoru danas. (shrink)

In this article, I will pursue three aims. First, I would like to demonstrate the non-transcendental character of Merleau-Ponty’s phenomenology, namely, his claim that a strict division between a priori and a posteriori is an abstraction that derives from a more primordial unity that is given in our lived experience. I will criticize authors such as H. Dreyfus and T. Carman who treat the body and bodily character of our existence as a classical Kantian a priori that functions as a (...) condition of experience without itself being a part of the experience. The claim I would like to defend in this regard is that reflections on the conditions of our experience must themselves be a part of our experience. The second task is to show how Merleau-Ponty’s analysis of temporality helps him to avoid this strict division between a priori and a posteriori. Based on this, I will elucidate some of the most obscure passages of Phenomenology of Perception. Finally, I will claim that the notion of optimal grip can neither be explained by the reference to our body, as Carman claims, or to brains, organisms and their copings with the environment, as Dreyfus argues. Instead, I will claim that the maximal grip is rather a consolidation or intensification of the temporal ecstasy. (shrink)

We consider four natural deduction systems: Fitch-style systems, Gentzen-style systems (in the form of dags), general deduction Frege systems and nested deduction Frege systems, as well as dag-like Gentzen-style sequent calculi. All these calculi soundly and completely formalize classical propositional logic. -/- We show that general deduction Frege systems and Gentzen-style natural calculi provide at most quadratic speedup over nested deduction Frege systems and Fitch-style natural calculi and at most cubic speedup over Gentzen-style sequent calculi.

We study an extension of first-degree entailment (FDE) by Dunn and Belnap with a non-contingency operator |$\blacktriangle \phi $| which is construed as ‘|$\phi $| has the same value in all accessible states’ or ‘all sources give the same information on the truth value of |$\phi $|’. We equip this logic dubbed |$\textbf {K}^\blacktriangle _{\textbf {FDE}}$| with frame semantics and show how the bi-valued models can be interpreted as interconnected networks of Belnapian databases with the |$\blacktriangle $| operator modelling search (...) for inconsistencies in the provided information. We construct an analytic cut system for the logic and show its soundness and completeness. We prove that |$\blacktriangle $| is not definable via the necessity modality |$\Box $| of |$\textbf {K}_{\textbf{FDE}}$|⁠. Furthermore, we prove that in contrast to the classical non-contingency logic, reflexive, |$\textbf {S4}$| and |$\textbf {S5}$| (among others) frames are definable. (shrink)

In this article, I will argue that while Marion’s criticism of Heidegger’s project of fundamental ontology is in many ways sound, Marion remains bound to the conceptual opposition that existential phenomenology has successfully overcome. Namely, I will argue that Marion remains dependent upon the transcendental dilemma according to which we must rely on the strict differentiation between explanans and explanandum. Marion sees no way of departing from Heidegger’s project other than reversing the order of explanation and switching the places of (...) the explanans and explanandum, which means that phenomena start appearing as explanans. I will demonstrate how existential phenomenology has overcome this conceptual dilemma, and then I will argue that we could make a much better account of saturated phenomena, if we ground our insights in the idea of being-in-the-world. (shrink)

The paper is one of the four central texts where Clifford Geertz summarized his ideas. Geertz suggests an understanding of art as a social phenomenon and gives a social anthropological account of aesthetic experience. In opposition to structuralism, which analyzes art as a closed sign system developing according to its inherent logic, and to radical functionalism, which attempts to study art as if its main function was to maintain established institutions of culture, Geertz proposes to view a work of art (...) as a symbolical expression of the significant experience of its creator. In this case the ability of aesthetic perception of the work of art is treated as the ability to recognize the symbols it contains — the ability that results from involvement in the relevant cultural practices. Author illustrates his argument by the examples from the studies of that time: studies of Abelam tribe of New Guinea, Yoruba people of Western Africa, Quattrocento Italia, and modern Morocco. (shrink)

In this paper, I will investigate the possible impact of weak artificial intelligence (more specifically, I will concentrate on deep learning) on human capability of action. For this goal, I will first address Arendt’s philosophy of action, which seeks to emphasize the distinguishing elements of action that set it apart from other forms of human activity. According to Arendt, action should be conceived as _praxis_, an activity that has its goal in its own very performance. The authentic meaning of action (...) includes the “passion” for articulation of one’s own individuality; I can only manifest myself as a distinct personality insofar as I introduce myself as a novel beginning to the web of human interactions demonstrating both my relevance and distinction from others. From this Arendtian standpoint, I will analyse the impact of deep learning in modern AI from two possible angles. First, I will argue that _the direct interaction_ between AI and action is impossible. Since AI operates on the principle of efficiency, it can neither suggest certain goals for action for us nor overtake their implementation because action is not guided by the instrumental need to be efficient but by the existential desire to be someone. Second, I will also analyse the possibility of _the indirect impact_ of AI on action. More specifically, I analyse neural network’s ability to circulate actions among individuals based on mathematical calculation. As I will argue, the efficiency of this circulation that surpasses human cognitive capacities can potentially organize a broader network of interaction among individuals and serve as a catalyst for the ability to act. (shrink)

In this paper, we argue that the usual approach to modelling knowledge and belief with the necessity modality |$\Box $| does not produce intuitive outcomes in the framework of the Belnap–Dunn logic (⁠|$\textsf{BD}$|⁠, alias |$\textbf{FDE}$|—first-degree entailment). We then motivate and introduce a nonstandard modality |$\blacksquare $| that formalizes knowledge and belief in |$\textsf{BD}$| and use |$\blacksquare $| to define |$\bullet $| and |$\blacktriangledown $| that formalize the unknown truth and ignorance as not knowing whether, respectively. Moreover, we introduce another modality (...) |$\textbf{I}$| that stands for factive ignorance and show its connection with |$\blacksquare $|⁠. We equip these modalities with Kripke-frame-based semantics and construct a sound and complete analytic cut system for |$\textsf{BD}^{\blacksquare }$| and |$\textsf{BD}^{\textbf{I}}$|—the expansions of |$\textsf{BD}$| with |$\blacksquare $| and |$\textbf{I}$|⁠. In addition, we show that |$\Box $| as it is customarily defined in |$\textsf{BD}$| cannot define any of the introduced modalities, nor, conversely, neither |$\blacksquare $| nor |$\textbf{I}$| can define |$\Box $|⁠. We also demonstrate that |$\blacksquare $| and |$\textbf{I}$| are not interdefinable and establish the definability of several important classes of frames using |$\blacksquare $|⁠. (shrink)

In this paper, I will argue that J. Patočka’s conception of three movements of human existence can be considered a contribution to the “pragmatic turn” in phenomenology. In order to demonstrate this contribution, I will first recapitulate the context of pragmatic turn, outlining both Heidegger’s original position and its consequent pragmatic interpretation offered by H. Dreyfus and other scholars. The core of the pragmatic interpretation is based on a modification of the Primacy of Praxis thesis that can be described as (...) the Primacy of Practic_es_ thesis, according to which our background practices, i.e., the ‘contingent ways of acting and judging,’ operate as a “source” of intelligibility. Based on Patočka’s criticisms, I will further argue that Heidegger-inspired pragmatism is hampered by the opposition between authentic and inauthentic disclosure, leading to both the rigidification of everyday practices and rendering authentic disclosure formal and empty. In the final section, I will demonstrate that Patočka’s own conception of the three movements of existence can be seen as committed to the Primacy of Practices thesis and that this version of the Primacy of Practice thesis is more acceptable because it does not share the disdainful attitude in regards of the public world. (shrink)

Changing environment requires not just creativity, but disruptive creativity. The traditional planning paradigm within business organizations heavily relies on long- and short-term forecasting in order to predict the future and plan accordingly. However, a large share of business development is now characterized by rapid changes, inconsistency and unpredictability. Taking that into account a key task for managers is to explore and innovate in chaotic conditions, but how can owner–managers, business leaders and the employees respond to such rapid changes without the (...) appropriate skillset and educational background? This study calls for the modernization of enterprise education systems in order to provide students and graduates with tools relevant to the changing requirements of the business environment. We argue that such needed mastery of unconventional innovative thinking and acting “as if” rather have a lot in common with art education concepts and theatrical skills. Using videography as an example, we illustrate how advances in digital technology can help incorporate such theatrical concepts into enterprise education. As a contribution we provide insights and falsifiable propositions toward a renewal and revitalization of enterprise education pedagogy. (shrink)

IntroductionThe Bayley Scales of Infant and Toddler Development–third edition is one of the most widely used tools for assessing child development, and adapted versions of this instrument have been successfully used in many countries. No comprehensive psychometric studies of the Bayley-III have yet been performed in Russia.Materials and methodsThis psychometric study was part of the longitudinal study conducted by the Ural Federal University in 2016–2020. Within the project, the original Bayley-III manual was translated into Russian and then used in a (...) cohort of 333 infants to assess cognition, expressive/receptive communication, and fine/gross motor skills. For the purpose of psychometric analysis, we selected the data for four age groups of children from the longitudinal study database: 4–6 months, 10 months, 15 months, and 24 months. The development scores of the sample children were compared with the original Bayley-III norms in each age strata separately. Reliability and validity of the translated instrument were examined using correlation analysis, tests of internal consistency, and confirmatory factor analysis.ResultsThe average scaled scores of the examined children were generally comparable with the original Bayley-III norms, with the exception of those older than 1 year, who demonstrated 1.2–1.9 points better performance in cognitive development and gross motor skills and 0.9–2.6 points lower performance in expressive communication. The correlation of both raw and scaled scores between different scales was low to moderate in all age groups. Internal consistency tests confirmed high reliability of the translated instrument. CFA demonstrated a good fit of the three-factor model in all age strata.ConclusionThe Russian version of the Bayley-III proved to be a psychometrically valid and reliable tool for assessing child development, at least in a research context. The development of the examined children was close to the original US norms, with some deviation in cognitive, gross motor, and expressive communication scores mostly in older children, which could be attributed to the biased sample. (shrink)

ABSTRACTIn this paper, we present a generalisation of proof simulation procedures for Frege systems by Bonet and Buss to some logics for which the deduction theorem does not hold. In particular, we study the case of finite-valued Łukasiewicz logics. To this end, we provide proof systems and which augment Avron's Frege system HŁuk with nested and general versions of the disjunction elimination rule, respectively. For these systems, we provide upper bounds on speed-ups w.r.t. both the number of steps in proofs (...) and the length of proofs. We also consider Tamminga's natural deduction and Avron's hypersequent calculus GŁuk for 3-valued Łukasiewicz logic and generalise our results considering the disjunction elimination rule to all finite-valued Łukasiewicz logics. (shrink)

In this paper we devise non-distributive relatives of Exactly true logic by Pietz and Riveccio and its dual Non-falsity logic by Shramko, Zaitsev and Belikov. We consider two pre-orders which are algebraic counterparts of the ETL’s and NFL’s entailment relations on the de Morgan lattice 4. We generalise these pre-orders and determine which distributive properties that hold on 4 are not forced by either of the pre-orders. We then construct relatives of ETL and NFL but lack such distributive properties. For (...) these logics we also devise a truth table semantics which uses non-distributive lattice M3 as their lattice of truth values. We also provide analytic tableaux systems which work with sequents of the form \. We then prove correctness and completeness results for these proof systems and provide a neat generalisation for non-distributive ETL- and NFL-like logics built over a certain family of non-distributive modular lattices. (shrink)

Im Grunde stellt das Buch eine neue (die dritte) Ausgabe, diesmal die echt kritische Ausgabe, der sogennanten Chronik der Meteora (nach den ungenügend bearbeiteten Ausgaben von L. Heuzey und F.I. Uspenskij im 19. Jh.) dar. Außer der Ausgabe mit italienischer Übersetzung (S. 122–139) bietet aber der Herausgeber auch eine ausführliche Einführungsstudie (S. 13–120), sowie ebenso ausführliche historische Kommentare (S. 143–173). Die Ausgabe ist auf Grund der Handschriften aus dem Kl. Barlaam (heute Petrop. Gr.251.I) und Kl. des Hl. Stefan entstanden. Die (...) beiden Handschriften bestehen aus dem Text der Chronik von Ioannina, einem Horismos des Sinan-pasha und dem hier herausgegebenen Text, wobei in der Handschrift Barlaam noch verschiedene Notizen am Ende beigefügt sind. (shrink)

A set of propositional connectives is said to be functionally complete if all propositional formulae can be expressed using only connectives from that set. In this paper we give sufficient and necessary conditions for a one-element set of propositional connectives to be functionally complete. These conditions provide a simple and elegant characterization of functionally complete one-element sets of propositional connectives.

The article is devoted to the analysis of the theological-academic ontological doctrine of the three types of being formulated within the framework of the Russian theological-academic philosophy of the 19th century. The study of this problem in the context of the general analysis of the phenomenon of theological-academic philosophy allows expanding our understanding of the genesis of Russian philosophy and its religious-philosophical component. The main aim of the article is the historical-philosophical analysis (on the material of philosophical courses of Russian (...) theological academies and original works of professors of academies) of the doctrine about three types of being, which was developed within the framework of the theological-academic philosophy in Russia in the 19th century. The set goal is achieved by means of textual and religious analysis methods, as well as historical-functional, historical-genetic, and comparative research methods. The authors conclude that the specificity of theological-academic philosophizing was determined by confessional affiliation and consisted in its theistic form: the transversal theme of all theological-academic interpretations was the problem of being. Thus, theological-academic ontology took the form of the doctrine of God as an absolute being and the world as its derivative. The theological-academic doctrine of the three types of being and the synthesizing function of the absolute in relation to theological and material being cannot be characterized as quite logical and consistent. The notion of God as an absolute being is conditioned by the aspiration of theological-academic philosophers not to go beyond traditional orthodoxy and is one of the main specific features of theological-academic philosophical interpretations of religious consciousness. At the same time, the historical and philosophical analysis of the works of professors from Russian theological academies allows tracing how the powerful ideological and theoretical potential accumulated in Russian theological academies after their reforms in the 19th century contributed to the development of professional philosophy in Russia, the development of a philosophical categorical apparatus and the systematic formation of Russian philosophical thought. The development of this theme responds to the urgent research tasks of the history of philosophy. Further, this topic is very interesting not only for historians of philosophy but also for historians of religion, historians of orthodoxy, and culturologists. (shrink)

Background: The COVID-19 pandemic has changed the way we conduct daily life, as well as sports training and sports competitions. Given the stress produced by COVID-19, and the “bubble” safety measures for the World Sambo Championship, held in Novi Sad, from the 6th to the 8th of November, 2020, athletes might have experienced more stress than athletes normally would in non-pandemic conditions. Therefore, the current study aimed to create a psychological profile of sambo athletes participating in the Sambo World Championship (...) and living in this condition.Methods: One-hundred-fifteen participants took part in the study, completing the Profile of Mood Scale, the Pittsburg Sleep Quality Index, the Perceived Stress Scale, and the Fear of COVID-19 Scale. A mediation model with Fear of COVID-19 predicting both stress level directly and stress level through mood disturbance was hypothesized. Gender differences were evaluated through t-test.Results: The results showed that the sample presented higher levels of stress but no problems in sleeping. In particular, data analysis confirmed an indirect effect of Fear of COVID on Perceived stress through mood disturbance, but did not have a significant impact on the direct effect. Gender differences emerged in the perceived stress level and daytime dysfunction where females scored higher than males for both aspects.Conclusion: The athletes participating to the World Sambo Championship experienced stress levels determined by the mood disturbance produced by the fear of the COVID-19 pandemic. Female athletes were more stressed and showed higher daytime dysfunction. The findings of the current study are useful to understand the psychological profile of the athletes competing in the “bubble” conditions during COVID-19 pandemic. (shrink)

We discuss two-layered logics formalising reasoning with paraconsistent probabilities that combine the Łukasiewicz [0, 1]-valued logic with Baaz ▵\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\triangle $$\end{document} operator and the Belnap–Dunn logic. The first logic (introduced in [7]) formalises a ‘two-valued’ approach where each event ϕ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\phi $$\end{document} has independent positive and negative measures that stand for, respectively, the likelihoods of ϕ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\phi (...) $$\end{document} and ¬ϕ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\lnot \phi $$\end{document}. The second logic that we introduce here corresponds to ‘four-valued’ probabilities. There, ϕ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\phi $$\end{document} is equipped with four measures standing for pure belief, pure disbelief, conflict and uncertainty of an agent in ϕ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\phi $$\end{document}.We construct faithful embeddings of and into one another and axiomatise using a Hilbert-style calculus. We also establish the decidability of both logics and provide complexity evaluations for them using an expansion of the constraint tableaux calculus for. (shrink)