A Systems/Dialectical Model of Supervision: A Symbolic Process

Although there has been a proliferation of models of supervision in the marriage and family therapy literature recently, most tend to focus on methods rather than on the process of supervision. The model presented here is grounded in developmental concepts and focuses on student learning through a dialectical process of cognitive and emotional growth and incorporates three stages: 1) developing relationships; 2) breaking impasses, and 3) orchestrating changes. Students discover that supervision becomes isomorphic with relationship issues that arise in their therapy sessions. Dialectical in nature in that each stage is characterized by the resolution of contradictory emotions, the supervision process helps supervisees experience emotional shifts in their interactions with others, referred to as emotional restructuring.     

Life-Prolonging Killings and their Relevance to Ethics

What makes killing morally wrong? And what makes killing morally worse than letting die? Standard answers to these two questions presuppose that killing someone involves shortening that person's life. Yet, as I argue in the first two sections of this article, this presupposition is false: Life-prolonging killings are conceivable. In the last two sections of the article, I explore the significance of the conceivability of such killings for various discussions of the two questions just mentioned. In particular, I show why the conceivability of life-prolonging killings renders Frances M. Kamm's attempt to provide an answer to the second question problematic.     

Landmark-based spatial search in honeybees. I.

Honeybees were trained to find sugar water in the middle of an array of two landmarks of different colours. Unrewarded tests compared searching on the training array with searching on rotated arrays. On rotated tests, a system using the angles between landmarks would continue to search in the middle. A system using vectors to individual elements would search at locations outside the rotated array at which the distances and compass directions to a subset of landmarks matched. Results indicated that bees used both elements and interlandmark angles, but they relied most on one favourite landmark element. Results support the template model of landmark use in honeybees, with the minor parametric modification that weights given to different elements may be unequal. Received:6 July 1998 / Accepted after revision:7 December 1998     

Constrained maximum likelihood estimation of two-level covariance structure model via EM type algorithms

In this paper, the constrained maximum likelihood estimation of a two-level covariance structure model with unbalanced designs is considered. The two-level model is reformulated as a single-level model by treating the group level latent random vectors as hypothetical missing-data. Then, the popular EM algorithm is extended to obtain the constrained maximum likelihood estimates. For general nonlinear constraints, the multiplier method is used at theM-step to find the constrained minimum of the conditional expectation. An accelerated EM gradient procedure is derived to handle linear constraints. The empirical performance of the proposed EM type algorithms is illustrated by some artifical and real examples.This research was supported by a Hong Kong UCG Earmarked Grant, CUHK 4026/97H. We are greatly indebted to D.E. Morisky and J.A. Stein for the use of their AIDS data in our example. We also thank the Editor, two anonymous reviewers, W.Y. Poon and H.T. Zhu for constructive suggestions and comments in improving the paper. The assistance of Michael K.H. Leung and Esther L.S. Tam is gratefully acknowledged.     

Every Finitely Reducible Logic has the Finite Model Property with Respect to the Class of ♦-Formulae

In this paper a unified framework for dealing with a broad family of propositional multimodal logics is developed. The key tools for presentation of the logics are the notions of closure relation operation and monotonous relation operation. The two classes of logics: FiRe-logics (finitely reducible logics) and LaFiRe-logics (FiRe-logics with local agreement of accessibility relations) are introduced within the proposed framework. Further classes of logics can be handled indirectly by means of suitable translations. It is shown that the logics from these classes have the finite model property with respect to the class of -formulae, i.e. each -formula has a -model iff it has a finite -model. Roughly speaking, a -formula is logically equivalent to a formula in negative normal form without occurrences of modal operators with necessity force. In the proof we introduce a substantial modification of Claudio Cerrato's filtration technique that has been originally designed for graded modal logics. The main core of the proof consists in building adequate restrictions of models while preserving the semantics of the operators used to build terms indexing the modal operators.     

Proof-Theoretic Modal PA-Completeness III: The Syntactic Proof

This paper is the final part of the syntactic demonstration of the Arithmetical Completeness of the modal system G; in the preceding parts [9] and [10] the tools for the proof were defined, in particular the notion of syntactic countermodel. Our strategy is: PA-completeness of G as a search for interpretations which force the distance between G and a GL-LIN-theorem to zero. If the GL-LIN-theorem S is not a G-theorem, we construct a formula H expressing the non G-provability of S, so that ⊢_GL-LIN ∼ H and so that a canonical proof T of ∼ H in GL-LIN is a syntactic countermodel for S with respect to G, which has the height θ(T) equal to the distance d(S, G) of S from G. Then we define the interpretation ξ of S which represents the proof-tree T in PA. By induction on θ(T), we prove that ⊢_PA S^ξ and d(S, G) > 0 imply the inconsistency of PA. This revised version was published online in June 2006 with corrections to the Cover Date.     

Grammer and Social Interaction in Japanese and Anglo-American English: The Display of Context, Social Identity and Social Relation

This paper employs conversation analysis to examine the inter-connection between grammar and displays of contextual understanding, social identity, and social relationships as well as other activities clustering around turn-endings in Japanese talk-in-interaction, while undertaking a restricted comparison with the realisation of similar activities in English. A notable feature of turn-endings in Japanese is the particular salience of grammatical construction on the interactional activities they accomplish. Complete turns which are also syntactically complete are shown to be associated with the explicit display of contextual features, whereas syntactically incomplete turns are designed to circumvent or minimise such displays. The explicit or implicit display of one's social and contextual relationship to the interactional environment is therefore seen to be an integral part of the performance of social actions in Japanese. On the other hand, in English, it is more difficult to establish a clear association between grammar and the inclusion or avoidance of contextual displays.     

Effects of practice and task constraints on stiffness and friction functions in biological movements

A dynamical model of the movements of the platform of a ski-simulator was derived from experimental data, using the graphical and statistical methods developed by Beek and Beek (Beek, P. J., & Beek, W. J. (1988). Human Movement Science, 7, 301–342). The data were collected in an experiment in which both amplitude and practice were manipulated. The data were filtered and further reduced to normalised cycles that were averaged within and across subjects. Graphical methods were applied to these averaged normalised cycles to determine the stiffness and friction terms to be included in the model. The relative contribution of each term was assessed by means of multiple regression. The model, which included cubic and quintic Duffing terms and one or two dissipative Van der Pol terms, accounted on average for 99.2% of the variance. The exact parameter setting of the model differed considerably across subjects. For one subject, a qualitatively different model, including Rayleigh instead of Van der Pol terms, provided a better account of the data. Systematic changes of the coefficients in the model, related to amplitude and the duration of practice, were evident.     

How to Identify Negative Actions with Positive Events

It is often assumed that, while ordinary actions are events, ‘negative actions’ (omissions, refrainments, etc.) are absences of events. I claim that a negative action is an ordinary, ‘positive’ event that plays a certain role. I argue that my approach can answer standard objections to the identity of negative actions and positive events.     

Right Action as Virtuous Action

I argue in favour of the central claim of virtue-ethical accounts of right action: that right action is virtuous action. First, I disambiguate this claim and argue for a specific interpretation of it. Second, I provide reasons to prefer target-centred over both agent-centred and motive-centred accounts of virtuous action. Third, I argue that an action is right if, only if, and because it is overall virtuous. Finally, I respond to important arguments to the contrary.