In this paper, using a propositional modal language extended with the window modality, we capture the first-order properties of various mereological theories. In this setting, $\Box \varphi $ reads all the parts (of the current object) are $\varphi $, interpreted on the models with a whole-part binary relation under various constraints. We show that all the usual mereological theories can be captured by modal formulas in our language via frame correspondence. We also correct a mistake in the existing completeness proof (...) for a basic system of mereology by providing a new construction of the canonical model. (shrink)

We discuss a simple logic to describe one of our favourite games from childhood, hide and seek, and show how a simple addition of an equality constant to describe the winning condition of the seeker makes our logic undecidable. There are certain decidable fragments of first-order logic which behave in a similar fashion and we add a new modal variant to that class of logics. We also discuss the relative expressive power of the proposed logic in comparison to the standard (...) modal counterparts. (shrink)

Formal learning theory formalizes the process of inferring a general result from examples, as in the case of inferring grammars from sentences when learning a language. In this work, we develop a general framework—the supervised learning game—to investigate the interaction between Teacher and Learner. In particular, our proposal highlights several interesting features of the agents: on the one hand, Learner may make mistakes in the learning process, and she may also ignore the potential relation between different hypotheses; on the other (...) hand, Teacher is able to correct Learner’s mistakes, eliminate potential mistakes and point out the facts ignored by Learner. To reason about strategies in this game, we develop a modal logic of supervised learning and study its properties. Broadly, this work takes a small step towards studying the interaction between graph games, logics and formal learning theory. (shrink)

We discuss a simple logic to describe one of our favourite games from childhood, hide and seek, and show how a simple addition of an equality constant to describe the winning condition of the seeker makes our logic undecidable. There are certain decidable fragments of first-order logic which behave in a similar fashion with respect to such a language extension, and we add a new modal variant to that class. We discuss the relative expressive power of the proposed logic in (...) comparison to the standard modal counterparts. We prove that the model checking problem for the resulting logic is \(\textsf{P}\) -complete. In addition, by exploring the connection with related product logics, we gain more insight towards having a better understanding of the subtleties of the proposed framework. (shrink)

本书内容包括:从康德的“道德宗教”论儒家的宗教性、重评张载由“气化论”证立的成德论、从历史中提取智慧、当今越南的宗教与社会等。.

本书收录了著名学者李石岑先生的15篇讲演,涉及怀疑与信仰、哲学与人生、佛学与人生、教育与人生等哲学与生命论题。.

本书研究了西方各国科学哲学思想的源流、派别,以及各派思想之间的关系及与科学、宗教、社会思潮的牵连,探索了科学哲学思想的发展方向。.

"Co-publication agreement between China Social Sciences Press (China) and Paths International Ltd (UK)"--Colophon.

In this volume, leading scholars in Asian and comparative philosophy take the work of Joel J. Kupperman as a point of departure to consider new perspectives on Confucian ethics. Kupperman is one of the few eminent Western philosophers to have integrated Asian philosophical traditions into his thought, developing a character-based ethics synthesizing Western, Chinese, and Indian philosophies. With their focus on Confucian ethics, contributors respond, expand, and engage in critical dialogue with Kupperman’s views. Kupperman joins the conversation with responses and (...) comments that conclude the volume. (shrink)

本书以美国的价值哲学理论为依据,就其理论核心“价值本质论”,分析其价值本质的特色,揭示其本质论的根本缺陷等问题。.

The current study is conducted to examine the following research questions: - Examine how knowledge acquisition and knowledge dissemination are associated with academic staff’s job satisfaction and teaching motivation - Examine whether job satisfaction mediates the relationship between knowledge acquisition, knowledge dissemination and teaching motivation.

本书主要内容包括:经典力学和经典物理学的神圣庙堂;不识庐山真面目,只缘身在些山中;把经典力学的基本概念从奥林帕斯山上拉下来;危机是革命的前夜;爱因斯坦开拓奇妙的新世界;历史是一面最好的镜子等.

A major controversy in the study of the "Analects" has been over the relation between two central concepts, ren (humanity, human excellence) and li (rites, rituals of propriety). Confucius seems to have said inconsistent things about this relation. Some passages appear to suggest that ren is more fundamental than li, while others seem to imply the contrary. It is therefore not surprising that there have been different interpretations and characterizations of this relation. Using the analogy of language grammar and mastery (...) of a language, it is proposed here that we should understand li as a cultural grammar and ren as the mastery of a culture. In this account, society cultivates its members through li toward the goal of ren, and persons of ren manifest their human excellence through their practice of li. (shrink)

本书探究了李宗吾的家族渊源、学识流派以及思想体系,试图全面解读“厚黑教主”,在读者面前展现出一个真实、全面的李宗吾。.

本书以物理学发展史为线索,介绍物理定律产生的背景,物理定律形成的实验基础,及物理学家的研究活动和思维方法。.

本书主要记述作者赴欧盟国家考察法律制度的感受心得,收《权利,权利》、《丹麦的平民政治》、《风雨柏林墙》等40多篇文章。.

Keith Donnellan’s distinction between the attributive and referential uses of definite descriptions has spurred debates regarding the truth conditions of the utterance “the F is G” with definite descriptions used referentially. In this article, I present a semantic account of referential descriptions, grounded in the contextual factors of the utterance, including the speaker’s intention and presupposition as well as the interlocutor’s recognition of them. This account is called the IPR-semantic account, according to which the speaker’s intention (I), presupposition (P), and (...) the interlocutor's recognition (R) jointly determine whether “the F” in an utterance “the F is G” is used referentially or attributively, and the meaning of “the F” is determined by whether it is used referentially or attributively. Moreover, I argue that the meaning of the referential description “the F” is the intended object e, embodied with a property H that has prompted the speaker to presuppose that e is F and to intend to use “the F” to refer to e, as well as the interlocutor to recognize the presupposition and intention. According to the IPR-semantic account, the utterance “the F is G” with “the F” used referentially expresses a singular proposition, namely, that e is G, and it is true if and only if the intended object e is G. Additionally, I argue that the IPR-semantic account not only surpasses some alternative semantic accounts but also outperforms Kripke’s pragmatic account. (shrink)

The multiverse theodicy proposes to reconcile the existence of God and evil by supposing that God created all and only the creation-worthy universes and that some universes like ours are, despite their evils, creation-worthy. Drawing on work in population ethics, this paper develops a novel challenge to the multiverse theodicy. Roughly, the challenge contends that the axiological underpinnings of the multiverse theodicy harbor a ‘mere addition paradox’: the assumption that creating creation-worthy universes would always make the world better turns out (...) to have morally repugnant consequences akin to those of the assumption that adding worthwhile lives to a population would always make the overall welfare of the population better. Further, the challenge leverages this difficulty into an argument against God’s having created all and only the creation-worthy universes, and hence against the multiverse theodicy. Responses to this challenge are considered but found wanting, largely because of commitments of the multiverse theodicy that have no analogs in population ethics. (shrink)

Shang. Zhongguo gu dai si xiang shi lun -- zhong. Zhongguo jin dai si xiang shi lun -- xia. Zhongguo xian dai si xiang shi lun.

Research has independently highlighted the roles of semantic memory and associative abilities in creative thinking. However, it remains unclear how these two capacities relate to each other, nor ho...