Molodtsov introduced 1999 the concept of soft set as a new mathematical tool for dealing with uncertainties that is free from the difficulties that have troubled the usual theoretical approaches. In this paper we apply the notion of soft sets by Molodtsov to ordered semigroups. The notions of soft ordered semigroup, soft ordered subsemigroup, soft left ideal, and left idealistic soft ordered semigroup are introduced, and various related properties (...) are investigated. (shrink)

We prove that the equational theory of a semigroups becomes undecidable if we add a semilattice structure with a ‘touch of symmetric difference’. As a corollary we obtain that the variety of all Boolean algebras with an associative binary operator has a ‘hereditarily’ undecidable equational theory. Our results have implications in logic, e.g. they imply undecidability of modal logics extending the Lambek Calculus and undecidability of Arrow Logics with an associative arrow modality.

Soft set theory is a general mathematical tool for dealing with uncertain, fuzzy, not clearly defined objects. In this paper we introduced soft neutrosophic biLA-semigroup,soft neutosophic sub bi-LA-semigroup, soft neutrosophic N -LA-semigroup with the discuission of some of their characteristics. We also introduced a new type of soft neutrophic bi-LAsemigroup, the so called soft strong neutrosophic bi-LAsemigoup which is of pure neutrosophic character. This is also extend to soft neutrosophic strong (...) N-LA-semigroup. We also given some of their properties of this newly born soft structure related to the strong part of neutrosophic theory. (shrink)

A system of semigroup identities is hereditarily finitely based if it defines a variety all semigroups of which are finitely based. Two new types of hereditarily finitely based identity systems are presented. Two of these systems, together with eight existing systems, establish the hereditary finite basis property of every semigroup of order five or less with one possible exception.

We show that the equational theory of representable lattice-ordered residuated semigroups is not finitely axiomatizable. We apply this result to the problem of completeness of substructural logics.

We look at lower semilattice-ordered residuated semigroups and, in particular, the representable ones, i.e., those that are isomorphic to algebras of binary relations. We will evaluate expressions in representable algebras and give finite axiomatizations for several notions of validity. These results will be applied in the context of substructural logics.

In this book the authors introduced the notions of soft neutrosophic algebraic structures. These soft neutrosophic algebraic structures are basically defined over the neutrosophic algebraic structures which means a parameterized collection of subsets of the neutrosophic algebraic structure. For instance, the existence of a soft neutrosophic group over a neutrosophic group or a soft neutrosophic semigroup over a neutrosophic semigroup, or a soft neutrosophic field over a neutrosophic field, or a soft neutrosophic (...) LA-semigroup over a neutrosophic LAsemigroup, or a soft neutosophic loop over a neutrosophic loop. It is interesting to note that these notions are defined over finite and infinite neutrosophic algebraic structures. These structures are even bigger than the classical algebraic structures. This book contains five chapters. Chapter one is about the introductory concepts. In chapter two the notions of soft neutrosophic group, soft neutrosophic bigroup and soft neutrosophic N-group are introduced and many fantastic properties are given with illustrative examples. (shrink)

In this book we define some new notions of soft neutrosophic algebraic structures over neutrosophic algebraic structures. We define some different soft neutrosophic algebraic structures but the main motivation is two-fold. Firstly the classes of soft neutrosophic group ring and soft neutrosophic semigroup ring defined in this book is basically the generalization of two classes of rings: neutrosophic group rings and neutrosophic semigroup rings. These soft neutrosophic group rings and soft neutrosophic (...) class='Hi'>semigroup rings are defined over neutrosophic group rings and neutrosophic semigroup rings respectively. This is basically the collection of parameterized subneutrosophic group ring and subneutrosophic semigroup ring of a neutrosophic group ring and neutrosophic semigroup ring respectively. These soft neutrosophic algebraic structures are even bigger than the corresponding classical algebraic structures. It is interesting to see that it wider the area of research for the researcher of algebraic structures. (shrink)

Starting with a partial order on a NeutroAlgebra, we get a NeutroStructure. The latter if it satisfies the conditions of NeutroOrder, it becomes a NeutroOrderedAlgebra. In this paper, we apply our new defined notion to semigroups by studying NeutroOrderedSemigroups. More precisely, we define some related terms like NeutrosOrderedSemigroup, NeutroOrderedIdeal, NeutroOrderedFilter, NeutroOrderedHomomorphism, etc., illustrate them via some examples, and study some of their properties.

