Complete deductive systems are constructed for the non-valid (refutable) formulae and sequents of some propositional modal logics. Thus, complete syntactic characterizations in the sense of Lukasiewicz are established for these logics and, in particular, purely syntactic decision procedures for them are obtained. The paper also contains some historical remarks and a general discussion on refutation systems.

We introduce and study hierarchies of extensions of the propositional modal and temporal languages with pairs of new syntactic devices: point of reference-reference pointer which enable semantic references to be made within a formula. We propose three different but equivalent semantics for the extended languages, discuss and compare their expressiveness. The languages with reference pointers are shown to have great expressive power (especially when their frugal syntax is taken into account), perspicuous semantics, and simple deductive systems. For instance, Kamp's and (...) Stavi's temporal operators, as well as nominals (names, clock variables), are definable in them. Universal validity in these languages is proved undecidable. The basic modal and temporal logics with reference pointers are uniformly axiomatized and a strong completeness theorem is proved for them and extended to some classes of their extensions. (shrink)

In this article, I critically reassess Iris Marion Young's late works, which centre on the distinction between liability and social connection responsibility. I concur with Young's diagnosis that structural injustices call for a new conception of responsibility, but I reject several core assumptions that underpin her distinction between two models and argue for a different way of conceptualising responsibility to address structural injustices. I show that Young's categorical separation of guilt and responsibility is not supported by the writings of Hannah (...) Arendt, which Young draws on, and that it is also untenable on independent systematic grounds. Furthermore, I argue that several of Young's other criteria fail to clearly demarcate two distinct phenomena. I therefore propose to transcend Young's distinction between two models in favour of a related, but conceptually different distinction between two forms of responsibility: interactional and structural. Embracing this terminology facilitates the conceptualisation of the general features of responsibility that are shared by both forms, including their retrospective and prospective time-direction and their applicability to individual, joint and group agency. The distinction between interactional and structural responsibility also yields a more compelling general account of the role of background structures, and of blame within ascriptions of political responsibility. (shrink)

The paper deals with polymodal languages combined with standard semantics defined by means of some conditions on the frames. So, a notion of "polymodal base" arises which provides various enrichments of the classical modal language. One of these enrichments, viz. the base £(R,-R), with modalities over a relation and over its complement, is the paper's main paradigm. The modal definability (in the spirit of van Benthem's correspondence theory) of arbitrary and ~-elementary classes of frames in this base and in some (...) of its extensions, e.g., £(R,-R,R-1 ,_R-1), £(R,-R,=I=) etc., is described, and numerous examples of conditions definable there, as well as undefinable ones, are adduced. (shrink)

This paper deals with, prepositional calculi with strong negation (N-logics) in which the Craig interpolation theorem holds. N-logics are defined to be axiomatic strengthenings of the intuitionistic calculus enriched with a unary connective called strong negation. There exists continuum of N-logics, but the Craig interpolation theorem holds only in 14 of them.

Problem Statement. The process of global evolution has entered the Anthropocene. This fact has almost simultaneously generated two cardinal, inseparable imperatives in the rapidly changing ideological and outlook basis of modern civilization. Firstly, the feeling that the new geological epoch also requires fundamentally new algorithms guiding practical activity and its theoretical comprehension, justification in all spheres of political reality, with inevitable exit to the level of international relations and geopolitics. Secondly, the content of the categories of ANTHROPOCEN and (GLOBAL) CRISIS (...) overlap so diversely and widely that they form an almost inseparable logically and mentally amalgam. The purpose of this publication is to reveal the political aspects of the integration of new biopolitical issues into the life of modern society. The content of the term biopolitics is currently not formalized in a definitive form. In our concept, biopolitics is defined as the processes of implementing biopower, that is, the ability (direct or indirect) of the power structures of society to control and manipulate the performance of the biological functions of certain individuals. Based on a combination of methods of conceptual, discursive and evolutionary-anthropological analysis (the concepts of evolutionary strategy and cultural-ecological niche), possible scenarios for the future development of the political process at the domestic and international levels are identified. The mechanism of transbipolitical transition – the inclusion of civilizational and biological evolution in the political process – is investigated. The conclusion formulates the content of the category “transbiolitics” as the main element of rationalization of the global-evolutionary process in the globalizing world. Transbiolitics in our understanding is an international political problematic related to the rationalization of the global evolutionary process. Technologization of the global evolutionary process, the choice of implemented technological projects and forms of their institutional support is determined primarily by geo- and biopolitical motivation of local elites and humanitarian and other convergent technologies available to them. (shrink)

The studies of Svante Pääbo, Nobel Laureate in Physiology or Medicine in 2022 are analyzed in two aspects: firstly, as the most striking example of the evolutionary transformation of classical scienceinto the so-called post-academic (techno)science and, secondly, as an element of the so-called "biopolitical turn" in the socio-humanitarian and political knowledge of technological civilization and, in particular, in the concept of "civil society".

