The completeness of the modal logic S4 for all topological spaces as well as for the real line , the n-dimensional Euclidean space and the segment etc. was proved by McKinsey and Tarski in 1944. Several simplified proofs contain gaps. A new proof presented here combines the ideas published later by G. Mints and M. Aiello, J. van Benthem, G. Bezhanishvili with a further simplification. The proof strategy is to embed a finite rooted Kripke structure for S4 into a subspace (...) of the Cantor space which in turn encodes . This provides an open and continuous map from onto the topological space corresponding to . The completeness follows as S4 is complete with respect to the class of all finite rooted Kripke structures. (shrink)

国家社会科学基金项目中国社会科学院哲学研究所重点项目中国社会科学院哲学研究所出版基金资助项目.

本书收30多篇文章,共分6部分:“中西哲学会通篇”、“审美意识新论篇”、“语言的哲学思考篇”、“人生境界解析篇”、“杂感琐谈篇”和“学术自述篇”。.

本書共分七章，主要是對中國儒家思想的自然觀與日本德川思想界的氣論、自然觀做比較。作者先以橫向的角度，將中國的老莊、王充、孟子、朱子及王陽明，和日本以氣反理的德川儒者做深入的分析與探討；接著再專就日本儒 學思想中「忠」與「孝」的思維典型做耙梳，並以當中的衝突與合一為研究重點，指明陽明學者與兵學者之忠、孝思維的異同。本書秉持「取道日本，回到中國」的精神，為國內學術圈中仍欠缺對話的日本思想史領域，開啟一扇 窗。.

本书从创造和思想两方面,勾勒出西方一段艺术审美的演进过程,并说明这一演进的主导轨迹。内容包括古典时期的艺术与哲学、多元文化下的艺术审美、艺术哲学的体系建构以及艺术走向现代的分流四部分。.

This article assumes that a profession is a number of individuals in the same occupation voluntarily organized to earn a living by openly serving a moral ideal in a morally-permissible way beyond what law, market, morality, and public opinion would otherwise require. Our question is whether the concept of profession may have a far wider range than the term, so that, for example, pointing out that a certain language lacks a word for “profession” in our sense, is not enough to (...) show that those who speak the language also lack the concept. We believe the survey of 71 Chinese reported here begins to answer that question. This article has four parts. The first describes who was interviewed, how, when, and so on. The second describes some important features of the survey’s questions, explaining how the questions track the concept of profession. The third part reports and interprets the results relevant to our question. The forth defends a tentative answer to the question with which we began—arguing the survey supports the claim that China has a profession of engineering. This article should serve as a “proof of concept”, that is, a model for similar studies around the world both of engineering and of other occupations thought to be professions. (shrink)

Dynamic topological logic provides a context for studying the confluence of the topological semantics for S4, topological dynamics, and temporal logic. The topological semantics for S4 is based on topological spaces rather than Kripke frames. In this semantics, □ is interpreted as topological interior. Thus S4 can be understood as the logic of topological spaces, and □ can be understood as a topological modality. Topological dynamics studies the asymptotic properties of continuous maps on topological spaces. Let a dynamic topological system (...) be a topological space X together with a continuous function f. f can be thought of in temporal terms, moving the points of the topological space from one moment to the next. Dynamic topological logics are the logics of dynamic topological systems, just as S4 is the logic of topological spaces. Dynamic topological logics are defined for a trimodal language with an S4-ish topological modality □, and two temporal modalities, ○ and *, both interpreted using the continuous function f. In particular, ○ expresses f’s action on X from one moment to the next, and * expresses the asymptotic behaviour of f. (shrink)

Dynamic topological logic provides a context for studying the confluence of the topological semantics for S4, topological dynamics, and temporal logic. The topological semantics for S4 is based on topological spaces rather than Kripke frames. In this semantics, □ is interpreted as topological interior. Thus S4 can be understood as the logic of topological spaces, and □ can be understood as a topological modality. Topological dynamics studies the asymptotic properties of continuous maps on topological spaces. Let a dynamic topological system (...) be a topological space X together with a continuous function f. f can be thought of in temporal terms, moving the points of the topological space from one moment to the next. Dynamic topological logics are the logics of dynamic topological systems, just as S4 is the logic of topological spaces. Dynamic topological logics are defined for a trimodal language with an S4-ish topological modality □ , and two temporal modalities, ○ and * , both interpreted using the continuous function f. In particular, ○ expresses f’s action on X from one moment to the next, and * expresses the asymptotic behaviour of f. (shrink)

