Cut-free tableau calculi for some propositional normal modal logics

We give sound and complete tableau and sequent calculi for the prepositional normal modal logics S4.04, K4B and G ⁰(these logics are the smallest normal modal logics containing K and the schemata A A, A A and A ( A); A A and AA; A A and ((A A) A) A resp.) with the following properties: the calculi for S4.04 and G ⁰are cut-free and have the interpolation property, the calculus for K4B contains a restricted version of the cut-rule, the so-called analytical cut-rule.In addition we show that G ⁰is not compact (and therefore not canonical), and we proof with the tableau-method that G ⁰is characterised by the class of all finite, (transitive) trees of degenerate or simple clusters of worlds; therefore G ⁰is decidable and also characterised by the class of all frames for G ⁰.Research supported by Fonds zur Förderung der wissenschaftlichen Forschung, project number P8495-PHY.Presented by W. Rautenberg     

Agoraphobia and Locus of Control

This study investigated whether external locus of control, as measured with the Rotter Internal-External Locus of Control Scale, is a specific feature of agoraphobia or whether it characterizes neurosis in general. Forty agoraphobic patients, 81 nonagoraphobic neurotic controls, and 49 normal controls completed the Dutch version of the Rotter Internal-External Locus of Control Scale. Agoraphobic patients were found to have a more external orientation as compared to the normal controls, but as a group, they could not be identified as being different from neurotic controls.This study was supported in part by a grant from the Dutch Organization for Fundamental Research (ZWO/Psychon 560-268-001).     

公务员正常高值血压的流行现状及危险因素分析

对吉林省516名公务员的血压及心血管疾病危险因素进行描述性分析,用二分类Logistic回归法筛选危险因素。公务员正常高值血压现患率为34．9％。正常高值血压人群体重指数、腰围、空腹血糖、总胆固醇、低密度脂蛋白胆固醇、甘油三酯、血清肌酐、血尿酸、心一踝血管指数水平以及代谢综合征患病率均高于正常血压组低于高血压组,高密度...     

干宝易学哲学之探讨

干宝易学蕴涵的总体宇宙关怀和终极人文关切主要包括:理想礼法秩序的构建、圣人君子的人格期冀、天人合一的价值诉求三个方面.具体表现为:各安其位、各正性命的合理社会秩序建设;圣人君子家国天下的责任担当与深挚的忧患意识期许;天人相应、应天顺民的天人有序而和谐的价值追求.干宝易学思想终极价值的内容是其易学思想人文精神的集中体现和形上学维度的积极展开,这三个组成部分无不彰显干宝对于现实的关切并积极面对的态度,是其儒家价值理想与人生追求的集中体现.在对于现实问题的解读以及解决的内容和方式中,干宝既有对于传统的继承,又有其无可替代的个人观解.而面对所遭遇到的时代性问题,干宝尽力给出了一位真正儒者的解答.     

Overshadowing by fixed- and variable-duration stimuli

Two experiments investigated the effect of the temporal distribution form of a stimulus on its ability to produce an overshadowing effect. The overshadowing stimuli were either of the same duration on every trial, or of a variable duration drawn from an exponential distribution with the same mean duration as that of the fixed stimulus. Both experiments provided evidence that a variable-duration stimulus was less effective than a fixed-duration cue at overshadowing conditioning to a target conditioned stimulus (CS); moreover, this effect was independent of whether the overshadowed CS was fixed or variable. The findings presented here are consistent with the idea that the strength of the association between CS and unconditioned stimulus (US) is, in part, determined by the temporal distribution form of the CS. These results are discussed in terms of time-accumulation and trial-based theories of conditioning and timing.     

"形而上"与"形而下"的近代分离--《易》与经学时代中国学者的学术兴趣

近代科学在欧洲的产生,乃得益于"文艺复兴"以来欧洲学术上"形而上"与"形而下"的大规模分离.而汉以来"独尊儒术"的实现,<易>作为儒家主要经籍以其"仰观天文,俯察地理,中知人事"的宏大叙事与终极关怀,影响了经学时代中国学者的学术兴趣,导致他们将绝大多数精力投入到了以史学为主的"人事"中而非自然事物的研究对象与形而下的研究路径.两个相对独立的历史进程与历史体系或无何可比性:近代科学在欧洲产生只有在产生近代科学的欧洲自我历史进程与历史体系中才能得到解释,中国没有产生近代科学亦复如此.至于将中国科学落后的原由单一性地归结于<易>或儒家经学,这未必符合历史的因果真相与思维的有效推理.     

