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)

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)

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)

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)

The renormalization group has been characterized as merely a coarse-graining procedure that does not illuminate the microscopic content of quantum field theory, but merely gets us from that content, as given by axiomatic QFT, to macroscopic predictions. I argue that in the constructive field theory tradition, RG techniques do illuminate the microscopic dynamics of a QFT, which are not automatically given by axiomatic QFT. RG techniques in constructive field theory are also rigorous, so one cannot object to their foundational import (...) on grounds of lack of rigor. (shrink)

This study examines the representations of human gene patents in Chinese newspapers. We conducted a qualitative content analysis of news articles published between 2006 and 2017 to identify the major themes in media coverage, ethical considerations, perceptions of risks and benefits, and attitudes towards the patentability of human genes. The results show that two key ethical concerns were expressed by journalists: that it is morally wrong to own or patent human genes and that gene patents could potentially impede patients’ access (...) to healthcare services. Nonetheless, the press coverage has tended to be largely favorable, rather than opposed to human gene patenting. There were no normative claims that human genes should not be patentable in China, which indicates a generally positive attitude towards patentability in media discourse. Most articles that expressed criticism toward gene patenting discussed challenges in other countries, with significant attention given to the United States Supreme Court’s ruling in the Myriad case that invalidated Myriad Genetics’ patents on the BRCA1 and BRCA2 genes. Overall, the newspapers were uncritical of the Chinese gene patenting regime. News reporting on the issue was highly suggestive of a strong pro-commercialization stance, although some discussions emphasized potential risks over benefits. Our analysis highlights the need for balanced media reporting on human gene patents in China and a top-down approach to engage the public in substantive discussions on the ethical and societal implications of the existing patent regime. (shrink)