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)

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)

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)

This paper argues that correlative thinking, a fundamental aspect of Chinese thought often distinguished from rational thinking, is rooted in our situated bodily experiences, constituting a unique mode of sensemaking. It performs a comparative analysis between Zhuangzi's Fish Parable and Merleau‐Ponty's philosophy of embodied perception, focusing on the self‐attunement in our embodied experience and Dao, which remains invisible but gradually reveals its presence as the parable unfolds. The paper illuminates the embodied nature of correlative thinking by exposing the intricate interplay (...) between the self and others, as well as the self and its lived environment. This analysis underscores the reciprocal relationship between Dao and correlative thinking: Dao acts as the origin of correlative thinking, while correlative thinking, in turn, unveils the presence of Dao. This analysis could enrich our understanding of the interplay between the self, others, and the world they inhabit. (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)

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

本书是学习马克思主义哲学史的参考书。书中对学习19世纪和当代马克思主义中存在的40个疑难问题进行了系统的整理和研究。.

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 lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Ideas 63.1 (2002) 1-17 [Access article in PDF] What if the Father Commits a Crime? Rui Zhu Apparently, Socrates and Confucius respond similarly to the question if a son should turn in his father in the case of the father's misdemeanor. When Euthyphro, flaring his pride of his moral impartiality, tells Socrates that he is on his way to report his father because he (...) has thrown one of the household slaves into a ditch and left him bound there until he was dead, Socrates says, "Good Heaven! Certainly, Euthyphro, most men would not know how they could do this and be right. It is not the part of anyone to do this, but of one who is far advanced in wisdom." 1According to Socrates, only a man of high wisdom knows how to prosecute his father righteously, but Euthyphro does not appear to have this wisdom. When his interlocutor observes that an upright man in his state would bear witness against his father if he misappropriates a sheep, Confucius contradicts the interlocutor's understanding of uprightness by speaking in a matter-of-fact tone: "In my country the upright men are of quite another sort. A father will cover up for his son, and a son his father—which incidentally does involve a sort of up—rightness." 2Confucius stands on the same line with Socrates but seems the more radical of the two. Socrates does not directly refute Euthyphro and only suggests that he make sure he understands what he is doing before going any further. Socrates is not only typically Socratic—indirect and suggestive—but also sounds so reasonable that Euthyphro appears in contrast to be a reckless youth who harbors [End Page 1] only a faint understanding of morality. Confucius's response is more rigid, for he categorically dismisses an act of the Euthyphroian kind. He demands that father and son cover up for each other in the case of either one's guilt. Compared to Socrates, Confucius advocates the position that seems a little too strong and leaves no room for justice, while Socrates does not have that problem with justice. This is how we feel about Socrates and Confucius on our first impression. The prima facie observations that we make from the remarks of Socrates and Confucius seem both plain and unproblematic.By embedding these remarks into their respective social or philosophical cultures, this paper will show that our previous observations are not quite accurate. The apparent affinity of the Socratic and Confucian stances belies different underlying moral philosophies. We want to use their comments as bridges to explore the early Greek and Confucian ethics and show how different a picture we see after things are examined within their traditions.The issue of a possible father-son conflict may be treated as a case study of the early Greek (the Heroic era until the age of Socrates) and early Confucian (Confucius and Mencius) morals. There is a strong theme in the early Greek morals that allows, or sometimes demands, a son such as Euthyphro to prosecute his father for the sake of justice, because justice, instead of love (philein) or filial piety, is the governing principle in the early Greek ethics. Confucian ethics is founded on love (human-heartedness), which in turn is extended from the love between father and son. All moral principles including justice are derived from this extension of love. The mutual love of father and son then becomes the governing principle in the case of Confucianism. A Guilty Father: The Greek Motif The question, "What if the father commits a crime?" has a certain realistic aroma to a boy coming of age in the Hesiodic Greek world. That father has to be overcome by son before some relief from strife becomes possible is a familiar theme in Greek literature. In Hesiod's Theogony, Uranus (the sky) incurs hatred from all his newborn children since he hides them in their mother Gaia's womb and does not let them return to the light, for no reason... (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)

