This paper presents a formalization of the classical proof of completeness in Henkin-style developed by Troelstra and van Dalen for intuitionistic logic with respect to Kripke models. The completeness proof incorporates their insights in a fresh and elegant manner that is better suited for mechanization. We discuss details of our implementation in the Lean theorem prover with emphasis on the prime extension lemma and construction of the canonical model. Our implementation is restricted to a system of intuitionistic propositional logic with (...) implication, conjunction, disjunction, and falsity given in terms of a Hilbert-style axiomatization. As far as we know, our implementation is the first verified Henkin-style proof of completeness for intuitionistic logic following Troelstra and van Dalen's method in the literature. (shrink)

Through the overall situation of athletes’ competition pressure, the pressure level of participating athletes can be understood and revealed. Analyzing the sources of stress and influencing factors of athletes can find measures to relieve and reduce stress and provide theoretical reference for the regulation of athletes’ competition pressure. Based on genetic algorithm and neural network theory, this paper proposes a method of tracing the sports competition pressure based on genetic algorithm backpropagation neural network to solve the problem that traditional neural (...) network learning algorithm is slow and easy to fall into local minimum. There is no significant difference between male and female athletes in the level of competition pressure. Athletes have the same training methods and the same goals, and the competition pressure tends to be the same, with no obvious difference; athletes with different educational backgrounds have no significant differences in training, academics, sports injuries, interpersonal relationships, social expectations, and evaluations. Due to the particularity of the stage, the competition pressure of fourth-year undergraduate and third-year masters is significantly higher than that of other grades. The number of athletes participating in college table tennis tournaments has very significant differences in competition dimensions. There is significant difference in training and self-expectation dimension difference. The competition pressure of athletes who participated in the college table tennis championship for the first time was significantly higher than that of athletes who participated repeatedly. There were significant differences between athletes before and after adapting to the venue. Before adapting to the venue, the competition pressure of athletes is generally greater. After adapting to the venue, the competition pressure of athletes has been relieved. (shrink)

In recent years, Liu Qingping 劉清平 has published a series of articles criticizing Confucian ethics in its modern context (see various articles by Liu), which has drawn the attention of many scholars. My friends and I have debated with him and his allies on this issue (See Guo 2002, Yang Haiwen 2002, Yang Zebo 2003, 2004a, 2004b, Ding 2003, 2005a, 2005b, Gong 2004, Guo and Gong 2004, and Wen 2005). Most of the important articles in the debate are now collected (...) in a volume I edited, A Collection of Contentions about Confucian Ethics: Focusing on the Mutual Concealment among Family Members (Guo 2005 [ed.]). In the following, I attempt to respond to some of Liu’s criticisms of Confucian ethics. (shrink)

Qingping åŠ‰æ¸ å¹³ has published a series of articles criticizing Confucian ethics in its modern context (see various articles by Liu), which has drawn the attention of many scholars. My friends and I have debated with him and his allies on this issue (See Guo 2002, Yang Haiwen 2002, Yang Zebo 2003, 2004a, 2004b, Ding 2003, 2005a, 2005b, Gong 2004, Guo and Gong 2004, and Wen 2005). Most of the important articles in the debate are now collected in a volume (...) I edited, A Collection of Contentions about Confucian Ethics: Focusing on the Mutual Concealment among Family Members (Guo 2005 [ed.]). In the following, I attempt to respond to some of Liu’s criticisms of Confucian ethics. (shrink)

This book offers an annotated translation of two of preeminent Chinese Tang dynasty monk Chengguan’s most revered masterpieces. With this book, Chengguan’s Commentaries to the Avatamsaka Sutra and The Meanings Proclaimed in the Subcommentaries Accompanying the Commentaries to the Avatamsaka Sutra are finally brought to Western audiences.

