We show how to get canonical models from in which the nonstationary ideal on ω1 is ω1 dense and there is no P-point.

We show how to get canonical models from in which the nonstationary ideal on ω1 is ω1 dense and there is no P-point.

This volume is based on the talks given at the Workshop on Infinity and Truth held at the Institute for Mathematical Sciences, National University of Singapore, from 25 to 29 July 2011. The chapters are by leading experts in mathematical and philosophical logic that examine various aspects of the foundations of mathematics. The theme of the volume focuses on two basic foundational questions: (i) What is the nature of mathematical truth and how does one resolve questions that are formally unsolvable (...) within the Zermelo Fraenkel Set Theory with the Axiom of Choice, and (ii) Do the discoveries in mathematics provide evidence favoring one philosophical view over others? These issues are discussed from the vantage point of recent progresses in foundational studies. The final chapter features questions proposed by the participants of the Workshop that will drive foundational research. The wide range of topics covered here will be of benefit to students, researchers and mathematicians interested in the foundations of mathematics. (shrink)

© 2015, Springer-Verlag Berlin Heidelberg.Genetic studies have identified single nucleotide polymorphisms associated with the risk of prostate cancer. It remains unclear whether such genetic variants are associated with disease aggressiveness. The NCI-SPORE Genetics Working Group retrospectively collected clinicopathologic information and genotype data for 36 SNPs which at the time had been validated to be associated with PC risk from 25,674 cases with PC. Cases were grouped according to race, Gleason score and aggressiveness. Statistical analyses were used to compare the frequency (...) of the SNPs between different disease cohorts. After adjusting for multiple testing, only PC-risk SNP rs2735839 was significantly and inversely associated with aggressive and high-grade disease in European men. Similar associations with aggressive and high-grade disease were documented in African-American subjects. The G allele of rs2735839 was associated with disease aggressiveness even at low PSA levels in both European and African-American men. Our results provide further support that a PC-risk SNP rs2735839 near the KLK3 gene on chromosome 19q13 may be associated with aggressive and high-grade PC. Future prospectively designed, case-case GWAS are needed to identify additional SNPs associated with PC aggressiveness. (shrink)

本书共三章,内容包括:儒者关怀的宏观定位——对佛老之学的批判反思、个体生命的意义安置——修养学说的形成和发展、社会理想的执着追求——改造现实的理论与实践。.

苏珊·朗格是西方美学史上迄今为止惟一的一位声名显赫的女性美学家。本书勾勒了朗格的生平,揭示了朗格哲学美学思想演化的内在脉络,阐述了她的符号论思想、生命形式、逻辑类似、艺术幻象等理论。.

In the Transcendental Aesthetic (TA), Kant is typically held to make negative assertations about “things in themselves,” namely that they are not spatial or temporal. These negative assertions stand behind the “neglected alternative” problem for Kant’s transcendental idealism. According to this problem, Kant may be entitled to assert that spatio-temporality is a subjective element of our cognition, but he cannot rule out that it may also be a feature of the objective world. In this paper, I show in a new (...) way how Kant’s view (focusing on his conclusions about space) is not subject to this objection, by showing that he does not make the denial about mind-independent reality that he is typically held to make. The argument develops consequences of a new reading of Kant’s expression “an sich selbst” (‘in itself’; ‘in themselves’). I argue that “an sich selbst” or “per se” has a special, judgment-level role, so that this expression does not form new noun-terms adjectivally. It follows that the conceptual unit of Kant’s “Conclusions” in the TA is simply “things” (Dinge), since “things in themselves” is not a nominal expression; Kant adopts the Wolffian ontological use of “thing” as the basic kind-term for any existent. The arguments that things per se are not in space are arguments that space cannot be a necessary property or relations of things as a kind. I show that this does not involve the positive claim about mind-independent reality that inspires the neglected alternative objection. (shrink)

It is not only difficult to be a sports expert but also difficult to grow from a sports expert to a sports elite. Professional athletes are often concerned about the differences between an expert and an elite and how to eventually become an elite athlete. To explore the differences in brain neural mechanism between experts and elites in the process of motor behavior and reveal the internal connection between motor performance and brain activity, we collected and analyzed the electroencephalography findings (...) of 14 national archers and 14 provincial archers during aiming and resting states and constructed the EEG brain network of the two archer groups based on weighted phase lag index; the graph theory was used to analyze and compare the network characteristics via local network and global network topologies. The results showed that compared with the expert archers, the elite archers had stronger functional coupling in beta1 and beta2 bands, and the difference was evident in the frontal and central regions; in terms of global characteristics of brain network topology, the average clustering coefficient and global efficiency of elite archers were significantly higher than that of expert archers, and the eigenvector centrality of expert archers was higher; for local characteristics, elite archers had higher local efficient; and the brain network characteristics of expert archers showed a strong correlation with archery performance. This suggests that compared with expert archers, elite archers showed stronger functional coupling, higher integration efficiency of global and local information, and more independent performance in the archery process. These findings reveal the differences in brain electrical network topologies between elite and expert archers in the archery preparation stage, which is expected to provide theoretical reference for further training and promotion of professional athletes. (shrink)