A propositional framework of formal reasoning is proposed, which emphasises the pattern of entering and exiting context. Contexts are modelled by an algebraic structure which reflects the order and manner in which context is entered into and exited from.The equations of the algebra partitions context terms into equivalence classes. A formal semantics is defined, containing models that map equivalence classes of certain context terms to sets of interpretations of the formula language. The corresponding Hilbert system incorporates the algebraic equations as (...) axioms asserted in context.In semigroups of contexts, where combination of contexts is associative, finite ground algebraic equations correspond to contingent equivalence between certain logical formulas. Systems for sets and multisets of contexts are obtained by presenting their respective algebras as associativity plus finite ground equations. Soundness and completeness results are proved.Some contextual reasoning systems in the literature are inherently associative, and we present those as special cases. (shrink)

We study the relationship between algebraic structures and their inverse semigroups of partial automorphisms. We consider a variety of classes of natural structures including equivalence structures, orderings, Boolean algebras, and relatively complemented distributive lattices. For certain subsemigroups of these inverse semigroups, isomorphism of the subsemigroups yields isomorphism of the underlying structures. We also prove that for some classes of computable structures, we can reconstruct a computable structure, up to computable isomorphism, from the isomorphism type of its inverse semigroup of (...) computable partial automorphisms. (shrink)

With the advent of the era of artificial intelligence, deep reinforcement learning has achieved unprecedented success in high-dimensional and large-scale artificial intelligence tasks. However, the insecurity and instability of the DRL algorithm have an important impact on its performance. The Soft Actor-Critic algorithm uses advanced functions to update the policy and value network to alleviate some of these problems. However, SAC still has some problems. In order to reduce the error caused by the overestimation of SAC, we propose a (...) new SAC algorithm called Averaged-SAC. By averaging the previously learned action-state estimates, it reduces the overestimation problem of soft Q-learning, thereby contributing to a more stable training process and improving performance. We evaluate the performance of Averaged-SAC through some games in the MuJoCo environment. The experimental results show that the Averaged-SAC algorithm effectively improves the performance of the SAC algorithm and the stability of the training process. (shrink)

In the present paper we study the framework of additive utility theory, obtaining new results derived from a concurrence of algebraic and topological techniques. Such techniques lean on the concept of a connected topological totally ordered semigroup. We achieve a general result concerning the existence of continuous and additive utility functions on completely preordered sets endowed with a binary operation ``+'', not necessarily being commutative or associative. In the final part of the paper we get some applications to (...) expected utility theory, and a representation theorem for a class of complete preorders on a quite general family of real mixture spaces. (shrink)

As part of the roundtable “International Institutions and Peaceful Change,” this essay examines the role of institutional soft balancing in bringing forth peaceful change in international relations. Soft balancing is understood as attempts at restraining a threatening power through institutional delegitimization, as opposed to hard balancing, which relies on arms buildup and formal alignments. We argue that soft balancing through international institutions can be an effective means to peaceful change, spanning minimalist goals, which aim at incremental change (...) without the use of military force and war, and maximalist goals, which seek more profound change and transformation in the form of continuous interstate cooperation aimed at a more peaceful and just world order. However, the success of soft-balancing strategies in fostering peaceful change varies widely, even in today's globalized and institutionalized international environment. We explore these variations and identify three conditions for success that can inform both academic analysis and political practice: inclusion, commitment, and status recognition. We draw lessons from two historical examples: the Concert of Europe in the early nineteenth century and the League of Nations in the early twentieth century, and discuss how current threats to the liberal international order challenge soft balancing for peaceful change. (shrink)

Technologies not only change “external reality” but also change our internal consciousness, shaping the way we experience the world. As the reality of intelligent environments is upon us—ushered along with the age of ubiquitous computing—we must be careful that the ideology these technologies embody is not blindly incorporated into the environment. As disciplines, engineering and computer science make implicit assumptions about the world that conflict with traditional modes of cultural production. For example, space is commonly understood to be the void (...) left behind when no objects are present. Unfortunately, once we see space in this way, we are unable to understand the role it plays in our everyday experience. In order to make computationally enhanced spaces that are meaningful at the level of the everyday, we must exorcise the notion of intelligence from their design and replace it with life. Henri Lefebvre’s discussions of the space of everyday life provide a framework to help conceive this transition. (shrink)

