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)

Things and Their Place in Theories Our talk of external things, our very notion of things, is just a conceptual apparatus that helps us to foresee and ...

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

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

Through clear explanation of its characteristic concepts and doctrines, and paying close attention to the published works of its philosophers, the volume ...

Patterned after Strunk and White's classic The Elements of Style , this handy reference concisely summarizes the substantial existing research on the delicate balance of professional ethics. Johnson and Ridley reduce the wealth of published material on the topic to the seventy-five most important and pithy truths for supervisors in all fields. These explore questions of integrity, loyalty, justice, respect, and delivering one's best in the business environment. Succinct and comprehensive, this is a must-have for any professional or business leader (...) striving to create an ethical workplace. (shrink)

Art history on the edge : iconology, media, and visual culture -- Four fundamental concepts of image science -- Image science -- Image X text -- Realism and the digital image -- Migrating images : totemism, fetishism, idolatry -- The future of the image : Rancière's road not taken -- World pictures : globalization and visual culture -- Media aesthetics -- There are no visual media -- Back to the drawing board : architecture, sculpture, and the digital image -- Foundational (...) sites and occupied spaces -- Border wars : translation and convergence in politics and media -- Art X environment -- The historical uncanny : phantoms, doubles, and repetition in the war on terror -- The spectacle today : a response to retort -- Coda : for a sweet science of images. (shrink)

Pertinent to understand the role of fate in this world, issues of political wisdom. "Hamlet" raises a question: potential rulers encountered misfortune, should be how to deal with. Hamlet by showing an error on the fate of the two views, Shakespeare shows consistent with the classical philosopher: personal misfortune should not be attributed to fate or God, but should be attributed to their nature and choice. Hamlet and Homer's epic and drama links, to some extent, reveal the fate of his (...) misunderstanding of the reason. Although Hamlet's view is similar to the fate of Machiavelli, but he vowed to pursue justice, it shows the difference between him and Machiavelli. (shrink)

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

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

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)

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)

Concerns with improper collection and usage of personal information by businesses or governments have been seen as critical to the success of the emerging electronic commerce. In this regard, computer professionals have the oversight responsibility for information privacy because they have the most extensive knowledge of their organization's systems and programs, as well as an intimate understanding of the data. Thus, the competence of these professionals in ensuring sound practice of information privacy is of great importance to both researchers and (...) practitioners. This research addresses the question of whether male computer professionals differ from their female counterparts in their self-regulatory efficacy to protect personal information privacy. A total of 103 male and 65 female subjects surveyed in Taiwan responded to a 10-item questionnaire that includes three measures: protection (protecting privacy information), non-distribution (not distributing privacy information to others), and non-acquisition (not acquiring privacy information). The findings show (1) significant gender differences exist in the subjects' overall self-regulatory efficacy for information privacy, and, in particular, (2) that female subjects in this study exhibited a higher level of self-regulatory efficacy than males for the protection and non-acquisition of personal privacy information. The identification of the factorial structure of the self-regulatory efficacy concerning information privacy may contribute to future research directed to examining the links between privacy efficacy and psychological variables, such as ethical attitude, ethical intention, and self-esteem. Studies can also be extended to investigate how different cultural practices of morality and computer use in men and women may shape the different development patterns of privacy self-efficacy. Understanding the different cultural practices may then shed light on the social sources of privacy competence and the appropriate remedies that can be provided to improve the situation. (shrink)

Explores the nature and types of mystical experience and discusses the value of mysticism for humanity.

Selected Logic Papers, long out of print and now reissued with eight additional essays, includes much of the author's important work on mathematical logic and ...

Concerns with improper collection and usage of personal information by businesses or governments have been seen as critical to the success of the emerging electronic commerce. In this regard, computer professionals have the oversight responsibility for information privacy because they have the most extensive knowledge of their organization's systems and programs, as well as an intimate understanding of the data. Thus, the competence of these professionals in ensuring sound practice of information privacy is of great importance to both researchers and (...) practitioners. This research addresses the question of whether male computer professionals differ from their female counterparts in their self-regulatory efficacy to protect personal information privacy. A total of 103 male and 65 female subjects surveyed in Taiwan responded to a 10-item questionnaire that includes three measures: protection, non-distribution, and non-acquisition. The findings show significant gender differences exist in the subjects' overall self-regulatory efficacy for information privacy, and, in particular, that female subjects in this study exhibited a higher level of self-regulatory efficacy than males for the protection and non-acquisition of personal privacy information. The identification of the factorial structure of the self-regulatory efficacy concerning information privacy may contribute to future research directed to examining the links between privacy efficacy and psychological variables, such as ethical attitude, ethical intention, and self-esteem. Studies can also be extended to investigate how different cultural practices of morality and computer use in men and women may shape the different development patterns of privacy self-efficacy. Understanding the different cultural practices may then shed light on the social sources of privacy competence and the appropriate remedies that can be provided to improve the situation. (shrink)