Physical activity is critical for maintaining cognitive and brain health. Previous studies have indicated that the effect of physical activity on cognitive and brain function varies between individuals. The present study aimed to examine whether mind wandering modulated the relations between physical activity and resting-state hippocampal functional connectivity. A total of 99 healthy adults participated in neuroimaging data collection as well as reported their physical activity in the past week and their propensity to mind wandering during typical activities. The results (...) indicated that mind wandering was negatively related to the resting-state functional connectivity between hippocampus and right inferior occipital gyrus. Additionally, for participants with higher level of mind wandering, physical activity was negatively related to hippocampal connectivity at left precuneus and right precentral gyrus. In contrast, such relations were positive at right medial frontal gyrus and bilateral precentral gyrus for participants with lower level of mind wandering. Altogether, these findings indicated that the relations between physical activity and hippocampal functional connectivity vary as a function of mind wandering level, suggesting that individual differences are important to consider when we aim to maintain or improve cognitive and brain health through increasing physical activity. (shrink)

Hao Wang was one of the few confidants of the great mathematician and logician Kurt Gödel. _A Logical Journey_ is a continuation of Wang's _Reflections on Gödel_ and also elaborates on discussions contained in _From Mathematics to Philosophy_. A decade in preparation, it contains important and unfamiliar insights into Gödel's views on a wide range of issues, from Platonism and the nature of logic, to minds and machines, the existence of God, and positivism and phenomenology. The impact of Gödel's theorem (...) on twentieth-century thought is on par with that of Einstein's theory of relativity, Heisenberg's uncertainty principle, or Keynesian economics. These previously unpublished intimate and informal conversations, however, bring to light and amplify Gödel's other major contributions to logic and philosophy. They reveal that there is much more in Gödel's philosophy of mathematics than is commonly believed, and more in his philosophy than his philosophy of mathematics. Wang writes that "it is even possible that his quite informal and loosely structured conversations with me, which I am freely using in this book, will turn out to be the fullest existing expression of the diverse components of his inadequately articulated general philosophy." The first two chapters are devoted to Gödel's life and mental development. In the chapters that follow, Wang illustrates the quest for overarching solutions and grand unifications of knowledge and action in Gödel's written speculations on God and an afterlife. He gives the background and a chronological summary of the conversations, considers Gödel's comments on philosophies and philosophers, and his attempt to demonstrate the superiority of the mind's power over brains and machines. Three chapters are tied together by what Wang perceives to be Gödel's governing ideal of philosophy: an exact theory in which mathematics and Newtonian physics serve as a model for philosophy or metaphysics. Finally, in an epilog Wang sketches his own approach to philosophy in contrast to his interpretation of Gödel's outlook. (shrink)

First published in 1974. Despite the tendency of contemporary analytic philosophy to put logic and mathematics at a central position, the author argues it failed to appreciate or account for their rich content. Through discussions of such mathematical concepts as number, the continuum, set, proof and mechanical procedure, the author provides an introduction to the philosophy of mathematics and an internal criticism of the then current academic philosophy. The material presented is also an illustration of a new, more general method (...) of approach called substantial factualism which the author asserts allows for the development of a more comprehensive philosophical position by not trivialising or distorting substantial facts of human knowledge. (shrink)

In this first extended treatment of his life and work, Hao Wang, who was in close contact with Godel in his last years, brings out the full subtlety of Godel's ideas and their connection with grand themes in the history of mathematics and ...

This cogent and knowledgeable critique of the tradition of modern analytic philosophy focuses on the work of its central figures -- Russell, Carnap, and Quine -- and finds it wanting. In its place, Hao Wang unfolds his own original view of what philosophy could and should be. The base of any serious philosophy, he contends, should take as its point of departure the actual state of human knowledge. He explains the relation of this new tradition to mathematical logic and reveals (...) the crucial transitions and mistakes in mainstream Anglo-American philosophy that make a new approach so compelling.Equally at home in philosophy and mathematics, Wang is uniquely qualified to take on the task of critically examining modern philosophy. He carefully traces the path of ideas from Russell and Wittgenstein through the Vienna Circle to modern British and American philosophy, and makes use of his familiarity with the profound thought of Kurt Gödel with whom he has had numerous discussions. He also presents the broader significance of Russell's philosophy, provides a comprehensive and unified treatment of Quine's work in logic and in philosophy, and delineates what is common between Carnap and Quine. (shrink)