The Anthroposophical Society in Sweden is, in the view of many of its members, going through tough times. Times of crisis and the search for a collective identity often inspire the formation of ideological rifts within a larger religious community. One way of responding to challenges is by turning to doctrines and texts stemming from a purportedly pristine past for guidance – in other words, by developing a fundamentalist discourse. A striking fact about the Anthroposophical Society, in Sweden as well (...) as internationally, is that such returns to a set of canonical texts by the founder of the movement appear to be self-defeating. There are deeply rooted structural features within the Anthroposophical Society as an institution that impede any one voice from gaining significant traction and imposing a collective identity upon the movement. This article uses the example of the Anthroposophical Society in Sweden and the conundrum it repeatedly faces when addressing a perceived crisis in order to formulate a model of charismatic leadership that more generally accounts for the lack of success of fundamentalist discourses in religious movements with certain types of organisational culture. (shrink)

Hahn’s embedding theorem asserts that linearly ordered abelian groups embed in some lexicographic product of real groups. Hahn’s theorem is generalized to a class of residuated semigroups in this paper, namely, to odd involutive commutative residuated chains which possess only finitely many idempotent elements. To this end, the partial lexicographic product construction is introduced to construct new odd involutive commutative residuated lattices from a pair of odd involutive commutative residuated lattices, and a representation theorem for odd involutive commutative residuated (...) chains which possess only finitely many idempotent elements, by means of linearly ordered abelian groups and the partial lexicographic product construction is presented. (shrink)

The idea that concepts play a significant role in some perceptions is widespread but everybody seems to differ as to where to draw the line. Some researchers say that the difference between direct and indirect, concept driven acts of perception manifests itself whenever we perceive abstract or general properties. Others point at second order properties or causal properties. I call this inability to precisely differentiate between acts of direct and indirect perception “The Division Problem”. Furthermore there is always a question (...) as to how widespread indirect perceptions are. Can we attribute them to prelingual cognitive systems? I call this second problem “The Distribution Problem”. -/- The main aim of the paper is providing a solution to both problems by proposing a naturalistic explication of the notion of “concept”. -/- I propose to identify the role concepts were supposed to play in perception with a mechanism of “soft detection”. Unlike hard detectors which react to a specific target in virtue of their constitution and placement in the system, soft detectors are understood as dynamic categorization devices enabling the cognitive system to selectively react to an undetectable property via flexible exploitation of data from hard detectors. -/- I conclude by showing how the notion of soft detection retains some of the aspects traditionally attributed to concepts and how does it differ from similar accounts known from contemporary literature. (shrink)

Let equation image be the semigroup of all mappings on the natural numbers equation image, and let U and V be subsets of equation image. We write U≼V if there exists a countable subset C of equation image such that U is contained in the subsemigroup generated by V and C. We give several results about the structure of the preorder ≼. In particular, we show that a certain statement about this preorder is equivalent to the Continuum Hypothesis.The preorder (...) ≼ is analogous to one introduced by Bergman and Shelah on subgroups of the symmetric group on equation image. The results in this paper suggest that the preorder on subsemigroups of equation image is much more complicated than that on subgroups of the symmetric group. (shrink)

A fundamental problem in game theory is the possibility of reaching equilibrium outcomes with undesirable properties, e.g., inefficiency. The economics literature abounds with models that attempt to modify games in order to avoid such undesirable properties, for example through the use of subsidies and taxation, or by allowing players to undergo a bargaining phase before their decision. In this paper, we consider the effect of such transformations in Boolean games with costs, where players control propositional variables that they can set (...) to true or false, and are primarily motivated to seek the satisfaction of some goal formula, while secondarily motivated to minimise the costs of their actions. We adopt preparation sets as our basic solution concept. A preparation set is a set of outcomes that contains for every player at least one best response to every outcome in the set. Prep sets are well-suited to the analysis of Boolean games, because we can naturally represent prep sets as propositional formulas, which in turn allows us to refer to prep formulas. The preference structure of Boolean games with costs makes it possible to distinguish between hard and soft prep sets. The hard prep sets of a game are sets of valuations that would be prep sets in that game no matter what the cost function of the game was. The properties defined by hard prep sets typically relate to goal-seeking behaviour, and as such these properties cannot be eliminated from games by, for example, taxation or subsidies. In contrast, soft prep sets can be eliminated by an appropriate system of incentives. Besides considering what can happen in a game by unrestricted manipulation of players’ cost function, we also investigate several mechanisms that allow groups of players to form coalitions and eliminate undesirable outcomes from the game, even when taxes or subsidies are not a possibility. (shrink)

