Book Review

Arnheim, Rudolf, “Picasso's Guernica, The Genesis of a Painting,” University of California Press, Berkeley, California, 1962. Pp. 139, $8.50. Reviewed by Irving R. Stone     

The first formalized proof of the indestructibility of a subsistent form

The article presents a formalization of Thomas Aquinas proof for the indestructibility of the human soul. The author of the formalization—the first of its kind in the history of philosophy—is Father Joseph Maria Bocheński. The presentation involves no more than updating the logical symbolism used and accompanies the logical formulae with ordinary language paraphrases in order to ease the reader’s understanding of the formulae. “The fundamental idea of the Thomist proof is of utmost simplicity: things which are destructible are destructible either per se or per accidens; but the human soul is destructible neither per se nor per accidens: therefore the human soul is not destructible”. Bochenski’s words required him to devote considerable effort for the sake of precision of the symbolic language that would be maximally adequate to Thomas’ discourse. Moreover, I have thought it necessary to provide an ample commentary to the traditional and contemporary semantical presuppositions of Aquinas philosophical anthropology in light of Bocheński’s interpretation thereof.     

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.     

The logical investigations of jan kalicki

This paper describes the work of the Polish logician Jan Kalicki (1922–1953). After a biographical introduction, his work on logical matrices and equational logic is appraised. A bibliography of his papers and reviews is also included.     

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