Numerous authors have expressed concern that advanced artificial intelligence (AI) poses an existential risk to humanity. These authors argue that we might build AI which is vastly intellectually superior to humans (a ‘superintelligence’), and which optimizes for goals that strike us as morally bad, or even irrational. Thus, this argument assumes that a superintelligence might have morally bad goals. However, according to some views, a superintelligence necessarily has morally adequate goals. This might be the case either because abilities for moral (...) reasoning and intelligence mutually depend on each other, or because moral realism and moral internalism are true. I argue that the former argument misconstrues the view that intelligence and goals are independent, and that the latter argument misunderstands the implications of moral internalism. Moreover, the current state of AI research provides additional reasons to think that a superintelligence could have bad goals. (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)

Self-enhancing statements can provide useful information. Why do we resent those who make them? We suggest that the resentment comes from a broader claim of superiority that self-enhancing statements can imply. In three experiments, we compared one condition, designed such that the self-enhancing claim would be perceived as a claim of superiority, to three conditions providing different contextual reasons for why the self-enhancing claim might not be a claim of superiority. In those conditions the self-enhancing claim is either called for, (...) addressed to someone who performs better than the self-enhancer, or addressed to someone who doesn’t compete in the domain mentioned of the self-enhancing claim. The results show that participants disliked the self-enhancer more and were more likely to deem the self-enhancing claim to be a brag when the self-enhancing claim was manipulated to be a claim of superiority. (shrink)

Implementationalism maintains that conventional, silicon-based artificial systems are not conscious because they fail to satisfy certain substantive constraints on computational implementation. In this article, we argue that several recently proposed substantive constraints are implausible, or at least are not well-supported, insofar as they conflate intuitions about computational implementation generally and consciousness specifically. We argue instead that the mechanistic account of computation can explain several of the intuitions driving implementationalism and noncomputationalism in a manner which is consistent with artificial consciousness. Our (...) argument provides indirect support for computationalism about consciousness and the view that conventional artificial systems can be conscious. (shrink)

Which animals have conscious experiences? Many different, diverse and unrelated behaviors and cognitive capacities have been proposed as tests of the presence of consciousness in an animal. It is unclear which of these tests, if any, are valid. To remedy this problem, I develop a list consisting of eight desiderata which can be used to assess putative tests of animal consciousness. These desiderata are based either on detailed analogies between consciousness-linked human behavior and non-human behavior, on theories of consciousness or (...) on methods from human consciousness science. If a test or set of tests satisfies more of these desiderata, passing it provides stronger evidence of consciousness. Moreover, one can design future tests of animal consciousness with the intention of satisfying these desiderata to ensure their evidential strength. (shrink)

I develop the anticipatory argument for the view that it is nomologically possible that some non-biological creatures are phenomenally conscious, including conventional, silicon-based AI systems. This argument rests on the general idea that we should make our beliefs conform to the outcomes of an ideal scientific process and that such an ideal scientific process would attribute consciousness to some possible AI systems. This kind of ideal scientific process is an ideal application of the iterative natural kind (INK) strategy, according to (...) which one should investigate consciousness by treating it as a natural kind which iteratively explains observable patterns and correlations between potentially consciousness-relevant features. The relevant AI systems are psychological duplicates. These are hypothetical non-biological creatures which share the coarse-grained functional organization of humans. I argue that an ideal application of the INK strategy would attribute consciousness to psychological duplicates because this gives rise to a simpler and more unifying explanatory account of biological and non-biological cognition. If my argument is sound, then creatures made from the same material as conventional AI systems can be conscious, thus removing one of the main uncertainties for assessing AI consciousness and suggesting that AI consciousness may be a serious near-term concern. (shrink)

Which artificial intelligence (AI) systems are agents? To answer this question, I propose a multidimensional account of agency. According to this account, a system's agency profile is jointly determined by its level of goal-directedness and autonomy as well as is abilities for directly impacting the surrounding world, long-term planning and acting for reasons. Rooted in extant theories of agency, this account enables fine-grained, nuanced comparative characterizations of artificial agency. I show that this account has multiple important virtues and is more (...) informative than alternatives. More speculatively, it may help to illuminate two important emerging questions in AI ethics: 1. Can agency contribute to the moral status of non-human beings, and how? 2. When and why might AI systems exhibit power-seeking behaviour and does this pose an existential risk to humanity? (shrink)