本书研究了和合哲学,内容包括爱智之旅、和合起来、和合历史哲学、和合语言哲学、和合价值哲学、和合艺术哲学、和合哲学的逻辑结构。.

本书探索了民事证据的有关问题。全书介绍了证据适格及证据排除原理、证据裁判主义原理、证据方法原理、证明责任原理、证据规则原理、司法认知原理及民事自认原理等内容。.

国家社会科学基金项目获“高等学校优秀青年教师教学科研奖励计划资助”(TRAPOYT).

本书以张东荪先生近50首咏西哲诗为据,深刻而公允地评述了哲学史上的数十位先贤先哲。.

Objective:The purpose of this study was to describe the current situation of moral distress and to explore its influencing factors among Chinese nurses.Methods:This is an exploratory, descriptive design study. A total of 465 clinical nurses from different departments in three Grade-III, Level-A hospitals in Jinan, Shandong Province, completed the questionnaires, including demographics questionnaire, Chinese version of Moral Distress Scale–Revised, and Job Diagnostic Survey.Ethical considerations:The study was approved by the university ethics board and the local health service director.Results:The total score of (...) Moral Distress Scale–Revised was 36.01 ± 24.02 points. The mean frequency and intensity scores of moral distress were 1.13 ± 0.49 and 1.09 ± 0.58, respectively. The level of moral distress among Chinese clinical nurses was low, and the frequency and intensity of moral distress were on low to moderate level. The level of moral distress experienced by clinical nurses is associated with demographics features and job characteristics, including age, education degree, department, task significance, autonomy, and dealing with others.Conclusion:Our conclusion suggests that hospital and organizational administrations should attach much importance to the moral distress experienced by clinical nurses in China. Further studies should focus on interventions about how to reduce the levels of the frequency and intensity of moral distress among clinical nurses. (shrink)

We formulate epsilon substitution method for elementary analysisEA (second order arithmetic with comprehension for arithmetical formulas with predicate parameters). Two proofs of its termination are presented. One uses embedding into ramified system of level one and cutelimination for this system. The second proof uses non-effective continuity argument.

Cut reductions are defined for a Kripke-style formulation of modal logic in terms of indexed systems of sequents. A detailed proof of the normalization (cutelimination) theorem is given. The proof is uniform for the propositional modal systems with all combinations of reflexivity, symmetry and transitivity for the accessibility relation. Some new transformations of derivations (compared to standard sequent formulations) are needed, and some additional properties are to be checked. The display formulations [1] of the systems considered can be presented as (...) encodings of Kripke-style formulations. (shrink)

Two sources of possible disagreement in bioethics may be associated with pessimism about what bioethics can achieve. First, pluralism implies that bioethics engages with interlocutors who hold divergent moral beliefs. Pessimists might believe that these disagreements significantly limit the extent to which bioethics can provide normatively robust guidance in relevant areas. Second, the interdisciplinary nature of bioethics suggests that interlocutors may hold divergent views on the nature of bioethics itself—particularly its practicality. Pessimists may suppose that interdisciplinary disagreements could frustrate the (...) goals of bioethics. In this article, I explore how wonder may alleviate the concerns of the first group of pessimists regarding problems associated with pluralism, provided that we are willing to accept some interdisciplinary frustrations. Then, I invite readers of this issue of The Journal of Medicine & Philosophy to test these intuitions by considering the role of wonder in these articles. (shrink)

Early and later Confucians, known in Chinese as the “ruists” school of ancient origins, perceived the idea of “harmony” as a fundamental concept that lies at the basis of self-cultivation, society and governance. In modern times this idea still plays in one or another form a dominant note in Chinese politics and social life. The article attempts to search for causes of the significance of “harmony” by focusing on analyzing two pivotal Confucian texts compiled in the Han dynasty, namely, Records (...) of Music [Yue ji 樂記] and Divination of Music [Yue wei 樂緯]. The analysis shows that ruists belonging to Zhou dynasty’s imperial class of music officials, gradually developed the aesthetics of music into a complex idea of "harmony" that contains the highest aesthetical way—“Dao”—which guides both the whole universe as well as the evolution of human society. (shrink)

