Ethical Decision Making in Autonomous Vehicles: The AV Ethics Project

Science and Engineering Ethics - The ethics of autonomous vehicles (AV) has received a great amount of attention in recent years, specifically in regard to their decisional policies in accident...     

Is Multiculturalism Discriminatory?

Res Publica - Many political theorists are multiculturalists. They believe that states ought to support and accommodate minority cultures, even if they disagree about when such support and...     

Problem-solving in a cooperative task in peach-fronted conures (Eupsittula aurea)

Animal Cognition - Cooperation is a complex behaviour found in many kinds of organisms and occurs between individuals of the same and different species. Several studies have examined the...     

Age influences domestic dog cognitive performance independent of average breed lifespan

Animal Cognition - Across mammals, increased body size is positively associated with lifespan. However, within species, this relationship is inverted. This is well illustrated in dogs (Canis...     

Thought-shape fusion in anorexia nervosa: an experimental investigation

Cognitive biases and cognitive distortions have been implicated as important factors in the development and maintenance of many disorders. The concept of thought-shape fusion (TSF) in eating disorders was developed by Shafran, Teachman, Kerry, and Rachman (British Journal of Clinical Psychology 38 (1999) 167) as a variant of thought-action fusion, described by Shafran, Thordarson and Rachman (Journal of Anxiety Disorders 10 (1996) 379). TSF occurs when thinking about eating certain types of food increases a person's estimate of their shape and/or weight, elicits a perception of moral wrongdoing, and/or makes the person feel fat. Shafran et al. (1999) examined both the psychometric and experimental properties of TSF in an undergraduate sample. This paper reports an extension of this work to a clinical group (N=20) of patients with anorexia nervosa. After completing a set of relevant questionnaires, participants were asked to think about a food which they considered extremely fattening. They were then asked to write out the sentence, "I am eating--.", inserting the name of the fattening food in the blank. After being asked to rate their anxiety, guilt, feelings about their weight, morality, etc., participants were given the opportunity to neutralize their statement in any way they chose. The majority of the participants neutralized in ways consistent with the findings of Shafran et al. (1999). The results are discussed in terms of cognitive-behavioural formulations of eating disorders, and of the influence of cognitive biases and cognitive distortions on the processing of information relevant to food, weight and shape in anorexia nervosa.     

Wanting,having, and satisfaction: examining the role of desire discrepancies in satisfaction with income

In 3 studies, the authors tested the predictors of income satisfaction, examining whether discrepanc between the things people have and the things they desire predict satisfaction. Study 1 manipulated the desirability of items that can be purchased with participants' income, and showed that their satisfaction with that income depended on the desirability of these items. Study 2 demonstrated that whether people's income enabled them to purchase the things they desired influenced their satisfaction with income. Study 3 found that the effect of comparisons with a person's past on income satisfaction is completely mediated by one's desires; and the effect of social comparison on income satisfaction is partially mediated by desires. Thus, desires play a pivotal role in determining people's satisfaction with income.     

Classical Non-Associative Lambek Calculus

We introduce non-associative linear logic, which may be seen as the classical version of the non-associative Lambek calculus. We define its sequent calculus, its theory of proof-nets, for which we give a correctness criterion and a sequentialization theorem, and we show proof search in it is polynomial.