Notions of unknown truths and unknowable truths are important in formal epistemology, which are related to each other in e.g. Fitch’s paradox of knowability. Although there have been some logical research on the notion of unknown truths and some philosophical discussion on the two notions, there seems to be no logical research on unknowable truths. In this paper, we propose a logic of unknowable truths, investigate the logical properties of unknown truths and unknowable truths, which includes the similarities of the (...) two notions and the relationship between the two notions, and axiomatize this logic. (shrink)

During immune responses against invading pathogenic bacteria, the cytoskeleton network enables macrophages to implement multiple essential functions. To protect the host from infection, macrophages initially polarize to adopt different phenotypes in response to distinct signals from the microenvironment. The extracellular stimulus regulates the rearrangement of the cytoskeleton, thereby altering the morphology and migratory properties of macrophages. Subsequently, macrophages degrade the extracellular matrix (ECM) and migrate toward the sites of infection to directly contact invading pathogens, during which the involvement of cytoskeleton‐based (...) structures such as podosomes and lamellipodia is indispensable. Ultimately, macrophages execute the function of phagocytosis to engulf and eliminate the invading pathogens. Phagocytosis is a complex process that requires the cooperation of cytoskeleton‐enriched super‐structures, such as filopodia, lamellipodia, and phagocytic cup. This review presents an overview of cytoskeletal regulations in macrophage polarization, ECM degradation, migration, and phagocytosis, highlighting the pivotal role of the cytoskeleton in host defense against infection. (shrink)

The purpose of this study was to examine the effect of group art therapy using traditional Chinese materials on improving the self-efficacy and social function of individuals diagnosed with schizophrenia. In China, little research has been conducted on patients to measure the effectiveness of group art therapy, especially using traditional Chinese materials. To address this research gap, 104 individuals diagnosed with schizophrenia were tested in a group art therapy program that included 30 treatment sessions and used a wide variety of (...) materials, including traditional Chinese materials, such as Chinese calligraphy, traditional Chinese painting, Chinese embroidery, and Chinese beads. The effect of art therapy was analyzed using the General Self-Efficacy Scale and Scale of Social Skills for Psychiatric Inpatients. This study demonstrates that group art therapy using traditional Chinese materials can improve self-efficacy and social function, reducing social and life function problems, and promote the recovery of individuals diagnosed with schizophrenia. (shrink)

A proposition is noncontingent, if it is necessarily true or it is necessarily false. In an epistemic context, ‘a proposition is noncontingent’ means that you know whether the proposition is true. In this paper, we study contingency logic with the noncontingency operator? but without the necessity operator 2. This logic is not a normal modal logic, because?→ is not valid. Contingency logic cannot define many usual frame properties, and its expressive power is weaker than that of basic modal logic over (...) classes of models without reflexivity. These features make axiomatizing contingency logics nontrivial, especially for the axiomatization over symmetric frames. In this paper, we axiomatize contingency logics over various frame classes using a novel method other than the methods provided in the literature, based on the ‘almost-definability’ schema AD proposed in our previous work. We also present extensions of contingency logic with dynamic operators. Finally, we compare our work to the related work in the fields of contingency logic and ignorance logic, where the two research communities have similar results but are apparently unaware of each other’s work. One goal of our paper is to bridge this gap. (shrink)

The structure and “metabolism” (movement and conversion of goods and energy) of urban areas has caused cities to be identified as “super‐organisms”, placed between ecosystems and the biosphere, in the hierarchy of living systems. Yet most such analogies are weak, and render the super‐organism model ineffective for sustainable development of cities. Via a cluster analysis of 15 shared traits of the hierarchical living system, we found that industrialized cities are more similar to eukaryotic cells than to multicellular organisms; enclosed systems, (...) such as factories and greenhouses, paralleling organelles in eukaryotic cells. We further developed a “super‐cell” industrialized city model: a “eukarcity” with citynucleus (urban area) as a regulating centre, and organaras (enclosed systems, which provide the majority of goods and services) as the functional components, and cityplasm (natural ecosystems and farmlands) as the matrix. This model may improve the vitality and sustainability of cities through planning and management. (shrink)