This thirteenth volume of Collected Papers is an eclectic tome of 88 papers in various fields of sciences, such as astronomy, biology, calculus, economics, education and administration, game theory, geometry, graph theory, information fusion, decision making, instantaneous physics, quantum physics, neutrosophic logic and set, non-Euclidean geometry, number theory, paradoxes, philosophy of science, scientific research methods, statistics, and others, structured in 17 chapters (Neutrosophic Theory and Applications; Neutrosophic Algebra; Fuzzy Soft Sets; Neutrosophic Sets; Hypersoft Sets; Neutrosophic Semigroups; Neutrosophic Graphs; Superhypergraphs; (...) Plithogeny; Information Fusion; Statistics; Decision Making; Extenics; Instantaneous Physics; Paradoxism; Mathematica; Miscellanea), comprising 965 pages, published between 2005-2022 in different scientific journals, by the author alone or in collaboration with the following 110 co-authors (alphabetically ordered) from 26 countries: Abduallah Gamal, Sania Afzal, Firoz Ahmad, Muhammad Akram, Sheriful Alam, Ali Hamza, Ali H. M. Al-Obaidi, Madeleine Al-Tahan, Assia Bakali, Atiqe Ur Rahman, Sukanto Bhattacharya, Bilal Hadjadji, Robert N. Boyd, Willem K.M. Brauers, Umit Cali, Youcef Chibani, Victor Christianto, Chunxin Bo, Shyamal Dalapati, Mario Dalcín, Arup Kumar Das, Elham Davneshvar, Bijan Davvaz, Irfan Deli, Muhammet Deveci, Mamouni Dhar, R. Dhavaseelan, Balasubramanian Elavarasan, Sara Farooq, Haipeng Wang, Ugur Halden, Le Hoang Son, Hongnian Yu, Qays Hatem Imran, Mayas Ismail, Saeid Jafari, Jun Ye, Ilanthenral Kandasamy, W.B. Vasantha Kandasamy, Darjan Karabašević, Abdullah Kargın, Vasilios N. Katsikis, Nour Eldeen M. Khalifa, Madad Khan, M. Khoshnevisan, Tapan Kumar Roy, Pinaki Majumdar, Sreepurna Malakar, Masoud Ghods, Minghao Hu, Mingming Chen, Mohamed Abdel-Basset, Mohamed Talea, Mohammad Hamidi, Mohamed Loey, Mihnea Alexandru Moisescu, Muhammad Ihsan, Muhammad Saeed, Muhammad Shabir, Mumtaz Ali, Muzzamal Sitara, Nassim Abbas, Munazza Naz, Giorgio Nordo, Mani Parimala, Ion Pătrașcu, Gabrijela Popović, K. Porselvi, Surapati Pramanik, D. Preethi, Qiang Guo, Riad K. Al-Hamido, Zahra Rostami, Said Broumi, Saima Anis, Muzafer Saračević, Ganeshsree Selvachandran, Selvaraj Ganesan, Shammya Shananda Saha, Marayanagaraj Shanmugapriya, Songtao Shao, Sori Tjandrah Simbolon, Florentin Smarandache, Predrag S. Stanimirović, Dragiša Stanujkić, Raman Sundareswaran, Mehmet Șahin, Ovidiu-Ilie Șandru, Abdulkadir Șengür, Mohamed Talea, Ferhat Taș, Selçuk Topal, Alptekin Ulutaș, Ramalingam Udhayakumar, Yunita Umniyati, J. Vimala, Luige Vlădăreanu, Ştefan Vlăduţescu, Yaman Akbulut, Yanhui Guo, Yong Deng, You He, Young Bae Jun, Wangtao Yuan, Rong Xia, Xiaohong Zhang, Edmundas Kazimieras Zavadskas, Zayen Azzouz Omar, Xiaohong Zhang, Zhirou Ma.‬‬‬‬‬‬‬‬. (shrink)

Selective reduction and abortion both involve the termination of fetal life, but they are classified by different designations to underscore the notion that they are regarded as fundamentally different medical procedures: the two are performed using distinct techniques by different types of physicians, upon women under very different circumstances, in order to further dramatically different objectives. Hence, the two procedures appear to call for a distinct moral calculus, and they have traditionally evoked contradictory reactions from society. This essay posits that (...) despite their different appellations, selective reduction and abortion are essentially equivalent. (shrink)

