Mathematical logic is a branch of mathematics that takes axiom systems and mathematical proofs as its objects of study. This book shows how it can also provide a foundation for the development of information science and technology. The first five chapters systematically present the core topics of classical mathematical logic, including the syntax and models of first-order languages, formal inference systems, computability and representability, and Gödel’s theorems. The last five chapters present extensions and developments of classical mathematical logic, particularly the (...) concepts of version sequences of formal theories and their limits, the system of revision calculus, proschemes (formal descriptions of proof methods and strategies) and their properties, and the theory of inductive inference. All of these themes contribute to a formal theory of axiomatization and its application to the process of developing information technology and scientific theories. The book also describes the paradigm of three kinds of language environments for theories and it presents the basic properties required of a meta-language environment. Finally, the book brings these themes together by describing a workflow for scientific research in the information era in which formal methods, interactive software and human invention are all used to their advantage. The second edition of the book includes major revisions on the proof of the completeness theorem of the Gentzen system and new contents on the logic of scientific discovery, R-calculus without cut, and the operational semantics of program debugging. This book represents a valuable reference for graduate and undergraduate students and researchers in mathematics, information science and technology, and other relevant areas of natural sciences. Its first five chapters serve as an undergraduate text in mathematical logic and the last five chapters are addressed to graduate students in relevant disciplines. (shrink)

As the Covid-19 pandemic struck, many healthcare providers switched to telemedicine to deliver medical care through computer and phone screens. How can historians make sense of this use of technolo...

Tu Wei-ming is the foremost exponent of Confucian thought in the United States today. Over the last two decades he has been developing a creative scholarly interpretation of Confucian humanism as a living tradition. The result is a work of interpretive brilliance that revitalizes Confucian thought, making it a legitimate concern of contemporary philosophical reflections.

分: 哲学与时代精神、现代自然科学与辩证唯物主义、马克思主义哲学与宗教等9个专题。.

Heterogeneous institutional investors' shareholding preferences have been driven to change by the deepening of ESG investment philosophy. Therefore, we examine the impact of corporate ESG performance on institutional investors' shareholding preferences and its mechanism of action. We conduct mixed OLS and mediation effect tests using data on ESG responsibility scores and institutional investors' shareholding ratios of A-share listed companies in China from 2010 to 2020 as samples. We find that corporate ESG performance can significantly and robustly increase institutional investors' shareholdings; (...) the mediation effect analysis shows that overall corporate ESG performance contributes to increases in corporate book and market values, thus encouraging institutional investors to increase their shareholdings. The heterogeneity analysis shows that independent institutional investors attach more importance to corporate ESG responsibility performance, and long-term institutional investors attach more importance to corporate environmental performance; moreover, institutional investors have more significant ESG shareholding preferences for Chinese SOEs. Our study can strengthen the encouragement of institutional investors to integrate ESG investment concepts from multiple perspectives, such as research and analysis, portfolio management, risk control, and due diligence management, to design and develop targeted ESG investment tools, give full play to the role of shareholders and guide the sound development of listed companies from the perspective of investment strategy objectives. (shrink)

This essay develops an inferential account of model explanation, based on Mauricio Suárez’s inferential conception of scientific representation and Alisa Bokulich’s counterfactual account of model explanation. It is suggested that the fact that a scientific model can explain is essentially linked to how a modeler uses an established model to make various inferences about the target system on the basis of results derived from the model. The inference practice is understood as a two-step activity, with the first step involving making (...) counterfactual statements about the model itself and the second step involving making hypothetical statements transferring over claims derived from the model onto the target. To illustrate how this two-step activity proceeds, an agent-based simulation model is discussed. (shrink)

