本书试图论证: 法治、自由、民主、人权等价值是植根于西方社会历史和文化土壤的西方文化价值, 并至少并不完全适合于中国文化的习性. 未来中国现代性的发展可能在一定程度上与这些价值相融, 甚至在一定程度上需要吸收或发展它们, 但是它们决不能构成未来中国现代性的核心价值.--.

The Chinese character, he (和), “harmony,” occurs more than 100 times in the Liji (禮記; the Book of Rites). This accounts for over one‐third of the term's total number of occurrences in the 13 pre‐Qin Confucian classics. In this study, we engage with existing scholarship on the concept of “harmony” in Chinese culture and contribute to the discussion by analyzing the variety of senses that “harmony” has in the pre‐Qin Confucian classics, especially the Liji. We find that usages of the (...) term “he” (“harmony”) in the Liji fall into six categories, namely, self, external things, music, human relations, politics, and the universe. We hold that the ways in which harmony features in the Liji and other Confucian classics can help us understand the Chinese cultural presupposition that there exists “only one world,” meaning that this world encompasses both the natural and the supernatural, and that human beings are a holistic blend of body and heart‐mind, which does not give rise to any dualistic tension between body and mind. Based on our understanding of the unique Chinese worldview and the corresponding view on life, this study aims to give an account for the importance of harmony as a guideline within various areas of Chinese life. (shrink)

Background: Contact heat evoked potentials is used to diagnose small fiber neuropathy. We established the normal values of CHEPs parameters in Chinese adults, optimized the test technique, and determined its reproducibility.Methods: We recruited 151 healthy adults. CHEPs was performed on the right forearm to determine the optimal number of stimuli, and then conducted at different sites to establish normal values, determine the effects of demographic characteristics and baseline temperature, and assess the short- and long-term reproducibility. N2 latency/height varied with age (...) and sex, while P2 latency/height and N2–P2 amplitude varied with age. The optimal number of stimuli was three.Results: N2 latency/height and P2 latency/height decreased and N2–P2 amplitude and visual analog scale score increased with increased baseline temperature. CHEPs parameters did not differ with time.Conclusion: We established normal CHEPs values in Chinese adults. We found that CHEPs parameters changed with baseline temperature and that the short- and long-term test reproducibility were satisfactory. (shrink)

In the formal semantics based on modern type theories, common nouns are interpreted as types, rather than as predicates of entities as in Montague’s semantics. This brings about important advantages in linguistic interpretations but also leads to a limitation of expressive power because there are fewer operations on types as compared with those on predicates. The theory of coercive subtyping adequately extends the modern type theories and, as shown in this paper, plays a very useful role in making type theories (...) more expressive for formal semantics. It not only gives a satisfactory solution to the basic problem of ‘multiple categorisation’ caused by interpreting common nouns as types, but provides a powerful formal framework to model interesting linguistic phenomena such as copredication, whose formal treatment has been found difficult in a Montagovian setting. In particular, we show how to formally introduce dot-types in a type theory with coercive subtyping and study some type-theoretic constructs that provide useful representational tools for reference transfers and multiple word meanings in formal lexical semantics. (shrink)

ABSTRACTIn Chinese scholarship, Xunzi is often regarded as an eclectic Confucian master who accepted some form of utilitarian thoughts. This characteristic was also observed by some western scholars such as Benjamin I. Schwartz. In a recent study, I argued that the basic character of Xunzi’s philosophy is utilitarianism in a broad sense based on an examination on his intellectual criticism and political criticism. Xunzi asserts that humans are innately driven by self-interested desires, and he evaluates all intellectual works and political (...) behaviours by their utility. However, he does not limit utility to only basic animal desires such as food and sex. In Xunzi’s view, humans also have innate emotions; hence, these emotions should also be accounted for in their utility. This is similar to John Stuart Mill’s redefinition of Bentham’s concept of utility. Are Xunzi’s and Mill’s concepts of utility exactly the same? This question has yet to be examined. This article is a comparative study between utilitarianism and Xunzi’s philosophy which especially explores the compatibility of these two philosophies. (shrink)