I discuss some aspects of the epistemological distinction between laws of nature and accidental uniformities. In order that the exposition be self-contained I briefly provide a taxonomy proposed in another work for statements that appear in a scientific theory. Once this taxonomy has been presented I attempt to prove two very different types of accidental uniformities: hard and soft. The distinction is fundamental because the latter have frequently been confused with laws of nature. I try to justify why I (...) believe that these statements are accidental uniformities and not laws of nature. (shrink)

We consider relational databases organized over an ordered domain with some additional relations — a typical example is the ordered domain of rational numbers together with the operation of addition. In the focus of our study are the first-order queries that are invariant under order-preserving “permutations” — such queries are called order-generic. It has recently been discovered that for some domains order-generic FO queries fail to express more than pure order queries. For example, every order-generic FO query over (...) rational numbers with + can be rewritten without +. For some other domains, however, this is not the case.We provide very general conditions on the FO theory of the domain that ensure the collapse of order-generic extended FO queries to pure order queries over this domain: the Pseudo-finite Homogeneity Property and a stronger Isolation Property. We further distinguish one broad class of domains satisfying the Isolation Property, the so-called quasi-o-minimal domains. This class includes all the o-minimal domains, but also the ordered group of integer numbers and the ordered semigroup of natural numbers, and some other domains.An important difference of this paper from the recent series of related papers is that we generalize all the notions to the case of finitely representable database states — as opposed to finite states — and develop a general lifting technique that, essentially, allows us to extend any result of the kind we are interested in, from finite to finitely representable states. We show, however, that these results cannot be transfered to arbitrary infinite states. (shrink)

I argue that Japanese noise could only become meaningful and articulate at a time when thought and language have become somehow inarticulate. I very briefly recount T.W. Adorno's controversial claims that we live in a wholly abstract and instrumental world, where each object we encounter holds meaning only as 1) a representative of the class to which it belongs and 2) a tool for our use. As is now the convention in Adorno scholarship and cultural studies generally, I name ordering (...) principles of such life identity thinking and the object of its inarticulacy the non-identical. Rather than devoting this paper to debating the veracity of these principles, once I unpack modern art's predicament within the confines of identity thinking I make a case for the utter sensibility of the prima facie senselessness of Japanese noise. But this ultimate sensibility of Japanese noise, I argue, exemplifies the crisis of all modern art: despite its efforts to frustrate sense and stall the prevailing cultural logic, it becomes sensible as a commodified cultural product. Japanese noise therefore provides a case study of the process by which a critique of a consumer culture becomes a commercial product of that culture, thereby neutralizing the critical power of the work. Within such structures the critical capacity of art in general is under threat. (shrink)

This paper presents a comprehensive mathematical framework in which a unified treatment of additive and expected utility can be given. For achieving this, elaborate structural assumptions, characterizing a simply ordered, topological semigroup, have to be established in order to construct an isomorphism with the additive group of real numbers.This construction establishes a link between additive and expected utility theory to the extent that the same mathematical considerations leading to the derivation of an additive representation are also valid for (...) proving the expected utility theorem. (shrink)

We show that the equational theory of representable lower semilattice-ordered residuated semigroups is finitely based. We survey related results.

This paper describes an AFOSR-supported basic research program that focuses on developing a new framework for combining hard with soft data in order to improve space situational awareness. The goal is to provide, in an automatic and near real-time fashion, a ranking of possible threats to blue assets (assets trying to be protected) from red assets (assets with hostile intentions). The approach is based on Conceptual Spaces models, which combine features from traditional associative and symbolic cognitive models. While Conceptual (...) Spaces are revolutionary, they lack an underlying mathematical framework. Several such frameworks have attempted to represent Conceptual Spaces, but by far the most robust is the model developed by Holender. His model utilizes integer linear programming in order to obtain an overall similarity value between observations and concepts that support the formation of hypotheses. This paper will describe a method for building Conceptual Spaces models for threats that utilizes ontologies as a means to provide a clear semantic foundation for this inferencing process; in particular threat ontologies and space domain ontologies are developed and employed in this approach. A space situational awareness use-case is presented involving a kinetic kill scenario and results are shown to assess the performance of this fusion-based inferencing framework. (shrink)

