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)

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)

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.

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)

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)

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)

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)

In both political science and political theory, democratization has largely been considered a problem for non-liberal democratic countries. Drawing on Chinese political thinker Jiwei Ci’s writings on freedom, democracy, agency, plausibility, and legitimacy, I critically reconstruct Ci’s theory of democratization and his method of theorizing. I argue that a normative account of democratization is embedded in Ci’s political thought, which is based upon a philosophical anthropology of the modern man and focuses on broadening political possibilities in a given society. Ci’s (...) theory allows us to think about democratization beyond the binary of democracy and authoritarianism, as his theory places democratization as an inherent and persistent challenge for all political communities. (shrink)

Computer vision is widely used in manufacturing, sports, medical diagnosis, and other fields. In this article, a multifeature fusion error action expression method based on silhouette and optical flow information is proposed to overcome the shortcomings in the effectiveness of a single error action expression method based on the fusion of features for human body error action recognition. We analyse and discuss the human error action recognition method based on the idea of template matching to analyse the key issues that (...) affect the overall expression of the error action sequences, and then, we propose a motion energy model based on the direct motion energy decomposition of the video clips of human error actions in the 3 Deron action sequence space through the filter group. The method can avoid preprocessing operations such as target localization and segmentation; then, we use MET features and combine with SVM to test the human body error database and compare the experimental results obtained by using different feature reduction and classification methods, and the results show that the method has the obvious comparative advantage in the recognition rate and is suitable for other dynamic scenes. (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)

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)

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

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)