Since the rise of modern natural science there has been deep tension between the conceptual and the natural. Wittgenstein's discussion of how we learn a sensation-language contains important resources that can help us relieve this tension. The key here, I propose, is to focus our attention on animal nature, conceived as partially re-enchanted. To see how nature, so conceived, helps us relieve the tension in question, it is crucial to gain a firm and detailed appreciation of how the primitive-instinctive, a (...) central part of animal nature, actually serves the conceptual. I offer such an appreciation by closely examining §244 of the Philosophical Investigations and Peter Winch's discussion of it. The general aim is to bring out a certain kind of Wittgensteinian “naturalism”, a “naturalism” that is fully alive to the rootedness of conceptuality in nature. A concomitant aim is to illustrate the truth of Wittgenstein's saying that in philosophy one often has to pay close attention to details. (shrink)

Noted logician and philosopher addresses various forms of mathematical logic, discussing both theoretical underpinnings and practical applications. After historical survey, lucid treatment of set theory, model theory, recursion theory and constructivism and proof theory. Place of problems in development of theories of logic, logic’s relationship to computer science, more. Suitable for readers at many levels of mathematical sophistication. 3 appendixes. Bibliography. 1981 edition.

The introduction of digital technologies in collective actions seems to have transformed the dynamics of movement organizing and enabled divergent forms of protest organizing. While some studies emphasize “organizationless” organizing in which traditional organizational forms—social movements organizations and formal-bureaucratic structures—have been pushed into the margins, other studies showcase how traditional forms have assumed alternative features, for example, connective leadership and organizations with fluid boundaries. While existing research correctly points out the evolving organizing dynamics and forms in digital activism, few studies (...) have accounted for why digitally enabled protests take certain organizing forms over others among multiple modes of interaction between protesters and digital technologies. Using a case study of a protest campaign organized by Chinese American immigrants, this study illustrates why immigrant activists struggled to keep the campaign “organizationless” on WeChat, a China-based digital platform that afforded other forms of organizing over such an organizing mode. Building on the mechanism-based approach in social movement studies, the findings show that immigrant activists’ emotional–cognitive responses to the changing digital environments became the driving force behind the relational choices to maintain the protest “organizationless.” The study, therefore, may not only inform future studies to explore why certain structures of protest networks emerge and develop but also contribute to the mechanism-based approach by foregrounding emotional–cognitive mechanisms, which mediate environmental and relational mechanisms. (shrink)

In the present research, based on the game research paradigm, the research tools are the dictator game and the trust game, and the research objects are Chinese university students. We adopt 2 × 2 between-subjects design experiment to investigate the influence of social class on university students’ prosocial behavior. Across the experimental study, we find that in the two situations of dictator game and trust game, self-social class has no significant influence on university students’ prosocial behavior; in the situation of (...) dictator game, target social class has a significant influence on university students’ prosocial behavior, and it is regulated by self-social class. Under the condition of low self-social class, the higher the target social class, the more prosocial behavior of university students, which confirms the perspective of status and negates “if you are poor, you will be good for yourself.” Under the condition of high self-social class, the lower the target social class, the more prosocial the behavior of university students, which confirms the perspective of fairness and echoes “if you are good, you will be good at the world”; in the context of the trust game, target social class has a significant influence on university students’ prosocial behavior, and there is no interaction effect with self-social class. (shrink)

本书对历史主体及其选择活动的本质,历史选择中的自由与必然,历史选择与历史规律的关系等理论问题进行富有新意探讨和论述。.

Ben shu gong you ba jiang zu cheng, fen bie shi sheng ren bi ke xue er zhi, Wang Yangming de xin xue ti xi, shi gong yu bing xue, wen xue si xiang yu shi wen chuang zuo, jiao yu si xiang yu shi jian, Yangming hou xue, Yangming xue zai jin xian dai de ying xiang, Yangming wen hua yu Guizhou lü you. Mei ge lun ti lun shu ji zhong, shen du shi zhong, xu shu xing yu (...) yan tong su liu chang, gu shi xing qiang, hen shi he da zhong du zhe yue du. wei qi fa du zhe si kao, zeng qiang yue du xiao guo, zai mei yi jiang zhi hou shi liang she zhi le yi xie ming ci jie shi, jian da tao lun ti. ling pei he xiang guan wen zi, she zhi le yi xie tu pian, bei ke he Yangming shu fa zuo pin deng, ju you ji jia de guan shang xing. (shrink)