Along the lines of a previous work, the geometrical structure of Hibert bundles describing extended quantum free particles is repeated with Galilei external and internal independent symmetries. Then, in order to introduce the interaction, this structure is extended by replacing configuration and momentum spaces by the socelled spaces of trajectories and extended velocity boosts, respectively. These provide representations giving the probability amplitudes for the particle to follow certain trajectories. The interaction can be introduced in the transformation law from functions on (...) the space of trajectories (free dynamics) to functions on spacetime (intracting dynamics). This transformation law, which makes use of a universal distribution, is seen as a functional in our work according to a quantum functional theory which generalizes the ideas of de Broglie. Intertwining of induced representations gives the free propagator in the space of trajectories and, henceforth, the propagator with interaction in space-time for the extended particle. (shrink)

The European Union is making increased efforts to find simpler and more effective ways to function adequately in the eyes of its citizens by using ‘soft law’ instruments such as recommendations. Although they have no legally binding force, recommendations have practical and legal effects occurring partly due to their normative content in which a course of action is prescribed and further supported by arguments intended to persuade the addressees of a political position. Although recommendations function as persuasive instruments due (...) to their argumentation, the characteristics of argumentation and how it is employed to convince the addressee to comply with certain measures have not been investigated at all. The main goal of the paper is to explain how arguments are used by the European Commission when recommending Member States to follow a new course of action. First, we will unravel the justificatory reasons employed by the Commission in order to make Member States comply with new measures and we will show how these reasons are combined into an argumentative pattern : 1–23, 2016; J Argum Context 6: 3–26, 2017). This pattern basically prescribes a course of action to Member States, which is further supported by arguments in which the necessity and advantages of following the proposed course of action are justified. Second, we will explain how and why the way in which the arguments are combined in this complex pattern could be potentially persuasive for the Member States despite the legally non-binding character of recommendations. We will show that the European Commission tries to persuade the Member States to take new measures by evading the burden of proof imposed by the legislative framework. At a more specific level of analysis, we will delve into the implicit premises in the argumentation, which enable us to identify cases of evasion of the burden of proof due to the Commission’s use of implicit starting points which might not be accepted by the Member States. (shrink)

The fundamental question in reverse mathematics is to determine which set existence axioms are required to prove particular theorems of mathematics. In addition to being interesting in their own right, answers to this question have consequences in both effective mathematics and the foundations of mathematics. Before discussing these consequences, we need to be more specific about the motivating question.Reverse mathematics is useful for studying theorems of either countable or essentially countable mathematics. Essentially countable mathematics is a vague term that is (...) best explained by an example. Complete separable metric spaces are essentially countable because, although the spaces may be uncountable, they can be understood in terms of a countable basis. Simpson gives the following list of areas which can be analyzed by reverse mathematics: number theory, geometry, calculus, differential equations, real and complex analysis, combinatorics, countable algebra, separable Banach spaces, computability theory, and the topology of complete separable metric spaces. Reverse mathematics is less suited to theorems of abstract functional analysis, abstract set theory, universal algebra, or general topology.Section 2 introduces the major subsystems of second order arithmetic used in reverse mathematics: RCA0, WKL0, ACA0, ATR0 and – CA0. Sections 3 through 7 consider various theorems of ordered group theory from the perspective of reverse mathematics. Among the results considered are theorems on ordered quotient groups, groups and semigroup conditions which imply orderability, the orderability of free groups, Hölder's Theorem, Mal'tsev's classification of the order types of countable ordered groups. (shrink)

We study theorems of ordered groups from the perspective of reverse mathematics. We show that suffices to prove Hölder's Theorem and give equivalences of both (the orderability of torsion free nilpotent groups and direct products, the classical semigroup conditions for orderability) and (the existence of induced partial orders in quotient groups, the existence of the center, and the existence of the strong divisible closure).

The contemporary Chinese intellectual Kang Xiaoguang has argued that Chinese soft power should be based on Confucian culture, the most influential Chinese political tradition. But which Confucian values should form the core of China’s soft power? This paper first explores the coexistence of state sovereignty and utopian cosmopolitanism through an analysis of Confucian tradition up to contemporary Chinese nationalism. It insists on the exogenous roots of the cosmopolitan ideal and its relations with the ideal of a harmonious political (...) order and a global peace. Then, it compares the philosophy of ‘all-under-heaven’ in its classical and contemporary forms, with Mencius’ theory of a ‘hegemon’, a theory that still informs the moral language that Chinese intellectuals use to evaluate foreign policy, especially regarding morally-justified warfare. It ends on a reflection on the role that Mencius’s theory of just and unjust war can play in the contemporary Chinese context and to help understanding and defining the stance of China in the international geo-political context. (shrink)