Recent studies tend to explain the importance of communication in the organisation as well as prescribing the most commonly practised techniques adopted by school managers. Studies on financial management are quite limited with the available ones suggesting that poor financial management is a source of conflict between school leaders and host communities. Little seems to be known on the connection between principals’ communication patterns and funds’ management as predictors of school-community relationship. This study builds on existing studies and appears to (...) be the first to assess the linkages between principals’ communication patterns, fund management practices and school- community relationship based on empirical rather than subjective data. A structural modelling approach was adopted to examine the nexus using quantitative primary data obtained from a random sample of 2108 respondents. A questionnaire which was designed and validated by the researchers served as the data collection device. Collected data were subjected to Exploratory and Confirmatory Factor Analyses, as well as Multiple Regression Analysis. Findings revealed various significant communication, funds management and school-community relationship practices that are available for adoption. However, it was found that the extent to which principals utilised such practices were below expected minimum standards. It was also found that there were no significant partial and composite effects of principals’ communication and funds management practices on school-community relationship (SCR). Based on these results, relevant theoretical, policy and practical implications are discussed. (shrink)

We generalize and extend the class of Sahlqvist formulae in arbitrary polyadic modal languages, to the class of so called inductive formulae. To introduce them we use a representation of modal polyadic languages in a combinatorial style and thus, in particular, develop what we believe to be a better syntactic approach to elementary canonical formulae altogether. By generalizing the method of minimal valuations à la Sahlqvist–van Benthem and the topological approach of Sambin and Vaccaro we prove that all inductive formulae (...) are elementary canonical and thus extend Sahlqvist’s theorem over them. In particular, we give a simple example of an inductive formula which is not frame-equivalent to any Sahlqvist formula. Then, after a deeper analysis of the inductive formulae as set-theoretic operators in descriptive and Kripke frames, we establish a somewhat stronger model-theoretic characterization of these formulae in terms of a suitable equivalence to syntactically simpler formulae in the extension of the language with reversive modalities. Lastly, we study and characterize the elementary canonical formulae in reversive languages with nominals, where the relevant notion of persistence is with respect to discrete frames. (shrink)

The phenomenon of rationalism and irrationalism, contextually related to the transformation methodology and the social function of modern (post-industrial) science – social verification, interpretation and knowledge, etc., are analyzes.

A certain type of inference rules in modal logics, generalizing Gabbay's Irreflexivity rule, is introduced and some general completeness results about modal logics axiomatized with such rules are proved.

Consumer boycotts have become a frequent form of social protest in the digital age. The corporate malpractices motivating them are varied, including environmental pollution, lack of minimum labour standards, severe mistreatment of animals, lobbying and misinformation campaigns, collaboration or complicity with illegitimate political regimes, and systematic tax evasion and tax fraud. In this article, I argue that organised consumer boycotts should be regarded as a legitimate and purposeful instrument for structural change, provided they conform to a number of normative criteria. (...) In order to show this, the practice and empirical context of consumer boycotts are first outlined. I then lay out and refute three general objections to this practice. Although each of these objections fails, their discussion generates insights concerning the normative standards with which boycotters must comply if they want their campaigns to be both legitimate and successful. These normative criteria are detailed along the lines of two guiding principles, proportionality and transparency. In the final step, I elaborate on structural change as the deeper purpose of consumer boycotts. (shrink)

This study used a partial least squares structural equation modelling (PLS-SEM) to estimate curriculum management's direct and indirect effects on university graduate programmes' viability. The study also examined the role of institutional effectiveness in mediating the nexus between the predictor and response variables. This is a correlational study with a factorial research design. The study's participants comprised 149 higher education administrators (23 Faculty Deans and 126 HODs) from two public universities in Nigeria. A structured questionnaire designed by the researchers was (...) used for data collection. The questionnaire was duly validated with an acceptable scale and item content validity indices. The dimensionality of the instrument was determined using exploratory factor analysis (EFA). Convergent validity was based on Average Variance Extracted (AVE), whereas discriminant validity was based on Fornell-Lacker criteria and the Hetero-Trait Mono-Trait (HTMT) ratio. Acceptable composite reliability estimates of internal consistency were reached for the three sub-scales. Following ethical practices, the questionnaire was physically administered to respondents and retrieved afterwards. Smart PLS (version 3.2.9) and SPSS (version 26.0) programs were used for all the statistical analyses. This study uncovered significant direct and indirect effects of curriculum management on the viability of graduate programmes. Institutional effectiveness significantly impacted graduate programmes’ viability while mediating the nexus between curriculum management and graduate programmes’ viability. Curriculum management and institutional effectiveness jointly explained a significant proportion of graduate programmes’ viability variance. The result of this study proved that graduate programmes’ viability depends, to a great extent, on how much curriculum is managed and how effective institutions are with their services. The result of this study can enable institutions seeking to run viable graduate programmes to re-evaluate their curriculum management practices and the effectiveness of their services. (shrink)

We study the general problem of axiomatizing structures in the framework of modal logic and present a uniform method for complete axiomatization of the modal logics determined by a large family of classes of structures of any signature.

The learning process of both students and teachers can be predicted based on the learning mode. Therefore, because of the COVID-19 pandemic, schools must start using online learning and abandon more traditional teaching techniques. Thus, this study investigates the relationship between self-efficacy and academic resilience among 150 senior high school students. Thus, the researchers employed General Self-Efficacy and Resilience Scale. Finally, the statistical analysis reveals that the r coefficient of 0.78 indicates a high positive correlation between the variables. The p-value (...) of 0.00, which is less than 0.05, leads to the decision to reject the null hypothesis. Hence, a significant relationship exists between self-efficacy and resilience among senior high school students. (shrink)

