The continuous increase of carbon emissions is a serious challenge all over the world, and many countries are striving to solve this problem. Since 2020, a widespread lockdown in the country to prevent the spread of COVID-19 escalated, severely restricting the movement of people and unnecessary economic activities, which unexpectedly reduced carbon emissions. This paper aims to analyze the carbon emissions data of 30 provinces in the 2020 and provide references for reducing emissions with epidemic lockdown measures. Based on the (...) method of time series visualization, we transform the time series data into complex networks to find out the hidden information in these data. We found that the lockdown would bring about a short-term decrease in carbon emissions, and most provinces have a short time point of impact, which is closely related to the level of economic development and industrial structure. The current results provide some insights into the evolution of carbon emissions under COVID-19 blockade measures and valuable insights into energy conservation and response to the energy crisis in the post-epidemic era. (shrink)

The resource-based model of self-regulation provides a pessimistic view of self-regulation that people are destined to lose their self-control after having engaged in any act of self-regulation because these acts deplete the limited resource that people need for successful self-regulation. The cognitive control theory, however, offers an alternative explanation and suggests that the depletion effect reflects switch costs between different cognitive control processes recruited to deal with demanding tasks. This account implies that the depletion effect will not occur once people (...) have had the opportunity to adapt to the self-regulatory task initially engaged in. Consistent with this idea, the present study showed that engaging in a demanding task led to performance deficits on a subsequent self-regulatory task only when the initial demanding task was relatively short but not when it was long enough for participants to adapt. Our results were unrelated to self-efficacy, mood, and motivation. (shrink)

Lawami' al-Nazar fi Tahqiq Ma'ani al-Mukhtasar is Aḥmad b. Ya'qub al-Wallali's (d. 1128/1716) commentary on al-Sanusi's (d. 895/1490) compendium of logic, al-Mukhtasar. Al-Wallali was the first commentator on al-Sanusi's compendium after the author's autocommentary. In this publication, Ibrahim Safri offers a critical edition of this work, together with a study of the author's life and oeuvre. Safri also tries to show the indirect influence of Avicennism on logic in the Maghribi tradition in the seventeenth and eighteenth centuries. On the basis (...) of his writings on logic and philosophical theology, al-Wallali was considered a master of rational sciences by his contemporaries. (shrink)

The Gödel–Artemov framework offered a formalization of the Brouwer–Heyting–Kolmogorov semantics of intuitionistic logic via classical proofs. In this framework, the intuitionistic propositional logic IPC is embedded in the modal logic S4, S4 is realized in the Logic of Proofs LP, and LP has a provability interpretation in Peano Arithmetic. Self-referential LP-formulas of the type ‘t is a proof of a formula ϕ containing t itself’ are permitted in the realization of S4 in LP, and if such formulas are indeed involved, (...) it is then necessary to use fixed-point arithmetical methods to explain intuitionistic logic via provability. The natural question of whether self-referentiality can be avoided in realization of S4 was answered negatively by Kuznets who provided an S4-theorem that cannot be realized without using directly self-referential LP-formulas. This paper studies the question of whether IPC can be embedded in S4 and then realized in LP without using self-referential formulas. We consider a general class of Gödel-style modal embeddings of IPC in S4 and by extending Kuznetsʼ method, show that there are IPC-theorems such that, under each such embedding, are mapped to S4-theorems that cannot be realized in LP without using directly self-referential formulas. Interestingly, all double-negations of tautologies that are not IPC-theorems, like ¬¬, are shown to require direct self-referentiality. Another example is found in IPC→, the purely implicational fragment of IPC. This suggests that the BHK semantics of intuitionistic logic is intrinsically self-referential. (shrink)