Although the prevalence of facial recognition-based COVID-19 surveillance tools and techniques, China does not have a facial recognition law to protect its residents’ facial data. Oftentimes, neither the public nor the government knows where people’s facial images are stored, how they have been used, who might use or misuse them, and to what extent. This reality is alarming, particularly factoring in the wide range of unintended consequences already caused by good-intentioned measures and mandates amid the pandemic. Biometric data are matters (...) of personal rights and national security. In light of worrisome technologies such as deep-fake pornography, the protection of biometric data is also central to the protection of the dignity of the citizens and the government, if not the industry as well. This paper discusses the urgent need for the Chinese government to establish rigorous and timely facial recognition laws to protect the public’s privacy, security, and dignity amid COVID-19 and beyond. (shrink)

Rising negative emotions are like “time bombs” that impede productivity in the workplace. The present investigation provides an insight into the effects of defensive silence and defensive voice on counterproductive work behavior through knowledge hiding in the context of knowledge workers in Chinese academic institutions. Partial least square structural equation modeling was applied to the current samples. The study obtained conjecture the proposed mediating role of knowledge hiding between the negative working attitude and counterproductive work behavior, which is against the (...) organizational norms and performance. The result indicates that the positive relationships exist from defensive silence and defensive voice to counterproductive work behavior, mediated by knowledge hiding. This study links knowledge hiding literature and stimulus-organism-response to better explore the academic behavior in a knowledge setting. (shrink)

Preferential model is one of the important semantical structures in nonmonotonic logic. This paper aims to establish an isomorphism theorem for preferential models, which gives us a purely algebraic characterization of the equivalence of preferential models. To this end, we present the notions of local similarity and local simulation. Based on these notions, two operators Δ(·) and μ(·) over preferential models are introduced and explored respectively. Together with other two existent operators ρ(·) and ΠD(·), we introduce an operator ∂D(·). Then (...) the isomorphism theorem is obtained in terms of ∂D(·), which asserts that for any two preferential models M₁ and M₂, they generate the same preferential inference if and only if ∂D(M₁) and ∂D(M₂) are isomorphic. Based on ∂D(·), we also get an alternative model-theoretical characterization of the well-known postulate "Weaken Disjunctive Rationality". Moreover, in the finite language framework, we show that Δ(μ(·)) is competent for the task of eliminating redundancy, and provide a representation result for k-relations. (shrink)

Artificial intelligence (AI) ethics is proposed as an emerging and interdisciplinary field concerned with addressing the ethical issues of AI, such as the issue of moral decision-making. The conflict between our intuitive moral judgments constitutes an inevitable obstacle to decision-making in AI ethics. This article outlines the Moral Relevance Approach, which could provide a considerable moral foundation for AI ethics. Taking moral relevance as the precondition of the consequentialist principles, the Moral Relevance Approach aims to plausibly consider individual moral claims. (...) It is not only the common ethical target shaping our moral consensus but also the inherent moral ability connecting others with us. (shrink)

Di 1 ce. Cang shan ji, zi cang ji shi, "Xin zi xue" gou xiang -- di 2 ce. Zhi yan lu -- di 3 ce. Shang lin ji -- di 4 ce. Cun ya tang yi gao jiao bu -- di 5 ce. Nan Song yi min shi ren qun ti yan jiu, Zhuangzi shi ri tan -- di 6 ce. Zhuangzi shu mu ti yao -- di 7 ce. Zhuangzi xue shi (yi) -- di 8 ce. Zhuangzi xue (...) shi (er) -- di 9 ce. Zhuangzi xue shi (san) -- di 10 ce. Zhuangzi xue shi (si) -- di 11 ce. Zhuangzi xue shi (wu) -- di 12 ce. Zhuangzi xue shi (lu) -- di 13 ce. Zhuang xue shi lüe -- di 14 ce. Zhuangzi quan ping (shang) -- di 15 ce. Zhuangzi quan ping (xia) -- di 16 ce. Zhuangzi zuan yao (yi) -- di 17 ce. Zhuangzi zuan yao (er) -- di 18 ce. Zhuangzi zuan yao (san) -- di 19 ce. Zhuangzi zuan yao (si) -- di 20 ce. Zhuangzi zuan yao (wu) -- di 21 ce. Zhuangzi zuan yao (lu) -- di 22 ce. Zhuangzi zuan yao (qi) -- di 23 ce. Zhuangzi zuan yao (ba) -- di 24 ce. Zhuangzi zuan yao (jiu) -- di 25 ce. Zhuangzi jin gu (shang) -- di 26 ce. Zhuangzi jin gu (xia) -- di 27 ce. Mengzi jin gu -- di 28 ce. Mozi jin gu -- di 29 ce. -- Xunzi jin gu -- di 30 ce. Zhou Han wen chao -- di 31 ce. Shu jing lüe ying. (shrink)