In this article, I set out Suárez's conception of the demon's obstinacy. For Suárez, the demons’ obstinacy is a divine punishment. It is the result of the free and awful choice to turn away from God that the demons have decided to make, the main consequence of which is the loss of the freedom to will and to do the good. Taking up Aquinas’s conception, Suárez considers that the demonic nature is irredeemably corrupt and obstinate in evil. Demons are provided (...) only with a miserable freedom, consisting of the possibility to choose between different evils. Perpetually sinful and eternally constrained to remain so, they are condemned to wretchedness, to complacency in evil, and to the unremitting torments of hell. (shrink)

We survey main developments, results, and open problems on interval temporal logics and duration calculi. We present various formal systems studied in the literature and discuss their distinctive features, emphasizing on expressiveness, axiomatic systems, and (un)decidability results.

Auch zu Beginn des 21. Jahrhunderts lebt ein großer Teil der Menschheit in bitterer Armut. Daraus ergibt sich die brennende Frage, was die Bürgerinnen und Bürger wohlhabender Länder extrem armen Menschen moralisch schulden. Valentin Beck beantwortet sie im Rahmen einer umfassenden Theorie der globalen Verantwortung. In seinem glänzend geschriebenen Buch behandelt er zentrale Fragen der Theorie globaler Gerechtigkeit, unterzieht unsere Verflechtung in globale soziale Strukturen einer detaillierten Analyse und wirft so ein neues Licht auf eine der größten moralischen Herausforderungen unserer (...) Zeit. Wir müssen mit Blick auf den politischen und individuellen Umgang mit der Weltarmut umdenken, so lautet die zentrale Forderung dieser Studie. (shrink)

Researchers often talk about a powerful heuristic potential of the Kantian heritage, but sometimes they do not show concrete examples in defense of this opinion outside Kantianism and Neo- Kantianism. This article contains an attempt to demonstrate that on the example of how efficiently C.G. Jung used Kant’s ideas to construct the theoretical basis of analytical psychology in general and his conception of archetypes in particular, we can see the urgency of Kant’s heritage not only for his direct spiritual successors. (...) In addition the question is discussed: why did Jung claim that epistemologically he took his stand on Kant? (shrink)