艾丰(1938~),河北玉田人,人民日报编委、经济部主任、高级记者,兼任中国社会科学院研究生院教授,中国人民大学新闻学院教授.

艾丰(1938~),河北玉田人,人民日报编委、经济部主任、高级记者,兼任中国社会科学院研究生院教授,中国人民大学新闻学院教授.

While the idea of philosophy as conceptual analysis has attracted many adherents and undergone a number of variations, in general it suffers from an authority problem with two dimensions. First, it is unclear why the analysis of a concept should have objective authority: why explicating what we mean should express how things are. Second, conceptual analysis seems to lack intersubjective authority: why philosophical analysis should apply to more than a parochial group of individuals. I argue that Hegel’s conception of social (...) ontology, focused on his concept of “ethical life” (Sittlichkeit), helps to explain how concepts (and their explication) have both objective and intersubjective authority in the social domain. Hegel claims that modern institutions are the product of self-conscious purposes, so that they are conceptually constituted. Concepts do not just represent these objects and so depend on a contingent relation to them. As many contemporary social ontologists agree, this means that our concepts of these institutions are uniquely epistemically “transparent.” They have objective authority. Concepts have intersubjective authority in the modern world as well, according to Hegel. However, I show that this feature of Hegel’s account does not rely on the solution to a philosophical problem. Rather, since the concepts of modern ethical life are “essentially contested,” their content depends on the practical and political agreement of modern subjects. This means that concepts can only have objective authority if some prior intersubjective agreement has been reached. The role of philosophy as conceptual analysis is thus importantly dependent on political developments. (shrink)

Drawing upon Roland Barthes’ posthumously published notebooks from his 1974 trip to China, in which he remarks upon the ‘complete absence of fashion. Clothing degree zero’, this article offers a ‘late’ reading of Barthes’ interest in fashion, suggested here as a form of writing. In reference to the late works, specifically Barthes’ penultimate lecture course on the Neutral and Travels in China, supplemented by François Jullien’s comments on Barthes’ trip to China, as well as mention of Michelangelo Antonioni’s film Chung (...) Kuo-Cina, it is possible to draw together a reading of fashion as a neutral form. As a final step, reflection is given to Susan Buck-Morss’ reading of ‘history as passing’, as discontinuous moments. Barthes’ writerly mode – which works upon incidental details – is revealed to be a pertinent method. (shrink)

The effect of authentic leadership and leader competency on employee job performance has received growing attention in the past decades; however, few studies have simultaneously integrated these two leadership perspectives. We have thus developed a mediated moderation model to test the interactive effect of authentic leadership and competency on followers’ job performance through work engagement. Based on a sample of 248 subordinate–supervisor pairs, hierarchical regression analyses reveal that authentic leadership positively relates to followers’ task performance and organizational citizenship behavior ; (...) leader competency moderates the relationship between authentic leadership and OCB; and followers’ work engagement mediates the main effect of authentic leadership and the interactive effect of authentic leadership and competency on followers’ task performance and OCB. All the three results are consistent with our hypotheses. (shrink)

A well established technique toward developing the proof theory of a Hilbert-style modal logic is to introduce a Gentzen-style equivalent (a Gentzenisation), then develop the proof theory of the latter, and finally transfer the metatheoretical results to the original logic (e.g., [1, 6, 8, 18, 10, 12]). In the first-order modal case, on one hand we know that the Gentzenisation of the straightforward first-order extension of GL, the logic QGL, admits no cut elimination (if the rule is included as primitive; (...) or, if not included, then the rule is not admissible [1]). On the other hand the (cut-free) Gentzenisations of the first-order modal logics M3 and ML3 of [10, 12] do have cut as an admissible rule. The syntactic cut admissibility proof given in [18] for the Gentzenisation of the propositional provability logic GL is extremely complex, and it was the basis of the proofs of cut admissibility of the Gentzenisations of M3 and ML3, where the presence of quantifiers and quantifier rules added to the complexity and length of the proof. A recent proof of cut admissibility in a cut-free Gentzenisation of GL is given in [5] and is quite short and easy to read. We adapt it here to revisit the proofs for the cases of M3 and ML3, resulting to similarly short and easy to read proofs, only slightly complicated by the presence of quantification and its relevant rules. (shrink)

