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)

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)

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)

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)

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)

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)

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種讓人生提神醒腦的紅塵逍遙術！ ★賈伯斯、蓋茲、牛頓、柏拉圖……古今中外名人賢哲共同見證莊子的智慧！ ★縱橫兩岸文壇的心靈醫生王溢嘉，分享影響人生最重要的經典思想鉅著！ 滾滾紅塵，浪裡有多少浮沉？ 悠悠天地，你我該何處來去？ 體會深刻彌新的大智慧，掙脫感官與思維的重重枷鎖。 讓莊子陪你逍遙走紅塵，重新關照、定位自己的人生。 「我對莊子情有獨鍾，而且深受其惠，我很樂意將我的一些心得作全盤性、有系統的整理，提供給有興於想要做自己、參透生命奧義、逍遙紅塵的人做參考。 也正因為如此，我對《莊子》一書不做學術上或文本方面的討論，而純粹從一個現代知識分子的角度來閱讀與觀想，談的是《莊子》這本書或莊子這個人讓我產生什麼樣的感觸，以及能為現代人帶來什麼樣的啟發，好似他就是在 你我身邊，陪伴我們走過滾滾紅塵的一個智慧老人。」 ── 王溢嘉 從莊子的時代到此時現在，世界並沒有太大不同，但人們卻依舊在人與事的利害糾葛裡，無能釐清眼前的路。王溢嘉以一個現代知識分子的角度出發，整理出與現代人諸般處境相對應的觀點，用新穎、活潑的方式，重新歸納、整 理莊子深刻彌新，讓你我逍遙自在的生命智慧。 早一點讓莊子陪你走紅塵，人生就少了許多疑惑、困頓與痛苦，對迷惘的現代人更有提神醒腦、震聾啟瞶的作用。.

If the Past Hypothesis underlies the arrows of time, what is the status of the Past Hypothesis? In this paper, I examine the role of the Past Hypothesis in the Boltzmannian account and defend the view that the Past Hypothesis is a candidate fundamental law of nature. Such a view is known to be compatible with Humeanism about laws, but as I argue it is also supported by a minimal non-Humean "governing'' view. Some worries arise from the non-dynamical and time-dependent (...) character of the Past Hypothesis as a boundary condition, the intrinsic vagueness in its specification, and the nature of the initial probability distribution. I show that these worries do not have much force, and in any case they become less relevant in a new quantum framework for analyzing time's arrows---the Wentaculus. Hence, the view that the Past Hypothesis is a candidate fundamental law should be more widely accepted than it is now. (shrink)

The Great Divide in metaphysical debates about laws of nature is between Humeans, who think that laws merely describe the distribution of matter, and non-Humeans, who think that laws govern it. The metaphysics can place demands on the proper formulations of physical theories. It is sometimes assumed that the governing view requires a fundamental / intrinsic direction of time: to govern, laws must be dynamical, producing later states of the world from earlier ones, in accord with the fundamental direction of (...) time in the universe. In this paper, we propose a minimal primitivism about laws of nature (MinP) according to which there is no such requirement. On our view, laws govern by constraining the physical possibilities. Our view captures the essence of the governing view without taking on extraneous commitments about the direction of time or dynamic production. Moreover, as a version of primitivism, our view requires no reduction / analysis of laws in terms of universals, powers, or dispositions. Our view accommodates several potential candidates for fundamental laws, including the principle of least action, the Past Hypothesis, the Einstein equation of general relativity, and even controversial examples found in the Wheeler-Feynman theory of electrodynamics and retrocausal theories of quantum mechanics. By understanding governing as constraining, non-Humeans who accept MinP have the same freedom to contemplate a wide variety of candidate fundamental laws as Humeans do. (shrink)

In this paper, I characterize and elaborate on the “Wentaculus” theory, a new approach to time’s arrow in a quantum universe that offers a unified solution to the problems of what gives rise to the arrow of time and what the ontology of quantum mechanics is.

In their forthcoming article, ‘What makes a medical intervention invasive?’ De Marco, Simons, and colleagues explore the meaning and usage of the term ‘invasive’ in medical contexts. They describe a ‘Standard Account’, drawn from dictionary definitions, which defines invasiveness as ‘incision of the skin or insertion of an object into the body’. They then highlight cases wherein invasiveness is employed in a manner that is inconsistent with this account (eg, in describing psychotherapy) to argue that the term invasiveness is often (...) used to explicitly or implicitly reference interventions that do not fall under the standard account. The authors offer an alternative ‘schematic’ definition of invasiveness, whereby medical interventions entail an underlying context-independent property of ‘basic invasiveness’ and may be understood both relative to each other and to a context-specific threshold of what is ‘invasive’. 1 We propose that the meaning of terms such as ‘invasiveness’ is necessarily heterogeneous,... (shrink)