Mathematical logic is a branch of mathematics that takes axiom systems and mathematical proofs as its objects of study. This book shows how it can also provide a foundation for the development of information science and technology. The first five chapters systematically present the core topics of classical mathematical logic, including the syntax and models of first-order languages, formal inference systems, computability and representability, and Gödel’s theorems. The last five chapters present extensions and developments of classical mathematical logic, particularly the (...) concepts of version sequences of formal theories and their limits, the system of revision calculus, proschemes (formal descriptions of proof methods and strategies) and their properties, and the theory of inductive inference. All of these themes contribute to a formal theory of axiomatization and its application to the process of developing information technology and scientific theories. The book also describes the paradigm of three kinds of language environments for theories and it presents the basic properties required of a meta-language environment. Finally, the book brings these themes together by describing a workflow for scientific research in the information era in which formal methods, interactive software and human invention are all used to their advantage. The second edition of the book includes major revisions on the proof of the completeness theorem of the Gentzen system and new contents on the logic of scientific discovery, R-calculus without cut, and the operational semantics of program debugging. This book represents a valuable reference for graduate and undergraduate students and researchers in mathematics, information science and technology, and other relevant areas of natural sciences. Its first five chapters serve as an undergraduate text in mathematical logic and the last five chapters are addressed to graduate students in relevant disciplines. (shrink)

Since Chinese scholars are playing an increasingly important role in shaping the national landscape of discussion on AI ethics, understanding their ethical concerns and preferred solutions is essential for global cooperation on governance of AI. This article, therefore, provides the first elaborated analysis on the discourse on AI ethics in Chinese academia, via a systematic literature review. This article has three main objectives. to identify the most discussed ethical issues of AI in Chinese academia and those being left out ; (...) to analyze the solutions proposed and preferred by Chinese scholars ; and to map out whose voices are dominating and whose are in the marginal. Findings suggest that in terms of short-term implications, Chinese scholars’ concerns over AI resemble predominantly the content of international ethical guidelines. Yet in terms of long-term implications, there are some significant differences needed to be further addressed in a cultural context. Further, among a wide range of solution proposals, Chinese scholars seem to prefer strong-binding regulations to those weak ethical guidelines. In addition, this article also found that the Chinese academic discourse was dominated by male scholars and those who are from elite universities, which arguably is not a unique phenomenon in China. (shrink)

China is actively deepening integration into economic cooperation in the Asia-Pacific region. The Regional Comprehensive Economic Partnership Agreement has come into force and China is one of its members. Furthermore, China is applying to join the Comprehensive and Progressive Agreement for Trans-Pacific Partnership. This study uses the Global Trade Analysis Project model to measure the impact of the RCEP and CPTPP on Gross Domestic Production, import, export, terms of trade, and social welfare of major economies under various scenarios, as well (...) as the competitive effects and complementarity of the RCEP and CPTPP. We found that the CPTPP with China’s accession and the RCEP will complement and strengthen each other and that the members of the two agreements can obtain substantial benefits. If China and the United States join the CPTPP, China’s import growth rate will be higher than its exports. This would transmit growth to other nations and help bridge the trade gap between China and the United States. (shrink)

This Handbook is guided by the founding father of Cognitive Semantics, Leonard Talmy, and edited by Fuyin Thomas Li, Founding Editor of the journal Cognitive Semantics. It includes numerous contributions from some of the field's most well-regarded researchers and it aims to provide the most comprehensive coverage of the field to date. Beginning with an encompassive taxonomy of the field, it addresses such essential theories as frame semantics, embodied semantics, simulation semantics, and a natural semantic metalanguage; such basic concepts as (...) Figure/Ground semantics, event structure, and open/closed-class conceptualizations; and such specific semantic phenomena as possession, degree, and ideophonicity. It further provides guidelines to data collection, quantitative methods, and person-oriented methodologies. Last but not least, it contains the latest frontier: Targeting in Language. (shrink)

At two fronts I defend my 1994 article. I argue that differences between Confucian jen ethics and feminist care ethics do not preclude their shared commonalities in comparison with Kantian, utilitarian, and contractarian ethics, and that Confucians do care. I also argue that Confucianism is capable of changing its rules to reflect its renewed understanding of jen, that care ethics is feminist, and that similarities between Confucian and care ethics have significant implications.

: At two fronts I defend my 1994 article. I argue that differences between Confucian jen ethics and feminist care ethics do not preclude their shared commonalities in comparison with Kantian, utilitarian, and contractarian ethics, and that Confucians do care. I also argue that Confucianism is capable of changing its rules to reflect its renewed understanding of jen, that care ethics is feminist, and that similarities between Confucian and care ethics have significant implications.

