We observe that the W*-hierarchy, a variant (introduced by Downey, Fellows, and Taylor [7]) of the better known W-hierarchy, coincides with the W-hierarchy, though not level wise, but just as a whole hierarchy. More precisely, we prove that W[t] ⊆ W*[t] ⊆ W[2t − 2] for each t ≥ 2. It was known before that W[1] = W*[1] and W[2] = W*[2]. Our second main result is a new logical characterization of the W*-hierarchy in terms of "Fagin-definable problems." As a (...) by-product, we also obtain an improvement of our earlier characterization of the hierarchy in terms of model-checking problems. Furthermore, we obtain new complete problems for the classes W[3] and W*[3]. (shrink)

Many parameterized problems ask, given an instance and a natural number k as parameter, whether there is a solution of size k. We analyze the relationship between the complexity of such a problem and the corresponding maximality problem asking for a solution of size k maximal with respect to set inclusion. As our results show, many maximality problems increase the parameterized complexity, while “in terms of the W-hierarchy” minimality problems do not increase the complexity. We also address the corresponding construction, (...) listing, and counting problems. (shrink)

Let $\mathscr {C}$ be a class of finite and infinite graphs that is closed under induced subgraphs. The well-known Łoś–Tarski Theorem from classical model theory implies that $\mathscr {C}$ is definable in first-order logic by a sentence $\varphi $ if and only if $\mathscr {C}$ has a finite set of forbidden induced finite subgraphs. This result provides a powerful tool to show nontrivial characterizations of graphs of small vertex cover, of bounded tree-depth, of bounded shrub-depth, etc. in terms of forbidden (...) induced finite subgraphs. Furthermore, by the Completeness Theorem, we can compute from $\varphi $ the corresponding forbidden induced subgraphs. This machinery fails on finite graphs as shown by our results: –There is a class $\mathscr {C}$ of finite graphs that is definable in first-order logic and closed under induced subgraphs but has no finite set of forbidden induced subgraphs.–Even if we only consider classes $\mathscr {C}$ of finite graphs that can be characterized by a finite set of forbidden induced subgraphs, such a characterization cannot be computed from a first-order sentence $\varphi $ that defines $\mathscr {C}$ and the size of the characterization cannot be bounded by $f(|\varphi |)$ for any computable function f.Besides their importance in graph theory, the above results also significantly strengthen similar known theorems for arbitrary structures. (shrink)

Leonid Levin showed that every algorithm computing a function has an optimal inverter. Recently, we applied his result in various contexts: existence of optimal acceptors, existence of hard sequences for algorithms and proof systems, proofs of Gödel’s incompleteness theorems, analysis of the complexity of the clique problem assuming the nonuniform Exponential Time Hypothesis. We present all these applications here. Even though a simple diagonalization yields Levin’s result, we believe that it is worthwhile to be aware of the explicit result. The (...) purpose of this survey is to convince the reader of our view. (shrink)

Assume that the problem P0 is not solvable in polynomial time. Let T be a first-order theory containing a sufficiently rich part of true arithmetic. We characterize T∪{ConT} as the minimal extension of T proving for some algorithm that it decides P0 as fast as any algorithm B with the property that T proves that B decides P0. Here, ConT claims the consistency of T. As a byproduct, we obtain a version of Gödelʼs Second Incompleteness Theorem. Moreover, we characterize problems (...) with an optimal algorithm in terms of arithmetical theories. (shrink)

The undecidability of first-order logic implies that there is no computable bound on the length of shortest proofs of valid sentences of first-order logic. Some valid sentences can only have quite long proofs. How hard is it to prove such "hard" valid sentences? The polynomial time tractability of this problem would imply the fixed-parameter tractability of the parameterized problem that, given a natural number n in unary as input and a first-order sentence φ as parameter, asks whether φ has a (...) proof of length ≤ n. As the underlying classical problem has been considered by Gödel we denote this problem by p-Gödel. We show that p-Gödel is not fixed-parameter tractable if DTIME(h O(1) ) ≠ NTIME(h O(1) ) for all time constructible and increasing functions h. Moreover we analyze the complexity of the construction problem associated with p-Gödel. (shrink)