Contingency and accident are two important notions in philosophy and philosophical logic. Their meanings are so close that they are mixed up sometimes, in both daily life and academic research. This indicates that it is necessary to study them in a unified framework. However, there has been no logical research on them together. In this paper, we propose a language of a bimodal logic with these two concepts, investigate its model-theoretical properties such as expressivity and frame definability. We axiomatize this (...) logic over various classes of frames, whose completeness proofs are shown with the help of a crucial schema. The interactions between contingency and accident can sharpen our understanding of both notions. Then we extend the logic to a dynamic case: public announcements. By finding the required reduction axioms, we obtain a complete axiomatization, which gives us a good application to Moore sentences. (shrink)

The completeness of the axiomatization of contingency logic over symmetric frames has been thought of as a nontrivial job, the unimodal case of which cannot be generalized to the finitely multimodal case, which in turn cannot be generalized to the infinitely multimodal case. This paper deals with the completeness of symmetric contingency logic with unlimitedly many modalities, no matter whether the set of modalities is finite or infinite.

Operators can be compared in at least two respects: expressive strength and deductive strength. Inspired by Hintikka’s treatment of question embedding verbs, the variations of noncontingency operator, and also the various combinations of modal operators and Boolean connectives, we propose a logic with strong noncontingency operator as the only primitive modality. The novel operator is deductively but not expressively stronger than both noncontingency operator and essence operator, and expressively but not deductively weaker than the necessity operator. The frame-definability power of (...) this new logic is in between standard modal logic and noncontingency logic. A notion of bisimulation is proposed to characterize this logic within standard modal logic and first-order logic. Axiomatizations over various frame classes are presented, among which the minimal logic is related to the treatment of an alternative semantics of the agreement operator proposed by Lloyd Humberstone. (shrink)

In this paper, we introduce a notion of ‘disjunctive ignorance’, which is a weak combination of two forms of ignorance in the literature. We propose a logical language with ‘disjunctive ignorance’ as a sole modality, explore the logical properties of this notion and its related notions, and axiomatize it over various frame classes. By finding suitable reduction axioms, we extend the results to the case of public announcements and apply it to Moore-like sentences.

Inspired by an interesting quotation from the literature, we propose four modalities, called ‘sane belief’, ‘insane belief’, ‘reliable belief’ and ‘unreliable belief’, and introduce logics with each operator as the modal primitive. We show that the four modalities constitute a square of opposition, which indicates some interesting relationships among them. We compare the relative expressivity of these logics and other related logics, including a logic of false beliefs from the literature. The four main logics are all less expressive than the (...) standard modal logic over various model classes, and the logics of sane and insane beliefs are, respectively, equally expressive as the logics of unreliable and reliable beliefs on any class of models. The logics of reliable and unreliable beliefs are then combined into a bimodal logic, which turns out to be equally expressive as the standard modal logic. Despite this, we cannot obtain a complete axiomatization of the minimal bimodal logic, by simply translating the axioms and rules of the minimal modal logic $\textbf{K}$ into the bimodal language. We then introduce a schematic modality which unifies reliable and unreliable beliefs and axiomatize it over the class of all frames and also the class of serial frames. This line of research is finally extended to unify sane and insane beliefs and some axiomatizations are given. (shrink)

In Fan's 2019 article, “Symmetric Contingency Logic with Unlimitedly Many Modalities”, it is left as an open question in Fan (2019b) how to (completely) axiomatize contingency logic over the class of symmetric and transitive frames, and conjectured that is the desired axiomatization. In the current article, we show that the conjecture is false, and then propose a desired axiomatization, thereby answering the open question. Beyond these results, we also present a family of axiomatizations of contingency logic over Kripke frames.

This article proposes the axiomatizations of contingency logics of various natural classes of neighborhood frames. In particular, by defining a suitable canonical neighborhood function, we give sound and complete axiomatizations of monotone contingency logic and regular contingency logic, thereby answering two open questions raised by Bakhtiari, van Ditmarsch, and Hansen. The canonical function is inspired by a function proposed by Kuhn in 1995. We show that Kuhn’s function is actually equal to a related function originally given by Humberstone.