A major controversy in the study of the "Analects" has been over the relation between two central concepts, ren (humanity, human excellence) and li (rites, rituals of propriety). Confucius seems to have said inconsistent things about this relation. Some passages appear to suggest that ren is more fundamental than li, while others seem to imply the contrary. It is therefore not surprising that there have been different interpretations and characterizations of this relation. Using the analogy of language grammar and mastery (...) of a language, it is proposed here that we should understand li as a cultural grammar and ren as the mastery of a culture. In this account, society cultivates its members through li toward the goal of ren, and persons of ren manifest their human excellence through their practice of li. (shrink)

Emotion plays an essential role in the perception of time such that time is perceived to “fly” when events are enjoyable, while unenjoyable moments are perceived to “drag.” Previous studies have reported a time-drag effect when participants are presented with emotional facial expressions, regardless of the emotion presented. This effect can hardly be explained by induced emotion given the heterogeneous nature of emotional expressions. We conducted two experiments ( n = 44 and n = 39) to examine the cognitive mechanism (...) underlying this effect by presenting dynamic sequences of emotional expressions to participants. Each sequence started with a particular expression, then morphed to another. The presentation of dynamic facial expressions allows a comparison between the time-drag effect of homogeneous pairs of emotional expressions sharing similar valence and arousal to heterogeneous pairs. Sequences of seven durations (400, 600, 800, 1000, 1200, 1400, 1600 ms) were presented to participants, who were asked to judge whether the sequences were closer to 400 or 1600 ms in a two-alternative forced choice task. The data were then collated according to conditions and fit into cumulative Gaussian curves to estimate the point of subjective equivalence indicating the perceived duration of 1000 ms. Consistent with previous reports, a feeling of “time dragging” is induced regardless of the sequence presented, such that 1000 ms is perceived to be longer than 1000 ms. In addition, dynamic facial expressions exert a greater effect on perceived time drag than static expressions. The effect is most prominent when the dynamics involve an angry face or a change in valence. The significance of this sensitivity is discussed in terms of emotion perception and its evolutionary significance for our attention mechanism. (shrink)

In the team context, leaders usually develop differentiated leader-member exchange relationships with employees, resulting in some employees having relatively inferior relationships with the leader than others. Nevertheless, how and when employees with low relative leader-member exchange (RLMX) relationships react toward the leader have been rarely considered in empirical research. Drawing upon social comparison theory, we develop a cross-level moderated mediation model to examine how and when RLMX may lead to employee’s unethical pro-leader behavior (UPLB). We propose that employees with low (...) RLMX would feel envy which in turn motivates them to engage in UPLB in order to gain the rewards and resources that are distributed by the leader. Further, we argue that envy is less likely to motivate low RLMX employees to engage in UPLB when distributive justice climate is high, because high distributive justice indicates that rewards and resources are distributed fairly (based on work contribution rather than engaging in unethical behaviors that please the leader). Data were obtained from 504 employees in 102 divisional teams in a large retail corporation at three time points. Results of the multilevel moderated mediation analysis show that envy mediates the effect of RLMX on UPLB and that the indirect relationship is moderated by team-level distributive justice climate. These findings suggest the importance of adopting a social comparison perspective to understand the negative consequences of RLMX via emotional mechanisms. (shrink)

