Host-microbiome interactions (HMIs) are critical for the modulation of biological processes and are associated with several diseases, and extensive HMI studies have generated large amounts of data. We propose that the logical representation of the knowledge derived from these data and the standardized representation of experimental variables and processes can foster integration of data and reproducibility of experiments and thereby further HMI knowledge discovery. A community-based Ontology of Host-Microbiome Interactions (OHMI) was developed following the OBO Foundry principles. OHMI leverages established (...) ontologies to create logically structured representations of microbiomes, microbial taxonomy, host species, host anatomical entities, and HMIs under different conditions and associated study protocols and types of data analysis and experimental results. (shrink)

In the literature, different axiomatizations of Public Announcement Logic (PAL) have been proposed. Most of these axiomatizations share a “core set” of the so-called “reduction axioms”. In this paper, by designing non-standard Kripke semantics for the language of PAL, we show that the proof system based on this core set of axioms does not completely axiomatize PAL without additional axioms and rules. In fact, many of the intuitive axioms and rules we took for granted could not be derived from the (...) core set. Moreover, we also propose and advocate an alternative yet meaningful axiomatization of PAL without the reduction axioms. The completeness is proved directly by a detour method using the canonical model where announcements are treated as merely labels for modalities as in normal modal logics. This new axiomatization and its completeness proof may sharpen our understanding of PAL and can be adapted to other dynamic epistemic logics. (shrink)

While dynamic epistemic logics with common knowledge have been extensively studied, dynamic epistemic logics with distributed knowledge have so far received far less attention. In this paper we study extensions of public announcement logic ( $\mathcal{PAL }$ ) with distributed knowledge, in particular their expressivity, axiomatisations and complexity. $\mathcal{PAL }$ extended only with distributed knowledge is not more expressive than standard epistemic logic with distributed knowledge. Our focus is therefore on $\mathcal{PACD }$ , the result of adding both common and (...) distributed knowledge to $\mathcal{PAL }$ , which is more expressive than each of its component logics. We introduce an axiomatisation of $\mathcal{PACD }$ , which is not surprising: it is the combination of well-known axioms. The completeness proof, however, is not trivial, and requires novel combinations and extensions of techniques for dealing with $S5$ knowledge, distributed knowledge, common knowledge and public announcements at the same time. We furthermore show that $\mathcal{PACD }$ is decidable, more precisely that it is $\textsc {exptime}$ -complete. This result also carries over to $\mathcal{S 5\mathcal CD }$ with common and distributed knowledge operators for all coalitions (and not only the grand coalition). Finally, we propose a notion of a trans-bisimulation to generalise certain results and give deeper insight into the proofs. (shrink)

This article uses a Chinese narrative of ‘nature-human harmony’ as the main thread to connect the contributions of ontological anthropology. I argue that the best of the critiques of nature-human or nature-culture dualism in social anthropology propose rebuilding a world that ‘pursues harmony while preserving difference’ in the double sense of nature and culture. Given that most social scientific problems are indeed related to utilitarian individualism, I argue that research on ‘ontology’ should re-engage the ancient notion of ‘ ji’, construed (...) as ‘others-comprised self’, which forms the foundation of a perspective of ‘broad human relationship’ between humans and their others (other humans, things, and divinities). Perspectivism inherits many categories of Western cosmology that it critiques and represents a kind of inert ontology. Grounded in the cosmology of life ( sheng), we hope to contribute to a new anthropology of the compatibility between self/others and subject/objects. (shrink)

In Mao’s era, China’s policy makers and intellectuals viewed aesthetic experience and thought as handmaidens in the service of the political order. As China opened up and engaged more intensely with modern traditions of the West, aesthetic thinkers such as Li Zehou critiqued the subordinated role of aesthetics and reasserted notions of aesthetic autonomy and liberal humanism, calling for the separation of arts and literature from political, social, and moral concerns. This truncated aesthetic view stems from a modernist version of (...) Western aesthetics that favors sense and sensibility as the sole sources of aesthetic value—a view that considerably diminishes the horizon of concerns inherent in traditional and modern Chinese aesthetic thoughts. This article seeks to recapture a repoliticized aesthetics by considering the ways early twentieth-century Chinese thinkers linked aesthetic thoughts to moral and political considerations in the reconstruction of China as a modern nation-state. Instead of transcendent, pure aesthetics over and above political processes and social experience, prominent aesthetic thinkers like Wang Guowei, Cai Yuanpei, and Lu Xun invoked traditional Chinese aesthetic legacies and reconsidered intimate and necessary ties between aesthetic categories and broader concerns about cultural crises, moral reform, and nation building. (shrink)