According to an orthodox view, the capacity for conscious experience (sentience) is relevant to the distribution of moral status and value. However, physicalism about consciousness might threaten the normative relevance of sentience. According to the indeterminacy argument, sentience is metaphysically indeterminate while indeterminacy of sentience is incompatible with its normative relevance. According to the introspective argument (by François Kammerer), the unreliability of our conscious introspection undercuts the justification for belief in the normative relevance of consciousness. I defend the normative relevance (...) of sentience against these objections. First, I demonstrate that physicalists only have to concede a limited amount of indeterminacy of sentience. This moderate indeterminacy is in harmony with the role of sentience in determining moral status. Second, I argue that physicalism gives us no reason to expect that introspection is unreliable with respect to the normative relevance of consciousness. (shrink)

Roughly, empirical AI alignment research (AIA) is an area of AI research which investigates empirically how to design AI systems in line with human goals. This paper examines the role of non-epistemic values in AIA. It argues that: (1) Sciences differ in the degree to which values influence them. (2) AIA is strongly value-laden. (3) This influence of values is managed inappropriately and thus threatens AIA’s epistemic integrity and ethical beneficence. (4) AIA should strive to achieve value transparency, critical scrutiny (...) from inside and outside the discipline – involving the public –, and to empower actors without strong commercial interests. (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)

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)

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.

Sensorimotor enactivism is the view that the content and the sensory modality of perceptual experience are determined by implicit knowledge of lawful regularities between bodily movements and patterns of sensory stimulation. A proponent of the explanatory argument for sensorimotor enactivism holds that this view is able to provide an intelligible explanation for why certain material realizers give rise to certain perceptual experiences, while rival accounts cannot close this “explanatory gap”. However, I argue that the notion of the “material realizer” of (...) perceptual experience is ambiguous. On a narrow construal, the explanatory gap cannot be bridged, not even by enactivism. On a wide construal, enactivism gets a grip on the explanatory gap, but to the same extent do established theories of consciousness. Thus, on both horns of the dilemma, the explanatory power of enactivism is not superior to more traditional theories of conscious experience. (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)

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.

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)

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)

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)

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)

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.

Research assessment and grant funding are vital to higher education. However, the reliance on quantitative metrics in these processes has raised concerns about their validity and potential negative consequences. This study aims to investigate the game of numbers in research assessment and grant funding, focusing on the perspectives of experienced researchers from around the globe. Accidental sampling elicited responses from more than 15 experienced researchers across different academic disciplines, institutions, and countries. The data were collected from the popular “Reviewer 2 (...) Must be Stopped!” Facebook platform, which includes more than 135,000 members across the globe. Two posts were made, allowing participants to share their experiences, perspectives, and concerns related to metrics and numbers in research assessment and grant funding. The results from the thematic analysis revealed diverse perspectives among experienced researchers. Some participants expressed concerns about the dominance of quantitative metrics, highlighting the limitations and potential biases associated with their use. Others acknowledged the value of certain indicators in showcasing research impact. Moreover, the impact of metrics on grant funding awards was also documented. The study highlights the necessity for a more balanced and context-aware approach to research assessment and grant funding, incorporating qualitative measures and acknowledging the diverse nature of research impact. (shrink)

A complete axiomatic system CTL$_{rp}$ is introduced for a temporal logic for finitely branching $\omega^+$-trees in a temporal language extended with so called reference pointers. Syntactic and semantic interpretations are constructed for the branching time computation tree logic CTL$^{*}$ into CTL$_{rp}$. 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 stable evolutionary strategy of Homo sapiens and patterns of risks arising in the course of this evolution were discussed in article. These patterns were predicted by Bogdanov’s option of General systems theory.

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)

In this article we intend to present Alvin Plantinga’s epistemology by showing the way in which its central concepts: the Reidian foundationalism, the partial critique of evidentialism, warrant, proper function, reliability and externalism - are logically interrelated. A section of this article is reserved to the critiques of his account of warrant brought by Peter Klein and Richard Feldman and to the way in which Plantinga answered them, by developing the concepts of cognitive maxi- and mini-environment. In the end we (...) will see the way in which Plantinga’s epistemology relates to both modernism and postmodernism. (shrink)

