The Depth of Resolution Proofs

This paper investigates the depth of resolution proofs, that is to say, the length of the longest path in the proof from an input clause to the conclusion. An abstract characterization of the measure is given, as well as a discussion of its relation to other measures of space complexity for resolution proofs     

Visualizing the relationship among indicators for lone actor terrorist attacks: Multidimensional scaling and the TRAP‐18

This validation study analyses data from a sample of North American terrorist attackers (n = 33) and non‐attackers (n = 23) through the lens of the Terrorist Radicalization Assessment Protocol (TRAP‐18; Meloy, 2017) utilizing a multivariate statistical approach – multidimensional scaling – to visualize potential clustering (co‐occurrence) of risk factors. Rarely done in terrorism research, the results plotted in two‐dimensional space show the clustering and co‐occurrence of most of the eight proximal warning behaviors among the attackers, but not among the non‐attackers, and less of a clustering and association of distal characteristics, but their presence in both attackers and non‐attackers. These findings provide further empirical support for the rational‐theoretical model of the TRAP‐18, a structured professional judgment instrument for threat assessment of lone actor terrorists. It advances the quantitative analysis of operationally relevant and behaviorally observable indicators for use by law enforcement and counterterrorism professionals and their consultants. Findings are discussed in relation to other research on pre‐offense behaviors of lone actor terrorists, and recommendations are made for both operational use and further research.     

Brief therapy in adult psychiatry: results from fifteen years of practice

We report the outcomes from our solution-focused brief therapy outpatient clinic in adult mental health. A questionnaire was sent to clients and their family doctors one year after they ceased to attend. Seventy-five clients were referred, of whom fifty-three were seen and forty-one traced at follow-up. Thirty-one (76%) reported a good outcome, with an overall average of 5.02 sessions, 20% attending only one session. Combining these data with our previous studies, 170 referrals were received of whom 136 attended and 118 were traced. Good outcome was reported by eighty-three clients (70%) with a mean of 4.03 sessions per case. There was no significant difference between the groups in solving additional problems or seeking further professional help. New problems were significantly less common in the 'good outcome' group. Long-standing problems did less well. In all three studies there were no significant differences in outcome between socioeconomic groups.     

‘Humane intervention’: the international protection of animal rights

This paper explores the international implications of liberal theories which extend justice to sentient animals. In particular, it asks whether they imply that coercive military intervention in a state by external agents to prevent, halt or minimise violations of basic animal rights (‘humane intervention’) can be justified. In so doing, it employs Simon Caney's theory of humanitarian intervention and applies it to non-human animals. It argues that while humane intervention can be justified in principle using Caney's assumptions, justifying any particular intervention on behalf of animals is much more difficult – and in present circumstances impossible. If these claims are correct, a number of important conclusions follow. First, all states lack legitimacy because of the horrors that they inflict upon animals. As a result of this, all states are prima facie liable to intervention by external agents. To remedy this situation, all states have the responsibility to massively transform their relationship with non-human animals, and to build international institutions to oversee the proper protection of their most basic rights.     

Qualitative undergraduate project supervision in psychology: current practices and support needs of supervisors across North East England and Scotland

The dissertation is a core component of a psychology undergraduate degree, though very little research has been conducted into supervision processes at undergraduate level. This study examined the accounts of supervisors of qualitative dissertations in order to identify current practices of supervision and possible resources that might support supervision. Seventeen supervisors from psychology departments in North East England and Scotland were interviewed, and three main themes were identified using thematic analysis: the quantitative culture in psychology teaching, supervisors’ expertise, and the supervision process. Supervisors noted that students were typically constrained in their choice of methodology due to limited qualitative methods teaching, lack of training and guidance for supervisors, and concerns about the risks of demanding qualitative projects. Supervisors therefore often reported staying within their comfort zone, electing where possible to supervise only the methods that they themselves use. Recommendations for practical resources are provided to help support students and supervisors in the process of undertaking qualitative psychology dissertations.     

The effect of visualization on visual search performance

Striking results recently demonstrated that visualizing search for a target can facilitate visual search for that target on subsequent trials (Reinhart et al. 2015). This visualization benefit was even greater than the benefit of actually repeating search for the target. We registered a close replication and generalization of the original experiment. Our results show clear benefits of repeatedly searching for the same target, but we found no benefit associated with visualization. The difficulty of the search task and the ability to monitor compliance with instructions to visualize are both possible explanations for the failure to replicate, and both should be carefully considered in future research exploring this interesting phenomenon.     

Brief therapy in adult psychiatry

Forty-one of forty-four referrals to a multidisciplinary team providing brief therapy in adult psychiatry were followed up after one year. Questionnaires were sent to attenders and their general practitioners. A good outcome was reported in 29 cases (70%) while four cases (10%) were worse. Good outcome was linked with more therapy sessions and having specific goals for treatment. Lower social class did not predict poor outcome, unlike other forms of psychotherapy. Benefit was not linked to age, sex, place of residence, duration of problem, source of referral, those attending, inpatient status or lapse from treatment. Longstanding problems did slightly less well. The 'worse' group were younger and all four were female. Training of the team took place during therapy at little extra cost without any detriment to outcome. These findings have implications for the team's approach and for the provision of psychotherapy services in general.     

SUPERVALUATION FIXED-POINT LOGICS OF TRUTH

Michael Kremer defines fixed-point logics of truth based on Saul Kripke’s fixed point semantics for languages expressing their own truth concepts. Kremer axiomatizes the strong Kleene fixed-point logic of truth and the weak Kleene fixed-point logic of truth, but leaves the axiomatizability question open for the supervaluation fixed-point logic of truth and its variants. We show that the principal supervaluation fixed point logic of truth, when thought of as consequence relation, is highly complex: it is not even analytic. We also consider variants, engendered by a stronger notion of ‘fixed point’, and by variant supervaluation schemes. A ‘logic’ is often thought of, not as a consequence relation, but as a set of sentences – the sentences true on each interpretation. We axiomatize the supervaluation fixed-point logics so conceived.     

When is profiling possible? Offense planning and aggression as moderators in predicting offender age from victim age in stranger rape

Debate continues with regard to the possibility of inferring an offender's characteristic features from crime scene details (the process of so-called "offender profiling"). We argue that psychology generally has benefited from appreciating context in predicting behavior. In the same way, profiling would benefit from an appreciation of context in predicting characteristics. This "reverse" process is contingent on various "if...then" relationships. As one example, this paper demonstrates how profiling offender age from victim age is contingent on (i) the level of planning and (ii) the level of aggression displayed during the offense. Eighty-five stranger rape case records formed the data set. Moderated regression analysis revealed that victim age is a significant predictor of offender age only in cases where the offender has (i) shown evidence of planning the attack and/or (ii) acts in a gratuitously aggressive manner. The theoretical bases for these findings may lie in the extent to which offenders disparately plan and target victims and how extreme aggressiveness in stranger rapes may relate to a near-peer proxy for an offender's anger. The implications of the results for the processes and methods involved in offender profiling suggest that certain crime scene factors can have differential moderating effects on predictive outcomes.