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)

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)

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

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)

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)

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)

RESUMEN Los casos de "ver-como", presentados por Wittgenstein en la Segunda Parte de Philosophical Investigations, muestran que el concepto de "ver" se encuentra cercano al de "interpretar" y resiste su separación. El presente artículo propone un argumento para aclarar la noción de "interpretación" presente en estos casos, a partir de su comparación con los usos presentes en el Tractatus y en la Primera Parte de Philosophical Investigations. Se sostiene que dicha noción cumple el rol de determinar el sentido de lo (...) visualmente experimentado. Además, "ver" e "interpretar" mantienen un tipo de relación interna y "ver-como" puede considerarse como una "representación elástica". ABSTRACT The "seeing-as" cases, presented by Wittgenstein in the Second Part of Philosophical Investigations, show that the concept of 'seeing' is close to that of 'interpretation' and resists its separation. This article proposes an argument to clarify the notion of 'interpretation' present in these cases, from its comparison with the uses present in the Tractatus and in the First Part of Philosophical Investigations. It is argued that this notion fulfills the role of determining the sense of the visually experienced. In addition, 'to see' and 'to interpret' maintain a type of internal relationship and 'seeing-as' can be considered an "elastic representation". (shrink)

In response to the Covid-19 pandemic, online learning has been carried out in many countries with different types of online learning models being promoted and implemented. In the global pandemic continues, the education environment is forced to change from traditional classroom or blended teaching mode to online learning teaching model. With the outbreak of COVID-19, China was the first to announce that online courses are to be implemented in February 2020. In China, whether online learning can replace traditional offline teaching (...) has become a topic worth discussing. Therefore, this study investigates university students in China by questionnaires and discussions of this topic. The study is based on the Push–Pull Mooring model. Based on 854 valid responses collected from an online survey questionnaire, structural equation modeling was employed to examine the research model. The results show that push effects, pull effects, and mooring effects all significantly influence users' switching intentions from offline to online learning platform. Finally, this study explores whether push–pull–mooring can be a reference for promoting and implementing online learning courses in Chinese colleges and universities in the future after the pandemic. (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)

We provide new findings that add to the growing body of empirical evidence that important epistemic intuitions converge across cultures. Specifically, we selected three recent studies conducted in the US that reported surprising effects of knowledge attribution among English speakers. We translated the vignettes used in those studies into Mandarin Chinese and Korean and then ran the studies with participants in Mainland China, Taiwan, and South Korea. We found that, strikingly, all three of the effects first obtained in the US (...) also emerged in the East Asian cultures we studied. Our findings not only cohere with but also provide—at least moderate—support for the existence of extensive convergences of important epistemic intuitions across cultures. (shrink)

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.

The tradeactortargetconflict model to garner implications concerning trade and conflict interactions where third-party blocs are involved. The theoretical propositions supported by proofs are: (1) if the actor increases trade with a third-party who is a friend of the target, then the actor will decrease conflict toward the target; (2) if the actor increases trade with a third-party who is a rival of the target, then the actor will increase conflict toward the target. A 30-country sample from the Conflict and Peace (...) Data Bank (COPDAB) is used and divided into three blocs, namely a Western bloc, a Middle Eastern bloc, and an Eastern bloc. The empirical analysis supports the hypotheses. A similar relationship is also discussed and tested for situations in which conflict increases or decreases between the actor and third-party bloc. In addition, the evidence shows that Western bloc countries play a central role in world political and economic relationships. (shrink)

The paper examines the role of organizational commercial slack (OCS) in mediating the relationship between entrepreneurial orientation (EO) and the effectiveness of knowledge transfer (KT) in universities. The paper identifies two types of commercial slack in the university setting: financial and promotional. Four research hypotheses are proposed. Pooled data, that is, a combination of a questionnaire survey of 110 Taiwanese universities with a data set of university KT effectiveness from the Ministry of Education, Taiwan, are collected to test the aforementioned (...) research hypotheses. The empirical results indicate that the EO of a university enables the university to provide appropriate OCS. Furthermore, the commercial slack of a university positively mediates the relationship between EO and KT effectiveness. The paper concludes that developing EO and OCS are crucial for improving the KT effectiveness of a university. Moreover, some managerial and policy implications for promoting EO and OCS in universities are suggested. (shrink)

本书共分十二章,内容包括刑事法理论的逻辑形态;刑事法哲学的理论特征;刑事法本体论范式辨证以及活的刑事法的历史起源等。.

Ever since the ancient Chinese paradox "white horse is not horse" was brought into the context of Western philosophy, various interpretations have been proposed by modern scholars based on different theoretical considerations, although no satisfactory consensus has been reached. Controversy focuses especially on whether the paradox implies a realist or nominalist ontology.The controversy starts from Fung Yu-lan's realist reading of Gongsun Long. Fung read "white horse is not horse" as "white-horseness is different from horseness." "The universal, horseness, is the essential (...) attribute of all horses. … Such 'horseness' is distinct from 'white-horseness'". He ascribes to Gongsun Long a Platonic realism... (shrink)