Love is often seen as the most intimate aspect of our lives, but it is increasingly engineered by a few programmers with Artificial Intelligence (AI). Nowadays, numerous dating platforms are deploying so-called smart algorithms to identify a greater number of potential matches for a user. These AI-enabled matchmaking systems, driven by a rich trove of data, can not only predict what a user might prefer but also deeply shape how people choose their partners. This paper draws on Jürgen Habermas’s “colonization (...) of the lifeworld” thesis to critically explore the insidious influence of delegating romantic decision-making to an algorithm. The love lifeworld is colonized inasmuch as online dating algorithms encroach into our romantic relations to the extent that communicative action within romance is replaced by the technocratic rules of an algorithm. (shrink)

In order to discover the justice and argue that it is a goodness, Socrates draws an analogy between the justice of a polis and the justice of an individual in the book II of the Republic. According to him, a polis is a large version of an individual. In Book IV, Socrates proves their congruity from two perspectives --- the polis and the soul are the same “tripartite”: Both of them have the same four virtues. He thus explains why the (...) vulgar justice is good, and makes a preliminary definition of the nature of justice as well. In his view, the justice is doing one’s own; therefore like temperance, it runs through all the notes of the scale and brings both the polis and the soul harmony and symphony. Seen in the context of the Republic as a whole, this argument of Socrates’ is obviously not convincing. Readers are reasonable in raising the following questions: First, are a polis and an individual of the same composition? Second, are virtues of the state necessarily virtues of the soul? In other words, must a good man be a good citizen? This paper is to deal with Socrates’ argument from these two aspects. In fact, a polis cannot achieve the same harmony and symphony as an individual, nor can political virtues come to the same level as philosophical ones. Hence, a good citizen is not necessarily a good man. Rather, the justice of polis is more of temperance while the justice of soul is more of wisdom. If it is true that the genuine virtue is knowledge, therefore only philosophers are the most just and happiest in the world, then more thought needs to be given to the view that the vulgar virtuesinevitably mean happiness. (shrink)

This commentary provides a critique of Žižek’s 2021 article on the catastrophe of the U.S. military withdrawal from Afghanistan with a focus on Zizek’s nostalgic moment of the fully engaged subject. The commentary deploys the actual and possible scenarios of the form of subjectivity in association with the cynical subject and the sadistic superego; and suggests the possibility of an alternative ethical subjectivity.

本书由第一编基本理论问题,第二编现实问题,第三编语言问题,第四编马克思主义文艺学的当代建构问题四部分组成,分别包括:意图与冲动——文学创作心理动力的结构分析、论文学创作中的情感活动的内在构成和动运过程 等内容.

本书涉及的理论领域很宽,有对技术本性和发展规律的哲学思考,有对国外技术哲学流派和我国传统技术哲学观念的分析,也有对技术与社会关系中许多现实问题的讨论。.

本书涉及的理论领域很宽,有对技术本性和发展规律的哲学思考,有对国外技术哲学流派和我国传统技术哲学观念的分析,也有对技术与社会关系中许多现实问题的讨论。.

本书是崭新的角度对现实主义进行了系统而深刻的美学探讨。全书共5编18章,分别论述了现实主义的原则、特点、现实主义的真实性、现实主义的典型创造等问题。.

本书是王森先生的遗作,如1989年出版的《中国逻辑史·唐明卷》中的《藏传因明》一章;梵文汉译的《胜论经》;梵文古写本《七句义论》校注;《正理滴论》、《中论》、《辨中边论》梵藏汉文会勘;贝叶本《俱舍论颂 》梵藏汉文索引;以及《正理滴论》梵汉对照索引等.

本书内容按中国美学发展的时代先后编写,从先秦到近现代共分六篇,每一篇包括原文和提要两部分。.

Discussing the sages in Chinese history.