From a largely Western phenomenon, the “animal turn” has, in recent years, gone global. Animals and Human Society in Asia: Historical, Cultural and Ethical Perspectives is just such a timely product that testifies to this trend.But why Asia? The editors, in their very helpful overview essay, have from the outset justified the volume's focus on Asia and ensured that this is not simply a matter of lacuna filling. The reasons they set out include: the fact that Asia is the cradle (...) of early human settlement and animal domestication; Asia encompasses an extreme diversity of closely connected ecosystems and human cultures; Asia is the place where the world's major religions originated; and, as in other parts of the world, Asia's use of animals for food and other utilitarian purposes constitutes a prominent feature of its culture. All of these factors, they argue, made Asia a unique lab for the exploration of major developments in human civilization and the complexities of human-animal interactions.Based on these premises, the book is divided into four parts, each concentrating on areas that the editors consider to have paramount significance in world history: Part I, “Hunting and Domestication”; Part II “Animals as Food”; Part III “Animals at War”; and Part IV “Animals in Culture and Religion.” As many good works on animal studies do, the volume adopts a truly cross-disciplinary approach, uniting scholars from disciplines as diverse as archaeology, history, anthropology, art, religion, literature, and cultural studies. It too takes an interregional approach and covers a vast geographical area, stretching from the western edge of Asia in the Levant to Central Asia, where once roamed the horses of the nomadic pastoral tribes, to the other end of Asia, including India, China, and Japan. Temporally impressive as well, the work takes us from the deep history of the Paleolithic period up to the contemporary world, exploring the diverse roles that a wide range of animals—horses, donkeys, camels, elephants, tigers, and so forth—have played in Asia's rich and unique past and present.Strong in archaeology, Part I, “Hunting and Domestication,” responds to the much-called for “deep” or “coevolutionary” history of human-animal relations in recent years. The three chapters discuss, respectively, the roles that proboscideans have played in the diet and culture of early societies in Paleolithic China and beyond; the ways in which animals of all sizes have been increasingly integrated into the diet, daily uses, trade, and warfare in Holocene Negev; and the diversifying roles played by donkeys in the early Bronze Age in Southern Levant as a food source, a means of transport and in ritual sacrifices. Together, they demonstrate, with reference to telling archaeological evidence how the early societies in this region have been highly dependent upon the increasingly sophisticated interactions with and uses of mega-herbivores in the protracted and by no means clear-cut transition from hunting and herding towards the agricultural way of life, affirming the co-existing and co-constituting relations between humans and other animals in the deep past of Asia.The chapters in the section on “Animals at War” equally reveal the crucial roles that animals have played in the military sphere, as either a practical war technology or a show of military power. “Elephants in Mongol History” revisits the thesis of elephant-mounted troops in South and Southeast Asia as a barrier to Mongol expansion. Through its lively account of the pivotal battles in Mongolian history, especially that against India and China, it illustrates with great success the complex interactions between animals (especially elephants, horses, and humans), technology, and the geographical environment, which jointly exercised their influence on the outcome of warfare and degree of success of political rule. Turning away from the dynamic of warfare, the following two chapters explore the biopolitical question of the management of the horse as a bio-resource in the Mamluk Sultanate of Egypt and Syria (1250–1517) and early Ming Dynasty China, respectively. The first one places its focus on the breeding, procurement, and feeding of the horse subjects in question, while the latter concentrates on the human organization of various resources for the upkeep of government horses—a conventional area of study called “horse administration” in the institutional history of the government in China.The last section, “Animals in Culture and Religion,” examines the changing images of apex predators, such as lions and tigers, in Buddhist perceptions from South Asia to East Asia; the cult of the Horse King in late Imperial China; and the significance of animal signs in Mongolian historiography. They represent an established approach in animal studies that seeks to understand different aspects of human culture through symbolic or metaphorical animals. Instead of treating the animals discussed as mere abstractions, which has been a frequent criticism of works that adopt this approach, the relations between the symbolic animals and their prototype in the natural world were attentively explored. The essay on the cult of the Horse King, for example, closely links the wax and wane of the cult since late imperial China with the changing use and subsequent disuse of the actual horses in agriculture, transportation, commerce, and quotidian life. Yet, classic as these essays on symbolic animals are, one does feel slightly unsatiated when coming to the end of this section, which also marks the end of this volume. Having been reminded early in the introductory essay that Asia was “a major site for the emergence of moral teachings and ethical guidance on the treatment of animals” and how this legacy “still affects the lives of billions of humans to this very day,” one feels naturally rather let down that no article in this volume directly addresses this vital ethical dimension, especially since it belongs to a series on “animal ethics.”Indeed, regarding the task of placing either the nonhuman animals or the ethical relations between humans and other animals center stage, the essays in this volume achieve only varying levels of success. Some authors exhibit a more acute awareness of what “animal studies” or “animal ethics” might entail epistemically and methodically and experiment by paying closer attention to the species-specific characteristics, experience, and agency of nonhuman animals in order to cast off the deified anthropocentrism previously ruled in humanist scholarship. However, others have made no such attempt. For example, in Part II of “Animals as Food,” an essay on the production and consumption of milk in contemporary China, albeit alert to the issue of health hazards to consumers, omits any consideration of the subject from the dairy cows’ perspective under the modern intensive farming system. Moreover, otherwise superb research on the tuna-fishing industry in Japan, with its insightful discussion of the nexus between knowledge economies and imperial politics, too passes over any discussion of the fate of the tuna, whether collectively as a group of living organisms containing 15 species or individually as animals with an embodied experience. One does ponder whether these essays would fit better in a volume on the cultural history of food or on the entwining history of knowledge production, economics, and politics, which conventionally position human interests at the center of research.Taken as a whole, this is an impressive volume that directs our attention to the hitherto understudied world of Asia in animal studies. The long durée, with its interdisciplinary and interregional approach, also most powerfully presents a past in Asia that could not have been the same without the participation of animals at every level, from everyday life to the shaping of cultural values, the construction of belief systems, the building of a national identity, and even the rise and fall of regimes. Scholars and students interested in expanding the frontier of our understanding of the world with a more inclusive “we” should find a wealth of interesting subjects on which to build further research. Finally, the volume also presents a fitting occasion for all scholars committed to animal studies to consider the grave challenge confronting the field that arose alongside its growing respectability and rapid expansion: Should it be oriented toward the destabilization of our previously anthropocentric conception of the world? Or should no such perimeter be imposed, as in this volume? The overall breadth and limitations of this volume leave one pondering this issue. (shrink)