Culture is a demanding word, particularly when it is used in the context of the contemporary academic discipline of international relations . It is often employed in order to distinguish one identity from another, allegedly illuminating idiosyncrasies embedded in a particular society or group of people. The essentialized understanding of culture is also detectable in the case of the current debate on the non-Western international relations theories . Non-Western politicians and scholars often employ the term culture in order to distinguish (...) their values from alleged Western values. However, culture has another important function mainly advanced by a left-wing Kyoto School philosopher Tosaka Jun, that is, culture as a mirror for critical reflection for morality . This article is based on Tosaka's argument that culture has an important function for moral reflection beyond that of a mere means to identify one's distinctiveness from the West, and it criticizes Japan's soft power diplomacy or the total absence of it from that point of view. It also argues that this absence is the result of the soft power discourse's over-simplified interpretation of culture that results in confrontation between the West and the rest, particularly when it is employed in non-Western IRT discourses. Towards the end, I examine Miyazaki Hayao's films, Princes Mononoke in particular, as examples of cultural works facilitating a moment of critical reflection, and I extract embedded messages of relevance to critical reflection on contemporary IR literature, particularly non-Western literature. (shrink)

This work reviews and relates relevant information from the book. A History of the World in Seven Cheap Things: A Guide to Capitalism, Nature, and the Future of the Planet. In this book the authors trace how seven essential ‘things” were made cheap by capitalism, pushing the closer to environmental catastrophe. The seven ‘things’ investigated by Patel and Moore are nature, money, work, care, food, energy and lives. The authors examine the history of each ‘cheap’ thing and way capitalism has (...) rendered it a commodity and then cheap. The authors employ the term ‘cheap not in a colloquial sense, by cheap they argue each of the seven items have been devalued and debased by capitalism in order to be exploited. (shrink)

Demonic composition, demonic refinement and demonic union are alternatives to the usual ‘angelic’ composition, angelic refinement (inclusion) and angelic (usual) union defined on binary relations. We first motivate both the angelic and the demonic via an analysis of the behaviour of non-deterministic programs, with the angelic associated with partial correctness and demonic with total correctness, both cases emerging from a richer algebraic model of non-deterministic programs incorporating both aspects. Zareckiĭ has shown that the isomorphism class of algebras of binary relations (...) under angelic composition and inclusion is finitely axiomatized as the class of ordered semigroups. The proof can be used to establish that the same axiomatization applies to binary relations under demonic composition and refinement, and a further modification of the proof can be used to incorporate a zero element representing the empty relation in the angelic case and the full relation in the demonic case. For the signature of angelic composition and union, it is known that no finite axiomatization exists, and we show the analogous result for demonic composition and demonic union by showing that the same axiomatization holds for both. We show that the isomorphism class of algebras of binary relations with the ‘mixed’ signature of demonic composition and angelic inclusion has no finite axiomatization. As a contrast, we show that the isomorphism class of partial algebras of binary relations with the partial operation of constellation product and inclusion (also a ‘mixed’ signature) is finitely axiomatizable. (shrink)

Confucius is finally rehabilitated. Party dignitaries kneel at his ancestral shrine. The benevolent Confucian is a new image of China for the outside, and for Chinese dealing with the collapse of ideology and the moral fabric of their society. The word tianxia is usually translated “all under Heaven.” It has a complicated history and a complicated contemporary appropriation in a desperate ideology-cum-PR campaign. The tianxia-idea is that China has for millennia been a government of all under heaven. It was such (...) a government in the past, is one today, and offers the whole world its benevolent alternative to liberalism and democracy. More than one contributor to this strong collection of interesting essays suspects that the Confucian revival is an act of desperation. As soft power, Confucianism may be no match for global capitalism. Soft power is not readily synthesized by official campaign. Its genuine source is in everyday life, and the life of ordinary Chinese is without much resonance beyond its borders. The whole world uses Chinese electronics, though almost none but the Chinese read their books, watch their television, or listen to their music. The world’s love affair with China is fixated on the economic numbers and is no less capricious. It has never been clear whether tianxia means a cultural realm without political boundaries, as is urged by modern ideologists, or is just another word for China, which is how modern Chinese dictionaries explain it. On the official account, membership in “all under Heaven” is a matter of shared culture, sustained by affective ties rather than coercion, but it is a culture that values order over freedom, ethics over law, and authority over democracy and human rights. Outsiders worry that tianxia is the cloak of a rising hegemon. However, the important audience for lofty talk of tianxia may be internal. Whether foreigners really trust it may be less urgent than for the Chinese to believe it about themselves. Postsocialist China has no unifying vision and has yet to honestly scrutinize official socialism. The new discourse of tianxia speaks to their need for a vision of their place in the world. The image of a tianxia government of benevolent authority may be more useful for identity within China than for offering the world a viable alternative to democracy and human rights. (shrink)