Interdisciplinary research collaboration is crucial for addressing complex global challenges, and measuring researchers' perceptions of it is vital. The Perception of Interdisciplinary Research Collaboration (PIRC) Scale was meticulously developed and validated in this study to enable researchers to assess these perceptions comprehensively. The scale was developed in line with the team science theory. This cross-sectional study involved concept analysis, face and content validity, item pretesting, and pilot testing. A panel of eight specialists from relevant fields meticulously reviewed the items in (...) the instrument, and their inputs and suggestions were followed to refine the instrument, resulting in a 64-item questionnaire. A sample of 1,932 academic staff members with interdisciplinary research experience were selected from six universities in South-South Nigeria for a pilot study. A simple random sampling technique was employed in selecting these participants. Exploratory factor analysis yielded six underlying dimensions within the PIRC Scale, such as: "challenges of Interdisciplinary Disciplinary Research (IDR) collaboration," "IDR collaborative experiences," "motivations for IDR collaboration," "benefits of IDR collaboration," "career impact of IDR collaboration," and "IDR team dynamics." Confirmatory factor analysis confirmed this structure and revealed the bifactor model as the best-fitting model over the unidimensional, oblique and higher-order models. Utilising the Fornell-Larcker approach, strong convergent and discriminant validity was established across all dimensions, with Average Variance Extracted (AVE) above .50 and the square root of the AVE for all factors being greater than the correlation coefficients of each factor with other factors. Cronbach's alpha and McDonald's omega values exceeded the acceptable threshold of 0.70, with item-total correlation analyses further supporting the reliability of each sub-scale and the overall instrument. In conclusion, the PIRC scale can be valuable for researchers, institutions, and policymakers to assess and enhance interdisciplinary research collaboration. It can empower stakeholders to obtain useful information about researchers' perceptions of interdisciplinary research, promote effective collaboration, allocate resources efficiently, and foster innovation. (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)

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)

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)

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

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.

Purpose. Our study aims at developing a conceptual model of transdisciplinary synthesis of philosophical-anthropological, sociopolitical and epistemological aspects of co-evolution of the scientific and technical designs of High Hume class and the socio-cultural / political context in the process of anthropo-socio-cultural genesis. The relevance of the topic is justified by the technologization of all spheres of human existence and the emergence of High Hume class technologies, which can be called technology-driven equally. As a result, the concepts of "bio-power" and "biopolitics" (...) have become ones of the most frequently mentioned in modern philosophical and anthropological discourse and attract increasing attention of philosophers, sociologists, and, in the last decadecades, experts in the field of practical political science and economics (Foucault, Agamben, Žižek, Kebnik, Nadesan, etc.). Theoretical basis. It is problem-theoretical research; We synthesize the results of our publications in recent years. We proceed from the fact that the main question of the informational phase of the development of a technogenic civilization lies in the rationalization and technologization of the evolutionary process, i.e. in the removal of the fundamental ontological antinomy “Evolution versus Reasonable Design”, as a result for modern neoliberal political democracy, biopower and its theoretical understanding (biopolitics) are effective tools and technologies to form of optimal trends of the global evolutionary process, in the framework of this ideological system. We have chosen the comparative conceptual analysis combining with the results of the content analysis of Web publications by the main method of the study. Originality of the research is in the fact that the central core of such a model is the use of a conceptual and terminological apparatus for describing the mechanisms of the progressive evolution of complex systems, known as the “triple spiral” by Ledeisdorf-Itskovich. This allowed us to integrate the bio-power phenomenon into the general scheme of a stable evolutionary strategy of a technogenic civilization. The conclusions. We justified the transformation of biopolitics into the main factor in the global evolution of self-organizing human-sized systems, including the biosphere as a whole. This is achieved through the creation of a specific (bio) ethical system of imperatives and the activities of individuals in relation to themselves and other agents of social actions. Bioethics with a trail of associated conceptual areas (biosociology, bioeconomics, biohistory, etc.) turned out to be the only rationalized regulator of the process of biological and sociocultural evolution. The triple spiral biotechnology – bioeconomy – bioenergy as the material substance of the life of technological civilization is reflected in the ideal world as a triad of bioethics – biosociology – biopolitics. Both triads form closed cycles of evolutionary transformations that transmit and amplify the initial momentum of transformations on each other through a cascade mechanism with positive feedback. (shrink)