Di 1 bian. Kongzi si xiang ji lun yu -- di 2 bian. Mengzi si xiang ji Meng Xun tong yi -- di 3 bian. Gaozi si xiang -- di 4 bian. Ming li -- di 5 bian. Jiao yu xiu yang Wen hua.

Drawing on the core values of western civilization, the author refines the counterparts in Chinese civilization, summarized as four core principles: duty before freedom, obedience before rights, community before individual, and harmony before conflict. Focusing on guoxue or Sinology as the basis of his approach, the author provides detailed explanations of traditional Chinese values. Recent scholars have addressed the concept of guoxue since the modern age, sorting through it and piecing it together, which has produced an extremely abundant range of (...) information. However, given that the concepts and theories involved have been left largely unanalyzed, this book develops a theoretical treatment of them in several important respects. First, it analyzes the mindset of guoxue, examining the dominant ideas and values of the era from which the term "guoxue" arose, focusing on its connection to early changes and trends in society and culture, and distinguishing three key phases of development. Past scholars mainly had in mind the range of objects studied in guoxue when defining it, and what this book underscores is the meaning of guoxue as a modern body of research. Secondly, it assesses several phases in the modern evolution of the body of guoxue research from the beginning to the end of the 20th century, id est, ending with the later phase of the National Heritage movement. Third and lastly, the book explores the various main modes of modern guoxue, which correspond step by step with the evolutionary phases of guoxue research. (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 the contemporary epistemological literature, peer disagreement is often taken to be an instance of a more general phenomenon of “higher-order evidence.” Correspondingly, its epistemic significance is often thought to turn on the epistemic significance of higher-order evidence in general. This chapter attempts to evaluate this claim, and in doing so to clarify some points of unclarity in the current literature – both about what it is for evidence to be “higher-order,” and about the relationship between disagreement and higher-order evidence. (...) We will begin by considering some candidate definitions of “higher-order evidence,” and offering our own definition that attempts to capture the phenomenon of interest. We will then consider, in light of this definition, whether disagreement and its epistemic significance are best-understood as a kind of higher-order evidence. We’ll argue that although peer disagreement can be epistemically significant qua higher-order evidence, this role doesn’t exhaust its significance, and that it can also serve as straightforward first-order evidence. Finally, we’ll suggest that inattention to this latter point has made broadly conciliatory views about peer disagreement seem somewhat easier to resist than they in fact are. (shrink)

If a benevolent and all-powerful God exists, how can there be so much suffering? Could God have created a better world? Or is evil the price we pay for freedom of the will?

Weyl's tile argument purports to show that there are no natural distance functions in atomistic space that approximate Euclidean geometry. I advance a response to this argument that relies on a new account of distance in atomistic space, called "the mixed account," according to which local distances are primitive and other distances are derived from them. Under this account, atomistic space can approximate Euclidean space (and continuous space in general) very well. To motivate this account as a genuine solution to (...) Weyl's tile argument, I argue that this account is no less natural than the standard account of distance in continuous space. I also argue that the mixed account has distinctive advantages over Forrest's (1995) account in response to Weyl's tile argument, which can be considered as a restricted version of the mixed account. (shrink)

In The Humanist Spirit of Daoism, Chen Guying presents a concise overview of his understanding of the meaning and significance of Daoist philosophy. Chen is a leading contemporary Chinese thinker and spokesperson for a new Daoist approach to existential and socio-political issues. He was born in mainland China in 1935, but after having resettled to Taiwan, he received his education there and was a student activist in the 1960s. He became famous in the Chinese-speaking world with his writings (...) on Nietzsche, Laozi and Zhuangzi. At present he is a Professor at Peking University. This volume collects representative essays from the past 25 years which not only outline Chen's interpretation of Daoism as a deeply humanist way of thinking and living, but also show how he employs this philosophy in a critique of totalitarianism and neo-imperialism. (shrink)

China is currently afflicted by enormous environmental problems. This book, drawing on ancient and modern Chinese environmental thinking, considers what it is that makes an environment a desirable place for living. The book emphasises ideas of beauty, and discusses how these ideas can be applied in natural, agricultural and urban environments in order to produce desirable environments. The book argues that environment is both a product of nature and of human beings, and as such is potentially alterable by culture. The (...) book explores the three aspects of environmental beauty whereby such alteration might be beneficially made: integrated and holistic; ecological and man-made; and authentic and everyday. (shrink)

Guiding you through the topics that shape aesthetics, this introduction explores the truth, meaning, taste, aesthetic merit and the role of perception. Each chapter offers a wealth of examples from Asia, including Sonny Liew's The Art of Charlie Chan Hock Chye, Tan Tai Yong, Kueh Appreciation Day and dragon kiln pottery. They deal with controversies and address central questions, such as: When are artworks considered dangerous? Why does Socrates recommend the banishment of the poets? What are the problems and challenges (...) posed by forgery? Here is a creative and accessible introduction that inspires a love for art and aesthetics. (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.