Software Tools in Logic Education: Some Examples

Computers are increasingly present in education and make manyresources and activities available to teachers and pupils. Newpedagogical resources development is very interesting for both.Our digital library Summa Logicae is overtly involved in innovationand pedagogical systematization. It includes some software toolsfor teaching logic developed by computer science students, andin this article we present two of these tools. The MAFIA toolis especially attractive for first year students and helps themto understand the basic concepts of logic in an interactiveway using sematic tableaux. It also allows them to solve thecrazy cases in Mafia which their fellow students from previousyears proposed. The Modelos de Kripke tool, oriented to a moreadvanced level, serves for understanding the link between theproperties of the accessibility relation and the modal formulas,which is at the basis of the current developments of modal logic.     

Obstacles facing the psychoanalyst when interpreting narcissistic pathologies: Characteristics of the authoritarian patient

This paper explores the unconscious agreements between patient and analyst that promote some aspects of conflict to be excluded from the content of the interpretations. This generates an experience of exerting omnipotent control over the analyst, which subsequently consolidates a narcissistic phantasy. A stagnation of the analytic process is established in the course of the analysis but this remains hidden by areas of partial progress in the patient. Clinical material is provided in order to show the vicissitudes of the interrelationship between patient and analyst. It also demonstrates the working through by the analyst of a situation of both transferential and countertransferential conflict. This leads to an inhibition on the part of the analyst in his interpreting function. The use of projective identifications, which are mutually contradictory and incompatible, is also under discussion. This, as a result of being expressed simultaneously, constitutes a paradox, which may lead the analyst to confusion and an experience of paralysis. The subsequent confusional anxieties are considered. Additionally, authoritarianism is discussed, including its attendant difficulties of establishing boundaries between the self and the object. Finally, under consideration is the risk one takes in formulating authoritarian interpretations, which, in certain cases, can impose criteria on the patient.     

Squares in Fork Arrow Logic

In this paper we show that the class of fork squares has a complete orthodox axiomatization in fork arrow logic (FAL). This result may be seen as an orthodox counterpart of Venema's non-orthodox axiomatization for the class of squares in arrow logic. FAL is the modal logic of fork algebras (FAs) just as arrow logic is the modal logic of relation algebras (RAs). FAs extend RAs by a binary fork operator and are axiomatized by adding three equations to RAs equational axiomatization. A proper FA is an algebra of relations where the fork is induced by an injective operation coding pair formation. In contrast to RAs, FAs are representable by proper ones and their equational theory has the expressive power of full first-order logic. A square semantics (the set of arrows is U×U for some set U) for arrow logic was defined by Y. Venema. Due to the negative results about the finite axiomatizability of representable RAs, Venema provided a non-orthodox finite axiomatization for arrow logic by adding a new rule governing the applications of a difference operator. We address here the question of extending the type of relational structures to define orthodox axiomatizations for the class of squares. Given the connections between this problem and the finitization problem addressed by I. Németi, we suspect that this cannot be done by using only logical operations. The modal version of the FA equations provides an orthodox axiomatization for FAL which is complete in view of the representability of FAs. Here we review this result and carry it further to prove that this orthodox axiomatization for FAL also axiomatizes the class of fork squares.     

Core Semantic Links or Lexical Associations: Assessing the Nature of Responses in Word Association Tasks

Journal of Psycholinguistic Research - The processes tapped by the widely-used word association (WA) paradigm remain a matter of debate: while some authors consider them as driven by lexical...     

Personality Assessment Inventory Scores as Predictors of Evaluation Referrals,Evaluator Opinions,and Commitment Decisions in Sexually Violent Predator Cases

We used data from more than 1,500 offenders to examine the association between Personality Assessment Inventory (PAI; Morey, 1991 Morey, L. C. (1991). Personality Assessment Inventory: Professional manual. Odessa, FL: Psychological Assessment Resources. [Google Scholar]) scores and progress through the sexually violent predator (SVP) screening, evaluation, and commitment process. There was no clear association between PAI scores and referrals for full evaluations, but PAI scores were small to moderate predictors of evaluator opinions and diagnoses among offenders who underwent full evaluations. Higher Antisocial Features (ANT) scores were associated with diagnoses of antisocial personality disorder, but this association was moderated by offender response style. ANT scores were more strongly associated with antisocial personality disorder diagnoses among those responding defensively (d = .71) than among those responding openly (d = .48). The mean ANT score among defensive responders diagnosed with antisocial personality disorder was about 55T, suggesting that even moderate ANT scale elevations could indicate a clinically significant level of antisocial traits among some offenders.     

Acceptance and expressed emotion in Mexican American caregivers of relatives with schizophrenia

The relation between Expressed Emotion (EE) and caregiver acceptance was tested with the use of video-recorded interactions between 31 Mexican American family caregivers and their relatives with schizophrenia. Borrowing the concept from Integrative Behavioral Couple Therapy, acceptance was defined as caregiver's engagement with the ill relative along with low levels of expectations for behavioral change. Three aspects of caregiver acceptance were measured: global acceptance of the patient, unified detachment (i.e., nonblaming but engaged problem discussion), and low aversive responses to patient behavior (e.g., criticisms and demanding change). Relative to high EE caregivers, low EE caregivers were consistently more accepting of their ill relatives across the three measures of acceptance. Unified detachment was negatively associated with emotional overinvolvement and aversive responses were positively related to criticism. Warmth was not related to acceptance. The findings suggest that the study of acceptance in family caregivers is a heuristic avenue for future research due to its potential to shed light on specifically what family members do in caring for their ill relatives with schizophrenia.     

Nuestra culpa: collective guilt and shame as predictors of reparation for historical wrongdoing

Three studies examined the hypothesis that collective guilt and shame have different consequences for reparation. In 2 longitudinal studies, the ingroup was nonindigenous Chileans (Study 1: N = 124/120, lag = 8 weeks; Study 2: N = 247/137, lag = 6 months), and the outgroup was Chile's largest indigenous group, the Mapuche. In both studies, it was found that collective guilt predicted reparation attitudes longitudinally. Collective shame had only cross-sectional associations with reparation and no direct longitudinal effects. In Study 2, collective shame moderated the longitudinal effects of collective guilt such that the effects of guilt were stronger for low-shame respondents. In Study 3 (N = 193 nonindigenous Chileans), the cross-sectional relationships among guilt, shame, and reparation attitudes were replicated. The relationship between shame and reparation attitudes was mediated by a desire to improve the ingroup's reputation.     

Interparty Attitudes in Chile: Coalitions as Superordinate Social Identities

This paper reports a survey (N  =  1,465) conducted in Chile that was conceived to understand the role of coalition identification as an important sociopsychological mechanism for promoting positive affects toward own-coalition party members in a multiparty system, above and beyond interparty political differences. Participants judged their own political party, parties within coalitions (fellow coalition members and opposing parties), and political coalitions as a whole on affective dimensions (trust, liking, and admiration). The results provide substantial support for the five hypotheses addressed in the study. Overall, perceived interparty distance and political identity threat had a negative impact on affect toward coalition party members. Above and beyond these effects, identification with the coalition positively predicted affect toward allies. Ingroup party affect was positively correlated with affect toward own-coalition party members and own coalition as a whole, but was not negatively associated with affect toward opposing-coalition parties. Moreover, the relationship between own-party affect and affect toward own-coalition party members was mediated by affect toward own coalition. Overall, evidence for the benefits of promoting coalition identification in a multiparty system is provided and discussed alongside the limitations and practical implications derived from the study.