This paper is a contribution to graded model theory, in the context of mathematical fuzzy logic. We study characterizations of classes of graded structures in terms of the syntactic form of their first-order axiomatization. We focus on classes given by universal and universal-existential sentences. In particular, we prove two amalgamation results using the technique of diagrams in the setting of structures valued on a finite MTL-algebra, from which analogues of the Łoś–Tarski and the Chang–Łoś–Suszko preservation theorems follow.

There exist two known types of ultrafilter extensions of first-order models, both in a certain sense canonical. One of them comes from modal logic and universal algebra, and in fact goes back to Jónsson and Tarski :891–939, 1951; 74:127–162, 1952). Another one The infinity project proceeding, Barcelona, 2012) comes from model theory and algebra of ultrafilters, with ultrafilter extensions of semigroups as its main precursor. By a classical fact of general topology, the space of ultrafilters over a discrete space is (...) its largest compactification. The main result of Saveliev The infinity project proceeding, Barcelona, 2012), which confirms a canonicity of this extension, generalizes this fact to discrete spaces endowed with an arbitrary first-order structure. An analogous result for the former type of ultrafilter extensions was obtained in Saveliev. Results of such kind are referred to as extension theorems. After a brief introduction, we offer a uniform approach to both types of extensions based on the idea to extend the extension procedure itself. We propose a generalization of the standard concept of first-order interpretations in which functional and relational symbols are interpreted rather by ultrafilters over sets of functions and relations than by functions and relations themselves, and define ultrafilter models with an appropriate semantics for them. We provide two specific operations which turn ultrafilter models into ordinary models, establish necessary and sufficient conditions under which the latter are the two canonical ultrafilter extensions of some ordinary models, and obtain a topological characterization of ultrafilter models. We generalize a restricted version of the extension theorem to ultrafilter models. To formulate the full version, we propose a wider concept of ultrafilter models with their semantics based on limits of ultrafilters, and show that the former concept can be identified, in a certain way, with a particular case of the latter; moreover, the new concept absorbs the ordinary concept of models. We provide two more specific operations which turn ultrafilter models in the narrow sense into ones in the wide sense, and establish necessary and sufficient conditions under which ultrafilter models in the wide sense are the images of ones in the narrow sense under these operations, and also are two canonical ultrafilter extensions of some ordinary models. Finally, we establish three full versions of the extension theorem for ultrafilter models in the wide sense. The results of the first three sections of this paper were partially announced in Poliakov and Saveliev On two concepts of ultrafilter extensions of first-order models and their generalizations, Springer, Berlin, 2017). (shrink)

We give a construction assigning classes of Boolean algebras to first-order theories; several classes of Boolean algebras considered previously in the literature can be thus obtained. In particular it turns out that the class of semigroup algebras can be defined in this way, in fact by a Horn theory, and it is the largest class of Boolean algebras defined by a Horn theory.

The Ecclesiastical History of Orderic Vitalis has been called `the greatest of all medieval chronicles'. Written in Normandy between 1114 and 1141, it is a detailed history of the Norman people and their conquests, full of vivid, often penetrating portraits of the lives and characters of kings and queens, lords and bishops, simple knights, and humble villagers. The chronicle gives a unique, authentic picture of feudal society during a period of rapid change in church and state which saw the emergence (...) of the Anglo-Norman realm, the spread of new forms of monasticism, and the launching of the Crusades. Published in 1968, volume II of Marjorie Chibnall's six-volume edition of the Ecclesiastical History is now available for the first time in paperback. `a superbly edited Latin text and a unique English translation of the work of a major historian' American Historical Review `Mrs Chibnall is giving us... her edition of a classical medieval text which will itself become a classic of medieval scholarship.' Times Literary Supplement. (shrink)

Betrifft die Handschrift Cod. 555 der Burgerbibliothek Bern.

Edited with a facing-page English translation from the Latin text by: Chibnall, Marjorie.