This paper examines the market response to the events leading up to the passage of Section 1502 of the Dodd-Frank Wall Street Reform and Consumer Protection Act to explore whether investors value mandatory human rights disclosures of conflict mineral usage. Using a sample of 3639 US registrants from January 1, 2008 to September 30, 2014, we document a significant negative stock market reaction to the passage of the Act. Using a sample of 1206 filers, we also find a negative market (...) reaction to conflict mineral disclosures under the Act. The market reaction is more negative and limited to companies that source their minerals from the DRC and adjoining countries, companies with prior records of human rights violations, and companies with ambiguous disclosures. However, the market appears to reward firms that use risk-mitigation strategies. This paper provides preliminary evidence that the mandatory disclosure of conflict mineral information on Form SD poses a threat to firms’ legitimacy, resulting in a net cost to investors. The results of this study provide economic justification for companies with poor records of conflict mineral sourcing to improve their practices for the purpose of avoiding the high costs that will arise if they are forced to disclose human rights abuses related to conflict mineral use. (shrink)

We give the first systematic study of strong isomorphism reductions, a notion of reduction more appropriate than polynomial time reduction when, for example, comparing the computational complexity of the isomorphim problem for different classes of structures. We show that the partial ordering of its degrees is quite rich. We analyze its relationship to a further type of reduction between classes of structures based on purely comparing for every n the number of nonisomorphic structures of cardinality at most n in both (...) classes. Furthermore, in a more general setting we address the question of the existence of a maximal element in the partial ordering of the degrees. (shrink)

Previous studies have provided evidence that automatic emotion regulation, which is primed by control goals, can change emotion trajectory unconsciously. However, the cognitive mechanism and associated changes in depression remain unclear. The current study aimed to examine whether subliminal goal priming could change the emotional response inhibition among patients with major depressive disorder and their healthy controls. A group of patients with depression and a healthy control group were both primed subliminally by playing control goal related or neutral words for (...) 20 ms each; afterward, they judged the gender of happy or angry faces in an emotional Go/No-Go task. A group of depressed patients and a healthy control group both were both primed subliminally with control goal-related words or neutral words, and they judged the gender of happy or angry faces in an emotional Go/No-Go task. Among patients with depression, there were fewer false alarms of the No-Go response to emotional stimulus after priming with control goal rather than neutral words. Meanwhile, patients with MDD in the subliminal regulation goal priming condition reacted faster to happy rather than angry faces; no significant difference was found in the subliminal neutral priming condition. These findings suggest the malleability of inhibitory control in depression using subliminal priming goals. (shrink)

賈伯斯如果向莊子大力推銷iPhone，莊子會不會買？ 牛頓如果問莊子「蘋果為什麼不往上掉」，莊子會怎麼回答？跳脫學術窠臼、摒除艱深文句， 讀懂莊子、活用莊子之術，一本最好讀實用的莊子工具書！ 貴賤窮達、生涯抉擇、欲望滿足、情緒管理、生態環保… 張忠謀、王菲、成龍、梭羅、比爾．蓋茲名人的際遇… 人世間的大智慧、小處世，兩千多年前的莊子已經給了我們最寶貴的建議！ ★80篇讓你我安然自在的心靈啟示錄，80種讓人生提神醒腦的紅塵逍遙術！ ★賈伯斯、蓋茲、牛頓、柏拉圖……古今中外名人賢哲共同見證莊子的智慧！ ★縱橫兩岸文壇的心靈醫生王溢嘉，分享影響人生最重要的經典思想鉅著！ 滾滾紅塵，浪裡有多少浮沉？ 悠悠天地，你我該何處來去？ 體會深刻彌新的大智慧，掙脫感官與思維的重重枷鎖。 讓莊子陪你逍遙走紅塵，重新關照、定位自己的人生。 「我對莊子情有獨鍾，而且深受其惠，我很樂意將我的一些心得作全盤性、有系統的整理，提供給有興於想要做自己、參透生命奧義、逍遙紅塵的人做參考。 也正因為如此，我對《莊子》一書不做學術上或文本方面的討論，而純粹從一個現代知識分子的角度來閱讀與觀想，談的是《莊子》這本書或莊子這個人讓我產生什麼樣的感觸，以及能為現代人帶來什麼樣的啟發，好似他就是在 你我身邊，陪伴我們走過滾滾紅塵的一個智慧老人。」 ── 王溢嘉 從莊子的時代到此時現在，世界並沒有太大不同，但人們卻依舊在人與事的利害糾葛裡，無能釐清眼前的路。王溢嘉以一個現代知識分子的角度出發，整理出與現代人諸般處境相對應的觀點，用新穎、活潑的方式，重新歸納、整 理莊子深刻彌新，讓你我逍遙自在的生命智慧。 早一點讓莊子陪你走紅塵，人生就少了許多疑惑、困頓與痛苦，對迷惘的現代人更有提神醒腦、震聾啟瞶的作用。.

