新农合制度调整前后豫北地区腹膜透析患者透析质量的比较

腹膜透析是终末期肾脏病的有效替代治疗方法之一。2012年4月,河南省对包括慢性肾衰竭在内的六种疾病的新农合报销比例做出重大调整,腹透患者主要经济花费的透析液报销比例由原来的40％提高至80％。通过研究新农合制度调整前后豫北地区腹膜透析患者的临床资料,报告了制度调整后的患者透析充分性提高,贫血、营养状况较前好转,心血管疾病发生率下降,生存质量改善的现况,论证了老龄、糖尿病、营养不良、心血管疾病、透析不充分、较低的医疗保险支付比例是影响腹膜透析患者预后的重要因素,为腹膜透析患者的预后分析提供了理论依据。     

The Body of Christ has AIDS: The Catholic Church Responding Faithfully to HIV and AIDS in Papua New Guinea

Using the example of the Catholic Church in Papua New Guinea (PNG), I detail how, through praxis, it has brought to life a living theology of HIV and AIDS. In this way, the Catholic Church in PNG is responding faithfully to the epidemic. As a Christian country with a generalised HIV epidemic, where the body of an individual is reconstituted through the liturgical practices of baptism and Eucharist, theologically, in PNG the body of Christ has AIDS. In order to examine the ways in which the Catholic Church in PNG has responded faithfully to the Christian body with AIDS, I do so in relation to the three theological virtues of faith, hope and love.

"The End of all our Exploring" in Science and Theology

Abstract. The present malaise of religion—and of theology, its intellectual formulation—in Western society is analyzed, with some personal references, especially with respect to its history in the United Kingdom and the United States. The need for a more open theology that takes account of scientific perspectives is urged. An indication of the understandings of God and of God's relation to the world which result from an exploration starting from scientific perspectives is expounded together with their fruitful relation to some traditional themes. The implications of this for the future of theology are suggested, not least in relation to the new phase, beginning in 2003, of the development of the Zygon Center for Religion and Science. In a concluding reflection the hope is expressed that the shared global experience and perspectives generated by the sciences might form a more common and acceptable starting point than hitherto for the exploration towards God of the seekers of many religious traditions and of none.     

五四新文化运动与孔子观念的根本转折

五四新文化运动中的孔子观念需作系统的梳理与分析。五四新文化运动的健将们主要是基于对尊孔派的反感和伦理、文化上的彻底觉悟而发起了对孔子与孔家店集中而猛烈的批评与攻击。他们所批判的主要是孔子的偶像 ,而并不反对孔子本人 ,破除孔子偶像的束缚而使人们的思想从权威和偏见中彻底解放出来 ,这是新文化运动最重要的历史功绩 ;他们虽不反对孔子本人 ,但对孔子与孔子之道采取的是一种社会语境决定论的或历史化的诠释与读解的态度 ,故带来了孔子观念的根本转折。     

Do wild New Caledonian crows (<Emphasis Type="Italic">Corvus moneduloides</Emphasis>) attend to the functional properties of their tools?

New Caledonian crows are the most proficient non-hominin tool manufacturers but the cognition behind their remarkable skills remains largely unknown. Here we investigate if they attend to the functional properties of the tools that they routinely use in the wild. Pandanus tools have natural barbs along one edge that enable them to function as hooking implements when the barbs face backwards from the working tip. In experiment 1 we presented eight crows with either a non-functional (‘upside-down’) or a functional pandanus tool in a baited hole. Four of the crows never flipped the tools. The behaviour of the four flipping birds suggested that they had a strategy of flipping a tool when it was not working. Observations of two of the eight crows picking up pandanus tools at feeding tables in the wild supported the lack of attention to barb direction. In experiment 2 we gave six of the eight crows a choice of either a barbed or a barbless pandanus tool. Five of the crows chose tools at random, which further supported the findings in experiment 1 that the crows paid little or no attention to the barbs. In contrast, a third experiment found that seven out of eight crows flipped non-functional stick tools significantly more than functional ones. Our findings indicate that the crows do not consistently attend to the presence or orientation of barbs on pandanus tools. Successful pandanus tool use in the wild seems to rely on behavioural strategies formed through associative learning, including procedural knowledge about the sequence of operations required to make a successful pandanus tool. Electronic supplementary material The online version of this article (doi:) contains supplementary material, which is available to authorized users.     