Many discussions in the metaphysics and philosophy of physics literature aim to use physics as a guide to elucidate what the world really, fundamentally is like. However, we don’t yet have a confirmed fundamental theory of physics—what’s the next best thing we can possibly say about the fundamental that is properly informed by our best theories of physics? This paper offers a starting point to address this question. It focuses on the literature on the ontology of quantum mechanics, where the (...) problem is especially salient: Many proposals aim at drawing the fundamental ontology of the world from quantum mechanics, even though they often focus on a non-fundamental theory such as nonrelativistic quantum particle mechanics. I argue that quantum mechanics can plausibly be informative about the fundamental if it is taken as a general framework theory, which covers a range of specific concrete theories, including nonrelativistic quantum particle mechanics, the Standard Model of particle physics, and string theory. I use Wavefunction Realism as an example to demonstrate what kind of ontological lessons about the world at the fundamental level the quantum framework may teach us. (shrink)

This research topic (RT) focused on the impact of fitness on cognitive function and development in adolescents and elderly adults from the standpoint of lifespan neuroscience. Adolescent brain development is characterized by multimodal integration of brain anatomical features and function, according to accumulating evidence. The elderly, on the other hand, suffer from age-related cognitive deterioration. Fitness may be a major factor influencing brain growth and cognitive performance throughout these two critical times for neurological development. It is a multidimensional notion that (...) includes cardiovascular fitness, muscular strength and endurance, flexibility, and body composition, as well as motor fitness (balance, agility, speed, power, and coordination). Adolescents and older people may be responsive to intervention trials aimed at improving fitness levels, such as outdoor activities, cardiovascular exercise, and mind-body practice since brain network integration and neural efficiency are rapidly altered during this period. This RT investigates how fitness influences structural and functional brain development, particularly cognitive functions, and emotional health in adolescents and elderly people, as well as training strategies that may assist cognitive progress throughout this time. It includes a clinical trial (1) and original research papers (4) on the influence of fitness on cognitive function and development in adolescents and elderly adults from a lifespan neu... (shrink)

The essential purpose of this research study is to measure the impact of the applications of traditional Chinese philosophical thinking in film and television music composition; for measuring, the research study used open-ended and closed-ended questions related to the variables. This research study depends upon primary data analysis for collecting data associated with traditional Chinese philosophical thinking and music composition. These data were collected from film industries, directors, and actors in musical department research conducted in China. For measuring, the research (...) used smart PLS and run different results related to the variables, including independent and dependent variables. Indicator correlation, discriminant validity, and composite reliability are all tests run for measuring the research. The smart PLS Algorithm model explains the impact with each other. The overall result found a positive and significant effect on the applications of traditional Chinese philosophical thinking in film and television music composition. (shrink)

Editor’s AbstractGuo Qiyong is one of China's leading scholars of Confucianism, and in this essay proposes a distinctive way of thinking about Mainland New Confucianism that is notable for excluding Jiang Qing, Chen Ming, and some other self-identified Mainland New Confucians. Guo says that the fundamental political goal of all New Confucians has been “liberalism”; he argues that values like democracy and human rights can be both universally shared and yet retain distinctive, local differentiations.

This two-volume set is a seminal work on contemporary New Confucianism in China, focusing on ten leading thinkers of this intellectual movement in the 20th century, discussing their divergences in thought and contemporary relevance. Contemporary New Confucianism refers to the Confucianism or Confucian thought that has emerged in China since the 1920s, which aims to revive the spirituality of Confucianism in a changing society. The first volume reviews the development of this intellectual trend and analyzes the cultural context, logical approach, (...) major themes, and problems of New Confucianism before delving into individual thinkers. It then examines and compares the philosophical thoughts of four key figures of contemporary New Confucianism, including Liang Shumin, Xiong Shili, Ma Yifu, Qian Mu. The second volume focuses on six other representative philosophers of New Confucianism, including Zhang Junmai, Feng Youlan, He Lin, Fang Dongmei, Tang Junyi, and Mou Zongsan. This set will appeal to scholars and students of modern and contemporary Confucianism, intellectual history, philosophy and thought of contemporary China, and comparative philosophy. (shrink)