The debate between Zhuangzi and Huizi has profound epistemological significance, however, the main body of their debate comprises logical inferences and refutations. Therefore, this paper mainly focuses on the logical aspects of the debate. Some scholars have suggested that Huizi’s argument is self-contradictory; however, in fact, based on such evaluations of Huizi’s argument, we can conclude that Zhuangzi’s logic is also self-contradictory. By utilizing modern logical analysis tools, this study reveals what and how the propositions and inferences contained in the (...) language of the debate are articulated accurately and strictly. Moreover, by elaborating on the implicit premises omitted by Zhuangzi and Huizi, the actual logical process of the debate can be restored, and the logical fallacy of clandestine change of argumentative issue are revealed. This study presents clear modern logic analysis of the debate; it can also provide a more reliable logical basis for the discussions of Zhuangzi and Huizi’s related philosophical thoughts. (shrink)

Detailed summary in vernacular field only.

本辑五篇论文从不同方面涉及逻辑与形而上学。编辑之初衷,并非务多求全,成一系列之论述;而是采撷英华,以期引研究之注意.

Knowledge of the patterns of location of retail stores in urban areas supports the development of effective urban planning and the reasonable allocation of commercial facilities. Using point of interest data and consumer survey data in three main commercial districts in Changchun, China, this study investigates the spatial structures of commercial districts and the patterns of distribution of retail stores to assess the determinants of the development of retail stores in commercial districts. Kernel density estimation, nearest neighbor index, and Pearson’s (...) correlation analysis were used for this study. The following conclusions are drawn. The spatial distribution of retail stores in Changchun commercial districts generates the coexistence of a concentration in the core area and diffusion in the peripheral area. The emergence of shopping malls has challenged the traditional single-center structure, resulting in the transformation of commercial districts from single-center to multicenter layouts, while also producing a hierarchical trend in development. The Chongqing Road and Hongqi Street commercial districts have a relatively high spatial concentration of retail stores. Retail stores in Guilin Road exhibit distinct characteristics, namely, stores selling textiles, clothing, and daily necessities show the highest concentration, and food, beverage, and tobacco outlets as well as integrated stores show the lowest concentration. The selected locations of the differing categories of stores on Chongqing Road strongly correlate, and textile, clothing, and daily necessity stores show a high correlation with other retail categories. Four main factors affect the development and spatial layout of retail in the commercial districts. First, the interaction between consumer behavior and location choice in retail stores promotes the evolution of retail formats and trends in the development of comprehensive, specialized, and hierarchical retail commercial spaces. Second, the retail format determines the spatial layouts and the historical inheritance of the format. Third, governmental planning and policies lead to the agglomeration and diffusion of commercial activities in different areas. Fourth, such spatial clustering effects are an external driving factor for integration and aggregation among retail formats. (shrink)

Wittgenstein's Tractatus contains an insubstantial form of transcendental idealism. It is insubstantial because it rejects the substantial a priori. Yet despite this, the Tractatus still contains two fundamental transcendental idealist insights, (a) the identity of form between thought and reality, and (b) the transcendental unity of apperception. I argue for (a) by connecting general themes in the Tractatus and in Kant, and for (b) by giving a detailed interpretation of Tractatus 5.6ff., where Wittgenstein talks about solipsism and the metaphysical subject. (...) Tractarian solipsism, on this interpretation, is a special, insubstantial form of transcendental idealism. (shrink)

Automated algorithms are silently making crucial decisions about our lives, but most of the time we have little understanding of how they work. To counter this hidden influence, there have been increasing calls for algorithmic transparency. Much ink has been spilled over the informational account of algorithmic transparency—about how much information should be revealed about the inner workings of an algorithm. But few studies question the power structure beneath the informational disclosure of the algorithm. As a result, the information disclosure (...) itself can be a means of manipulation used by a group of people to advance their own interests. Instead of concentrating on information disclosure, this paper examines algorithmic transparency from the perspective of power, explaining how algorithmic transparency under a disciplinary power structure can be a technique of normalizing people’s behavior. The informational disclosure of an algorithm can not only set up some de facto norms, but also build a scientific narrative of its algorithm to justify those norms. In doing so, people would be internally motivated to follow those norms with less critical analysis. This article suggests that we should not simply open the black box of an algorithm without challenging the existing power relations. (shrink)

本書分為思維與語言關係研究、認識與真理關係探析、學術研究與學術創新三大專題，書中從發生學的視角提出了人類思維的發生先於語言的獨到見解，進而闡明了語言對人類思維發展的促進作用；探討了真理與認識的關係和真 理有無階級性問題。闡明了真理，包括相對真理均不包含錯誤。用真理的科學性論證了任何真理，包括社會科學的真理都沒有階級性；從哲學的角度論述了獨立思考之于學術創新的重大意義。.