On local influence analysis of full information item factor models

The full information item factor (FIIF) model is very useful for analyzing relations of dichotomous variables. In this article, we present a feasible procedure to assess local influence of minor perturbations for identifying influence aspects of the FIIF model. The development is based on a Q-displacement function which is closely related with the Monte Carlo EM algorithm in the ML estimation. In the E-step of this algorithm, the conditional expectations are approximated by sample means of observations simulated by the Gibbs sampler from the appropriate conditional distributions. It turns out that these observations can be utilized for computing the building blocks of the proposed diagnostic measures. The diagnoses are based on the conformal normal curvature that can be computed easily. A number of interesting perturbation schemes are considered. The methodology is illustrated with two real examples.The research is fully supported by a grant (CUHK 4356/00H) from the Research Grant Council of the Hong Kong Special Administration Region. The authors are thankful to the Editor, Associate Editor, anonymous reviewers, and W.Y. Poon for valuable comments for improving the paper, and to ICPSR and the relevant founding agency for allowing us to use of their data. The assistance of Michael Leung and Esther Tam is gratefully acknowledged.     

政府环境伦理责任论

作为一种特殊经济主体,政府承担着必不可少的环境伦理责任。政府的环境伦理责任是指政府在参与社会经济活动过程中应该为环境保护事业承担的道德责任,它主要是通过政府制定和推行环境政策、法规、规划、标准的情况得到体现的。为了有效地开展环境保护工作,我们应该实行“政府为主,市场为辅”的环保机制。     

Plugging the Leaks in Neurath's Ship: A Defense of Naturalistic Epistemology

This paper examines the question whether foundational epistemology (“FE”) can be replaced by naturalized epistemology (“NE”). First, it argues that Quine's defense of NE is inadequate since it is only based on arguments showing the impossibility of the logical empiricist version of FE rather than on arguments for the impossibility of FE as such. Second, it proposes that a more promising argument for the impossibility of FE can be found in the Münchhausen-trilemma which aims at showing that ultimate foundations (and, hence, FE) are unattainable. However, Karl-Otto Apel has shown that this trilemma is unconclusive since it uncritically presupposes the premise that all argumentation is deductive in nature. Apel's argument implies that FE is possible if and only if it is possible to devise a non-deductive foundation (“NDF”). It is argued, however, that the possibility of NDF cannot be demonstrated. This leads to a situation called the Multatuli-dilemma: we cannot prove the possibility of ultimate foundations nor can we prove the impossibility of ultimate foundations. This dilemma shows that the discussion about the possibility of FE is pointless. Thus, it suggests that it is legitimate to replace FE by NE. Barry Stroud and Henri Lauener, however, argue that this replacement is not feasible since NE is not capable of refuting scepticism (Stroud) or justifying methodological rules (Lauener). But these objections are shown to be mistaken: First, epistemological scepticism is practically impossible and, hence, does not pose a serious threat to NE. Second, NE is capable of justifying methodological norms if and only if it makes use of so-called internal justifications. Thus, the final conclusion of this paper is that FE can be replaced by NE. This revised version was published online in August 2006 with corrections to the Cover Date.     

Visual evoked potentials to the geometric forms in the randomized presentation

Two outlined geometric figures, an equilateral triangle and a circle, of equal contour length, were randomly presented at a fixed position in the lower or upper part of the visual field (LVF and UVF). Transient visual evoked potentials (VEPs) were recorded monopolarly from the inion (I), 5, 10, 15 cm above it (I5, I10, I15) and Fz, for 12 subjects. Grand-averaged VEPs were computed. A negative (N) wave (averaged peak latency 155 ms) was identified in the LVF and a positive (P) wave (130 ms) in the UVF. In the LVF, the N amplitude of the triangle was significantly larger than that of the circle at I5 and I. Regarding the P wave in the UVF, the triangle was of a significantly longer latency than the circle at I15, I10 and I5. The enhancement of the N amplitude for the triangle in the LVF is not attributable to the arousal caused by the preparatory state for the figure, since the subject could not predict the figure to be presented next or its position.