ABSTRACT There are two views on the nature of Chinese nationalism. The one view treats Chinese nationalism as political nationalism while the other recognises it as cultural nationalism. This paper argues that Chinese nationalism had been deeply shaped by Confucianism, which has two important and influential concepts of nationalism: tianxia天下and yi-xia夷夏. These two concepts reflect the two facets of Confucian nationalism. With the first facet, manifested in the concept of tianxia, Confucianism emphasizes cultural identity and the pursuit of a kind (...) of benevolent politics; the second facet, manifested in the concept of yi-xia, stresses political identity. As in Mencius, the concept of nationalism is based on his theory of human nature and self-cultivation, and the self-identity of a politician is transformable between the two levels of the yi-xia distinction, along with his self-cultivation. Thus, Confucian nationalism is based on self-cultivation, rather than self-identity. (shrink)

Thinking About Science is a collection of essays about the nature of the contemporary scientific enterprise by two eminent microbiologists who have had successful careers as researchers, clinicians and educators. Individual chapters address various aspects of science, good and bad, illustrated with historical vignettes, personal experiences and relevant academic studies, including a candid scorecard of the performance of science during the COVID-19 pandemic and the authors' prescriptions for the future. With humanity facing unprecedented challenges from pathogenic microbes, climate change and (...) energy shortages, the topic of the scientific enterprise has never been timelier. (shrink)

In Chinese scholarship, Xunzi is often regarded as an eclectic Confucian master who accepted some form of utilitarian thoughts (e.g. Fung Yu-lan, Mou Zongsan and Xu Fuguan). This characteristic was also observed by some western scholars such as Benjamin I. Schwartz. In a recent study, I argued that the basic character of Xunzi’s philosophy is utilitarianism in a broad sense based on an examination on his intellectual criticism and political criticism. Xunzi asserts that humans are innately driven by self-interested desires, (...) and he evaluates all intellectual works and political behaviours by their utility. However, he does not limit utility to only basic animal desires such as food and sex. In Xunzi’s view, humans also have innate emotions; hence, these emotions should also be accounted for in their utility. This is similar to John Stuart Mill’s redefinition of Bentham’s concept of utility. Are Xunzi’s and Mill’s concepts of utility exactly the same? This question has yet to be examined. This article is a comparative study between utilitarianism and Xunzi’s philosophy which especially explores the compatibility of these two philosophies. (shrink)

Zhuangzi is considered a creative poet-philosopher because of his use of imaginative images. He used the imaginative images of his system to construct the world of the Dao. He left the essence of material things as they are to speak for the mystery of existence itself, and let them express both the state of and the dream for human freedom. Zhuangzi’s way of using images shows his own lack of the understanding about images, and his lack of adequate assessments. He (...) used images in accord with his own personal preferences and fixed characteristics. He also had a tendency to equate the Dao which he experienced in his mind with the Dao itself. These shortcomings limit his improving and understanding of the Dao, so that his Dao failed to become more open to a wider existence. (shrink)

This paper introduces valuation structures associated with preferential models. Based on KLM valuation structures, we present a canonical approach to obtain injective preferential models for any preferential relation satisfying the property INJ, and give uniform proofs of representation theorems for injective preferential relations appeared in the literature. In particular, we show that, in any propositional language (finite or infinite), a preferential inference relation satisfies INJ if and only if it can be represented by a standard preferential model. This conclusion generalizes (...) the result obtained by Freund. In addition, we prove that, when the language is finite, our framework is sufficient to establish a representation theorem for any injective relation. (shrink)

