This dissertation is intended to provide a formalism for those generics that trigger nonmonotonic inferences. The formalism is to reflect intentionality and exception-tolerating features of generics, and has an emphasis on the axiomatization of generic reasoning that encodes nonmonotonicity. ;A modal conditional approach is taken to formalize the nonmonotonic reasoning in general at the level of object language. A serial of logic systems---MN, NID, NCUM, N STCUM---are constructed in an increasing strength of the characterized nonmonotonic inference relation. In these systems, (...) two binary modal operators ⩾ and > are introduced in their syntax, and a ⊛ function lifted from the traditional * function is deployed in their semantics. These systems are shown to be sound and complete with respect to certain classes of frames defined in the semantics. They are decidable as well. The nonmonotonic inference is argued to be a ternary relation "[phi], Gamma |∼ alpha", and is defined in the system NSTCUM. Many widely discussed nonmonotonic inference patterns such as Defeasible Modus Ponens, Defeasible Transitivity, the Penguin Principle etc. are justified. The specificity rule is proved to be a theorem of the system N STCUM. The impact of negated defaults on an inference is also investigated and accounted for. ;A canonical form to read off generics is proposed: All generic sentences with subject-predicate structure can be re-written into their canonical form S . If S is a plural noun phrase, it can be further refined to be . Normal objects are selected based on the "meaning" of the subject and predicate terms. The second parameter provides an aspect with respect to which certain objects of a kind are considered normal. Due to such a way to select normal objects, the drowning problem is solved. ;The inference behaviors of generics are axiomatized in the system G, which is a quantificational extension of the system NSTCUM. It is proved to be sound and complete with respect to the class of L⩾,G -frames. Those benchmark examples of generic inferences are examined in the system G. (shrink)

Aiming at the problem of insufficient health monitoring of the elderly in the existing home care system, this paper designs a health information analysis and early warning system based on the Internet of Things technology, which can monitor the physiological data of the elderly in real time. It also can be based on the elderly real-time monitoring data, physical examination data, and other types of health data, which can be used to predict diseases, so as to achieve “early detection and (...) early treatment” of diseases. First, analyse and design the architecture and content of the home care monitoring system based on the Internet of Things. Secondly, based on the collected heart rate, blood pressure, and three-axis acceleration information of the elderly, it is analysed to determine whether the elderly are in danger of falling, and the designed system is used for early warning. Finally, this paper analyses the prediction algorithm theory of the disease prediction module in the health monitoring software of the home care system. In order to improve the accuracy of prediction, the DS evidence theory is used to optimize the traditional BP neural network algorithm and conduct experimental tests. The test results show that the health information analysis and early warning software of the home care system meet actual needs and achieve the expected goals. (shrink)

Evidence suggests divergent thinking is the cognitive basis of creative thoughts. Neuroimaging literature using resting-state functional connectivity has revealed network reorganizations during divergent thinking. Recent studies have revealed the changes of network organizations when performing creativity tasks, but such brain reconfigurations may be prolonged after task and be modulated by the trait of creativity. To investigate the dynamic reconfiguration, 40 young participants were recruited to perform consecutive Alternative Uses Tasks for divergent thinking and two resting-state scans were used for mapping (...) the brain reorganizations after AUT. We split participants into high- and low-creative groups based on creative achievement questionnaire and targeted on reconfigurations of the two brain networks: default-mode network and the network seeded at the left inferior frontal gyrus because the between-group difference of AUT-induced brain activation located at the left IFG. The changes of post-AUT RSFCs indicated the prolonged effect of divergent thinking. More specifically, the alterations of RSFCIFG−AG and RSFCIFG−IPL in the high-creative group had positive relationship with their AUT performances, but not found in the low-creative group. Furthermore, the RSFC changes of DMN did not present significant relationships with AUT performances. The findings not only confirmed the possibility of brain dynamic reconfiguration following divergent thinking, but also suggested the distinct IFGN reconfiguration between individuals with different creativity levels. (shrink)