Inspired by the supervenience-determined consequence relation and the semantics of agreement operator, we introduce a modal logic of supervenience, which has a dyadic operator of supervenience as a sole modality. The semantics of supervenience modality very naturally correspond to the supervenience-determined consequence relation, in a quite similar way that the strict implication corresponds to the inference-determined consequence relation. We show that this new logic is more expressive than the modal logic of agreement, by proposing a notion of bisimulation for the (...) latter. We provide a sound proof system for the new logic. We lift onto more general logics of supervenience. Related to this, we address an interesting open research direction listed in the literature, by comparing propositional logic of determinacy and noncontingency logic in expressive powers and axiomatizing propositional logic of determinacy over various classes of frames. We also obtain an alternative axiomatization for propositional logic of determinacy over universal models. (shrink)

We propose a logic of temporal contingency, which has operators of past and future contingency as primitive modalities. This logic is less expressive than standard temporal logic over the class of bidirectional frames, and cannot define some basic frame properties such as bidirectionality and transitivity. We present a minimal system based on two key ‘bridge axioms’ and a bimodal version of a so-called ‘almost definability’ schema in the literature. The completeness proof is highly nontrivial due to the requirement that the (...) canonical model be bidirectional. We then extend the results to the simplest dynamic case: public announcements. (shrink)

Drawing on the theory of planned behavior, we investigate the legitimacy of platform governance and whether consumers with greater ranges of risk propensity are more likely to purchase innovative products. This study develops a moderated mediation model involving risk propensity, cognitive legitimacy, purchase intention and perceived benefit. To examine our hypotheses, we conducted a survey of 315 consumers from Shanghai, China. The results reveal that risk propensity is positively related to consumers’ purchase intentions, in which cognitive legitimacy plays a mediating (...) role. Furthermore, the interaction suggests that perceived benefit moderates the relationship between risk propensity and cognitive legitimacy. (shrink)

In this paper, a suitable notion of bisimulation is proposed for the bimodal logic with contingency and accident. We obtain several van Benthem Characterization Theorems, and axiomatize the bimodal logic over the class of Eulidean frames and over some more restricted classes, showing their strong completeness via a novel strategy, thereby answering two open questions raised in the literature. With the new bisimulation notion, we also correct an error in the expressivity results in the literature.

In this article, we study logics of unknown truths and false beliefs under neighborhood semantics. We compare the relative expressivity of the two logics. It turns out that they are incomparable over various classes of neighborhood models, and the combination of the two logics are equally expressive as standard modal logic over any class of neighborhood models. We propose morphisms for each logic, which can help us explore the frame definability problem, show a general soundness and completeness result, and generalize (...) some results in the literature. We axiomatize the two logics over various classes of neighborhood frames. Most importantly, by adopting the intersection semantics and the subset semantics in the literature, we extend the results to the case of public announcements, which gives us the desired reduction axioms and has good applications related to Moore sentences, successful formulas and self-refuting formulas. Also, we can say something about the comparative merits of the intersection semantics and the subset semantics. (shrink)

In this work we define contingency logic with arbitrary announcement. In contingency logic, the primitive modality contingency formalises that a proposition may be true but also may be false, so that if it is non-contingent then it is necessarily true or necessarily false. To this logic one can add dynamic operators to describe change of contingency. Our logic has operators for public announcement and operators for arbitrary public announcement, as in the dynamic epistemic logic called arbitrary public announcement logic. However, (...) our language primitive is the more suitable notion of public announcement whether, instead of the public announcement that. We compare the expressive power of our logic and its various fragments to related dynamic epistemic logics. We further present an axiomatisation and show its completeness by adapting a method to demonstrate completeness of arbitrary public announcement logic. Various extensions are also shown to be complete with respect to the corresponding frame classes. (shrink)

In a recent paper, Kit Fine presents some striking results concerning the logical properties of (first-order) ignorance, second-order ignorance and Rumsfeld ignorance. However, Rumsfeld ignorance is definable in terms of ignorance, which makes some existing results and the axiomatization problem trivial. A main reason is that the accessibility relations for the implicit knowledge operator contained in the packaged operators of ignorance and Rumsfeld ignorance are the same. In this work, we assume the two accessibility relations to be different so that (...) one of them is an arbitrary subset of the other. This will avoid the definability issue and retain most of the previous validities. The main results are axiomatizations over various proper bi-frame classes. Finally we apply our framework to analyze Fine’s results. (shrink)

