We construct a Hilbert style system RPL for the notion of plausibility measure introduced by Halpern J, and we prove the soundness and completeness with respect to a neighborhood style semantics. Using the language of RPL, we demonstrate that it can define well-studied notions of necessity, conditionals and propositional identity.

This book explores the unique experiences of a sister school network in Canada and China contextualized through the lens of the Reciprocal Learning Project, which supports the relationship between a school network and teacher education exchange program of two countries. Huang uses theoretical viewpoints from teacher learning and comparative education research to analyse and interpret what has happened in the emerging cross-cultural school network. The book juxtaposes teacher learning and comparative education research from Shanghai and Ontario as teachers in the (...) two places interact and provides detailed descriptions of teacher collaboration to show how these collaborations were initiated, developed, and sustained, as well as the impact brought about from these collaborations. The book offers a unique opportunity to examine how Canadian and Chinese teachers receive and react to opportunities of cross-cultural collaboration and learning. (shrink)

The conventional community sports facility allocation methods have high minimum costs, and a new community sports facility allocation performance optimization method is designed based on a linear programming model in order to reduce the performance capital investment. The standardized community sports facility allocation performance objective function is established, and a pairwise model is built to divide the feasible and optimal solutions, and the feasible solutions and their constraints are found out. Establish a community sports facility configuration performance optimization model, delineate (...) the boundaries of the optimal solution by bifurcation, and set the feasible domain of the performance optimization model. The performance optimization algorithm is designed to improve the speed of community sports facility allocation performance optimization. In the experiment, the method is compared with data-driven method, digital management method, and evolutionary game algorithm, which requires less capital investment in spring, autumn, and winter than digital management method and evolutionary game algorithm, and the minimum capital investment in summer is less than the other three methods. From the above experimental data, it is clear that the performance optimization method has the smallest minimum capital investment and achieves the purpose of reducing the input cost. (shrink)

After the end of World War II, East Asia gradually formed what can be referred to as a quasi-anarchical regional order. The quasi-anarchy system is defined by the anarchy system associated with a sub-hierarchical system, so this system possesses the characteristics of both anarchy and hierarchy in terms of security relations among states. The states in a quasi-anarchical order can be differentiated into three types according to the method through which they seek security. They comprise that of self-help states, the (...) state that provides security guarantees to client states (security guarantor), and states that receive security protection from the security guarantor (client states) within the quasi-anarchy. The standard security relationship between states consists of two types: the first is a competitive security relationship; the second is a security-dependent relationship. The quasi-anarchical order in East Asia has restricted the continuance and positive effect of a rising China's reassurance policy through three mechanisms: dependence, reliance on support, and imitation. (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)

Judgment aggregation studies how to aggregate individual judgments on logically correlated propositions into collective judgments. Different logics can be used in judgment aggregation, for which Dietrich and Mongin have proposed a generalized model based on general logics. Despite its generality, however, all nonmonotonic logics are excluded from this model. This paper argues for using nonmonotonic logic in judgment aggregation. Then it generalizes Dietrich and Mongin’s model to incorporate a large class of nonmonotonic logics. This generalization broadens the theoretical boundaries of (...) judgment aggregation by proving that, even if these nonmonotonic logics are employed, certain typical impossibility results still hold. (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)

Motivated by supplying a new strategy for connexive logic and a better semantics for conditionals so that negating a conditional amounts to negating its consequent under the condition, we propose a new semantics for connexive conditional logic, by combining Kleene’s three-valued logic and a slight modification of Stalnaker’s semantics for conditionals. In the new semantics, selection functions for selecting closest worlds for evaluating conditionals can be undefined. Truth and falsity conditions for conditionals are then supplemented with a precondition that the (...) selection function is defined. Based on the new semantics, we define six conditional logics by different classes of models, using two notions of validity, one preserving truth and the other preserving tolerant truth. We prove soundness and completeness of these logics and compare them with some conditional logics in the literature. Our partial function plus precondition strategy may be used in other semantic frameworks to generate more connexive logics. (shrink)

We construct a a system PLRI which is the classical propositional logic supplied with a ternary construction , interpreted as the intensional identity of statements and in the context . PLRI is a refinement of Roman Suszko’s sentential calculus with identity (SCI) whose identity connective is a binary one. We provide a Hilbert-style axiomatization of this logic and prove its soundness and completeness with respect to some algebraic models. We also show that PLRI can be used to give a partial (...) solution to the paradox of analysis. (shrink)

In modal logic, semantic consequence is usually defined locally by truth preservation at all worlds in all models. It can also be defined globally by truth preservation in all models. The latter is called global consequence, which is much less studied than the standard local one. In this paper we first study the relationship between local and global consequence. Then we give some correspondence results for global consequence. Finally, we illustrate two applications of global consequence, connecting it with informational consequence (...) and update consequence proposed in formal semantics. Some results in the paper are already known, which are collected in the paper for the sake of completeness. The others appear to be new. We suggest that global consequence is not only interesting theoretically, but also useful for applications. (shrink)

