A sequent calculus S for the variety tqBa of all topological quasi-Boolean algebras is established. Using a construction of syntactic finite algebraic model, the finite model property of S is shown, and thus the decidability of S is obtained. We also introduce two non-distributive variants of topological quasi-Boolean algebras. For the variety TDM5 of all topological De Morgan lattices with the axiom 5, we establish a sequent calculus S5 and prove that the cut elimination holds for it. Consequently the decidability (...) of S5 is established. Furthermore, this proof-theoretic method is applied to some subvarieties of TDM5. (shrink)

马克思主义哲学是对人类以往科学和哲学发展的科学总结,是人类思想史上的革命,是整个马克思主义学说的重要组成部分和理论基础,是无产阶级争取自身解放的科学世界观和方法论.

本书分两部分:社会主义制度建立和探索建设道路时期马克思主义哲学的广泛传播和曲折发展、建设中国特色社会主义时期马克思主义哲学的创造性运用和蓬勃发展。.

全书共介绍了马克思、恩格斯、列宁、斯大林、毛泽东等哲学著作138部,对有关的名词、术语等4000个辞条均详加阐释。.

本书内容按中国美学发展的时代先后编写,从先秦到近现代共分六篇,每一篇包括原文和提要两部分。.

The development of artificial perception technologies has surpassed the limitations of human natural senses, expanding humanity's perspectives on the world and self-awareness. However, it has simultaneously introduced new ethical challenges. These emerging challenges necessitate a philosophical reexamination of concepts such as 'nature,' 'artificial,' and ' invasiveness ' to better address associated issues. The advancement of artificial perception technologies not only involves scientific and practical applications but also profoundly influences human values, social ethics, and the future trajectory of human civilization. Amidst (...) the current transformation and transition in modes of cognition, reevaluating the relationship between technology and humanity becomes a crucial task. (shrink)

Numerous societal issues, from climate change to pandemics, require public engagement with scientific research. Such engagement reveals challenges that can arise when experts communicate with laypeople. One of the most common frameworks for framing these communicative interactions is the deficit model of science communication, which holds that laypeople lack scientific knowledge and/or positive attitudes towards science, and that imparting knowledge will fill knowledge gaps, lead to desirable attitude/behavior changes, and increase trust in science. §1 introduces the deficit model in more (...) detail and shows that adhering to this model often fails to achieve its aims, which motivates the main question of this chapter: how can Ludwik Fleck’s theory of thinking collectives address the persistent problem of deficit approaches in science communication? I suggest that it can do so by exposing the deficit model’s implicit assumption of an expert-lay divide. Accordingly, §2 lays out Fleck’s theory and §3 contrasts it with contemporary debates about science communication. Following this descriptive work, §4 draws on Fleck’s ideas to make four concrete suggestions for further questioning the expert-lay divide. (shrink)

In his Experiments in Ethics, Appiah focuses mostly on the dimension of naturalism as a naturalism of deprivation - naturalism’s apparent robbing us of aspects of the world that we had held dear. The aim of this paper is to remind him of that naturalism has a dimension of plenitude as well - its capacity to enrich our conception of the world as well. With regard to character, we argue that scientific psychology can help provide a conception of character as (...) dynamic, in a way that may preserve many key aspects of eudaimonistic ethics from the situationists’ challenge. With regard to intuition, we address Appiah’s worry that naturalistic explanations of the sources of our intuitions may leave us feeling that those intuitions have been thereby debunked. We suggest that it may be that feeling of debunking that should itself be debunked. (shrink)

This paper investigates the question of how subjective probability should relate to binary belief. We propose new distance minimization methods, and develop epistemic decision-theoretic accounts. Both approaches can be shown to get “close” to the truth: the first one by getting “close” to a given probability, and the second by getting expectedly “close” to the truth. More specifically, we study distance minimization with a refined notion of Bregman divergence and expected utility maximization with strict proper scores. Our main results reveal (...) that the two ways to get “close” to the truth can coincide. (shrink)

Monoidal t-norm based logic $\mathbf {MTL}$ is the weakest t-norm based residuated fuzzy logic, which is a $[0,1]$ -valued propositional logical system having a t-norm and its residuum as truth function for conjunction and implication. Monadic fuzzy predicate logic $\mathbf {mMTL\forall }$ that consists of the formulas with unary predicates and just one object variable, is the monadic fragment of fuzzy predicate logic $\mathbf {MTL\forall }$, which is indeed the predicate version of monoidal t-norm based logic $\mathbf {MTL}$. The main (...) aim of this paper is to give an algebraic proof of the completeness theorem for monadic fuzzy predicate logic $\mathbf {mMTL\forall }$ and some of its axiomatic extensions. Firstly, we survey the axiomatic system of monadic algebras for t-norm based residuated fuzzy logic and amend some of them, thus showing that the relationships for these monadic algebras completely inherit those for corresponding algebras. Subsequently, using the equivalence between monadic fuzzy predicate logic $\mathbf {mMTL\forall }$ and S5-like fuzzy modal logic $\mathbf {S5(MTL)}$, we prove that the variety of monadic MTL-algebras is actually the equivalent algebraic semantics of the logic $\mathbf {mMTL\forall }$, giving an algebraic proof of the completeness theorem for this logic via functional monadic MTL-algebras. Finally, we further obtain the completeness theorem of some axiomatic extensions for the logic $\mathbf {mMTL\forall }$, and thus give a major application, namely, proving the strong completeness theorem for monadic fuzzy predicate logic based on involutive monoidal t-norm logic $\mathbf {mIMTL\forall }$ via functional representation of finitely subdirectly irreducible monadic IMTL-algebras. (shrink)