In a recent work, Pizzi proposes a notion of dyadic non-contingency, and then gives an axiomatic system of dyadic non-contingency named \(\text {KD}\Delta ^2\), which is shown to be translationally equivalent to the deontic system KD and has the minimal system \(\text {K}\Delta \) of monadic contingency as a fragment. However, the reason why he defines dyadic non-contingency like that is unclear. In this article, inspired by the notion of relativized knowing-value in the literature, we give a plausible explanation for (...) this. We also show that \(\text {KD}\Delta ^2\) is _not_ sound with respect to the class of serial frames, and then correct a mistake in the previous-mentioned Pizzi’s work. (shrink)

As shown in Fan, there are some similarities/resemblances between contingency and accident. Given this, one may naturally ask if we can unify the two operators to manifest all of their similarities/resemblances. In this article, instead of looking at the interactions between the two operators like in Fan, we turn our attention to the resemblances between the two operators. We extend the unification method in Fan to the current setting. The main results include some model-theoretical ones, such as expressivity, frame definability, (...) bisimulation, and some axiomatization ones. (shrink)

Social exclusion has a significant impact on cognition, emotion, and behavior. Some behavioral studies investigated how social exclusion affects pain empathy. Conclusions were inconsistent, and there is a lack of clarity in identifying which component of pain empathy is more likely to be affected. To investigate these issues, we used a Cyberball task to manipulate feelings of social exclusion. Two groups participated in the same pain empathy task while we recorded event-related potentials when participants viewed static images of body parts (...) in painful and neutral situations. The results showed early N2 differentiation between painful and neutral pictures in the central regions in both groups. The pattern at the late controlled processing stage was different. Parietal P3 amplitudes for painful pictures were significantly smaller than those for neutral pictures in the social exclusion group; they did not differ in the social inclusion group. We observed a parietal late positive potential differentiation between painful and neutral pictures in both groups. LPP amplitudes were significantly smaller in the social exclusion group than those in the social inclusion group for painful stimuli. Our results indicate that social exclusion does not affect empathic responses during the early emotional sharing stage. However, it down-regulates empathic responses at the late cognitive controlled stage, and this modulation is attenuated gradually. The current study provides neuroscientific evidence of how social exclusion dynamically influences pain empathy. (shrink)

The Ontology for Biomedical Investigations (OBI) is an ontology that provides terms with precisely defined meanings to describe all aspects of how investigations in the biological and medical domains are conducted. OBI re-uses ontologies that provide a representation of biomedical knowledge from the Open Biological and Biomedical Ontologies (OBO) project and adds the ability to describe how this knowledge was derived. We here describe the state of OBI and several applications that are using it, such as adding semantic expressivity to (...) existing databases, building data entry forms, and enabling interoperability between knowledge resources. OBI covers all phases of the investigation process, such as planning, execution and reporting. It represents information and material entities that participate in these processes, as well as roles and functions. Prior to OBI, it was not possible to use a single internally consistent resource that could be applied to multiple types of experiments for these applications. OBI has made this possible by creating terms for entities involved in biological and medical investigations and by importing parts of other biomedical ontologies such as GO, Chemical Entities of Biological Interest (ChEBI) and Phenotype Attribute and Trait Ontology (PATO) without altering their meaning. OBI is being used in a wide range of projects covering genomics, multi-omics, immunology, and catalogs of services. OBI has also spawned other ontologies (Information Artifact Ontology) and methods for importing parts of ontologies (Minimum information to reference an external ontology term (MIREOT)). The OBI project is an open cross-disciplinary collaborative effort, encompassing multiple research communities from around the globe. To date, OBI has created 2366 classes and 40 relations along with textual and formal definitions. The OBI Consortium maintains a web resource providing details on the people, policies, and issues being addressed in association with OBI. (shrink)