Physical laws are strikingly simple, although there is no a priori reason they must be so. I propose that nomic realists of all types (Humeans and non-Humeans) should accept that simplicity is a fundamental epistemic guide for discovering and evaluating candidate physical laws. This principle of simplicity clarifies and addresses several problems of nomic realism and simplicity. A consequence is that the oft-cited epistemic advantage of Humeanism over non-Humeanism disappears, undercutting an influential epistemological argument for Humeanism. Moreover, simplicity is shown (...) to be more tightly connected to lawhood than to mere truth. (shrink)

Why is education in the open society not open? Why is this option not even considered in the debate over which education is most suited for the open society? Many consider such an option irresponsible. What, then, are the minimal responsibilities of education? The present volume raises these questions and many more. It is a book we have been waiting for. It offers a rare combination of two seemingly opposite, unyielding attitudes: critical and friendly. Dr. Yehezkely applies a rigorous fallibilist-critical (...) approach to issues regarding contemporary education. His diagnosis is that the source of our trouble is the closed undemocratic character of education, which causes education to become, in effect, a fifth column in the open democratic society. Following Popper, he concedes that democracy is every bit as flawed and as problematic as its enemies accuse it of being, particularly in education; still it is our only hope, since open responsible debate of vital problems cannot do without it. Democracy is risky: yet its absence guarantees failure, especially in closed undemocratic education, even when inspired by the most progressive ideas extant, charged with tremendous good will, and executed with selfless love and devotion. Kibbutz education is a case in point. (shrink)

Realism about quantum theory naturally leads to realism about the quantum state of the universe. It leaves open whether it is a pure state represented by a wave function, or an impure one represented by a density matrix. I characterize and elaborate on Density Matrix Realism, the thesis that the universal quantum state is objective but can be impure. To clarify the thesis, I compare it with Wave Function Realism, explain the conditions under which they are empirically equivalent, consider two (...) generalizations of Density Matrix Realism, and answer some frequently asked questions. I end by highlighting an implication for scientific realism. (shrink)

Despite its apparent complexity, our world seems to be governed by simple laws of physics. This volume provides a philosophical introduction to such laws. I explain how they are connected to some of the central issues in philosophy, such as ontology, possibility, explanation, induction, counterfactuals, time, determinism, and fundamentality. I suggest that laws are fundamental facts that govern the world by constraining its physical possibilities. I examine three hallmarks of laws-simplicity, exactness, and objectivity-and discuss whether and how they may be (...) associated with laws of physics. (shrink)

This article adopts a minimal definition of biological usage to demonstrate that the debate over biological function encompasses two distinct dimensions: descriptive and prescriptive. In the descriptive dimension, biological usage serves as the final arbiter for evaluating different accounts of biological function. Conversely, in the prescriptive dimension, accounts are formulated despite biological usage. The main thesis of this article is that the descriptive/prescriptive distinction helps make better sense of the biological function debate from a novel perspective. This is elucidated by (...) meticulously analyzing the two dimensions and subsequently providing a global overview of the debate. (shrink)

Human behavior depends on the ability to effectively introspect about our performance. For simple perceptual decisions, this introspective or metacognitive ability varies substantially across individuals and is correlated with the structure of focal areas in prefrontal cortex. This raises the possibility that the ability to introspect about different perceptual decisions might be mediated by a common cognitive process. To test this hypothesis, we examined whether inter-individual differences in metacognitive ability were correlated across two different perceptual tasks where individuals made judgments (...) about different and unrelated visual stimulus properties. We found that inter-individual differences were strongly correlated between the two tasks for metacognitive ability but not objective performance. Such stability of an individual’s metacognitive ability across different perceptual tasks indicates a general mechanism supporting metacognition independent of the specific task. (shrink)

In this paper, I will identify two problems of trust in an AI-relevant context: a theoretical problem and a practical one. I will identify and address a number of skeptical challenges to an AI-relevant theory of trust. In addition, I will identify what I shall term the ‘scope challenge’, which I take to hold for any AI-relevant theory of trust that purports to be representationally adequate to the multifarious forms of trust and AI. Thereafter, I will suggest how trust-engineering, a (...) position that is intermediate between the modified pure rational-choice account and an account that gives rise to trustworthy AI, might allow us to address the practical problem of trust, before identifying and critically evaluating two candidate trust-engineering approaches. (shrink)