We consider several natural fragments of the alternating-time temporal logics ATL* and ATL with restrictions on the nesting between temporal operators and strategic quantifiers. We develop optimal decision procedures for satisfiability in these fragments, showing that they have much lower complexities than the full languages. In particular, we prove that the satisfiability problem for state formulae in the full `strategically flat' fragment of ATL* is PSPACE-complete, whereas the satisfiability problems in the flat fragments of ATL and ATL$^{+}$ are $\Sigma^P_3$-complete. We (...) note that the nesting hierarchies for fragments of ATL* collapse in terms of expressiveness above nesting depth 1, hence our results cover all such fragments with lower complexities. (shrink)

Accusations of hypocrisy are a recurring theme in the public debate on climate change, but their significance remains poorly understood. Different motivations are associated with this accusation, which is leveled by proponents and opponents of climate action. In this article, I undertake a systematic assessment of climate hypocrisy, with a focus on lifestyle and political hypocrisy. I contextualize the corresponding accusation, introduce criteria for the conceptual analysis of climate hypocrisy, and develop an evaluative framework that allows us to determine its (...) moral significance. I argue that different instances of climate hypocrisy are problematic to different degrees, depending on how detrimental they are to an agent's attainment of environmental integrity. The resulting framework helps clear the confusion caused by disinformation campaigners, by distinguishing objectionable uses of the climate hypocrisy charge from constructive ones motivated by genuine concern for integrity. (shrink)

An assessment of the extent of the use of electronic platforms by African academic staff in universities to disseminate research was done in this study. The study is informed by the growing importance of online repositories and preprint servers in the scientific communication of scholarly output, especially in an era where the use of metrics for research appraisals and funding decisions is commonly practised. The quantitative research method was adopted, based on the descriptive survey research design. The snowball sampling technique (...) was used for data collection. Data were collected from 1,977 respondents, distributed across 24 African countries, through the use of an electronic survey. There was a high rate of willingness among universities’ academic staff in Africa, to adopt various online platforms for research dissemination; ResearchGate is currently utilized the most for research dissemination, but Google Scholar is the platform respondents are more willing to adopt for research dissemination; the rate at which academic staff research output can be found online as a ratio of their total publication is 64.04% and in the ratio of 2.00:3.12; poor access to Internet facilities at home and workplaces are the major challenges academic staff face in the utilization of digital platforms for RD. It was recommended, amongst others that academic staff in universities should endeavour to explore and utilize at least ten of the online platforms mentioned in this study, to enable them disseminate their scholarly works to a wider audience and for increased visibility Keywords:. (shrink)

The COVID-19 crisis has not only ontological roots but also epistemic ones too; its cause lies in the main evolutionary trends in the development of science as a social institution. And only then the epistemic factors were transformed into existential-ontological ones, connected with the very existence of civilization and our biosocial nature. The way out of the crisis is the unalterable development of all sectors of technologies of controlled evolution. As a result, biopolitics extends the sphere of competence to interstate (...) and interethnic relations, becomes transbiopolitics, ie a global geopolitical factor responsible for the preservation of humanity and its self-identity. The coronavirus pandemic, like other manifestations of the civilization crisis, is politically generated by globalization. The same consequences of globalization contribute to the fragmentation of the geopolitical space and the inhibition of the actual globalization process. the pandemic scale of the crisis immediately brought biopolitics to the level of a systemic factor in interstate relations in both formal and substantive aspects. (shrink)

We propose a generalization of Sahlqvist formulae to polyadic modal languages by representing modal polyadic languages in a combinatorial style and thus, in particular, developing what we believe to be the right approach to Sahlqvist formulae at all. The class of polyadic Sahlqvist formulae PSF defined here expands essentially the so far known one. We prove first-order definability and canonicity for the class PSF.

We investigate an enrichment of the propositional modal language L with a "universal" modality ■ having semantics x ⊧ ■φ iff ∀y(y ⊧ φ), and a countable set of "names" - a special kind of propositional variables ranging over singleton sets of worlds. The obtained language ℒ $_{c}$ proves to have a great expressive power. It is equivalent with respect to modal definability to another enrichment ℒ(⍯) of ℒ, where ⍯ is an additional modality with the semantics x ⊧ ⍯φ (...) iff Vy(y ≠ x → y ⊧ φ). Model-theoretic characterizations of modal definability in these languages are obtained. Further we consider deductive systems in ℒ $_{c}$ . Strong completeness of the normal ℒ $_{c}$ logics is proved with respect to models in which all worlds are named. Every ℒ $_{c}$ -logic axiomatized by formulae containing only names (but not propositional variables) is proved to be strongly frame-complete. Problems concerning transfer of properties ([in]completeness, filtration, finite model property etc.) from ℒ to ℒ $_{c}$ are discussed. Finally, further perspectives for names in multimodal environment are briefly sketched. (shrink)

Interview of Katrin Flikschuh, Rainer Forst and Darrel Moellendorf by Valentin Beck and Julian Culp for Global Justice: Theory Practice Rhetoric.

Topicality of the research topic. As a result of the COVID-19 pandemic, there is an increase in the instability of the structure of ecosocial systems. Technological innovations have led to a sharp deterioration in natural social ecodynamics. The aim of the research is the conceptual modeling of the proliferation of biopolitics from the social sphere to the field of international relations with the subsequent transformation into a systemic factor of the global evolutionary process. Research methods and results. The model is (...) based on our previously proposed concept of a three-module stable evolutionary strategy of technogenic civilization. In relation to the triple spiral of anthropo-socio-technogenesis, i.e., the historical development of the cultural-ecological niche of Homo sapiens, constructed by him, this means the following. Periods of stable progressive growth of evolutionary and civilizational success are replaced by periods of various scales crisis, up to civilizational or even biological-evolutionary singularity. During the crisis, the importance of the political factor increases sharply, and over the past 50 years, this primarily relates to the field of biopolitics. The regional differentiation of the biopolitical sphere reconstruction during the fight against the pandemic will inevitably complicate international relations not only between regions that belong to different cultural and civilizational types. Probably less so, the same problems will affect the reconciliation of differences caused by geopolitical, interethnic, religious and even economic (competition) reasons. The first phase of the adaptive civilizational response is to reduce the degree of connection between the individual socio-cultural elements of modern civilization, i.e., slowing down the globalization process and intensifying interregional conflicts of various contents. In particular, such contradictions will be most acute in the post-Soviet geopolitical space, where the conditions of the civilizational rift are imposed on the conflicts of the transition period. Due to the specifics of modern high technologies, the process will enter the phase of global socio-techno-ecological self-developing systems reconstruction, which includes man as its element. And the obvious conclusion will be the transition of the development of biopolitical issues to a new, no longer international, but global-evolutionary level. In our understanding, transbiopolitics is a political issue related to the rationalization of the global evolutionary process. The latter will become a bearing element of the global process of evolution of the noosphere with the subsequent complication and increase of cohesion between separate sociocultural types which are a part of system of the modern globalizing civilization. (shrink)

This paper argues that the Fairtrade certification system represents an illuminating example of the challenge of systematically determining consumer and entrepreneurial responsibilities in our global age. In taking up the central question of what, if anything, may be called ‘just’ or ‘fair’ in Fairtrade, I more precisely argue for a two-fold thesis: that a meaningful evaluation of Fairtrade must consider both an interactional and an institutional understanding of global responsibilities to promote justice and that Fairtrade can be better defended against (...) several popular objections from the perspective of a theory that adequately differentiates between interactional responsibilities and institutional responsibilities of promoting justice under unjust circumstances. (shrink)

Among others, the recent work of Janine Idziak presents Andrew of Neufchateau (†1400) as a fervent advocate of “divine command ethics,” a promoter of radical voluntarism, according to which moral values depend solely on the divine will. One example that illustrates this theory is the “hatred of God” (odium Dei ), often discussed in the fourteenth century. Since moral values depend on the divine will, it can be morally good to hate God if that is his command. Andrew has been (...) seen and is still seen today as a supporter of this view. The present paper aims to reconsider this interpretation. (shrink)

Applied technological developments are represented by (1) genetic engineering as management tools of biological evolution and (2) socio-economic engineering as management tools of civilizational and socio-cultural development. This binary structure logically follows from the postulated three-module organization of the sustainable evolutionary strategy of the sentient human being. Naturphilosophy once again acquires the status of the basis of the theory of evolution in an explicit way. There is a system of metaphysical postulates and ontological categories derived from the anthropic principle of (...) participation. For modern neoliberal political democracy, bio-power and biopolitics look like the most effective technology for stabilizing the scenarios and trends of the global evolutionary process that are optimal within this ideological system. Conclusions.Transbipolitics in our understanding is a political problematic related to the rationalization of the global evolutionary process. In the coming decades transbipolitics will become the carrier element of the global process of evolution of the noosphere with the consequent complication and increase of cohesion between the individual socio-cultural types that are part of the system of modern globalizing civilization. (shrink)

The article discusses some facts of C. G. Jung's direct appeal to the ideas of I. Kant. The main part of the article is preceded by statistical data on the mention of various philosophers in the Collected Works of Jung. It is not surprising that Kant leads in the number of links to his ideas or personality in Jung’s heritage. Then I show examples of the mention of Kant in Jung’s correspondence, which allow understand the fundamental philosophical background of analytical (...) psychology better. For this purpose in particular I give excerpts from which it becomes clear that the creator of the analytical psychology, unlike his predecessor C. G. Carus, never hypostasized the collective unconscious, because Jung believed that this is a thing in itself. Also by correspondence it is clear that Jung grasped Kant’s criticism of the rational proofs of existence of God well. Then I point out how apriorism is manifested in analytical psychology. Also I explain briefly how to understand that archetypes and instincts are necessary a priori conditions for the formation of psychic experience. In conclusion, the reasons are given for which Kant and Jung rejected the fundamental possibility of the existence of psychology in the status of strict science. -/- В статье рассматриваются некоторые факты прямого обращения К. Г. Юнга к идеям И. Канта. Основная часть статьи предваряется статистическими данными по упоминанию различных философов в 20-томном академическом собрании сочинений Юнга. Совершенно не удивительно, что по количеству ссылок лидирует Кант. Далее приводятся конкретные примеры упоминания родоначальника немецкой классической философии в переписке Юнга, что позволяет лучше понять фундаментальную философскую подоплёку аналитической психологии. Так, приводятся отрывки, из которых становится ясно, что создатель аналитической психологии, в отличие от своего предшественника К. Г. Каруса, никогда не гипостазировал коллективное бессознательное, считая, что это вещь в себе. Также по переписке видно, что Юнг усвоил произведённую Кантом критику доказательств бытия Божия. Затем в статье указывается, каким образом в аналитической психологии проявляется априоризм. Кратко объясняется, как следует понимать то, что архетипы и инстинкты являются необходимыми априорными условиями формирования психического опыта. В заключение приводятся основания, по которым Кант и Юнг отвергали принципиальную возможность существования психологии в статусе строгой науки, и которые до сих пор не преодолены. (shrink)

The new phase of science evolution is characterized by totality of subject and object of cognition and technology (high-hume). As a result, forming of network structure in a disciplinary matrix modern are «human dimensional» natural sciences and two paradigmal «nuclei» (attraktors). As a result, the complication of structure of disciplinary matrix and forming a few paradigm nuclei in modern «human dimensional» natural sciences are observed. In the process of social verification integration of scientific theories into the existent system of mental (...) and valued options of spiritual culture takes place. The attribute of classical science – ethics neutrality of scientific knowledge becomes an unattainable ideal. One of the trends in the evolution of theoretical epistemology is the study of migration mechanisms of generation of scientific knowledge from the sphere of its own logic and methodology of science in the field of sociology - the consideration of this process, as the resulting system of interactions of social structures and institutions. Ensuing ideas and settings become the dominant worldview of philosophical and technological civilization. -/- . (shrink)

Problem Statement. In modern conditions the reconstruction of self-developing socio-technological- ecological systems, which include man as its element, is actualized. The result of such a construction will be the management of the value of technogenic risk in its biological, social and civilizational forms. And the obvious consequence will be the transition of the development of biopolitical problems to a new, no longer international, but global-evolutionary level. The theory and practice of such a reconstruction can be designated by the category of (...) “Transbiolitics,” which implies the political institutionalization of “ecological re整ection. The article is a logical continuation of our previous publication devoted to the analysis of the transformation of the political process into the main factor of global evolution and the biopolitical transformation of the geopolitical landscape. The purpose of this paper is to create a general sketch of the con散guration of the main trends of the coevolutionary interaction of biological, sociocultural and techno-rationalist modules of the stable evolutionary strategy of the technogenic civilization in the space of bio- and geopolitical connotations of international relations. Based on a combination of methods of conceptual, discursive and political-anthropological analysis (in the context of transbiolitical paradigm) the content of the category “Transbiolitical Chronotope” is revealed: a geopolitically di䍕erentiated set of socio-cultural vectors of modern civilization evolution. In other words, the trans-biopolitical chronotope determines the direction of inclusive technological transformation of both cultural and ecological niche and the biosocial nature of man. The general conclusion/prognosis can be reduced to two theses. Firstly, transbiolitics, formed in a di䍕erentiated cultural-civilizational context, is currently being integrated into the general political process, partially replacing and partially intertwining with geopolitical doctrines in the sphere of international relations. Secondly, the growing con整ict of technological civilization with the cultural and ecological niche constructed by it through the turbulence of the geopolitical sphere of social life can bring the level of technological and civilizational risk to the existential boundary. (shrink)

Hyperboolean algebras are Boolean algebras with operators, constructed as algebras of complexes (or, power structures) of Boolean algebras. They provide an algebraic semantics for a modal logic (called here a {\em hyperboolean modal logic}) with a Kripke semantics accordingly based on frames in which the worlds are elements of Boolean algebras and the relations correspond to the Boolean operations. We introduce the hyperboolean modal logic, give a complete axiomatization of it, and show that it lacks the finite model property. The (...) method of axiomatization hinges upon the fact that a "difference" operator is definable in hyperboolean algebras, and makes use of additional non-Hilbert-style rules. Finally, we discuss a number of open questions and directions for further research. (shrink)

This note considers deductive systems for the operator a of unprovability in some particular propositional normal modal logics. We give thus complete syntactic characterization of these logics in the sense of Lukasiewicz: for every formula  either `  or a  (but not both) is derivable. In particular, purely syntactic decision procedure is provided for the logics under considerations.