The Temporal Experience of Pleasure Scale (TEPS) is a self-report instrument assessing pleasure experience. The present study aimed to confirm the factor model of the Chinese version of TEPS and test measurement invariance of the scale across gender in Chinese university students. Participants were 2977 (51% female) undergraduates aged from 16 to 27 years (Mean age = 18.9 years). Results indicated that the revised four-factor structure of the TEPS had acceptable fit in the total sample and in gender groups. Furthermore, (...) configural, metric and partial scalar invariance across gender were established. Two of the items (item 4 and 8) demonstrated different intercepts and women scored higher than men on both items. With partial scalar invariance demonstrated, test of differences in latent means indicated that men had lower levels of pleasure when compared with women. To our knowledge, this study is the first attempt to test the measurement invariance of the TEPS across gender, which provides support for future research that involves examining hedonic capacity in Chinese men and women. (shrink)

ObjectivesAcupuncture therapy has been used for cognitive impairment-related diseases, however, there are still few studies on the overall trend of acupuncture therapy on cognitive impairment based on bibliometric analysis. The purpose of this study was to explore the research trend of the impact of acupuncture on cognitive impairment in the past 15 years, analyze the research trends and hotspots, and provide new ideas and theoretical basis for future research directions.MethodsFrom the Web of Science Core Collection, the relevant literature on the (...) treatment of cognitive impairment with acupuncture from 2007 to 2022 was retrieved. Then, based on the CiteSpace and VOSviewer software of the Java platform, the cooperation between countries and institutions in this field, the co-citation of journals and documents, and the cooperation between authors and authors, etc. were analyzed. In addition, the co-occurrence and burst analysis of keywords are also carried out, and a visual knowledge map is drawn.ResultsAs of August 08, 2022, a total of 394 records related to the treatment of cognitive impairment with acupuncture were identified. The analysis results show: The number and rate of annual publications have steadily increased, with some fluctuations from year to year. The countries that contribute the most to this field are China and the USA. Among them, Beijing University of Chinese Medicine and Capital Medical University are tied for first place in terms of the number of published papers. Tao Jing is the most prolific author and the number one cited author.ConclusionsThe number of publications on acupuncture for cognitive impairment is expected to increase rapidly in future research, suggesting a bright future for the field. Future research hotspots will focus on pain, injury, protocol, diagnosis, guidelines, etc. It is also necessary to strengthen cross-regional and cross-country cooperation among various academic groups. (shrink)

Public value facilitates the democratization of public policy making, it should be the common-sense and bottom-line for policymakers. However, it has not been paid enough attention by the practical and theoretical circles. How to realize the transformation from individual value to public value and make public policies be in line with citizens’ preferences, is vital for the democratic politics. How individual value becomes public value in the agenda-setting stage during the policy-making process? What are the key influencing factors? Using the (...) case of Yangzhou Chemical Co. Youjia Program and interview data, this paper studies the mechanisms that could make individual value be transformed to public value through deeply observing and measuring individuals’ attitudes, demands, motivations, beliefs, and preferences. We argue that (1) public value is an essential foundation for agenda setting and guidance to policy making, whereas individual value cannot naturally substitute value orientation in the public sphere. (2) Transferring individual value to public value can reduce divergence appearing in the subsequent stage in policy activities. (3) Factors that can influence this transformation are policy subjects, relations, rule and expression channels with various determinants and conditions. (4) Public value can terminate irrational and unreasonable policies or drag the policy issues back into the agenda-setting stage. This paper provides unique insights into why individual citizens enter the public sphere to take public actions so that the Chinese government can recognize additional public opinions, which makes cooperative governance be realized. (shrink)

本书内容包括:STS与东亚国家的工业化、城市化和国际化;STS与中国东北老工业基地改造和振兴的战略与对策;科学技术与文化;文化背景中的创新:科技创新、制度创新、管理创新和体制创新等问题;其他STS研究 的基本理论与现实问题。.

本书采用人类学视野，直面本土现实，依循新人文学科的建设路径，在中西当代学术思想的碰撞和融会中，对于马克思主义文艺理论的中国范式、民族艺术与文明冲突、美学意识形态、中国当代悲剧问题、人文精神建设、全球化 与文化多样性、地方性审美经验与认同危机、民族审美经验等重要理论问题做了深沉的思考。.