Most nonmonotonic logics are assumed to be cumulative, which is often regarded as the minimum requirement for a logic. We argue that cumulativity, in particular, cumulative transitivity can be abandoned, in order to better characterize reasoning in uncertainty. But giving up cumulative transitivity makes it hard to obtain representation results for these logics. Borrowing the idea from strict-tolerant logics, we give some representation results for nonmonotonic logics that are not cumulatively transitive.

We associate the semantic game with chance moves conceived by Blinov with Blamey’s partial logic. We give some equivalent alternatives to the semantic game, some of which are with a third player, borrowing the idea of introducing the pseudo-player called Nature in game theory. We observe that IF propositional logic proposed by Sandu and Pietarinen can be equivalently translated to partial logic, which implies that imperfect information may not be necessary for IF propositional logic. We also indicate that some independent (...) quantifiers can be regarded as dependent quantifiers of indeterminate sequence, using the interjunction connective in partial logic. We conclude our paper by indicating some further research in a more general setting. (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)

First we show that the classical two-player semantic game actually corresponds to a three-valued logic. Then we generalize this result and give an n-player semantic game for an n + 1-valued logic with n binary connectives, each associated with a player. We prove that player i has a winning strategy in game G if and only if the truth value of φ is $t_i $ in the model M, for 1 ≤ i ≤ n; and none of the players has (...) a winning strategy in G if and only if the truth value of φ is $t_o $ in M. (shrink)

Constant conjunction theory of causation had been the dominant theory in philosophy for a long time and regained attention recently. This paper gives a logical framework of causation based on the theory. The basic idea is that causal statements are empirical, and are derived from our past experience by observing constant conjunction between objects. The logic is defined on linear time structures. A causal statement is evaluated at time points, such that its value depends on what has been in the (...) past. We first give a semantics that contains basic conditions that, we think, must hold for a concept of causation, on which we define the minimal causal logic. Then we discuss its possible extensions for various concepts of causation. Complete deductive systems are given. (shrink)

We generalize Ripley’s results on the transitivity of consequence relation, without assuming a logic to be monotonic. Following Gabbay, we assume nonmonotonic consequence relation to be inclusive and cautious monotonic, and figure out the implications between different forms of transitivity of logical consequence. Weaker frameworks without inclusiveness or cautious monotonicity are also discussed. The paper may provide basis for the study of both non-transitive logics and nonmonotonic ones.

We construct a Hilbert style system RPL for the notion of plausibility measure introduced by Halpern J, and we prove the soundness and completeness with respect to a neighborhood style semantics. Using the language of RPL, we demonstrate that it can define well-studied notions of necessity, conditionals and propositional identity.

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)

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.

Heterogeneous institutional investors' shareholding preferences have been driven to change by the deepening of ESG investment philosophy. Therefore, we examine the impact of corporate ESG performance on institutional investors' shareholding preferences and its mechanism of action. We conduct mixed OLS and mediation effect tests using data on ESG responsibility scores and institutional investors' shareholding ratios of A-share listed companies in China from 2010 to 2020 as samples. We find that corporate ESG performance can significantly and robustly increase institutional investors' shareholdings; (...) the mediation effect analysis shows that overall corporate ESG performance contributes to increases in corporate book and market values, thus encouraging institutional investors to increase their shareholdings. The heterogeneity analysis shows that independent institutional investors attach more importance to corporate ESG responsibility performance, and long-term institutional investors attach more importance to corporate environmental performance; moreover, institutional investors have more significant ESG shareholding preferences for Chinese SOEs. Our study can strengthen the encouragement of institutional investors to integrate ESG investment concepts from multiple perspectives, such as research and analysis, portfolio management, risk control, and due diligence management, to design and develop targeted ESG investment tools, give full play to the role of shareholders and guide the sound development of listed companies from the perspective of investment strategy objectives. (shrink)

This study examines the influence of Confucianism on corporate poverty alleviation (PA) participation. We argue that firms in regions with more Confucian temples are more likely to participate in government-initiated PA programs because Confucianism emphasizes common social welfare. This positive relationship is stronger for firms with chief executive officers born in Confucian regions and for firms that are under high media pressure, as the trade-off between social welfare and firm interest is in favor of Confucianism. Using a sample of Chinese-listed (...) firms, we find evidence supporting our arguments. Moreover, we find consistent evidence that firms influenced by Confucianism are motivated to pay long-term attention to PA activities and improve corporate PA efficiency, highlighting the substantive role of Confucianism in a PA campaign. Our study contributes to the business ethics literature by introducing Confucianism into research on corporate social activities and provides practical implications. (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.

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)

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)

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)

Patrick Manson, the so-called father of tropical medicine, played a pivotal role in making that discipline into a specialty. During his early career in China he discovered that the mosquito was the intermediate host of the filarial parasite and he somewhat peculiarly called the mosquito the " nurse " of the filarial worm. The discovery contributed greatly to the intellectual foundation of modern parasitology. In this paper I situate Manson's nomenclature in the context of nineteenth-century biological research on reproductive mechanisms (...) and argue that Manson's concept of the " nurse " was derived from nineteenth-century theories of sexual division of labor in nature's economy. The way he framed the relation between the mosquito and the parasite, moreover, can be understood in the terms of the domestic arrangement of the colonial European household. Manson's research demonstrates the significant exchange between medical concerns over European women's procreative role in the tropics and biological studies of parasitic reproduction. (shrink)