An exhaustive work on Confucius' pedagogic thinking by Chen Jingpan, who is among modern China's first group of scholars with a doctoral degree in education. He started his research into Confucius' teachings on education as early as the 1930s, and the present book, written in English, is the fruit of his long years of study. Chapters: the importance of a scientific study of Confucius; the place of Confucius in Chinese civilization; honors, titles, and ranks conferred upon Confucius throughout Chinese (...) history; modern attitudes towards Confucius; the objective of this study of the philosophy of Confucius, to show the place of Confucius as a teacher, and his contribution as a teacher. (shrink)

This study attempts to answer the question why Confucianism, the dominant “teaching” among the Three Teachings, is not a religion in contemporary China, unlike the other two “teachings,” Buddhism and Daoism. By examining this phenomenon in the social-historical context, this study finds its origin in Orientalism. The Orientalist conceptualization of religion became part of the New Culture discourse at the turn of the twentieth century. While China has undergone tremendous social changes over the past century, the old discourse remains.

Retrospect and prospect for contemporary Chinese thought -- Resolving the tension between tradition and modernity : reflections on the May Fourth cultural tide -- The May Fourth tide and modernity -- Radicalism in the cultural movement of the twentieth century -- Modern Chinese culture and the difficulties of Confucian learning -- Liang Shuming's early view of Oriental and Western culture -- The establishment and development of Feng Youlan's view of culture -- A reflection on the new school of principle and (...) thoughts on modernity -- Confucian thought and the world of modern East Asia -- Confucian ethics and China's modernisation -- East Asian tradition according to modernisation theory -- A sense of predicament and inter-dependency -- Liang Shuming and Max Weber on Chinese culture -- Values, authority, tradition and Chinese philosophy -- The difficulty of undertaking national studies research in the nineties : the problem of the national studies fever and research into traditional culture -- The value and status of traditional Chinese culture. (shrink)

In the fifth year of the reign of Shaoxi [in the Song dynasty]—in other words, in the year 1194 A.D.—Zhu Xi was returning to his home province after he had been relieved of his position at court as daizhi shijiang when, in the eleventh month of that year he came to Yushan county in Jiangxi Province. The governor of the district invited Master Zhu to give a number of lectures at the local county school, and Master Zhu complied, discoursing on (...) essential teachings in response to the questions that were raised by the students as well as in response to the lectures given by other scholars. At one point, the record says, the scholar Cheng Gong1 rose to ask the question: "Philosophers prior to the Three Ages only spoke about zhong and ji ; how come, then, that when it came to the time of the dialogues of those in the school of Confucius, everything seemed to revolve around the word ren ?" Master Zhu replied: "The discussions of zhong and of ji have often tended to make people misunderstand the meaning of what they were actually saying; alas, we do not ourselves have the leisure here to discuss all of that in detail.". (shrink)

There are two problematic assumptions in Kripke’s semantic argument against descriptivism. Assumption 1 is that the referential relation of a name to an object is only an objective or metaphysical relation between language and the world; it has nothing to do with the understanding of the name by our linguistic community. Assumption 2 is that descriptivism has to hold that, if name a has its meaning and the meaning is given by one description or a cluster of descriptions, the description (...) should supply a set of necessary and sufficient conditions for determining what a designates; and that it is possible for us to find out such a setof conditions. Emphasizing the sociality, intentionality, conventionality and historicity of language and meaning, this paper rejects Assumption 1, and argues that Assumption 2 is an unfair interpretation of descriptivism, and it is not necessary for descriptivists to hold Assumption 2. This paper finally concludes that Kripke’s semantic argument against descriptivism fails. (shrink)

Our paper draws attention to a neglected channel of corruption—the bribe payments by state-owned enterprises. This is an important phenomenon as bribe payments by SOEs fruitlessly waste national resources, compromising public welfare and national prosperity. Using a large dataset of 30,249 firms from 50 countries, we show that, in general, SOEs are less likely to pay bribes for achieving organizational objectives owing to their political connectivity. However, in deteriorated institutional environments, SOEs may be subjected to potential managerial rent-seeking behaviors, which (...) disproportionately increase SOE bribe propensity relative to privately owned enterprises. Specifically, our findings highlight the importance of fostering democracy and rule of law, reducing prevalence of corruption and shortening power distance in reducing the incidence of SOE bribery. (shrink)