范畴结构论,所考察和叙述的范畴,并非所有的哲学范畴,而是事物处在静止状态和运动状态所具有的内部的不同层次和外部的不同侧面的对偶性或矛盾性的内部的哲学范畴。本书为充实现代科学辩证法的理论体系和内容,对以 上所述进行研究。.

Du Weiming xian sheng shi dang dai yan jiu he chuan bo ru jia wen hua de zhong yao si xiang jia. Ta 1940 nian chu sheng yu Kunming, xian hou qiu xue yu Taiwan dong hai da xue he Meiguo Hafo da xue, ren jiao yu Pulinsidun da xue, Bokeli Jiazhou da xue. Zi 1981 nian, Du Weiming xian sheng yi zhi zai Hafo da xue Dong Ya xi dan ren li shi ji zhe xue jiao shou,qi jian huo (...) xuan Meiguo ren wen she hui ke xue yuan yuan shi, hai ceng dan ren Hafo Yanjing xue she she zhang. Chang qi yi lai, Du Weiming xian sheng zhi li yu ru xue di 3 qi fa zhan, quan shi Zhongguo wen hua, fan si xian dai jing shen, chang dao wen ming dui hua, zai hai nei wai xiang you hen gao de xue shu sheng yu. Du xian sheng fei chang re xin Zhongguo you xiu chuan tong wen hua zai ben tu de chuan bo, duo ci hui guo can jia jiao yu he xue shu jiao liu huo dong. Ta yu Beijing da xue you zhe te shu de yuan fen,zao zai 1985 nian jiu lai Beijing da xue jiang shou ru jia zhe xue. Zui jin Du Weiming xian sheng yi zheng shi shou pin wei Beijing da xue gao deng ren wen yan jiu yuan yuan zhang. (shrink)

本书以马克思历史观的基本观点为研究对象，以当代实践、科学和哲学本身的发展为基础，对“自然历史过程论”、历史决定论和意识反映论等已经成为“常识”的基本观点进行新的阐述；对实践是人的生存本体、社会生活的本 质以及意识形态批判理论等过去被忽视、“遗忘”的基本观点进行深入探讨；对社会的自然与自然的社会、“从后思索”、时间是人的发展的空间等一些马克思有所论述、但末充分展开，同时又具有重大现实意义的观点，进行充 分展开和详尽论证。?

本书分为马克思哲学的思想定位;马克思哲学的基本概念;马克思哲学的当代意义三篇,对马克思哲学的基础理论和当代意义进行研究。.

偉大的藝術故事就要結束了！這是藝術自我意識到來的時刻,它橫亙在“已成往事的黃金時代”和“即將到來的未然結局”之間，既有提前到來的清醒，也有不確定的迷惘。換言之，這是一個充滿危機和反思意識的“當下”時刻 ，只是這個“當下”一再被延遲，伴隨整個現代性的歷程。這宣告了現代藝術充滿悖論的命運︰它既引發了雙重否定的激情，也展示了自身被扭曲的痕跡。本書在現代西方的歷史語境中，闡釋了藝術終結論和“藝術終結”難題， 批判性地反思了西方現代性的文化邏輯和文藝運作機制，並在此基礎上指出了我們學術界在語境上的錯位和理論上的誤讀。也許，死亡的魔力已經在文藝的空間發揮作用；也許，藝術從沒有像現在這樣深刻地被人理解過。 周計武︰1977年生于徐州。先後就讀于徐州師範大學（文學學士、碩士）和南京大學（文學博士）。現為南京大學文學院副教授，碩士生導師。主要學術興趣集中在西方美學、文藝社會學和文化研究等方面。先後在《文藝研 究》、《文藝理論研究》、《江蘇社會科學》等CSSCI期刊上發表論文20多篇，其中多篇被《新華文摘》和中國人民大學復印報刊資料全文轉載。出版譯著《藝術與社會理論一一美學中的社會學論爭》（2010），與他 人合著《文學與認同︰跨學科的反思》（2008）和《文化現代性與美學問題》（2005）。.