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)

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)

Students and teachers of Chinese history and philosophy will not want to miss Daniel Gardner's accessible translation of the teachings of Chu Hsi —a luminary of the Confucian tradition who dominated Chinese intellectual life for centuries. Homing in on a primary concern of our own time, Gardner focuses on Chu Hsi's passionate interest in education and its importance to individual development. For hundreds of years, every literate person in China was familiar with Chu Hsi's teachings. They informed the curricula of (...) private academies and public schools and became the basis of the state's prestigious civil service examinations. Nor was Chu's influence limited to China. In Korea and Japan as well, his teachings defined the terms of scholarly debate and served as the foundation for state ideology. Chu Hsi was convinced that through education anyone could learn to be fully moral and thus travel the road to sagehood. Throughout his life, he struggled with the philosophical questions underlying education: What should people learn? How should they go about learning? What enables them to learn? What are the aims and the effects of learning? Part One of _Learning to Be a Sage_ examines Chu Hsi's views on learning and how he arrived at them. Part Two presents a translation of the chapters devoted to learning in the _Conversations of Master Chu_. (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 concept of the self and its relation to moral action is complex and subject to varying interpretations, not only between different academic disciplines but also across time and space. This paper presents empirical evidence from a cross-cultural study on the Buddhist and Confucian notions of self in SMEs in Vietnam and Taiwan. The study employs Hwang’s Mandala Model of the Self, and its extension into Shiah’s non-self-model, to interpret how these two Eastern philosophical representations of the self, the Confucian (...) relational self and Buddhist non-self, can lead to moral action. By demonstrating the strengths of the model, emphasizing how social and cultural influences constrain the individual self and promote the social person leading to moral action, the paper extends understanding of the self with empirical evidence of the mechanisms involved in organizational contexts. (shrink)

This paper explores whether MacIntyrean virtue ethics concepts are applicable in non-Western business contexts, specifically in SMEs in Taiwan, a country strongly influenced by the Confucian tradition. It also explores what differences exist between different polities in this respect, and specifically interprets observed differences between the Taiwanese study and previous studies conducted in Europe and Asia. Based on case study research, the findings support the generalizability of the MacIntyrean framework. Drawing on the institutional logics perspective and synthesizing this with MacIntyrean (...) concepts, the paper explains the differences between the studies largely by reference to the Confucian tradition operating at both the micro-level within firms and at the macro-level as a means of harmonizing the potentially competing institutional logics to which firms are subject. The recent weakening of this tradition, however, suggests that increased conflict may characterize the future. (shrink)

本书主要研究的是心理现象的形式、范围、本质、特征、心身关系、心理内容及其根源等,并对常识心理解释模式和心理学进行哲学反思。.

This study examines the role of codes of ethics in reducing the extent to which managers act opportunistically in reporting earnings. Corporate codes of ethics, by clarifying the boundaries of ethical corporate behaviors and making relevant social norms more salient, have the potential to deter managers from engaging in opportunistic financial reporting practices. In a sample of international companies, we find that the quality of corporate codes of ethics is associated with higher earnings quality, i.e., lower discretionary accruals. Our results (...) are confirmed for a subsample of firms more likely to be engaging in opportunistic reporting behavior, i.e., firms that just meet or beat analysts’ forecasts. Further, codes of ethics play a greater role in reducing earnings management for firms in countries with weaker investor protection mechanisms. Our results suggest that corporate codes of ethics can be a viable alternative to country-level investor protection mechanisms in curbing aggressive reporting behaviors. (shrink)

The inference systems proposed for solving SAT are unsound for solving MaxSAT and MinSAT, because they preserve satisfiability but not the minimum and maximum number of clauses that can be falsified, respectively. To address this problem, we first define a clause tableau calculus for MaxSAT and prove its soundness and completeness. We then define a clause tableau calculus for MinSAT and also prove its soundness and completeness. Finally, we define a complete clause tableau calculus for solving both MaxSAT and MinSAT, (...) in that the minimum number of generated empty clauses provides an optimal MaxSAT solution and the maximum number provides an optimal MinSAT solution. (shrink)

The environmentally friendly or ‘sustainable’ products have been launched in various markets in response to the growing concerns for the environmental deterioration and the alarming effects of climate change in past years. However, the uptake of green products does not seem to fully reflect the self-claimed pro-environmental concerns and attitudes. Consumers who profess to be environmentally conscious and believe they could help slow down environmental deterioration do not necessarily purchase eco-friendly products. This discrepancy between behaviour and attitude has been termed (...) as ‘intention-behaviour gap’ or ‘green gap’. This study aims at exploring the green gap in the purchases of high-involvement products such as skincare products. Focus groups and thematic analysis were conducted. It was found that environmental concern was virtually non-existent in making purchase decisions with regard to skincare products because the perceived product effectiveness is found to be the key determinant of the choice of skincare products. Other factors such as weak social norm, weak perceived consumer effectiveness, and a sense of powerlessness facing the environment degradation, to some degree, attribute to the consumers’ justification of their non-green consumption practices. Implications for closing the gap have been drawn for marketing practitioners and policy makers. Directions for future research are also provided. (shrink)

With the increasing attention to climate change, air pollution, and related public health issues, China’s new energy vehicles industry has developed rapidly. However, few studies investigated the evolution of interorganizational collaborative innovation networks in the sector domain of NEVs and the influence of different drivers on the establishment of innovation relationships. In this context, this paper uses the joint invention patent of Shenzhen, a low-carbon pilot city of China, to investigate the dynamics of network influencing factors. The social network analysis (...) shows that the scale of coinvention network of NEVs is constantly increasing, which is featured with diversified cooperative entities, and collaboration depth is also expanding. The empirical results from the Exponential Random Graph Model demonstrate that, with the deepening of collaborative innovation, technological upgrading caused by knowledge exchange makes organizations in the network more inclined to cognitive proximity and less dependent on geographical proximity. In addition, organizational proximity and triadic closure contribute positively to the collaborative network, with their relevance remaining nearly the same, while the impeding effect of cultural/language difference is slightly decreasing with time. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Teaching the Trinity:Scripture and Performance of the Psychological Analogy in Aquinas's Summa TheologiaeZane E. ChuTeaching the Trinity, for St. Thomas Aquinas, takes its point of departure from Sacred Scripture. He makes this explicit at the outset of the Trinitarian treatise in the Summa theologiae, citing Christ's words at John 8:42, "from God I proceeded," and affirming, "divine Scripture in the things of divinity, uses words that pertain to procession."1 (...) The order of teaching then continues through speculative effort to give an account of the scriptural witness to the distinction of persons in God, in order to return to the same Scripture with a deeper grasp of its meaning.2Aquinas is a master of the sacred page, and his basic pedagogy for theology involves the "exercises of Sacred Scripture" of reading, disputing, and preaching.3 Recent scholarship draws attention to his reading of Scripture [End Page 1149] expressed in biblical commentaries as foundational for his teaching and as an interpretive context for his summative works.4 My purpose is to illustrate this basic pedagogy in the Trinitarian treatise of the Summa theologiae, taking the Lectura super Ioannem as an interpretive context for the analogies of word and love—the psychological analogy—for the Trinity. Most scholarly discussion of the psychological analogy elaborates on its theoretical aspects, with some attention to its scriptural foundation.5 I wish to show the priority of Scripture in Aquinas's employment of this analogy in three respects, namely, its foundation in exegesis, performative aspects, and orientation toward preaching.My investigation focuses on question 27 of the prima pars alongside pertinent sections of the Super Ioannem. I argue that citations from the Gospel of John (8:42, 15:26, and 14:16) in the sed contras of articles 1 and 3 function to ground the psychological analogy in scriptural exegesis and to prompt its performance. Turning to the corresponding commentary shows Aquinas leading the student to knowledge of Christ as divine Word and to love of him from the Holy Spirit that both leads to and follows upon such knowledge. This provokes an affective experience of loving Christ in knowing his divinity that is an actual performance of the psychological analogy. The magisterial responses then use this affective experience as a basis to facilitate a grasp of the analogy, the articulation of which is a further guided performance that reflects on this experience. Aquinas teaches the Trinity by exercising the student both affectively and intellectually in its scriptural foundation for a deeper grasp that prepares for preaching. I develop my argument in three [End Page 1150] main steps. First, I specify the place of Scripture in Aquinas's teaching and review the composition of the Trinitarian treatise. Then, I examine the first four articles of question 27 and corresponding sections of the Super Ioannem, in the order of the analogies of word and of love. Lastly, I consider Aquinas's treatment of the Holy Spirit's proper name of Love and subsequent preaching to illustrate Scripture as a point of arrival through performance of the psychological analogy.The Place of Scripture in Aquinas's TeachingFor Aquinas, Scripture is placed within his broader practice of sacra doctrina or holy teaching, attention to which assists in demonstrating how the Johannine citations ground the psychological analogy in Scripture and prompt its performance. Sacra doctrina has a primarily pastoral orientation, namely, to form Dominicans for preaching and hearing confessions.6 Though more speculative than practical, sacra doctrina as speculation or contemplation of the truth of Christian faith contained in Scripture is to be handed on to others.7 This requires training in the scriptural exercises of reading and disputing as preparation for preaching. These may be taken as "spiritual exercises" that engage not only thought, but also affectivity in service of personal transformation for the preacher's way of life.8 Aquinas's practice of sacra doctrina begins with reading Scripture as expressed in biblical commentaries, and develops in the Summa theologiae, which accesses Scripture through citations to offer a summative grasp of the truth contained therein. Here, I review the formal aspects of Aquinas's teaching from Scripture in these texts... (shrink)

In formal semantics based on modern type theories, some sentences may be interpreted as judgements and some as logical propositions. When interpreting composite sentences, one may want to turn a judgemental interpretation or an ill-typed semantic interpretation into a proposition in order to obtain an intended semantics. For instance, an incorrect judgement $$a:A$$ may be turned into its propositional form $$\textsc {is}(A,a)$$ and an ill-typed application p(a) into $$\textsc {do}(p,a)$$, so that the propositional forms can take part in logical compositions (...) that interpret composite sentences, especially those that involve negations and conditionals.In this paper, we propose an operator not that facilitates such a transformation. Introducing not axiomatically, with five axiomatic laws to govern its behaviour, we shall use it to define $$\textsc {is}$$ and $$\textsc {do}$$ and give examples to illustrate its use in semantic interpretation. The introduction of not into type theories is logically consistent – this is justified by showing that not can be defined by means of the heterogeneous equality $$\textrm{JMeq}$$ so that all of the axiomatic laws for not become provable. Therefore, since the extension with $$\textrm{JMeq}$$ preserves logical consistency, so does the extension with not. We shall also study conditions under which $$\textsc {is}$$ and $$\textsc {do}$$ operators can be used safely without the risk of over-generation. (shrink)

Mental health is an important basic condition for college students to become adults. Educators gradually attach importance to strengthening the mental health education of college students. This paper makes a detailed analysis and research on college students’ mental health, expounds the development and application of clustering analysis algorithm, applies the distance formula and clustering criterion function commonly used in clustering analysis, and makes a specific description of some classic algorithms of clustering analysis. Based on expounding the advantages and disadvantages of (...) fast-clustering analysis algorithm and hierarchical clustering analysis algorithm, this paper introduces the concept of the two-step clustering algorithm, discusses the algorithm flow of clustering model in detail, and gives the algorithm flow chart. The main work of this paper is to analyze the clustering algorithm of students’ mental health database formed by mental health assessment tool test, establish a data mining model, mine the database, analyze the state characteristics of different college students’ mental health, and provide corresponding solutions. In order to meet the needs of the psychological management system based on the clustering analysis method, the clustering analysis algorithm is used to cluster the data. Based on the original database, this paper establishes the methods of selecting, cleaning, and transforming the data of students’ psychological archives. Finally, it expounds on the application of data mining in students’ psychological management system and summarizes and prospects the implementation of the system. (shrink)

Houston, Texas, is a major U.S. city with, like many, a growing aging population. The purpose of this study and ultimate book chapter is to explore the views and perceptions of long-term care (LTC) residents, family members and health care providers. Individuals primarily in independent living and group residential settings were interviewed and studied. Questions emphasized the concepts of personal autonomy, dignity, quality and location of care and decision making. Although a small sample of participants were involved, consistency was noted. (...) Keeping the elderly in caring and loving home situations (theirs or family) was most preferred. Personal choice and independence were emphasized by residents, but family members needed to act as advocates. We also noted that the legal system emphasizes family control over individual decision making as competency declines with aging. Optimal personal decision making in the residents' best interest also became more difficult with loss of individual mental capacity. (shrink)