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)

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.