Asperó and Schindler have completely solved the Axiom [Formula: see text] vs. [Formula: see text] problem. They have proved that if [Formula: see text] holds then Axiom [Formula: see text] holds, with no additional assumptions. The key question now concerns the relationship between [Formula: see text] and Axiom [Formula: see text]. This is because the foundational issues raised by the problem of Axiom [Formula: see text] vs. [Formula: see text] arguably persist in the problem of Axiom [Formula: see text] vs. (...) [Formula: see text]. The first of our two main theorems is that Axiom [Formula: see text] is equivalent to Axiom [Formula: see text], and as a corollary we show that Axiom [Formula: see text] fails in all the known models of [Formula: see text]. This suggests that [Formula: see text] actually refutes Axiom [Formula: see text]. Our second main theorem is that the [Formula: see text] Conjecture holds assuming [Formula: see text]. This is the strongest partial result known on this conjecture which is one of the central open problems of [Formula: see text]-theory and [Formula: see text]-logic. These results identify a fundamental asymmetry between the Continuum Hypothesis and any axiom which is both [Formula: see text]-expressible and which implies [Formula: see text], on the basis of generic absoluteness for the simplest of the nontrivial sentences of Third-Order Number Theory. These are the [Formula: see text]-sentences with no parameters. Such sentences are those which simply assert the existence of a set [Formula: see text] for which some property involving only quantification over [Formula: see text] holds. (shrink)

We examine the impact of a government-initiated CSR project on corporate misconduct using the unique setting of China’s Targeted Poverty Alleviation (TPA) program. The difference-in-differences estimates show that firms participating in the TPA program engage in fewer misconduct activities than do their counterparts. This finding is robust to the parallel trends test, the placebo test, alternative regression specifications, alternative research designs, the reverse causality analysis, and the bivariate probit model with partial observability. Further analysis shows that TPA participation enhances the (...) ability of external financial professionals to monitor performance by stimulating the dissemination of TPA-related incremental information, thereby contributing to the decline in corporate misconduct. The cross-sectional heterogeneity analysis shows that the impact of TPA participation on corporate misconduct is more pronounced in firms with higher information asymmetry, with weaker political connections, and with weaker internal governance. Furthermore, we find evidence that TPA participation improves corporate financial performance but does not deteriorate information transparency. (shrink)

Cognitive diversity is an important concept stemming from western management research in the 1990s. With the rapid development of science and technology, there is a growing interest in the composition of an academic research team, such as team diversity. However, there is no tool available for measuring team cognitive diversity for academic research teams. Based on Van der Vegt’s theoretical model of TCD, an Academic Research Team Cognitive Diversity Scale is developed and validated for an academic research team in our (...) research with two studies. In Study One, in-depth interviews and panel discussions were conducted to generate a preliminary questionnaire. In Study Two, the questionnaire was administered among academic research teams. Exploratory factor analysis revealed four factors regarding cognitive diversity: the way of thinking, knowledge and skills, the view of the world, and beliefs about what is right and wrong. The factor structure was further validated by confirmatory factor analysis. Moreover, correlation and regression analyses showed that academic research TCD was positively related to team creativity and performance. To sum up, our newly developed 15-item ATCDS is sufficiently reliable and valid to be used for understanding cognitive diversity among academic research teams. (shrink)

With the advent of the era of artificial intelligence, deep reinforcement learning has achieved unprecedented success in high-dimensional and large-scale artificial intelligence tasks. However, the insecurity and instability of the DRL algorithm have an important impact on its performance. The Soft Actor-Critic algorithm uses advanced functions to update the policy and value network to alleviate some of these problems. However, SAC still has some problems. In order to reduce the error caused by the overestimation of SAC, we propose a new (...) SAC algorithm called Averaged-SAC. By averaging the previously learned action-state estimates, it reduces the overestimation problem of soft Q-learning, thereby contributing to a more stable training process and improving performance. We evaluate the performance of Averaged-SAC through some games in the MuJoCo environment. The experimental results show that the Averaged-SAC algorithm effectively improves the performance of the SAC algorithm and the stability of the training process. (shrink)

Inleidend studieboek op universitair niveau over de Nederlandse rechtswetenschap.