Action and Knowledge in Alternating-Time Temporal Logic

Alternating-time temporal logic (ATL) is a branching time temporal logic in which statements about what coalitions of agents can achieve by strategic cooperation can be expressed. Alternating-time temporal epistemic logic (ATEL) extends ATL by adding knowledge modalities, with the usual possible worlds interpretation. This paper investigates how properties of agents’ actions can be expressed in ATL in general, and how properties of the interaction between action and knowledge can be expressed in ATEL in particular. One commonly discussed property is that an agent should know about all available actions, i.e., that the same actions should be available in indiscernible states. Van der Hoek and Wooldridge suggest a syntactic expression of this semantic property. This paper shows that this correspondence in fact does not hold. Furthermore, it is shown that the semantic property is not expressible in ATEL at all. In order to be able to express common and interesting properties of action in general and of the interaction between action and knowledge in particular, a generalization of the coalition modalities of ATL is proposed. The resulting logics, ATL-A and ATEL-A, have increased expressiveness without loosing ATL’s and ATEL’s tractability of model checking.     

The Astounding Assumption of Infinite Life

The multimillennial philosophical discussion about life after death has received a recent boost in the prospect of immortality attained via technologies. In this newer version, humans generally are considered mortal but may develop means of making themselves immortal. If “immortal” means not mortal, thus existing for infinity, and if the proposed infinite‐existing entity is material, it must inhabit an infinite material universe. If the proposed entity is not material, there must be means by which it can shed its material substance and exist nonmaterially. The article examines arguments for how an infinite life would be possible given current physical understanding. The paper considers a Pascalian‐style wager weighing the likelihood of adjusting to existence wholly within a finite universe versus betting on there being some way to construe the universe(s) as a viable medium for infinite beings. Conclusion: the case for a finite being to exist infinitely has little viable support.     

Neuropsychological Effects of Brain Arteriovenous Malformations

Brain arteriovenous malformations (AVM's) are developmental, chronic lesions that provide unique information about the human brain and can be a useful model for neuroscientists to study cerebral reorganization and hemodynamics. We review the neuroanatomy, epidemiology, natural history, imaging and treatment of brain AVMs, and provide a model with which to better understand neuropsychological functioning and brain reorganization. We suggest that future studies must exclude ruptured AVMs if they wish to further explain focal neurological/cognitive deficits associated with this neurovascular anomaly.     

From Sin to a Gift from God: Constructions of Change in Conservative Christian Organizations

The present article is based on several empirical studies of religious organizations with a conservative self-understanding coping with modernity in liberal, pluralist societies. In such organizations, religiously relevant change will often be seen as a problem in itself. The article discusses the relationship between changes in practices and theological legitimations of changes. Often changes in social practice precede theological reflections. The article also presents some strategies for legitimating changes. While the discussion is partly general, it is based on empirical studies of religious changes in the southernmost part of Norway, called Agder, traditionally a stronghold of Christian, low-church, pietistic movements.     

The Relationship between Creative Personality Composition,Innovative Team Climate,and Team Innovativeness: An Input — Process — Output Perspective

This study investigates the relationship between creative personality composition, innovative team climate, and team innovation based on an input‐process‐output model. We measured personality with the Creative Person Profile, team climate with the Team Climate Inventory, and team innovation through team‐member and supervisor reports of team innovativeness. The personality composition in each of 29 teams in a television production company was operationalized by mean scores for each creative personality variable, as well as the combination of different creative personality variables within a team. The team climate variable “vision” mediated the relationship between the mean level of associative orientation in teams and team innovation. The team climate variable “support of innovation” mediated the relationship between the joint variables of mean level of ambition x mean level of motivation and team innovation. The results indicated that when there are relationships between creative personality composition and team innovativeness, they are mediated by an innovative team climate.     

Couples, Existential Psychotherapy, and Myocardial Infarction: A Ten Year Evaluation Study

Existential psychotherapy with couples after the occurrence of a myocardial infarction can be a useful, effective, and productive service approach in combination with medical services and cardiac rehabilitation services. In this article the existential treatment dynamics of holding, telling, mastering, and honoring with couples after a heart attack are described and illustrated. In addition, data from a 10-year before-after field evaluation study is reported, which supports the usefulness of the treatment approach.     

World View Concepts in Existential Family Therapy

Essence oriented and existence oriented approaches to family psychotherapy are very different treatment forms. This article compares and contrasts these two orientations in an effort to clarify the basic world view beliefs in existential psychotherapy with couples and families.     

Person perception through facial photographs: Effects of glasses,hair, and beard on judgments of occupation and personal qualities

Thirty-two photographs of male faces, four for each combination of the presence and absence of glasses, hair, and beard, were rated by 75 judges on 23 scales, assessing the typicality for 15 occupations as well as eight personal qualities. The effects of facial attributes on ratings formed characteristic profiles for the different scales. The pattern of correlations between facial attributes and factor scores from a factor analysis of the ratings indicates that the judges associated wearing glasses with intellectualism and goodness, being bald with idealism, and wearing a beard with unconventionality and goodness. In two further experiments, judges were to identify each of three faces with one of three or four occupations; the results confirmed the operativeness of the profiles from the rating experiment.     

Mystery in family therapy

Existential approaches to family psychotherapy are considerably different from the problem centered approaches to treatment which are currently so popular in the field. Gabriel Marcel's distinction between a problem centered and a mystery centered understanding of life is utilized to overview the basic and deep differences between existential and problem centered approaches to family treatment.     

Marcel's Testimony in Existential Psychotherapy with Couples and Families

In recent years a number of family therapists and teachers of family therapy have questioned the direction of the family therapy movement into relationship-distant and procedurally based treatment orientations. The purpose of this article is to outline Gabriel Marcel's concept of testimony and to show how this concept can be utilized to facilitate an increased emphasis upon the treatment relationship during marital and family psychotherapy.