Gei qing nian de shi er feng xin --Tan mei -- Zuo zhe zi zhuan.

The Implicit Association Test (IAT) was used to measure population levels of conceptual alignment among two polar sensory metaphors and clusters of concepts to which they are commonly applied. A total of 873 participants were tested online, to compare within- and between-cluster alignments of concepts associated with two different polar sensory metaphors (up/down and black/white). IAT results were sensitive to semantic alignments that were also picked up by Latent Semantic Analysis (LSA) using a large-scale corpus of English. However, even with (...) these semantic alignments taken into account, the dual categorization results demonstrated strong metaphor-cluster alignments over and above the predictions of LSA. It is proposed that, rather than ontogenetic development of metaphoric concepts based on sensorimotor experience, conventionalized sensorimotor metaphors in language may be cognitive tools that provide language learners with insights supported by conceptual properties of a phylogenetically evolved perceptual interface. (shrink)

朱七星(1934~ ),吉林蛟河人,延边大学朝鲜问题研究所教授,东方哲学研究室主任,中国少数民族哲学及社会思想史学会常务理事.

The moral principle of fairness or fair play is widely believed to be a solid ground for political obligation, i.e., a general prima facie moral duty to obey the law qua law. In this article, I advance a new and, more importantly, principled objection to fairness theories of political obligation by revealing and defending a justificatory gap between the principle of fairness and political obligation: the duty of fairness on its own is incapable of preempting the citizen‟s liberty to reciprocate (...) fairly in ways other than obeying the law. This justificatory gap is unaffected by the ongoing debate between the voluntarist and the nonvoluntarist accounts of fairness, and it cannot be bridged by the two arguments that are perhaps implicit in Klosko‟s account, namely the presumptive benefits argument and the democratic procedure argument. (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)

本书精选发生在部队的100个真实事例,对每个事例作了精当的评析,分析了事例本身的前因后果,揭示了事例蕴含的理论原理,提示了在部队实践中解决此类问题的思路和方法。.

本书包括四篇内容:第一篇总论;第二篇北宋的理学;第三篇南宋、元代的理学;第四篇明代的理学。.

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.

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 nontheistic moral traditions, there is a typical ethical conundrum concerning the relation between cosmic order and human agency. Within those traditions, it is generally recognized that the universe has its own order and history that are independent of human will. A moral discourse has to find space to accommodate human agency in the midst of the iron grid of cosmic law. Both Confucius and Aurelius use the concept of timeliness (kairos) to resolve the difficult issue. But their philosophies take (...) on divergent paths. By studying their resolutions of the issue, we will be able to appreciate the distinctive nature of their nontheistic moral narratives. (shrink)

It has been contended that ostracism is prevalent in the workplace, and there has been increasing research interest in its potential effects. This paper extends the theoretical framework of workplace ostracism by linking it with affective commitment and intention to leave from the perspective of job embeddedness. Using time-lagged data from China, we apply job embeddedness theory to confirm that workplace ostracism decreases the cultivation of job embeddedness, which in turn undermines affective commitment and induces intention to leave. We also (...) find that intrinsic work motivation strengthens the detrimental effects of workplace ostracism on job embeddedness such that the negative relationship is stronger when intrinsic motivation is high rather than low. We further discuss the theoretical and practical implications of our findings and offer future research directions. (shrink)

In a recent article, Arthur Applbaum contributes a new view—legitimacy as a moral power—to the debate over the concept of political legitimacy. Applbaum rejects competing views of legitimacy, in particular legitimacy as a claim-right to have the law obeyed, for mistakenly invoking substantive moral argument in the conceptual analysis, and concludes that “at the core of the concept—what legitimacy is” is only a Hohfeldian moral power. In this article, I contend that: (1) Applbaum’s view of legitimacy, when fully unfolded, refers (...) to more than a mere moral power and should therefore be rejected even by his own standards; (2) Applbaum’s rejection of competing views of legitimacy ultimately relies on a claim that he does not successfully defend, namely, the claim that moral duties are of absolute rather than prima facie force. (shrink)