The coronavirus pandemic, like its predecessors - AIDS, Ebola, etc., is evidence of the evolutionary instability of the socio-cultural and ecological niche created by mankind, as the main factor in the evolutionary success of our biological species and the civilization created by it. At least, this applies to the modern global civilization, which is called technogenic or technological, although it exists in several varieties. As we hope to show, the current crisis has less ontological as well as epistemological roots; its (...) reason lies in the main evolutionary trends in the development of science as a social institution. It was only later that epistemological factors were transformed into existential-ontological factors associated with the asymmetry of the existence of civilization and our biosocial nature. The perception or ignorance of a risk factor as a real fact is determined by the presence or absence of knowledge about it. In other words, risk is the result of the integration of the corresponding ontological concept into the general categorical structure. The plurality of such structures is a hallmark of multidisciplinary ontologies, each of which is associated with its own factual continuum. The aim of this study was to conceptually model for support relativistic parameter of evolutionary efficiency of stable evolutionary human strategy (SESH) in its techno-rationalistic module. The meaning of this term is equivalent to the category of scientific and technological development. (shrink)

There are two primary roles of universities – a place of learning and where new ideas and technologies are created. Universities profit from teaching and learning, research, and technology positions. It is the responsibility of institutions of higher learning to produce capable and self-directed learners who are confident and capable of contributing to society through leadership or civic engagement. Universities also prepare students for high-level employment. These institutions are also there to generate new knowledge, shift paradigms, assist society in fulfilling (...) its evolving needs and tackle new problems. Universities have further been tasked with developing highly competent staff and research output to attain their stated objectives. (shrink)