Emotion recognition is an important part of building an intelligent human-computer interaction system and plays an important role in human-computer interaction. Often, people express their feelings through a variety of symbols, such as words and facial expressions. A business ecosystem is an economic community based on interacting organizations and individuals. Over time, they develop their capabilities and roles together and tend to develop themselves in the direction of one or more central enterprises. This paper aims to study a multimodal ER (...) method based on attention mechanism. It analyzes the current emotional state of consumers and the development direction of enterprises through multi-modal ER of human emotions and analysis of market trends, so as to provide the most appropriate response or plan. This paper firstly describes the related methods of multimodal ER and deep learning in detail, and briefly outlines the meaning of enterprise strategy in the business ecosystem. Then, two datasets, CMU-MOSI and CMU-MOSEI, are selected to design the scheme for multimodal ER based on self-attention mechanism. Through the comparative analysis of the accuracy of single-modal and multi-modal ER, the self-attention mechanism is applied in the experiment. The experimental results show that the average recognition accuracy of happy under multimodal ER reaches 91.5%. (shrink)

本书包括:古朝鲜三国及统一新罗时期、高丽时期、朝鲜王朝(李朝)时期、近代时期四编。.

本书主要是针对我国当前改革建设的实践,运用马克思主义的哲学原理,加以深入的论述,特别是关于改革与社会心理、人的本质和人的价值、思维方式的变革、宗教等问题的论述、有新意、有深度。.

While substantial progress has been made in the field known as artificial consciousness, at the present time there is no generally accepted phenomenally conscious machine, nor even a clear route to how one might be produced should we decide to try. Here, we take the position that, from our computer science perspective, a major reason for this is a computational explanatory gap: our inability to understand/explain the implementation of high-level cognitive algorithms in terms of neurocomputational processing. We explain how addressing (...) the computational explanatory gap can identify computational correlates of consciousness. We suggest that bridging this gap is not only critical to further progress in the area of machine consciousness, but would also inform the search for neurobiological correlates of consciousness and would, with high probability, contribute to demystifying the “hard problem” of understanding the mind–brain relationship. We compile a listing of previously proposed computational correlates of consciousness and, based on the results of recent computational modeling, suggest that the gating mechanisms associated with top-down cognitive control of working memory should be added to this list. We conclude that developing neurocognitive architectures that contribute to bridging the computational explanatory gap provides a credible and achievable roadmap to understanding the ultimate prospects for a conscious machine, and to a better understanding of the mind–brain problem in general. (shrink)

Tu (Chinese history and philosophy, Harvard U.) offers a panoramic view of the core values of Confucian intellectual thought that have kept it vital for more than two millennia, and underlie the recent resurgence in eastern Asia. Of interest to students of either China or religion and ethics. Paper edition (unseen), $14.95. Annotation copyright by Book News, Inc., Portland, OR.

The spread of epidemics, especially COVID-19, is having a significant impact on the world. If an epidemic is not properly controlled at the beginning, it is likely to spread rapidly and widely through the coexistence relationship between natural and social systems. A university community is a special, micro-self-organized social system that is densely populated. However, university authorities in such an environment seem to be less cautious in the defence of an epidemic. Currently, there is almost no quantitative research on epidemic (...) spreading and response strategies in universities. In this paper, a case study of a university community is considered for a simulation of an infection evolving after an epidemic outbreak based on the method of system dynamics of the three stages. The results show the following: By improving the speed of the initial emergency response, the total number of patients can be effectively controlled. A quarantine policy helps to slow down the evolution of infection. The higher the isolation ratio, the higher the cost; therefore, the isolation ratio should be optimized. It is important to make emergency plans for controlling epidemic spreading and carry out emergency drills and assessments regularly. According to the results of this study, we suggest an emergency management framework for public health events in university communities. (shrink)

I propose a dynamic causal approach to characterizing the notion of a mechanism. Levy and Bechtel, among others, have pointed out several critical limitations of the new mechanical philosophy, and pointed in a new direction to extend this philosophy. Nevertheless, they have not fully fleshed out what that extended philosophy would look like. Based on a closer look at neuroscientific practice, I propose that a mechanism is a dynamic causal system that involves various components interacting, typically nonlinearly, with one another (...) to produce a phenomenon of interest. (shrink)