How experimental algorithmics can benefit from Mayo’s extensions to Neyman–Pearson theory of testing

Although theoretical results for several algorithms in many application domains were presented during the last decades, not all algorithms can be analyzed fully theoretically. Experimentation is necessary. The analysis of algorithms should follow the same principles and standards of other empirical sciences. This article focuses on stochastic search algorithms, such as evolutionary algorithms or particle swarm optimization. Stochastic search algorithms tackle hard real-world optimization problems, e.g., problems from chemical engineering, airfoil optimization, or bio-informatics, where classical methods from mathematical optimization fail. Nowadays statistical tools that are able to cope with problems like small sample sizes, non-normal distributions, noisy results, etc. are developed for the analysis of algorithms. Although there are adequate tools to discuss the statistical significance of experimental data, statistical significance is not scientifically meaningful per se. It is necessary to bridge the gap between the statistical significance of an experimental result and its scientific meaning. We will propose some ideas on how to accomplish this task based on Mayo’s learning model (NPT*).     

Relationship between eight physiological variables and severity of stuttering

The results of this study illustrated the primacy of individual differences in the relationship between physiological responses before speech and stuttering severity.     

POLITICS: Automated ideological reasoning

POLITICS is a system of computer programs which simulates humans in comprehending and responding to world events from a given political or ideological perspective. The primary theoretical motivations were: (1) the implemention of a functional system which applies the knowledge structures of Schank and Abelson (1977) to the domain of simulating political belief systems; (2) the development of a tentative theory of intentional goal conflicts and counterplanning. Secondary goals of the POLITICS project include developing a representation for belief systems, investigating cognitive processes such as goal-directed inferencing, and the integration of several types of knowledge representations into a functional system.     

Is ZF a hack?: Comparing the complexity of some (formalist interpretations of) foundational systems for mathematics

This paper presents Automath encodings (which are also valid in LF/λP) of various kinds of foundations of mathematics. Then it compares these encodings according to their size, to find out which foundation is the simplest.

The systems analyzed in this way are two kinds of set theory (ZFC and NF), two systems based on Church's higher order logic (Isabelle/Pure and HOL), three kinds of type theory (the calculus of constructions, Luo's extended calculus of constructions, and Martin-Löf's predicative type theory) and one foundation based on category theory.

The conclusions of this paper are that the simplest system is type theory (the calculus of constructions), but that type theories that know about serious mathematics are not simple at all. In that case the set theories are the simplest. If one looks at the number of concepts needed to explain such a system, then higher order logic is the simplest, with twenty-five concepts. On the other side of the scale, category theory is relatively complex, as is Martin-Löf's type theory.

(The full Automath sources of the contexts described in this paper are one the web at http://www.cs.ru.nl/~freek/zfc-etc/.)     

Locke's theory of classification

In §155 of his New Theory of Vision Berkeley explains that a hypothetical ‘unbodied spirit’ ‘cannot comprehend the manner wherein geometers describe a right line or circle’.1 ¹All references to Berkeley are from, A. A. Luce and T. E. Jessop (eds.), The Works of George Berkeley, Bishop of Cloyne (London: Thomas Nelson and Sons, Ltd., 1948) The following abbreviations are used: An Essay Towards A New Theory of Vision, section x = New Theory x; Philosophical Commentaries, entry x = Commentaries x; Part I of A Treatise concerning the Principles of Knowledge, section x = Principles x. All other references to Berkeley's works are of the form The Works of George Berkeley, Bishop of Cloyne, volume x, page y = Works, x, y. The reason for this, Berkeley continues, is that ‘the rule and compass with their use being things of which it is impossible he should have any notion.’ This reference to geometrical tools has led virtually all commentators to conclude that at least one reason why the unbodied spirit cannot have knowledge of plane geometry is because it cannot manipulate a ruler or a compass. In this article I will show that such an interpretation is flawed. I will instead argue that Berkeley's understanding of Euclidian geometry was based on Isaac Barrow's account of the foundations of geometry. On this view geometrical objects are conceived in terms of the idealized motion that generates the objects of geometry. Consequently, that what the unbodied spirit cannot do in this context is to form an idea of motion rather than being unable to handle geometrical tools.