In this paper, we prove that there exist computably enumerable degrees a and b such that $\mathbf{a} > \mathbf{b}$ and for any degree x, if x ≤ a and x is a minimal degree, then $\mathbf{x}.

I argue that the personhood of a fetus is analogous to the the heap. If this is correct, then the moral status or intrinsic value of a fetus would be supervenient upon the fetus's biological development. Yet to compare its claim vis-a-vis its mother's, we need to consider not only their moral status, but also the type of claim they each have. Thus we have to give weight to the two factors or variables of the mother's moral status and her (...) claim to some lesser good . And then we have to consider the fetus's lesser moral status and its claim to some greater good, namely, life. I argue that we do not know how to compare these two-variable claims. This also explains why the central cases of abortion have been so difficult to resolve. I suggest that the problem of animal rights has a similar structure. (shrink)

Laws in China relating to HIV disclosure are inconsistent. After a patient has tested HIV-positive, service providers struggle to dec.

Laws in China relating to HIV disclosure are inconsistent. After a patient has tested HIV‐positive, service providers struggle to decide who should be informed first: patients, family members, or both. To understand service providers' attitudes and practices regarding the HIV notification process in China, 1101 service providers from a southwestern province of China were surveyed. Opinions were gathered from providers at five different levels of health care facilities (provincial, city, county, township and village). A mixed methods approach was used to (...) analyze perceptions of informing family members of a patient's HIV status. Quantitative analysis was used to examine whether providers held a favorable attitude toward notifying family members first and qualitative analysis was used to explore the reasons and consequences of notifying family members first. Nearly half of service providers felt family members should be informed of a patient's HIV status first. Providers who were older, had contact with HIV patients, or had less medical education were more likely to agree with a family‐first notification practice. Psychological pressure, concern about protecting family members, the need for family support, and consideration for local regulations were cited as the main reasons for this practice. There is an immediate need to re‐examine HIV notification policies so that there are consistent guidelines and procedures for providers throughout China. (shrink)