In this essay I propose that what design principles in systems biology and systems neuroscience do is to present abstract characterizations of mechanisms, and thereby facilitate mechanistic explanation. To show this, one design principle in systems neuroscience, i.e., the multilayer perceptron, is examined. However, Braillard contends that design principles provide a sort of non-mechanistic explanation due to two related reasons: they are very general and describe non-causal dependence relationships. In response to this, I argue that, on the one hand, all (...) mechanisms are more or less general, and on the other, many design principles are causal systems. (shrink)

Michael Weisberg’s account of scientific models concentrates on the ways in which models are similar to their targets. He intends not merely to explain what similarity consists in, but also to capture similarity judgments made by scientists. In order to scrutinize whether his account fulfills this goal, I outline one common way in which scientists judge whether a model is similar enough to its target, namely maximum likelihood estimation method. Then I consider whether Weisberg’s account could capture the judgments involved (...) in this practice. I argue that his account fails for three reasons. First, his account is simply too abstract to capture what is going on in MLE. Second, it implies an atomistic conception of similarity, while MLE operates in a holistic manner. Third, Weisberg’s atomistic conception of similarity can be traced back to a problematic set-theoretic approach to the structure of models. Finally, I tentatively suggest how these problems might be solved by a holistic approach in which models and targets are compared in a non-set-theoretic fashion. (shrink)

Polger and Shapiro argue that their official recipe, a criterion for judging when the phenomenon of multiple realization exists, renders MR less widespread than its proponents have assumed. I argue that, although Polger and Shapiro’s criterion is a useful contribution, they arrive at their conclusion too hastily. Contrary to Polger and Shapiro, I claim that the phenomenon of multiple realization in the biological world, judged by their criterion, is not as scarce as they suggest. To show this, an updated official (...) recipe, namely a multiple mechanistic realization thesis, integrating Polger and Shapiro’s criterion with a compositional conception of realization, is developed. Then, three examples of varied kinds are examined, showing that cases of MR are not so hard to find in the biological world. (shrink)

In this paper, we propose an empirically based Monte Carlo bus-network model as a test bed to simulate intervention strategies to overcome the inefficiencies of bus bunching. The EMB model is an agent-based model which utilizes the positional and temporal data of the buses obtained from the Global Positioning System to constitute a set of empirical velocity distributions of the buses and a set of exponential distributions of interarrival time of passengers at the bus stops. Monte Carlo sampling is then (...) performed on these two derived probability distributions to yield the stochastic dynamics of both the buses’ motion and passengers’ arrival. Our EMB model is generic and can be applied to any real-world bus network system. In particular, we have validated the model against the Nanyang Technological University’s Shuttle Bus System by demonstrating its accuracy in capturing the bunching dynamics of the shuttle buses. Furthermore, we have analyzed the efficacy of three intervention strategies: holding, no-boarding, and centralized-pulsing, against bus bunching by incorporating the rule set of these strategies into the model. Under the scenario where the buses have the same velocity, we found that all three strategies improve both the waiting and travelling times of the commuters. However, when the buses have different velocities, only the centralized-pulsing scheme consistently outperforms the control scenario where the buses periodically bunch together. (shrink)

Over the past two decades, there has been a growing interest in the use of meditation to improve cognitive performance, emotional balance, and well-being. As a consequence, research into the psychological effects and neural mechanisms of meditation has been accumulating. Whether and how meditation affects decision making is not yet clear. Here, we review evidence from behavioral and neuroimaging studies and summarize the effects of meditation on social and non-social economic decision making. Research suggests that meditation modulates brain activities associated (...) with cognitive control, emotion regulation and empathy, and leads to improved non-social and social decision making. Accordingly, we propose an integrative model in which cognitive control, emotional regulation, and empathic concern mediate the effects of meditation on decision making. This model provides insights into the mechanisms by which meditation affects the decision making process. More evidence is needed to test our explanatory model and to explore the function of specific brain areas and their interactive effects on decision making during meditation training. (shrink)