Summary. The prerequisites of this study have three interwoven sources, the natural sciences and philosophical and socio-political ones. They are trends in the way of being of a modern, technogenic civilization. The COVID-19 pandemic caused significant damage to the image of the omnipotent techno-science that has developed in the mentality of this sociocultural type.Our goal was to study the co-evolutionary nature of this phenomenon as a natural consequence of the nature of the evolutionary strategy of our biological species. Technological civilization (...) as a cultural-civilizational type is one of the evolutionary options of Homo sapiens, the ontological basis of which is a stable evolutionary strategy (SESH). The latter is capable to spontaneous development and is consisting from biological, sociocultural, and techno-rationalistic modules. Evolutionary risks inextricably linked with it. At present, humankind has entered an era when its existence should be ensured by the meta-system engineering of its own cultural and ecological niche. By such artificially created elements, it implies the design and implementation of ecological systems of various levels of complexity, from the design of elements of such systems (which are biological individuals, populations and species) to the design of a global ecological system (biosphere). At the same time, there is a sharp jump in the value of anthropogenic and technological risk due to a sharp increase in the instability of the structure of ecological systems. We are witnessing a third wave of breaking and reconstruction of the existing relations between the elements of such systems after the Neolithic revolution and great geographical discoveries. Technological innovations led to sharp violations of normal social ecodynamics, leading to outbreaks of new infections, in particular. Theuncontested development of all sectors of controlled evolution technology is the way out of the last such crisis and the prevention of similar ones in the future. There are global nature of the organization of modern technological civilization and the transformation of the biosphere not so much into the noosphere (according to Vernadsky) but into the technosphere that determines the effect of a cascade reaction: any local co-adaptive conflict between elements of a cultural, socio-ecological niche tends to turnglobal and systemic problems. Humanity is constantly forced to make a choice between the stability and adaptability of the technosphere. (shrink)

From Chernobyl to Fukushima, it became clear that the technology is a system evolutionary factor, and the consequences of man-made disasters, as the actualization of risk related to changes in the social heredity (cultural transmission) elements. The uniqueness of the human phenomenon is a characteristic of the system arising out of the nonlinear interaction of biological, cultural and techno-rationalistic adaptive modules. Distribution emerging adaptive innovation within each module is in accordance with the two algorithms that are characterized by the dominance (...) of vertical (transgenerational) and horizontal (infection, contagion) adaptive streams of information, respectively. Evolutionary risk is the result of an imbalance of autonomous adaptive systems have an essential attribute of adaptibe strategy of Homo. Technological civilization inherent predisposition to overcome their dependence on biological and physical components. This feature serves as an enhancer of the evolutionary generating conjugate with the scientific and technological development risk We can assume the existence of an intention of Western mentality to a high priority (positive or negative) of technological modifications micro-social environment and post- Soviet (East Slavic) mentality to modification of macro-social system. (shrink)