The Dao Companion to Chinese Philosophy of Logic is the first general overview of Chinese logical philosophy in English, presumably providing students and researchers of Chinese thought in the Engl...

Industrial investment funds are a new financing innovation mode that can build an effective financing channel for enterprises.Based on the panel data of Chinese Listed Companies in 2008–2017, this manuscript constructed a static panel model between industrial investment funds, government R&D subsidies, and technological innovation to empirically analyze the effects of industrial investment fund involvement and government R&D subsidies on companies’ technological innovation. The research shows that industrial investment fund involvement can increase the company’s R&D investment by providing financial funds (...) for the company, which can effectively solve the company’s lack of funds in the process of technological innovation and guarantee the smooth running of the company’s innovation activities. Secondly, government R&D subsidies can alleviate the pressure of R&D investment to a certain extent, which is conducive to promote a higher level of technological innovation in the company. Thirdly, for companies with industrial investment fund involvement, government R&D subsidies are conducive to promote technological innovation. In contrast, for companies without industrial investment fund involvement, government R&D subsidies have no significant impact on technological innovation to a certain extent or even have a “crowding out effect.”. (shrink)

In “Normativity and Epistemic Intuitions”, Weinberg, Nichols and Stich famously argue from empirical data that East Asians and Westerners have different intuitions about Gettier -style cases. We attempted to replicate their study about the Car case, but failed to detect a cross - cultural difference. Our study used the same methods and case taken verbatim, but sampled an East Asian population 2.5 times greater than NEI’s 23 participants. We found no evidence supporting the existence of cross - cultural difference about (...) the intuition concerning the Gettier car case. Taken together with the failures of both of the existing replication studies, our results provide strong evidence that the purported cross - cultural difference in Gettier intuitions does not exist. (shrink)

Corporate citizenship represents various organizational activities and status related to the organization's societal and stakeholder obligations. This study develops five different dimensions of corporate citizenship and examines the relationship between the five dimensions and purchase intention by including two key mediators. In the proposed model of this study, purchase intention is indirectly affected by economic, legal, ethical, general philanthropic, and strategic philanthropic citizenship via the mediation of corporate identification and brand trust. Empirical testing using a survey of 353 consumers from (...) various industries confirms most of our hypothesized effects. Last, managerial implications for corporate leaders and limitations of our findings are discussed in depth. (shrink)

The COVID-19 pandemic has had a significant impact on education worldwide. The disease first hit China and numerous Chinese cities then started to conduct online courses. Therefore, this study aims to explore the effect of the Shanghai students’ emotional intelligence, learning motivation, and self-efficacy on their academic achievement when they participated in online English classes during the latter phase of the pandemic in China. Furthermore, the research also examines whether the students’ emotional intelligence can influence their academic achievement through the (...) mediation effect of their learning motivation and self-efficacy. Social Cognitive Theory and the social cognitive Expectancy-Value Model were employed to build the research framework, and the method of structural equation modeling was utilized to conduct the model verification. Ten universities in Shanghai, China were selected for sampling. In total, 450 students were surveyed of which 404 questionnaires were valid. The results show that the students’ emotional intelligence did not directly affect their academic achievement. Nevertheless, the students’ emotional intelligence had a positive effect on their learning motivation and self-efficacy. In addition, mediation analysis showed that the relation between emotional intelligence and academic achievement was sequentially mediated by learning motivation and self-efficacy. (shrink)

本书简要地阐明了文学本文的创造过程,文学作品的构成及其实现过程,文学的审美价值系统及其实现过程,文学的历史发展过程。.

Chinese-speaking older adults usually do not perceive a hearing problem until audiometric thresholds exceed 45 dB HL, and the audiometric thresholds of the average hearing-aid user often exceed 60 dB HL. The purpose of this study was to examine the relationships between cognitive and hearing functions in older Chinese adults with HAs and with untreated hearing loss. Participants were 49 Chinese older adults who used HAs and had moderate to severe HL, and 46 older Chinese who had mild to moderately (...) severe HL but did not use HAs. Multiple linear regression analysis was employed to evaluate how well age, education level, audiometric thresholds, and speech perception in noise were related to performance on general cognitive function, working memory, executive function, attention, and verbal learning tests. Results showed that speech perception in noise alone accounted for 13–25% of the variance in general cognitive function, working memory, and executive function in the UT group, and 9–21% of the variance in general cognitive function and verbal learning in the HA group. Audiometric thresholds did not explain any proportion of the variance in cognitive functioning in the HA or UT group. Thus, speech perception in noise accounts for more variance in cognitive performance than audiometric thresholds, and is significantly associated with different cognitive functions in older Chinese adults with HAs and with untreated HL. (shrink)