An important component in the interventionist account of causal explanation is an interpretation of counterfactual conditionals as statements about consequences of hypothetical interventions. The interpretation receives a formal treatment in the framework of functional causal models. In Judea Pearl’s influential formulation, functional causal models are assumed to satisfy a “unique-solution” property; this class of Pearlian causal models includes the ones called recursive. Joseph Halpern showed that every recursive causal model is Lewisian, in the sense that from the causal model one (...) can construct a possible worlds model in David Lewis’s well-known semantics that satisfies the exact same formulas in a certain language. Moreover, he demonstrated that some Pearlian (non-recursive) models are not Lewisian in this sense. This raises the question regarding the exact contour of Lewisian causal models. In this paper, we provide a characterization of the class of Lewisian causal models and a complete axiomatization with respect to this class. Our results have philosophically interesting consequences, two of which are especially worth noting. First, the class of Stalnakerian causal models, a subclass of Lewisian causal models, is precisely the class of Pearlian models that do not contain any cycle of counterfactual dependence (in a sense of counterfactual dependence akin to Lewis’s famous relation between distinct events). Second, a more natural class of causal models is actually a superclass of Lewisian causal models, the logic of which respects only weak centering rather than centering. (shrink)

本书属于世纪之交的中西文学理论的比较研究。时间跨度是从20世纪80年代与90年代的中西文论概观的反思,到21世纪第一个十年中西文论景观的展望。.

武汉大学优秀博士论文湖北省优秀博士论文湖北省教育厅社会科学研究“十五”规划重点项目武汉科技学院学科建设基金项目资助出版.

本书内容包括王通及其“三教可一”论;孙思邈的人文医学;王玄览的“道体”论;《道教义枢》与隋唐道教的义理体系等十九个部分。.

本书分为上下篇,上篇收录作者1982~2001年间写作和发表的有关马克思哲学研究的11篇论文,下篇收录作者1985年到今天写作和发表的有关国外马克思主义哲学研究的16篇论文。.

To understand the qualities of Western civilization and its modernity, to think about the future of humanity, and to understand how modern science was gestated in Western civilization: in the author’s view, these are the most important reasons to do history of science research in China. Study of the history of Western science in China is in its infancy, and there are great deficiencies leading to its lagging behind the international world of scholarship. In this situation, the most urgent task (...) is to translate as soon as possible a batch of high quality and classic books in the field, to establish a basic academic platform for research in the history of science, and, once that foundation has been laid, to deepen our researches further. Given these considerations, this essay discusses why the author translates works on the history of science, how he chooses books for translation, and his experiences as a translator. (shrink)

本书探讨了历史和历史学的本性及其认识论的问题,内容分为史学是什么、史实与史家、历史的真实、历史的话语、历史的重演、历史学的概括、史学的人文性以及历史学的用八部分。.

本书收录了具有京味文化色彩的商业谚语、格言和歇后语等100余条,体现当时北方和北京地区的时代特色、民族习惯、商业状况。.

Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs. to make the material more accessible, basic techniques are presented first for propositional logic; Part II contains extensions to predicate logic. This material provides an introduction and a safe background for reading research literature in logic and computer science as well as advanced monographs. Readers are assumed to be familiar with basic notions of first order logic. One device for making this (...) book short was inventing new proofs of several theorems. The presentation is based on natural deduction. The topics include programming interpretation of intuitionistic logic by simply typed lambda-calculus (Curry-Howard isomorphism), negative translation of classical into intuitionistic logic, normalization of natural deductions, applications to category theory, Kripke models, algebraic and topological semantics, proof-search methods, interpolation theorem. The text developed from materal for several courses taught at Stanford University in 1992-1999. (shrink)

A Short Introduction to Modal Logic presents both semantic and syntactic features of the subject and illustrates them by detailed analyses of the three best-known modal systems S5, S4 and T. The book concentrates on the logical aspects of ...