This paper investigates logical aspects of combining linear orders as semantics for modal and temporal logics, with modalities for possible paths, resulting in a variety of branching time logics over classes of trees. Here we adopt a unified approach to the Priorean, Peircean and Ockhamist semantics for branching time logics, by considering them all as fragments of the latter, obtained as combinations, in various degrees, of languages and semantics for linear time with a modality for possible paths. We then consider (...) a hierarchy of natural classes of trees and bundled trees arising from a given class of linear orders and show that in general they provide different semantics. We also discuss transfer of definability from linear orders to trees and introduce a uniform translation from Priorean to Peircean formulae which transfers definability of properties of linear orders to definability of properties of all paths in trees. (shrink)

The subject of the essay is the genesis of the evolutionary strategy of стратегииHomo sapiens(SESH)as a carrier element of the transformation of technology and ethics into the main factors of anthropogenesis and the evolution of complex, self-organizing human-dimension systems.

Given a class of linear order types C, we identify and study several different classes of trees, naturally associated with C in terms of how the paths in those trees are related to the order types belonging to C. We investigate and completely determine the set-theoretic relationships between these classes of trees and between their corresponding first-order theories. We then obtain some general results about the axiomatization of the first-order theories of some of these classes of trees in terms of (...) the first-order theory of the generating class C, and indicate the problems obstructing such general results for the other classes. These problems arise from the possible existence of nondefinable paths in trees, that need not satisfy the first-order theory of C, so we have started analysing first order definable and undefinable paths in trees. (shrink)

We give a complete axiomatization of the identities of the basic game algebra valid with respect to the abstract game board semantics. We also show that the additional conditions of termination and determinacy of game boards do not introduce new valid identities.En route we introduce a simple translation of game terms into plain modal logic and thus translate, while preserving validity both ways, game identities into modal formulae.The completeness proof is based on reduction of game terms to a certain ‘minimal (...) canonical form’, by using only the axiomatic identities, and on showing that the equivalence of two minimal canonical terms can be established from these identities. (shrink)

ABSTRACT A complete axiomatic system CTLrp is introduced for a temporal logic for finitely branching ω+ -trees in a language extended with so called reference pointers. Syntactic and semantic interpretations are constructed for the branching time computation tree logic CTL* into CTLrp. In particular, that yields a complete axiomatization for the translations of all valid CTL*-formulae. Thus, the temporal logic with reference pointers is brought forward as a simpler (with no path quantifiers), but in a way more expressive medium for (...) reasoning about branching time. (shrink)