The key issue of traditional theories of human nature in China is De or virtue, Yu or desire and their correlation. It leads to two developing currents: one is the old tradition since Xia, Shang and Zhou, the Three Dynasties which take desire as nature, another is the new tradition later Confucius initiated which take virtue as nature. So the understanding of human nature in early China experienced a process from desire to virtue, or from the instinct of human to (...) the essence of human. Prior to Confucius, nature is desire and instinct. In that time, the theories of human nature has two themes, namely to manage nature by virtue and to explain nature by Qi. Since Lao Zi, virtue was taken as the inner essence of human. Later Confucius further to take virtue as nature directly, so completes the fundamental transformation of traditional theory of human nature. This is the source of the idea nature of reason and the origin of the theory nature is good. Zisi advocated “what Heaven has conferred is called the nature” to promote the new tradition, and named desire as “the inner”. The new excavated bamboo book Xing Zi Ming Chu not only developed the idea of “the inner” of Zisi, but also further to restore desire as nature, and constructed a unique system of outer moral apriorism for it. Shortly afterward, Mencius turns this trend and advocates none but the four beginnings is nature, desire only is impartment, therefore he develops the new tradition to extremes. Even though, before the period between Tang and Song dynasties, the mainstream of the theory of human nature in China was the oldtradition, and that the new tradition merely like a flash in the pan. In fact, the dualism of human nature in Song and Ming dynasties carried on the old tradition, and at the same time, succeeded the new tradition, and put them into a unified thought system. (shrink)

The works of the Huang-Lao school include the seven chapters of "Tian di" , "Tiandao" , "Tianyun" , "Zaiyou, xia" , "Keyi" , "Shanxing" , and "Tianxia" . In the following we shall refer to these collectively, and by way of abbreviation, as the "Heaven's Way" chapters. Of this group of "essays," the "All Under Heaven" chapter appeared relatively early in time, whereas all the others represented later works in the book Zhuang Zi. In general, however, they all were works (...) produced in the pre-Qin era. The ideas presented by this group of essays are significantly different from those contained in the "inner chapters" of Zhuang Zi, and there are also clear and important differences between the Huang-Lao school and the other schools—namely, the Shu Zhuang school and the Wu Jun school—of latter-day Zhuang Zi thinkers. The ideas presented here of the Huang-Lao school, however, are basically consistent with the characteristics of the ideas conveyed in the "silk-scroll" ancient books on the teachings ascribed to the Yellow Emperor and to Lao Zi that have been discovered in Han-dynasty tombs, and with the way in which Sima Tan described and critiqued the school of Daoism. Therefore, we have called the authors of this group of essays the Huang-Lao school among latter-day Zhuang Zi thinkers. The works of the Huang-Lao school are not only material for the study of the evolving conditions within Zhuang Zi philosophy, but are also important grist for the mill in the study of the "teachings of the Yellow Emperor and of Lao Zi". (shrink)

ABSTRACTWushu is widely misunderstood and its essentially combative nature is being challenged in public discussion. Understanding and recovering its essential nature has become a core issue. This...

ABSTRACTWushu is widely misunderstood and its essentially combative nature is being challenged in public discussion. Understanding and recovering its essential nature has become a core issue. This...

The representatives of modern Neo-Confucianism all greatly value Yi Zhuan and regard it as one of their spiritual resources, and give their own creative interpretations and transformations. Xiong Shili's ontological-cosmological theory takes "qian yuan" as its center; Ma Yifu has a theory of ontology-cultivation centered on "nature-principle"; Fang Dongmei has a metaphysics of production and reproduction; Mou Zongsan takes the view of "completely knowing the fathomless and understanding transformation" as a moral metaphysics; and in Tang Junyi there is a theory (...) of the harmony of doctrines on Heaven and man in which "the knowledge of divine understanding" is its key concept. They employ modern philosophical concepts and thinking to illustrate the cosmology, ontology, theory of life, theory of human nature, theory of spiritual worlds, axiology and their connections in Zhou Yi. They affirm that the characteristics of Chinese philosophy that are different from Western philosophy consist in a naturalist view of vital life, a harmonious view of totality, an axiological view that values exist in natural universe and the world of fact, the pursuit of Good and Beauty, and intuitive experience of inner world. (shrink)

Business Ethics: A European Review, EarlyView.