Human personality influences the way people interact with dogs. This study investigated the associations between the personality of animal shelter volunteers and behavior during on-leash walks with shelter dogs. Video recording and a canine leash tension meter were used to monitor the on-leash walking. Personality was measured in five dimensions with the NEO Five-Factor Inventory. Neurotic volunteers pulled the leash harder and tended to interact with dogs using more body language; dogs being walked by neurotic volunteers in turn displayed more (...) lip-licking and body shaking and were more likely to be rated as well-behaved. Extroverted volunteers were associated with stronger maximal leash tension at both the human and dog ends of the leash, and they praised the dog more, often in a high pitched voice. These volunteers eliciting more tail-wagging and body shaking by the dog. Extroverted volunteers were also more tolerant of different dog behaviors. Volunteers with personalities characterized by “openness to experiences” were less likely to verbally attract the attention of dogs, praise dogs and talk to them in a high-pitched voice; however, dogs walked by these volunteers were more likely to pull on the leash, and engaged in more lip-licking but less sniffing. “Agreeable” volunteers liked to verbally attract the attention of the dogs and more commonly initiated hand gestures and physical contact, causing the dogs to pull less frequently; dogs in these dyads displayed more gazing and lip-licking behaviors. Conscientious volunteers were less likely to pull the leash and tended to have more physical contact with the dogs but did not favor verbal communication and did not use a high pitched voice. (shrink)

A survey is made of work since 1879 on foundational problems viewed as an analysis, by reduction and formalization, of the concepts proof, feasible, number, set, and constructivity. It is suggested that there are five domains of concepts and methods, viz., anthropologism, finitism, intuitionism, predicativism, and platonism. It is also suggested that the central problem is to characterize these domains by formalization and to determine their interrelations by different forms of reduction. Finally, the range of logic in the narrower sense (...) is discussed, and applications of mathematical logic are briefly outlined.ZusammenfassungDie Entwicklung der Grundlagenforschung seit dem Jahre 1879 wird hier im Überblick dargestellt und zwar vom Standpunkt einer Analyse durch Reduktion and Formalisierung der Begriffe Beweis, Zahl, Menge und Konstruktivität aus gesehen. Fünf Bereiche von Begriffsbildungen und Methoden werden zu Grunde gelegt, nämlich: Anthropologismus, Finitismus, Intuitionismus, Prädikativismus und Platonismus. Als zentrale Aufgabenstellung wird hier die Charakterisierung dieser Bereiche durch Formalisierung betrachtet und weiterhin die Bestimmung ihrer gegenseitigen Zusammenhänge durch verschiedene Arten von Reduktionen. Schliesslich wird das Gebiet der Logik im engeren Sinne diskutiert und Anwendungen der mathematischen Logik skizziert.RésuméL'article réexamine les travaux faits depuis 1879 sur les problèmes du fondement des mathématiques, que P'on considère comme des analyses par réduction et formalisation des concepts de démonstration, de nombre, d'ensemble, et de constructivité. On suggère qu'il existe cinq domaines de concepts et de méthodes, à savoir: anthropologisme, finitisme, intuitionisme, « predicativism » et platonisme. On suggère aussi que le problème essentiel consiste à caractériser ces domaines par formalisation et à déterminer leurs relations réciproques par différentes formes de réduction. Finalement, on étudie la portée de la logique prise dans son sens le plus étroit et on esquisse rapidement les applications de la logique mathématique. (shrink)

The non-alethic systems N1 of da Costa and A of Grana are both paraconsistent and paracomplete. Based on them, a multi-agent doxastic logic NADK can be obtained by logical expansion. The soundness and completeness of NADK are proved and its special theorems are also presented. In this logic, the belief version of the laws of contradiction and excluded middle, as well as the principle of explosion are all invalid. Therefore, it may provide a reliable logical basis for any theory which (...) has paraconsistent or paracomplete epistemic conflicts, such as true contradictions, true contrarieties, and belief paradoxes. We also explain in detail how a non-alethic doxastic logic provides a reliable logical basis for tolerating these three types of epistemic conflicts. The present paper is the deepening and development of system N1 and A. (shrink)

Long distance travel is an unusual activity for humans. The economical cabin environment during the long haul flights causes discomfort and even stress for many passengers. In-flight video and music systems are commonly available to improve the comfort level of the passengers. However, current in-flight music systems do not explore how the content can be used to reduce passengers stress. Most of these systems are designed and implemented assuming a homogeneous passenger group that has similar tastes and desires. In this (...) paper, we present a heart rate controlled in-flight music recommendation system for reducing the stress during air travel. The system recommends personalized music playlists to the passengers and attempts to keep their heart rate in a normal range with these playlists. Experiments in a simulated long haul flight cabin environment find that the passengers’ stress can indeed be significantly reduced through listening to the recommended music playlists. (shrink)