Supporting families of people with developmental disabilities from culturally diverse backgrounds is receiving increased attention in the era of globalisation. However, there is little information about how disability policy and cultural values work together to support families. This article examined how disability policy and Chinese cultural values influence family care of children and young people with developmental disabilities. By comparing qualitative interview data from Chinese families in Taipei (15) and Sydney (10), we analysed how their expression of cultural values in (...) family care differs by policy context, relative to ethics of care claims for recognition, rights and redistribution. We found that positive expressions of Chinese culture in family care fade if policies do not complement them. Policies can alleviate potential tension with cultural values in three ways: reinforcing family capacity to care; ensuring the rights of both family caregivers and people with disabilities; and extending care choices for families. These approaches resonate with ethics of care principles. We argue that culturally responsive disability policy for families means working with cultural values to achieve ethics of care. This implies that incorporating principles of ethics of care could inform cultural responsiveness in disability policy development. (shrink)

Neo-Confucian doctrine of properties of things -- Neo-Confucian doctrine of spiritual beings -- Neo-Confucian doctrine of investigating principles -- Neo-Confucian doctrine of all things forming one -- Neo-Confucian doctrine of fraternal duty -- Neo-Confucian doctrine of imperial examination -- Appendix: reflection on Things of hand: a quasi classical of Neo-Confucianism.

A logic-enriched type theory is a type theory extended with a primitive mechanism for forming and proving propositions. We construct two LTTs, named and , which we claim correspond closely to the classical predicative systems of second order arithmetic and . We justify this claim by translating each second order system into the corresponding LTT, and proving that these translations are conservative. This is part of an ongoing research project to investigate how LTTs may be used to formalise different approaches (...) to the foundations of mathematics.The two LTTs we construct are subsystems of the logic-enriched type theory , which is intended to formalise the classical predicative foundation presented by Herman Weyl in his monograph Das Kontinuum. The system has also been claimed to correspond to Weyl’s foundation. By casting and as LTTs, we are able to compare them with . It is a consequence of the work in this paper that is strictly stronger than .The conservativity proof makes use of a novel technique for proving one LTT conservative over another, involving defining an interpretation of the stronger system out of the expressions of the weaker. This technique should be applicable in a wide variety of different cases outside the present work. (shrink)

Coercive subtyping offers a general approach to subtyping and inheritance by introducing a simple abbreviational mechanism to constructive type theories. In this paper, we study coercion completion in coercive subtyping and prove that the formal extension with coercive subtyping of a type theory such as Martin–Löf's type theory and UTT is a conservative extension. The importance of coherence conditions for the conservativity result is also discussed.

Previous studies have shown that the motion intention recognition for lower limb prosthesis mainly focused on the identification of performed gait. However, the bionic prosthesis needs to know the next movement at the beginning of a new gait, especially in complex operation environments. In this paper, an upcoming locomotion prediction scheme via multilevel classifier fusion was proposed for the complex operation. At first, two motion states, including steady state and transient state, were defined. Steady-state recognition was backtracking of a completed (...) gait, which would be used as prior knowledge of motion prediction. In steady-state recognition, surface electromyographic and inertial sensors were fused to improve recognition accuracy; five typical locomotion modes were recognized by random forest classifier with over 97.8% accuracy. The transient state was defined as an observation period at the initial stage of upcoming movement, in which only the sEMG signal was recorded due to the limitation of sliding window length. LightGBM classifier was validated to outperform other methods in the accuracy and prediction time of transient-state recognition. Finally, a simplified HMM model based on prior knowledge and observation result was constructed to predict upcoming locomotion. The results indicated that the locomotion prediction was over 91% accuracy. The proposed scheme implements the locomotion prediction at the initial stage of each gait and provides critical information for the gait control of lower limb prosthesis. (shrink)