Thomas Polger and Lawrence Shapiro claim that unlike human-made artifacts cases of multiple realization in naturally occurring systems are uncommon. Drawing on cases from systems biology, I argue t...

Using two national culture dimensions, we show that the influence of firms’ corporate social performance on corporate financial performance hinges on culture. Specifically, CFP is higher in those firms where CSR initiatives are congruent with the cultural environment. CSP has a negative impact on CFP for those firms domiciled in countries which are individualistic and favor flexibility. These findings are amplified for those firms with low levels of foreign influence in terms of institutional ownership and sales. Using a dataset covering (...) 5334 firms from 41 different countries, our results indicate that culture and CSR initiatives have a powerful interaction effect in determining CFP, suggesting that CSP’s impact is dependent upon the culture of the country where the firm resides. (shrink)

本书从现代美育理论研究入手、评论著名美学人物、提出把“完美功利主义”作为中国美学现代传统的想法、并对这种现代传统进行阐述。.

Nearly thirty years ago, Robert Alexy in his book The Concept and Validity of Law as well as in other early articles raised non-positivistic arguments in the Continental European tradition against legal positivism in general, which was assumed to be held by, among others, John Austin, Hans Kelsen and H.L.A. Hart. The core thesis of legal positivism that was being discussed among contemporary German jurists, just as with their Anglo- American counterparts, is the claim that there is no necessary connection (...) between law and morality. Robert Alexy has argued, however, that the law, besides consisting conceptually of elements of authoritative issuance and social efficacy, necessarily lays a claim to substantial correctness, which is derived from analytical arguments. Furthermore, if this claim to substantial correctness necessarily requires the incorporation of moral elements into law, then the ‘necessary connection thesis’, as defended by non-positivism, can be justified. Some of the most significant objections to this sort of claim, stemming from the Anglo-American world, are those introduced by Joseph Raz. In his ‘Reply’ to Robert Alexy, Raz raises at least three interesting criticisms, including, first, the ambiguity of ‘legal theory in the positivistic tradition’, second, the indeterminate formulations of the ‘separation thesis’, and, third, the necessary claim of law to legitimate authority as a moral claim. As a point of departure, I will argue that Raz’s three criticisms are misleading. For they do not enhance our understanding of the genuine compatibility or incompatibility between legal positivism and non-positivism. Despite the frequently reformulated theses of legal positivism and the various kinds of opponents responding thereto, the essential divergence between legal positivism and non-positivism was and remains the answer to the question of the relation between law and morality. Furthermore, I will clarify that in the strictest sense there can be three and only three logically possible positions concerning the relation between law and morality: the connection between them is either necessary, or impossible (i. e. they are necessarily separate), or contingent (i. e. they are neither necessarily connected nor necessarily separate). The first position is non-positivistic, while the latter two positions are, indeed, both positivistic, but in different forms: one may be called ‘exclusive’ legal positivism, the other ‘inclusive’ legal positivism. I will continue by showing that these three positions stand to one another in the relation of contraries, not contradictories, and that, taken together, they exhaust the logically possible positions concerning the relation between law and morality, never mind the tradition or authority from which these positions are derived. Raz mentions, however, many changeable formulations of the separation thesis, which even leads him to acknowledge ‘necessary connections between law and morality’. One who is trying to understand legal positivism would no doubt be puzzled by this claim. Nevertheless, I will argue that this is an alternative strategy of legal positivism, and it points to naturalistically oriented view. Although this necessary separation between law and morality, understood naturalistically, strikes one as strengthening the separation, in the end it leads to a weakened notion of necessity. This weakened necessary separation thesis, however, cannot be justified through the so-called claim of the law to legitimate authority, defended by Raz, for it is difficult to answer the question of whether a normally justified but factual authority can gain legitimate authority. Finally, the necessary connection between law and morality in a strong sense can still be justified by the claim of law to correctness, as per Alexy’s argument. (shrink)