Combinations of tense and deontic modality: On the approach to temporal logic with historical necessity and conditional obligation

We consider three infinite hierarchies of what I call “two-dimensional temporal logics with explicit realization operators”, viz. (i) one without historical or deontic modalities, (ii) one with historical but without deontic modalities, and (iii) one with historical and with dyadic deontic modalities for conditional obligation and permission. Sound and complete axiomatizations are obtained for all three hierarchies relative to a simplified version of the finite co-ordinate-system semantics given for so-called T × W logic of historical necessity in [L. Åqvist, The logic of historical necessity as founded on two-dimensional modal tense logic, J. Philos. Logic 28 (1999) 329–369].     

A feasibility study of the systematic evaluation of client outcomes in a voluntary sector counselling agency

There is an increasing demand on voluntary sector counselling agencies to evaluate the effectiveness of their work with clients. A pilot study was carried out in a voluntary sector counselling agency to assess the feasibility of adopting a well‐established evaluation system (CORE) designed to measure client outcomes. The paper describes the issues and complexities involved in introducing such a system, and explores the impact of the evaluation on counsellors, staff and users of the service. It is suggested that evaluation can play an important role within voluntary organisations in enabling counsellors and staff to reflect on their work.     

从"反应停"到透皮治疗系统--新药研发思路的转变

通过对“反应停”与透皮治疗系统研发过程的回顾与研发思路的比较,探讨新药研发思路的转变对于药物安全的重要性。     

"非典"重大突发公共卫生事件的思考

“非典”属于重大突发公共卫生事件,它不仅是卫生部门的事情,而且环保、公安等部门都兼负有责任。在抗击“非典”的过程中,我国政府在各方面都做出很大的努力,也取得了明显的效果。《突发公共卫生事件应急条例》的颁布,标志着我国进一步将突发公共卫生事件应急处理工作纳入法制的轨道,将促使我国突发事件应急处理机制的建立和完善。     

脑的四个功能系统学说

本文根据实验事实 ,讨论脑内评估 -情绪的功能系统。在此基础上 ,发展鲁利亚的脑的三个功能系统学说 ,提出脑的四个功能系统学说 ,认为脑内存在包括评估 -情绪功能系统在内的四个互相紧密联系的功能系统 ,人的各种行为和心理活动是这四个功能系统相互作用和协同活动的结果     

On Different Proof-Search Strategies for Orthologic

In this paper, we consider three different search strategies for a cut-free sequent system formalizing orthologic, and estimate the respective search spaces. Applying backward search, there are classes of formulae for which both the minimal proof length and the search space are exponential. In a combined forward and backward approach, all proofs are polynomial, but the potential search space remains exponential. Using a forward strategy, the potential search space becomes polynomial yielding a polynomial decision procedure for orthologic and the word problem for free ortholattices.     

绝对与人类自由--谢林《自由论》探析

本文集中探讨谢林的《自由论》及其在西方哲学史上的意义,作者在指出这部著作不足的同时,充分肯定谢林对自由及与之相关问题的发问,并认为这是近现代西方哲学对人类自身命运的一次重要思考。     

What we must Accomplish in the coming Decades

Abstract. In order to survive as a species and grow in complexity, humanity must adopt a new image of what it means to be human, rediscover a reward system beyond the merely material, and see that young people find joy in challenges and in cooperating with others.     

论传统中医学"三因制宜"体系的现代整合

工业革命以来,伴随现代化进程,人类的内外环境和社会生活均已发生巨变.当代中医病因学和治疗学应及时研究全球气候的非周期性变化、城市环境致病因子等新要素,应该对心理因素、工作环境、生活方式致病作用的凸现作出相应的反应.即,对传统中医学的"三因制宜"体系应进行现代整合,以促进其辨证施治优势与时俱进.     

我们怎样做医学--关于医学哲学范畴与体系的研究

要把医学哲学作为一门哲学学科来建设.在简要回顾对医学哲学研究对象的历史认识过程之后,提出以"我们怎样做医学"为医学哲学研究的问题逻辑主线,尝试建构一个医学的客体论、创造论、主体论、价值论与发展论的医学哲学应用理论体系,并对它的相关范畴、学术范式及理论意义展开了有益的讨论.