Human resource management (HRM) is underpinned by, and contributes to, the business ethics of the organization. Opportunities available to men and women as managers, and the role of managers more broadly, are critical in shaping business ethics in contemporary organizations. Research on women in management therefore provides an important lens through which to understand the institutional and cultural context of HR ethics as part of the business ethics of a country. To date, women in management in China remains an under-charted (...) topic of research in the HRM field. Extant research and recommendations on the improvement of the position of women in management in China focus primarily on women themselves from a traditional, gender norm angle, instead of challenging the political and patriarchal system or any institutionalized discriminatory practice. This is, in part, due to the absence in China of a critical feminism approach or feminist movement, as found in Western societies, and the continuing strong influence of the state and media in portraying women’s (stereotypical) image. There is significant room for research capacity building in scholarship on women in management research, for example, and through cross-fertilization of different disciplines and more rigorous research design and execution. This paper provides a critical analysis of extant literature on women in management and the ideologies underpinning it, and offers some suggestions for future research and conceptualization. (shrink)

In this paper we present a study of adjectival/adverbial modification using modern type theories, i.e. type theories within the tradition of Martin-Löf. We present an account of various issues concerning adjectival/adverbial modification and argue that MTTs can be used as an adequate language for interpreting NL semantics. MTTs are not only expressive enough to deal with a range of modification phenomena, but are furthermore well-suited to perform reasoning tasks that can be easily implemented given their proof-theoretic nature. In MTT-semantics, common (...) nouns are interpreted as types rather than predicates. Therefore, in order to capture the semantics of adjectives adequately, one needs to meet the challenge of modeling CNs modified by adjectives as types. To explicate that this can be done successfully, we first look at the mainstream classification of adjectives, i.e. intersective, subsective and non-subsective adjectives. There, we show that the rich type structure available in MTTs, along with a suitable subtyping framework, offers an adequate mechanism to model these cases. In particular, this modelling naturally takes care of the characterising inferences associated with each class of adjectives. Then, more advanced issues on adjectival modification are discussed: degree adjectives, comparatives and multidimensional adjectives. There, it is shown that the use of indexed types can be usefully applied in order to deal with these cases. In the same vein, the issue of adverbial modification is discussed. We study two general typings for sentence and VP adverbs respectively. It is shown that the rich type structure in MTTs further provides useful organisational mechanisms in giving formal semantics for adverbs. In particular, we discuss the use of \-types to capture the veridicality/non-veridicality distinction and further discuss cases of intensional adverbs using the type theoretic notion of context. We also look at manner, subject and speech act adverbials and propose solutions using MTTs. Finally, we show that the current proof technology can help mechanically check the associated inferences. A number of our proposals concerning adjectival and adverbial modification have been formalised in the proof assistant Coq and many of the associated inference patterns are checked to be correctly captured. (shrink)

In this paper we propose a way to deal with natural language inference by implementing Modern Type Theoretical Semantics in the proof assistant Coq. The paper is a first attempt to deal with NLI and natural language reasoning in general by using the proof assistant technology. Valid NLIs are treated as theorems and as such the adequacy of our account is tested by trying to prove them. We use Luo’s Modern Type Theory with coercive subtyping as the formal language into (...) which we translate natural language semantics, and we further implement these semantics in the Coq proof assistant. It is shown that the use of a MTT with an adequate subtyping mechanism can give us a number of promising results as regards NLI. Specifically, it is shown that a number of inference cases, i.e. quantifiers, adjectives, conjoined noun phrases and temporal reference among other things can be successfully dealt with. It is then shown, that even though Coq is an interactive and not an automated theorem prover, automation of all of the test examples is possible by introducing user-defined automated tactics. Lastly, the paper offers a number of innovative approaches to NL phenomena like adjectives, collective predication, comparatives and factive verbs among other things, contributing in this respect to the theoretical study of formal semantics using MTTs. (shrink)

This study examines the associations of constructivist beliefs and classroom climate on teachers' self-efficacy in instruction, classroom management, and student engagement among Australian secondary mathematics teachers. To do this, it uses the integrated model of teachers' self-efficacy with the concept of analysis of teaching tasks. The study uses structural equation modeling to analyze data from 495 mathematics teachers in the Teaching and Learning International Survey 2013. The results reveal the integrated model is a valid theoretical framework to explain Australian secondary (...) mathematics teachers' self-efficacy. Teachers' constructivist beliefs and classroom climate are positively and statistically significantly related to teachers' self-efficacy in instruction, classroom management and student engagement. In contrast, constructivist beliefs have no significant correlation with classroom climate. (shrink)