We study the modal logic M L r of the countable random frame, which is contained in and `approximates' the modal logic of almost sure frame validity, i.e. the logic of those modal principles which are valid with asymptotic probability 1 in a randomly chosen finite frame. We give a sound and complete axiomatization of M L r and show that it is not finitely axiomatizable. Then we describe the finite frames of that logic and show that it has the (...) finite frame property and its satisfiability problem is in EXPTIME. All these results easily extend to temporal and other multi-modal logics. Finally, we show that there are modal formulas which are almost surely valid in the finite, yet fail in the countable random frame, and hence do not follow from the extension axioms. Therefore the analog of Fagin's transfer theorem for almost sure validity in first-order logic fails for modal logic. (shrink)

Building on recent formal work by Aleks Knoks, we explore how the idea that certain epistemic norms may be indeterminate could be implemented in a default logic.

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)

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)

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.

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.

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)

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)

Recently, a number of cases have been proposed which seem to show that – contrary to widely held opinion – a subject can inferentially come to know some proposition p from an inference which relies on a false belief q which is essential. The standard response to these cases is to insist that there is really an additional true belief in the vicinity, making the false belief inessential. I present a new kind of case suggesting that a subject can inferentially (...) come to know a proposition from an essential false belief where no truth in the vicinity seems to be present. (shrink)

Jus post Bellum is, like Jus ad Bellum and Jus in Bello, a part of just war theory. Jus post Bellum is distinguished from the other parts of just war theory by being primarily concerned with the principles necessary for securing a just and lasting peace after the end of a war. Traditionally, jus post bellum has focused primarily on three goals: [1] compensating those who have been the victims of unjust aggression, while respecting the rights of the aggressors, [2] (...) punishing and rehabilitating those guilty of war crimes and other violations of the principles of Jus ad Bellum and Jus in Bello and [3] developing measures that will prevent future war and violence (Orend 2000 and May 2012). In this chapter, I outline an account of political forgiveness and explain the role that political forgiveness can have in promoting the goals of jus post bellum. My conception of political forgiveness requires some unpacking. Let me begin with individual forgiveness, which I understand along familiar Butlerian lines as the renunciation of resentment (Butler, Sermon IX in McNaughton 2017: 75-83), though with a bit of a twist. More exactly, ● An individual, I, forgives J for doing F if and only if I renounces all her own warrant for resenting J for doing F. Resentment is a judgment-sensitive attitude, and, therefore, it tends to track judgments concerning its warrant (Scanlon 1998: 20 and Smith 2015). In cases of perfect forgiveness, I’s renunciation causes her to cease feeling resentment toward J for doing F, though, of course, less perfect cases are possible. I reject the idea that there is a sharp discontinuity between individual and political forgiveness, a position argued for by, e.g., Peter Digeser (1998 and 2001). By contrast, I understand political forgiveness as the renunciation of resentment by the relevant political body in question. With greater precision, ● A sovereign political body, P, forgives J for doing F if and only if P renounces all warrant that its citizens have for resenting, as part of their public lives, J for doing F. A little more explanation is in order. Sovereign political bodies, such as national governments, claim degrees of control over the lives of their citizens, in both their public and their private aspects, though the claims with respect to the former tend to be considerably more expansive than the claims with respect to the latter. I assume here that, at least in the case of legitimate governments, these claims of control are often valid. Such governments may reasonably renounce certain grounds for motivating action in the public sphere. For example, governments may renounce all warrant that its citizens have, as part of their public lives, for hating members of marginalized groups. In practice, this means that, while citizens might continue to act in their private lives out of hatred for members of these groups, their appeal to this hatred is seen by the state as irrelevant to matters of law and public policy as well as being wholly out-of-place in public discourse. Political forgiveness toward J for doing F, as I understand it, involves an analogous rejection of resentment, on the part of citizens in their public lives, toward J for doing F. I turn now to the matter of how political forgiveness supports securing a just and lasting peace between former belligerents. With respect to the first goal of jus post bellum, political forgiveness helps to balance compensation for victims and respect for the rights of defeated aggressors by countering the all-too-human tendency to overvalue harms done to oneself and to members of one’s group. As regards the second goal, political forgiveness plays a similar role but also provides a model for rehabilitation by exemplifying among the victorious the behavior to be emulated by the vanquished. Finally, political forgiveness promotes the third goal of jus post bellum by providing a space for nations to meet as moral equals rather than allowing one nation to have the moral high ground over the other. None of this, of course, means that political forgiveness should be unearned or that it should be confused with condonation (Kolnai 1973 and Pettigrove 2004). However, the question of what is required to put oneself in a position to be forgiven as part of jus post bellum is a matter that goes beyond the scope of this chapter. (shrink)

Scientific method interests the linguist not only as it interests every scientific worker, but also in a special way, because the scientist, as part of his method, utters certain very peculiar speech-forms. The linguist naturally divides scientific activity into two phases: the scientist performs “handling” actions and utters speech. The speech-forms which the scientist utters are peculiar both in their form and in their effect upon hearers.

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)

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 author of the monograph is a Candidate of Culturology, Associate Professor of Tyumen State University. The monograph tests approaches to the understanding of the essence of Hobbes’s and Locke’s ideas about miracles that are more flexible than a formational-evolutionist approach. The monograph presents the main characteristics of these ideas as Christian philosophical ones, shows their general Christian direction and the historiographic perspective of studying these ideas primarily in line with Christian philosophy. The monograph is intended for experts in the (...) history of philosophy, the history of ideas, theology, religious studies, historical anthropology, as well as for those interested in the problems of historical-philosophical knowledge. Автор монографии – кандидат культурологии, доцент Тюменского государственного университета. В монографии апробируются более гибкие подходы к пониманию сущности идей Гоббса и Локка о чудесах по сравнению с формационно-эволюционистским подходом. Представлены основные характеристики идей Гоббса и Локка о чудесах как христианских философских идей. Показана общехристианская направленность идей Гоббса и Локка о чудесах и историографическая перспективность изучения этих идей в первую очередь как христианских философских идей. Монография рассчитана на специалистов в области истории философии, истории идей, теологии, религиоведения, исторической антропологии, а также на всех, кто интересуется проблемами историко-философского знания. (shrink)

Im diesem Aufsatz nehme ich die Popularität des Verantwortungsbegriffs in der Alltagssprache zum Anlass, um seinem Verhältnis zum Pflichtbegriff auf den Grund zu gehen. Dabei unterziehe ich den Verantwortungsbegriff zunächst einer allgemeinen Analyse. Anschließend diskutiere ich in Gestalt von Indeterminismus, Amoralismus und Interaktionismus drei Modi der missbräuchlichen Verwendung dieses Begriffs. Dabei handelt es sich jedoch bei genauerer Betrachtung um allgemeine rhetorische Verschleierungsstrategien, die nicht an die Verwendung des Verantwortungsbegriffs gebunden sind, sondern in der kommunikativen Bezugnahme auf moralische Forderungen generell auftreten (...) können. Dies verdeutlicht auch die anschließende Analyse des Pflichtbegriffs, der einige grundlegende Ähnlichkeiten zum Verantwortungsbegriff aufweist. Ex negativo zeigt sich so jedoch, wie ein nicht missbräuchlicher Rekurs auf beide philosophischen Grundbegriffe möglich ist. Darüber hinaus werden auch die Unterschiede dieser Termini deutlich. Der Pflichtbegriff ist trotz einiger wesentlicher Gemeinsamkeiten weniger vielseitig als der Verantwortungsbegriff und daher zumindest in der Auseinandersetzung mit einigen Themen der praktischen Philosophie weniger gut als Grundbegriff geeignet. Gleichwohl zeigt sich, dass die Frage „Verantwortung oder Pflicht?“ uns vor eine falsche Alternative stellt, wenn sie im ausschließenden Sinn verstanden wird. (shrink)