This paper explores a new language of neighbourhood structures where existential information can be given about what kind of worlds occur in a neighbourhood of a current world. The resulting system of ‘instantial neighbourhood logic’ INL has a nontrivial mix of features from relational semantics and from neighbourhood semantics. We explore some basic model-theoretic behavior, including a matching notion of bisimulation, and give a complete axiom system for which we prove completeness by a new normal form technique. In addition, we (...) relate INL to other modal logics by means of translations, and determine its precise SAT complexity. Finally, we discuss proof-theoretic fine-structure of INL in terms of semantic tableaux and some expressive fine-structure in terms of fragments, while discussing concrete illustrations of the instantial neighborhood language in topological spaces, in games with powers for players construed in a new way, as well as in dynamic logics of acquiring or deleting evidence. We conclude with some coalgebraic perspectives on what is achieved in this paper. Many of these final themes suggest follow-up work of independent interest. (shrink)

Research has independently highlighted the roles of semantic memory and associative abilities in creative thinking. However, it remains unclear how these two capacities relate to each other, nor ho...

According to Zhiyi 智顗 (538–597), the founder of the Chinese Buddhist Tiantai school 天臺宗, “one object is all objects;” hence, all objects are profoundly interconnected. In this paper, I critically examine Zhiyi’s metaphysics of objects as presented in the historical Tiantai texts and subsequently develop a contemporary and accessible thesis of interconnectedness by integrating Zhiyi’s views with resources from contemporary analytic philosophy, particularly relative identity. By drawing on Zhiyi’s insights and incorporating contemporary philosophical ideas, I also illustrate how historical Chinese (...) Buddhism and contemporary analytic metaphysics can be mutually informing. (shrink)

Nurses are experiencing new ethical issues as a result of global developments and changes in health care. With health care becoming increasingly sophisticated, and countries facing challenges of graying population, ethical issues involved in health care are bound to expand in quantity and in depth. Blended learning rather as a combination of multiple delivery media designed to promote meaningful learning. Specifically, this study was focused on two questions: (1) the students’ satisfaction and attitudes as members of a scenario-based learning process (...) in a blended learning environment; (2) the relationship between students’ satisfaction ratings of nursing ethics course and their attitudes in the blended learning environment. In total, 99 senior undergraduate nursing students currently studying at a public nursing college in Taiwan were invited to participate in this study. A cross-sectional survey design was adopted in this study. The participants were asked to fill out two Likert-scale questionnaire surveys: CAAS (Case Analysis Attitude Scale), and BLSS (Blended Learning Satisfaction Scale). The results showed what students felt about their blended learning experiences — mostly items ranged from 3.27—3.76 (the highest score is 5). Another self-assessment of scenario analysis instrument revealed the mean scores ranged from 2.87—4.19. Nearly 57.8% of the participants rated the course ‘extremely helpful’ or ‘very helpful.’ This study showed statistically significant correlations (r = 0.43) between students’ satisfaction with blended learning and case analysis attitudes. In addition, results testified to a potential of the blended learning model proposed in this study to bridge the gap between students and instructors and the one between students and their peers, which are typical of blended learning, and to create meaningful learning by employing blended pedagogical consideration in the course design. The use of scenario instruction enables students to develop critical analysis and problem solving skills through active learning and social exchange of ideas. (shrink)

Abusive supervision, defined as subordinates’ perception of the extent to which supervisors engage in the sustained display of hostile verbal and non-verbal behaviors, excluding physical contact, is associated with various negative outcomes. This has made it easy for researchers to overlook the possibility that some supervisors regret their bad behavior and express remorse for their actions. Hence, we know little about how subordinates react to the perception that their supervisor is remorseful and how this perception affects the outcomes of supervisors’ (...) undesired behavior. Specifically, drawing on the social exchange theory and displace revenge literature, this study explains how abusive supervision leads to victims’ service sabotage behavior. In addition, this study also investigates how perceived supervisors’ remorse mitigates the adverse effects of abusive supervision. Based on time-lagged, dyadic data from Chinese individuals, this study found support for all the proposed relationships, i.e., abusive supervision leads to service sabotage through the mediating effect of revenge desire. The findings also conclude that PSR lessens the detrimental effects of abusive supervision on victims’ behavior with their customers. Finally, this research contributes to service sabotage literature by highlighting the possibility where abusive supervisors cause service sabotage behavior among victims. This study also shows the importance of PSR’s role in decreasing service sabotage behavior exhibited by victims of abusive supervisors in the service sector. (shrink)