Based on a close study of benchmark examples in default reasoning, such as Nixon Diamond, Penguin Principle, etc., this paper provides an in depth analysis of the basic features of default reasoning. We formalize default inferences based on Modus Ponens for Default Implication, and mark the distinction between "local inferences"(to infer a conclusion from a subset of given premises) and "global inferences"(to infer a conclusion from the entire set of given premises). These conceptual analyses are captured by a formal semantics (...) that is built upon the set-selection function technique. A minimal logic system M of default reasoning that accommodates Modus Ponens for Default Implication and suitable for local inferences is proposed, and its soundness is proved. (shrink)

This article proposes a four-layer semantic structure for common nouns. Each layer matches up with a semantic entity of a certain type in Montague’s intensional semantics. It is argued that a common noun denotes a sense and a concept, which are functions. For any given context, the sense of a term determines its extensions and the concept denoted by the term specifies its intensions. Intensions are treated as sets of senses. The membership relation between a sense and an intension is (...) a soft kind and is expressed in the form of a generic sentence. Such a layered structure explains various “degrees of publicity” of a language. The result we present clarifies the confusions existing in the ordinary understanding of “sense,” “intension,” and “concept.” It also has promising applications in interpreting metaphors and revealing the relationship between generics and metaphors. (shrink)

本书分为前言、慎言全译、雅述全译、慎言原文、雅述原文、索引六部分,主要内容包括:王廷相生平、王廷相的哲学思想、王廷相的社会政治思想、当时及后世对王廷相的评价等.

“泰初有無”，萬物原初中美之為“大”無名卻有實。大美終而有了一個言說的對象，這位不速之客卻反客為主。從寂寞入喧鬧，在主體之間七嘴八舌中大美難免名實相乖，美名之下往往其實難副。 在“自然人化”過程中感官“人化”發生了美感與藝術創造力，繼之美學與文藝學分別成為獨立的學科，它們的知識合法性以各自認識上的真理性支持。 我們人文家園中這兩片小小田畦。它們緊相毗鄰又以田埂與其他地塊相隔。這就是美學和文藝學以其對象的感性審美形式區別于其他學科對象的形式。 毛崇杰，1939年生于上海。1962年畢業于南京大學地質系，畢業後在中國科學院科學出版社任編輯，1973年調至中國科學院地質研究所。.

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)

This book gives a concise history of biophysics in contemporary China, from about 1949 to 1976. It outlines how a science specialty evolved from an ambiguous and amorphous field into a fully-fledged academic discipline in the socio-institutional contexts of contemporary China. The book relates how, while initially consisting of cell biologists, the Chinese biophysics community redirected their disciplinary priorities toward rocket science in the late 1950s to accommodate the national interests of the time. Biophysicists who had worked on biological sounding (...) rockets were drawn to the military sector and continued to contribute to human spaceflight in post-Mao China. Besides the rocket-and-space missions which provided the material context for biophysics to expand in the late 1950s and early 1960s, Chinese biophysicists also created research and educational programs surrounding biophysics by exploiting the institutional opportunities afforded by the policy emphasis on science's role to drive modernization. The book explores and demonstrates the collective achievements and struggles of Chinese biophysicists in building their scientific discipline. (shrink)

本书收入论文23篇,是作者在中国美学诗学方面学术研究的一个回顾和总结,编为三辑:先秦美学研究、中国诗学经典与审美范畴研究、走向现代的中国美学诗学研究。.

In this paper, I criticize John Bigelow's account of number and present my own account that results from the criticism. In doing so, I argue that proper understanding of the nature of number requires a radical departure from the standard conception of language and reality and outline the alternative conception that underlies my account of number. I argue that Bigelow's account of number rests on an incorrect analysis of the plural constructions underlying the talk of number and propound an analysis (...) of numerical sentences, such as "Quine and Goodman are two", that conforms to the natural understanding of the plural constructions. The analysis leads to the account of number according to which natural numbers are properties, i.e., one-place relations: the number two, for example, is the property indicated by "to be two", which, I argue, is a one-place predicate that can combine with plural terms like "Quine and Goodman". (shrink)