This article proposes an interpretation of the ‘Thesis that Things do not Shift’ (_Wu bu qian lun,_ 物不遷論) of the early Chinese Buddhist philosopher Sengzhao. We understand Sengzhao to be proposing a version of the philosophy of time found in Sarvāstivāda Abhidharma, and then interpreting statements about time from Mahāyāna texts in light of that account. But whatever his limitations as a cross-cultural interpreter, we find Sengzhao surprisingly impressive philosophically, as he proposes a view that is noticeably more advanced towards (...) a modern conception of time than the accounts found in South Asian Buddhist sources. Ironically, his earnest efforts to present his view as falling within the Mahāyāna may have functioned to conceal Sengzhao’s true philosophical achievement. (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 recent years, the translation of Debray’s writings and the study of his media thoughts have become increasingly popular in China, but the ‘medium’ in his media discourse has never been clarified. Debray pointed out that the focus of the media is ‘mediation’, which actually reveals a new way of thinking and reasoning. He then proposed four stages of mediological reasoning: Message, Medium, Milieu and Mediation. This article believes that based on this framework (i.e. 4M), Debray used McLuhan’s theory as (...) a hub for analysis and launched a set of research methods and tools aimed at exploring the multiple nature of medium and message on the sense of interaction between culture and technology, which also involved the utility of ‘mediasphere’ as an exploration principle to question the past and future of mankind and the media conditions. This approach provides an avenue for us to understand ourselves and transmissions in different space-time categories at both practical and theoretical levels. This article emphasizes that it is better not to interpret Debray’s thoughts as a theory parallel to the existing medium theories because its focus is on research approaches rather than arguments. Besides, although Debray’s medium theory is based on his experience and thinking in Europe and Latin America, there are reasons for the publicity of Debray’s ideology in China. From the perspective of history, culture and human geography, Chinese civilization can be said to contain rich ideological resources of mediation. This is of great significance to re-understand China’s history and reality in the new context of globalization, and to discover the global value of China’s experience. (shrink)

What ultimately is the relationship of the development of scientific technology and the consequent raising of the material level of life to the development of morality? Today, as the realization of the Four Modernizations is accelerated, a thorough examination of this question is highly important and meaningful.

In the spirit of Von Neumann and Morgenstern (Theory of games and economic behavior, Princeton University Press, Princeton, 1944), we introduce a notion of network stability. We study the structure of stable economic networks and their associated stable payoff allocations by analyzing the conditions under which complete networks and star networks (both with desirable property of inclusiveness) are stable. We also address conditions for existence and uniqueness of stable set of networks.

The mounting pollution burden has raised the need for renewable energy demand throughout the world. The study aims to explore the effect of public debt on renewable energy consumption for selected 23 Asian economies for the time period 1990–2019. Long-run empirical findings of the group-wise symmetric ARDL model reveal that increasing public debt results in declining renewable energy consumption. However, findings of the long-run group-wise asymmetric ARDL model reveal that positive shock in public debt reduces renewable energy consumption, and negative (...) shock in public debt results in increasing renewable energy consumption. The economy-wise empirical findings of the FMOLS model reveal that an increase in public debt results in increased renewable energy consumption in nine economies and decreased renewable energy consumption in six economies. The asymmetric FMOLS findings reveal that positive shock in public debt increases renewable energy consumption in nine economies and also decreases renewable energy consumption in nine economies. However, a negative shock in public debt increases renewable energy consumption in 12 economies and decreases renewable energy consumption in 5 economies. Additionally, this research provides numerous policy implications for renewable energy sources in Asian economies. Asian governments should use public debt for the consumption of renewable energy resources. (shrink)

Our fourteenth year of publication begins with an exceptional expansion of our sense of philosophy’s powers and resources. In our special featured article, Brian Schroeder’s groundbreaking essay, “...

Marx, "doctoral dissertation," appendix of the religious debate Plutarch, in his "Notes on the philosophy of Epicurus," 2-3 in a more specific and detailed to show. Plutarch refuted Marx on Epicurus and his anti-religious stance is certainly consistent. This paper aims to "notes" of the study, to figure out how Marx relevant text on Plutarch, Plutarch targeted to refute the doctrine of Epicurus particular religion to refute, how to highlight the philosophy of and religious opposition and overcome religious opposition and (...) reasonable basis. (shrink)

Pertinent to understand the role of fate in this world, issues of political wisdom. "Hamlet" raises a question: potential rulers encountered misfortune, should be how to deal with. Hamlet by showing an error on the fate of the two views, Shakespeare shows consistent with the classical philosopher: personal misfortune should not be attributed to fate or God, but should be attributed to their nature and choice. Hamlet and Homer's epic and drama links, to some extent, reveal the fate of his (...) misunderstanding of the reason. Although Hamlet's view is similar to the fate of Machiavelli, but he vowed to pursue justice, it shows the difference between him and Machiavelli. (shrink)

A prefrontal control system that is less mature than the limbic reward system in adolescence is thought to impede self-regulatory abilities, which could contribute to poor dietary choices and obesity. We, therefore, aimed to examine whether structural morphology of the prefrontal cortex and the amygdala are associated with dietary decisions and obesity in children and adolescents. Seventy-one individuals between the ages of 8–22 years participated in this study; each participant completed a computer-based food choice task and a T1- and T2-weighted (...) structural brain scans. Two indices of obesity were assessed, including age- and sex-specific body mass index and waist-to-height ratio. The behavioral task included rating 60 food stimuli for tastiness, healthiness, and liking. Based on each participant’s self-ratings, 100 binary food choices were then made utilizing a computer mouse. Dietary “self-control” was calculated as the proportion of trials where the individual chose the healthier food item over the total number of trials. Cortical thickness and amygdala subnuclei volumes were quantified using FreeSurfer 6.0 and CIT168 atlas, respectively. We found that WHtR was negatively associated with the thickness of bilateral superior frontal, left superior temporal, right insula, and right inferior temporal regions. We also found WHtR to be positively associated with the volume of the central nucleus region of the amygdala, after adjusting for the hemisphere, age, sex, and intracranial volumes. A similar data pattern was observed when BMIz was used. Moreover, we found that across all participants, thinner right superior frontal cortex and larger left CEN volumes predicted lower dietary self-control. These results suggest that differential development of the PFC and amygdala relate to obesity and dietary self-control. Further longitudinal studies are merited to determine causal relationships among altered PFC to amygdala neural circuitry, dietary self-control, and obesity. (shrink)

This study examined the prevalence and impact of imposter syndrome on a sample of pre-service educators. We report a majority of pre-service educators experience IS; 93% experience moderate levels and 54% had frequent or severe levels of imposter thoughts, and further that IS was negatively associated with educator well-being. We also investigated the effects of minority group membership on experiences of IS, and found that IS was more severe for women and queer minorities, but less severe for racial minorities. Lastly, (...) we investigated the potential for healthy emotion regulation to mitigate the effects of IS on pre-service educator well-being and found that adaptive emotion regulation strategy use mitigates the effects of IS, which may provide a viable means for addressing this pervasive issue among educators, and specifically among those with minoritized identities. We discuss the implications of our findings for educational training and improving the experiences of pre-service educators. (shrink)

本书包括:宋代人学的丰沃土壤;群星灿烂,宋代人学探索者;理性之光;理性激荡;圣贤之象等内容。.

Bioethical debates on the use of human embryos and oocytes for stem cell research have often been criticized for the lack of empirical insights into the perceptions and experiences of the women and couples who are asked to donate these tissues in the IVF clinic. Empirical studies that have investigated the attitudes of IVF patients and citizens on the donation of their embryos and oocytes have been scarce and have focused predominantly on the situation in Europe and Australia. This article (...) examines the viewpoints on the donation of embryos for stem cell research among IVF patients and students in China. Research into the perceptions of patients is based on in-depth interviews with IVF patients and IVF clinicians. Research into the attitudes of students is based on a quantitative survey study. The empirical findings in this paper indicate that perceptions of the donation of human embryos for stem cell research in China are far more diverse and complex than has commonly been suggested. Claims that ethical concerns regarding the donation and use of embryos and oocytes for stem cell research are typical for Western societies but absent in China cannot be upheld. The article shows that research into the situated perceptions and cultural specificities of human tissue donation can play a crucial role in the deconstruction of politicized bioethical argumentation and the assumptions about “others” that underlie socio-ethical debates on the moral dilemmas of technology developments in the life sciences. (shrink)

Resumo: A China promove ativamente a prosperidade comum e resolve a contradição do desequilíbrio do desenvolvimento. A capitalização tornou-se o pano de fundo da prosperidade comum. Como entender as mudanças na conotação da prosperidade comum e seus fatores de influência, no contexto da capitalização, tornou-se o tema deste artigo. Acredita-se que o desequilíbrio entre ativos e renda do trabalho e a nova forma de geração de valor são as razões pelas quais a prosperidade comum é difícil de alcançar. A fim (...) de provar a racionalidade dessa conclusão, este artigo examina a questão da capitalização a partir da perspectiva crítica da economia política marxista e toma o caso de capitalização da China como um exemplo para explorar os desafios práticos e os desafios ideológicos enfrentados pela prosperidade comum. Este texto analisa uma nova forma de fetichismo - a essência do fetichismo financeiro introduz o conceito de valor narrativo e revela a distorção e a erosão do valor do fetichismo financeiro sobre os valores das pessoas e o mistério do valor narrativo. (shrink)