This paper analyzes individual probabilistic predictions of state outcomes in the 2008 U.S. presidential election. Employing an original survey of more than 19,000 respondents, ours is the first study of electoral forecasting to involve multiple subnational predictions and to incorporate the influence of respondents’ home states. We relate a range of demographic, political, and cognitive variables to individual accuracy and predictions, as well as to how accuracy improved over time. We find strong support for wishful thinking bias in expectations, as (...) Republicans gave higher probabilities to McCain victories and were worse at overall prediction. In addition, we find that respondents living in states with higher vote shares for Obama performed better at prediction and displayed less wishful thinking bias. We conclude by showing that suitable aggregations of our respondents’ predictions outperformed Intrade (a prediction market) and fivethirtyeight.com (a poll-based forecast) at most points in time. (shrink)

Engineering accident investigations are systematic inquiries into the facts and causes of engineering accidents. The aims of an engineering accident investigation include identifying significant truths about an accident, learning lessons to prevent similar future accidents, and authoritatively communicating the investigative results to the stakeholders. An important normative dimension along which an engineering accident investigation can be evaluated is its degree of success in fulfilling these aims. In this paper, I propose criteria for evaluating the degree of success of an engineering (...) accident investigation using a question-centered framework, and then argue for the relevance of this proposal to the actual engineering practice. The basic idea of my proposal is that an engineering accident investigation is successful to the extent that (1) questions that should arise in the investigation do arise, and (2) questions that arise—especially the more significant ones—are resolved satisfactorily by the end of the investigation. The first part of this paper unpacks my proposal by analyzing the following three concepts and illustrating them using examples from the TWA Flight 800 accident investigation: The (satisfactory) resolution of questions, the significance of questions, and the arising of questions. The second part of this paper argues for the relevance of my proposal to the practitioners and stakeholders of engineering accident investigations. First, I argue that my proposal is sensitive to the aims of the investigators and stakeholders regarding engineering accident investigations, and that it helps them navigate competing and conflicting aims. Second, I go beyond the TWA 800 case study and argue that my proposal explains the strengths and limitations of different types of accident causation models used in investigations. (shrink)

This article examines the issue of the paradoxicality of institution, de-institutionalization, or the counter-institutionalization in classical Chan thought by focusing on the texts of Hongzhou School. It first analyzes the problem of 20th century scholars in characterizing the Chan attitude toward institution as iconoclasts, and the problem of the recent tendency to return to images of the Chan masters as traditionalists, as opposed to iconoclasts. Both problems are examples of imposing an oppositional way of thinking on the Chan masters. The (...) essay then introduces a new paradigm for interpreting the Chan attitude toward institution, the model of de-institutionalization, which borrows certain insights from Derrida’s idea of the counter-institutional. However, the new model is supported by the Chan heritage of Mahayana Buddhist philosophy. This model can more consistently construe the Chan understanding of the paradoxicality of institution, the subtle Chan relationship of being “with and against” institution, and the Chan “middle way” to make institution remain open to its outside and to transformation. (shrink)

Selections from Deng Xiaoping, long expected by the people across the country, is now off press. It is a major event of the political life of the people in our country. The book is the product of a great period of historical change. By pooling the collective wisdom of the Party, it sums up the experience of history, gives expression to the people's demands and aspirations, and bears both far-reaching historical significance and major significance for immediate guidance.

Cet article retrace les changements intervenus au sein du militantisme féministe chinois dans un climat de détérioration politique deux décennies après la Quatrième Conférence mondiale sur les femmes (QCMF) en 1995. Il met en lumière les actions novatrices menées par les jeunes féministes, de même que l’intense surveillance qu’exerce, sur le militantisme organisé, un État totalitaire qui craint de perdre son pouvoir. Bien que la sphère publique et le cyber espace ne laissent guère beaucoup de place à l’activisme, les féministes (...) chinoises se sont mobilisées pour continuer d’expérimenter de nouvelles façons d’exiger l’égalité de genre et de poursuivre des transformations sociales et culturelles. (shrink)

The main goal of this study is to explore the drivers of meaningful sport consumption and its influence mechanism. In sports consumption, consumers not only seek hedonic value but also pursue to experience greater purpose and meaning in life, which is regarded as meaningful sports consumption. This study extends existing sports management literature by examining how social needs impact meaningful sports behavior with team affiliation, self-improvement, and self-esteem as mediators. Based on the questionnaire data collected from China, the empirical analysis (...) results show that social needs have a significant positive impact on meaningful sports consumption behavior through the mediating effect of team affiliation and self-esteem motivation. However, self-improvement motivation does not have a mediating effect on the relationship between social needs and meaningful sports consumption. This study enriches the research content of sports consumption, adds research object of social needs, and expands the research scope of meaningful consumption by introducing meaningful sports consumption into the above domain. (shrink)