The monograph is an English, expanded and revised version of the book Cheshko, V. T., Ivanitskaya, L.V., & Glazko, V.I. (2018). Anthropocene. Philosophy of Biotechnology. Moscow, Course. The manuscript was completed by me on November 15, 2019. It is a study devoted to the development of the concept of a stable evolutionary human strategy as a unique phenomenon of global evolution. The name “An Evolutionary Metaphysics (Cheshko, 2012; Glazko et al., 2016). With equal rights, this study could be entitled “Biotechnology (...) as a result and factor of the evolutionary processˮ. The choice in favor of used “The Evolutionary Metaphysics of Human Enhancement Technologiesˮ was made in accordance with the basic principle of modern post-academician and human-sized science, a classic example of which is biotechnology. The “Metaphysics of Evolution” and “Evolutionary Metaphysics” concepts are used in several ways in modern philosophical discourse. In any case, the values contain a logical or associative reference to the teleological nature of the evolutionary process (Hull, 1967, 1989; Apel, 1995; Faye, 2016; Dupre, 2017; Rose, 2018, etc). In our study, the “evolutionary metaphysics” serves to denote the thesis of the rationalization and technologization of global evolution and anthropogenesis, in particular. At the same time, the postulate of an open future remains relevant in relation to the results of the evolutionary process. The theory of evolution of complex, including the humans system and algorithm for its constructing are а synthesis of evolutionary epistemology, philosophical anthropology and concrete scientific empirical basis in modern science. ln other words, natural philosophy is regaining the status bar element theoretical science in the era of technology-driven evolution. The co-evolutionary concept of 3-modal stable evolutionary strategy of Homo sapiens is developed. The concept based оn the principle of evolutionary complementarity of anthropogenesis: value of evolutionary risk and evolutionary path of human evolution are defined bу descriptive (evolutionary efficiency) and creative-teleological (evolutionary correctness) parameters simultaneously, that cannot bе instrumental reduced to others ones. Resulting volume of both parameters define the vectors of blological, social, cultural and techno-rationalistic human evolution Ьу two gear mechanism genetic and cultural co-evolution and techno-humanitarian balance. The resultant each of them сап estimated Ьу the ratio of socio-psychological predispositions of humanization / dehumanization in mentality. Explanatory model and methodology of evaluation of creatively teleological evolutionary risk component of NBIC technological complex is proposed. Integral part of the model is evolutionary semantics (time-varying semantic code, the compliance of the blological, socio-cultural and techno-rationalist adaptive modules of human stable evolutionary strategy). It is seem necessary to make three clarifications. First, logical construct, “evolutionary metaphysics” contains an internal contradiction, because it unites two alternative explanatory models. “Metaphysics”, as a subject, implies deducibility of the process from the initial general abstract principle, and, consequently, the outcome of the development of the object is uniquely determined by the initial conditions. Predicate, “evolutionary”, means stochastic mechanism of realizing the same principle by memorizing and replicating random choices in all variants of the post-Darwin paradigm. In philosophy, random choice corresponds to the category of “free will” of a reasonable agent. In evolutionary theory, the same phenomenon is reflected in the concept of “covariant replication”. Authors will attempt to synthesize both of these models in a single transdisciplinary theoretical framework. Secondly, the interpretation of the term “evolutionary (adaptive) strategyˮ is different from the classical definition. The difference is that the adaptive strategy in this context is equivalent to the survival, i.e. it includes the adaptation to the environment and the transformation (construction) of the medium in accordance with the objectives of survival. To emphasize this difference authors used verbal construction “adaptiveˮ (rather than “evolutionaryˮ) strategy as more adequate. In all other cases, the two terms may be regarded as synonymous. Thirdly, the initial two essays of this series were published in one book in 2012. Their main goal was the development of the logically consistent methodological concept of stable adaptive (evolutionary) strategy of hominines and the argumentation of its heuristic possibilities as a transdisciplinary scientific paradigm of modern anthropology. The task was to demonstrate the possibilities of the SESH concept in describing and explaining the evolutionary prospects for the interaction of social organization and technology (techno-humanitarian balance) and the associated biological and cultural mechanisms of the genesis of religion (gene-cultural co-evolution). In other words, it was related to the sphere of cultural and philosophical anthropology, i.e. to the axiological component of any theoretical constructions describing the behavior of self-organizing systems with human participation. In contrast, the present work is an attempt to introduce this concept into the sphere of biological anthropology and, consequently, its main goal is to demonstrate the possibility of verification of its main provisions by means of procedures developed by natural science, i.e. refers to the descriptive component of the same theoretical constructions. The result of this in the future should be methods for assessing, calculating and predicting the risk of loss of biological and cultural identity of a person, associated with a permanent and continuously deepening process of development of science and technology. (shrink)

The book discusses some of the stages in the development of genetics, biotechnology in terms of basic strategy of humanity towards the formation of a modern agrarian civilization. Agricultural civilization is seen as part of the biosphere and primary user of its energy flows. Consistently a steps of creation of management tools for live objects to increasing the number of food security of mankind are outlines. The elements of the biosphere degradation started in the results of human activities, and the (...) ways of their compensation. are discussed.The importance of the cooperation of experts in different areas of knowledge in the development of new approaches to the management of genetic resources of the planet is discussed too. (shrink)

The co-evolutionary concept of Three-modal stable evolutionary strategy of Homo sapiens is developed. The concept based on the principle of evolutionary complementarity of anthropogenesis: value of evolutionary risk and evolutionary path of human evolution are defined by descriptive (evolutionary efficiency) and creative-teleological (evolutionary correctly) parameters simultaneously, that cannot be instrumental reduced to others ones. Resulting volume of both parameters define the trends of biological, social, cultural and techno-rationalistic human evolution by two gear mechanism ˗ gene-cultural co-evolution and techno- humanitarian balance. (...) The resultant each of them can estimated by the ratio of socio-psychological predispositions of humanization/dehumanization in mentality. Explanatory model and methodology of evaluation of creatively teleological evolutionary risk component of NBIC technological complex is proposed. Integral part of the model is evolutionary semantics (time-varying semantic code, the compliance of the biological, socio-cultural and techno-rationalist adaptive modules of human stable evolutionary strategy). (shrink)

Mechanisms to ensure the integrity of the system stable evolutionary strategy Homo sapiens – genetic and cultural coevolution techno-cultural balance – are analyzed. оe main content of the study can be summarized in the following the- ses: stable adaptive strategy of Homo sapiens includes superposition of three basic types (biological, cultural and technological) of adaptations, the integrity of the system provides by two coevolutionary ligament its elements – the genetic-cultural coevolution and techno-cultural balance, the system takes as result of by (...) develop- ment of genetic and information technologies by advent of genetic and informa- tion technologies extremely unstable conūguration; a harbinger of a radical change in the mechanisms of global evolution religion is a consequence of structural and functional organization of the human psyche; it played (along with science and technology) the role of socio-cultural adaptation of the human mind are present a number of ideas or concepts (the idea of God, including) the genesis of that ideas is associated with the interaction of two information systems, that appear to each other as information substrates – emotional, and verbal-logical (discursive) forms; evolution of the mentality has two nodes, that corresponding to the dominance of rationalism or religion in spiritual culture; the problem of rational justiūcation of religion in modern science is presented by two alternative methodologies – evo- lutionary epistemological and metaphysical-ontological ones; both methodologies are incompatible in a logical perspective; in the evolutionary epistemological im- pact concept of religion and science are equal and alternative building blocks of a stable evolutionary strategy of Homo sapiens, and their balance sheet pro. (shrink)