Counselling in general practice: Issues and opportunities

The results are reported of a survey of GP counsellors and primary health care teams concerning the role and contribution of counsellors in primary care. Most of the literature argues the value of this service, which has been growing very quickly. This survey identified the principal tasks of GP counsellors, their relationship with the host team, and some of the organisational and professional dilemmas which need to be addressed. A great deal of variation wasfound in ail of these areas, which suggests the value of a protocol for GP counselling to establish minimum standards and promote best practice.     

Art in existential psychotherapy with couples and families

The authors describe and outline how art can be used in existential psychotherapy to help a couple or family uncover, discover, and make use of the meanings and meaning potentials to be found in marital and family life. In existential psychotherapy with couples and families, art can be used to help the members of the relationship notice meaning potentials in the future, honor meaning potentials that have been actualized and deposited in the past, and discover new ways to actualize meaning potentials in the here and now.     

Cut-free sequent and tableau systems for propositional Diodorean modal logics

We present sound, (weakly) complete and cut-free tableau systems for the propositional normal modal logicsS4.3, S4.3.1 andS4.14. When the modality is given a temporal interpretation, these logics respectively model time as a linear dense sequence of points; as a linear discrete sequence of points; and as a branching tree where each branch is a linear discrete sequence of points.Although cut-free, the last two systems do not possess the subformula property. But for any given finite set of formulaeX the superformulae involved are always bounded by a finite set of formulaeX* _L depending only onX and the logicL. Thus each system gives a nondeterministic decision procedure for the logic in question. The completeness proofs yield deterministic decision procedures for each logic because each proof is constructive.Each tableau system has a cut-free sequent analogue proving that Gentzen's cut-elimination theorem holds for these latter systems. The techniques are due to Hintikka and Rautenberg.Presented byDov M. Gabbay     

Report of the ACA Ethics Committee: 1993–1994

The activities of the American Counseling Association (ACA) Ethics Committee are reviewed for the year 1993–1994. Summary data of ethical complaints and formal inquiries received during the year are presented followed by a brief discussion of trends noted. Updated information about the revision of the ACA Ethical Standards and the Policies and Procedures for Processing Complaints of Ethical Violations is also provided.     

Primary and secondary reflection in existential family therapy

The author uses Gabriel Marcel's topology of primary and secondary thought to clarify and outline the process of reflection in Existential Family Therapy. Clinical material is used to illustrate the differences between primary and secondary reflection during the practice of Existential Family Therapy.     

Marcel's “availability” in existential psychotherapy with couples and families

Gabriel Marcel was a French, Catholic, existential philosopher who first presented the concept of human availability as a central way of strengthening the self and facilitating the experience of human freedom. In this article Marcel's ideas about availability are described, reviewed, and examined for their implications for the practice of existential psychotherapy with couples and families.