Thomas Kuhn's Structure of Scientific Revolutions became the most widely read book about science in the twentieth century. His terms 'paradigm' and 'scientific revolution' entered everyday speech, but they remain controversial. In the second half of the twentieth century, the new field of cognitive science combined empirical psychology, computer science, and neuroscience. In this book, the theories of concepts developed by cognitive scientists are used to evaluate and extend Kuhn's most influential ideas. Based on case studies of the Copernican revolution, (...) the discovery of nuclear fission, and an elaboration of Kuhn's famous 'ducks and geese' example of concept learning, this volume, first published in 2006, offers accounts of the nature of normal and revolutionary science, the function of anomalies, and the nature of incommensurability. (shrink)

Editor's AbstractThis essay presents Mainland New Confucianism (MNC) as diverse but distinctive, as still in a process of maturation but already with a clear direction. According to Chen, MNC is a rejection of the twin modernist narratives of the left (revolution) and the right (enlightenment) in favor of a narrative that downplays the ruptures associated with the May Fourth Movement and instead seeks to reconnect to China's past values and traditions.

Abraham Joshua Heschel and Martin Buber were giant thinkers of the twentieth century who made significant contributions to the understanding of religious consciousness and of Judaism. They wrote on various subjects, such as the Bible, the commandments, Hasidism, Zionism and Christianity, and had much in common, though they also differed on substantial points. Of special note is the intense and fruitful interaction that took place between them. Until now, scholars have not undertaken a comparative analysis of Buber and Heschel as (...) eminent contemporary interpreters of the Jewish tradition. In this volume, Meir and Even-Chen have taken upon themselves the challenge of monitoring their agreements and disputes. (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)

This paper discusses the structural relationship between ideals on pleasure and pleasure as a human psychological phenomenon in Chinese thought. It describes the psychological phenomenon of pleasure, and compares different approaches by pre-Qin Confucian and Daoist scholars. It also analyzes its development in Song and Ming Confucianism. Finally, in the conclusion, the issue is transferred to a general understanding of happiness, so as to demonstrate the modern value of the classical ideological experience.

In his Knowledge and Belief (1962), Hintikka establishes his system of epistemic logic with the KK (Knowing that One Knows, in symbols, Kp→KKp) principle (KK for short). However, his system of epistemic logic and the KK principle are grounded upon his strong notion of knowledge, which requires that knowledge is infallible, that is, it makes further inquiry pointless, and becomes ‘discussion-stopper’; knowledge implies truth, to wit, cognitive agents will not be mistaken in their knowledge; cognitive agents will be ‘perfect logicians’, (...) i.e. they have infinitive capability of logical inference. Hintikka calls the argument for KK from the strong notion of knowledge as the ‘transcendental argument’ for KK. Obviously, the strong notion of knowledge is far away from our ordinary conception of knowledge; based on such a strong sense of knowledge, epistemic logic has met the problem of logical omnipotence, and is difficult to apply in our ordinary cognitive practice. Moreover, there is no close connection of the KK principle with internalism or externalism. (shrink)

Cet article reprend la question de la traduction de la racine qrn dans le texte d’Habacuc 3. Le terme hébreu qui désigne à la base les « cornes » semble également pouvoir décrire un phénomène lumineux dans deux textes de la Bible hébraïque : Habacuc 3 et Exode 34. Le présent article propose, premièrement, d’analyser l’usage polysémique de qrn en Ha 3 en étudiant le rôle de cette racine comme attribut divin dans la Bible hébraïque ainsi que dans le Proche-Orient (...) ancien. Deuxièmement, il replace l’utilisation polysémique de qrn dans le cadre socio-historique de rédaction du texte d’Ha 3. L’article propose enfin d’associer cette lecture à l’iconographie royale séleucide, qui utilise notamment les cornes rayonnantes dans leur propagande impériale, comme attesté dans la numismatique. (shrink)

Jin Yuelin (1895?1984), a Chinese logician and philosopher, is greatly influenced by Hume's and Russell's philosophies. How should we respond to Hume's problem of induction? This is an important clue to understand Jin's whole philosophical career. The first section of this paper gives a brief historical review of Russell and Jin. The second section outlines Hume's skeptical arguments against causality and induction. The third section expounds Russell's justification of induction by discussing his views on Hume's skepticism, causality, principle of induction, (...) and empirical postulates. The fourth section clarifies Jin's justification of induction by discussing his critique of Hume's epistemology and his arguments for the reliability of causality and the eternal truth and apriority of the principle of induction. The final section compares Jin's justification of induction with Russell's and concludes that there are similarities and differences between their projects and that both their attempts fail. This paper takes the similar responses to the problem of induction by Jin and Russell to demonstrate the communication that there has been between Chinese philosophers and the Western ones. (shrink)