Socratic Trees

The method of Socratic proofs (SP-method) simulates the solving of logical problem by pure questioning. An outcome of an application of the SP-method is a sequence of questions, called a Socratic transformation. Our aim is to give a method of translation of Socratic transformations into trees. We address this issue both conceptually and by providing certain algorithms. We show that the trees which correspond to successful Socratic transformations—that is, to Socratic proofs—may be regarded, after a slight modification, as Gentzen-style proofs. Thus proof-search for some Gentzen-style calculi can be performed by means of the SP-method. At the same time the method seems promising as a foundation for automated deduction.     

Positive und negative Metakognitionen über Krankheitssorgen

Background

Metacognitions have been shown to be relevant in the emergence and maintenance of worry processes, particularly for generalized anxiety disorder (GAD). In contrast, metacognitions have been neglected in hypochondriasis and health anxiety, perhaps due to the traditional assignment of hypochondriasis to the somatoform disorders. Is worrying about illness associated with metacognitions and are these associated with other features of health anxiety?

Material and methods

In this study 1,246 people took part in an online survey. Items capturing positive (PM) and negative metacognitions (NM) were presented together with instruments for the assessment of health anxiety and depressive symptoms. The dimensional structure of PM and NM over illness worries was examined with nonlinear confirmatory factor analyses. Associations with depressivity and the number of consultations by different physicians were examined in structural equation models (SEM), separately for subgroups with and without a diagnosed somatic disease.

Results

The PMs and NMs about illness worries varied relatively independently from one another along two dimensions. The PMs were specifically associated with health anxiety and the number of different physician consultations and NMs were related to all dimensions of the Whiteley index and particularly strongly to depressivity.

Conclusions

Illness-related anxiety provokes metacognitions, similar to other worries as known from GAD. Considering the strong associations of PMs and NMs with several facets of health anxiety found, it appears promising to take them into account for the formulation of cognitive-behavioral models of health anxiety and its treatment.     

The link between anger and admiration toward governmental actions and self-reported preventive behaviour in the context of the COVID-19 pandemic

In the context of the COVID-19 pandemic, across six correlational studies in four different countries (total N = 4937), we examined the link between citizens' anger with and admiration for the government's actions and decisions (i.e., system-based anger and admiration) and engagement in preventive behaviour. The internal meta-analyses showed that individuals who admired the government's actions were more likely to adopt personal hygiene and social distancing behaviour. Yet, the link between emotions and preventive behaviour differed concerning the target of emotions, especially for anger. Specifically, anger about restrictions imposed by the government was negatively related to preventive behaviours, but this relationship was not significant when the target of anger was the government's overall handling of the pandemic. Our findings emphasise the importance of citizens' emotions and the targets of those emotions during the crisis.     

Uwagi o dowodzie sformalizowanym i konsekwencji

Allatum est die 8 Octobris 1968     

On the Logic of Acceptance and Rejection

The logic of acceptance and rejection (AEL2) is a nonmonotonic formalism to represent states of knowledge of an introspective agent making decisions about available information. Though having much in common, AEL2 differs from Moore's autoepistemic logic (AEL) by the fact that the agent not only can accept or reject a given fact, but he/she also has the possibility not to make any decision in case he/she does not have enough knowledge.