Unethical research practices are prevalent in China, but little research has focused on the causes of these practices. Drawing on the criminology literature on organisational deviance, as well as the concept of cengceng jiama, which illustrates the increase of pressure in the process of policy implementation within a top-down bureaucratic hierarchy, this article develops an institutional analysis of research misconduct in Chinese universities. It examines both universities and the policy environment of Chinese universities as contexts for research misconduct. Specifically, this (...) article focuses on China’s Double First-Class University Initiative and its impact on elite universities that respond to the policy by generating new incentive structures to promote research quality and productivity as well as granting faculties and departments greater flexibility in terms of setting high promotion criteria concerning research productivity. This generates enormous institutional tensions and strains, encouraging and sometimes even compelling individual researchers who wish to survive to decouple their daily research activities from ethical research norms. This article is written based on empirical data collected from three elite universities as well as a review of policy documents, universities’ internal documents, and news articles. (shrink)

This paper considers the computational complexity of the disjunction and existential properties of intuitionistic logic. We prove that the disjunction property holds feasibly for intuitionistic propositional logic; i.e., from a proof of A v B, a proof either of A or of B can be found in polynomial time. For intuitionistic predicate logic, we prove superexponential lower bounds for the disjunction property, namely, there is a superexponential lower bound on the time required, given a proof of A v B, to (...) produce one of A and B which is true. In addition, there is superexponential lower bound on the size of terms which fulfill the existential property of intuitionistic predicate logic. There are superexponential upper bounds for these problems, so the lower bounds are essentially optimal. (shrink)

J.S. Mill argued that Bentham was ‘not a great philosopher’, asserting that one reason for his judgment was ‘the incompleteness of his [i. e. Bentham’s] own mind as a representative of universal human nature’. This paper argues that Mill’s judgment of Bentham on human nature and his assumptions about Bentham’s ‘own mind’ were seriously mistaken. In fact, Bentham understood many of the most natural and strongest feelings of human nature; he recognized spiritual or mental perfection, and recognized many pleasures associated (...) with a desire for self-perfection, or at least self-improvement; he never denied the importance of the faculty of imagination; he was by no means cut off from life’s graver experiences; his conception of arts and sciences was much broader, more metaphysically-based, consistent and sophisticated than Mill appreciated; and he enthusiastically embraced and encouraged arts and sciences. Mill’s mistake was partly caused by his limited reading of Bentham’s works, but mainly because he failed to grasp the ontological basis and fundamental principles of Bentham’s philosophy. (shrink)

Considering that the development of urbanization cannot be separated from the application of landscape pattern evolution, in order to improve the development level of ecocity, a modeling analysis of ecological urban landscape pattern evolution based on multisource remote sensing data is proposed. Taking ecotype city as the research object, the remote sensing images of ecological urban landscape pattern are screened by using multisource remote sensing data and nonremote sensing data as the basic data. CA-Markov model is constructed and the evolution (...) of ecological urban landscape pattern is analyzed. The experimental results show that, from 2005 to 2020, the development level of urbanization process is higher and higher and the area of building land patches is increasing, which reduces the fragmentation of building land patches. However, the landscape of cultivated land and green space is less and less, and the distribution of the patches also causes uneven phenomenon, which leads to the gradual decline of ecological urban landscape diversity. In the ecological urban landscape pattern, the degree of fragmentation and diversity of urban landscape is reduced due to the high connection and coverage of the construction land. (shrink)

We compare several closely related continuum invariants, i.e., $\mathfrak{a}$, $\mathfrak{a}_\mathfrak{e}$, $\mathfrak{a}_\mathfrak{p}$ in two forcing models. And we shall ask some open questions in this field.

China leads the world in the development and rollout of 5G network, yet less research has been done on the drivers of Chinese people’s adoption of 5G network, especially the specific role of national sentiments, such as the influence of patriotism on their attitude toward 5G network. The study obtained 804 effective online questionnaires from the respondents of various ages, genders, areas, and educational levels. The results based on the structural equation modeling analysis showed that patriotism was an antecedent to (...) Chinese users’ cognition of the conditions provided by the government and telecom operators and the extent that users were influenced by media and surrounding people, which in turn increased users’ expectations of the performance of 5G network and their confidence in adapting to 5G network, and resulted in an increased willingness to use 5G network. This research helps to understand the role of patriotism, which is an emotional factor, in stimulating Chinese users’ attitudes toward 5G network at the time when 5G network is putting into large-scale commercial use in China. (shrink)

A simple cut elimination proof for arithmetic with the epsilon symbol is used to establish the termination of a modified epsilon substitution process. This opens a possibility of extension to much stronger systems.