Bocheński's Formalization of Summa Theologiae (Ia,75,6) Reconsidered

I investigate Bocheński's first-order logic formalization of the argument for the incorruptibility of the human soul given by Aquinas in Summa Theologiae (Ia,75,6). I suggest a slightly different axiomatization that reflect better Aquinas' informal argument. Along the way, I also fix a mistake in Bocheński's derivation that the human soul is not corruptible per se.     

Bocheński on divine providence and human freedom

Prior to his ‘naturalistic turn’, Bocheński was a Thomist and defended the Thomist doctrine as a logically consistent and attractive philosophical system. Some opponents of Thomism interpreted this doctrine, Aquinas’s conception of divine providence included, as a kind of theological fatalism (or theological determinism) incompatible with human freedom. Bocheński dismissed such interpretations as based on “a superficial misunderstanding.” I will try to demonstrate that his criticism of deterministic interpretations of Thomism was not quite justified. The article will present, first, Bocheński’s account of the Thomist doctrine of divine providence, next, the arguments for theological fatalism leading to the conclusion that there is no freedom if Aquinas’s conception of divine nature is assumed. Finally, I will try to show how the dispute between Thomism and its opponents is rooted in some fundamental differences concerning the very concept of human freedom.     

Józef Bocheński and static religion

One of the most interesting aspects of Józef Bocheński’s philosophy was its relation to Henri Bergson’s thought, particularly to his philosophy of religion. Unlike the majority of the Catholic philosophers at that time, Bocheński did not stress the significance of dynamic religion, but rather focused on the role of static religion in human life. In his view, what was of particular interest within this religion was its fabulation function. This direction of the philosopher’s research stemmed from the realism and empiricism proper to the analytic philosophy developed by Bocheński and became increasingly visible as the years passed. In this text the author shows how Bocheński’s analyses of religion, referring to both daily human experiences and logic, moved towards Bergsonian static religion, while diverging from dynamic religion and its key notion of mysticism.     

Bocheński on divine ineffability

Section 11 of Józef Bocheński’s The Logic of religion (1965), is devoted to the question of divine ineffability: Is it possible to speak of God? Bocheński shows that even if the assertion of God’s ineffability is not contradictory, it can be contested. Bocheński seems to think ineffabilism is based primarily on a confusion, viz., on the claim that faith is dependent on an extraordinary experience, and it is this extraordinary experience which is supposed to be ineffable. The ineffabilist is unable to say who he is addressing in his prayers and praises so long as he maintains that nothing can be said of Him to whom they are addressed. Any meaningful language is minimally referential, whether the ineffabilist likes it or not. This could be the basis for a critique of Jean-Luc Marion’s account of apophatism. This criticism shows the fecundity of Bocheński’s account of ineffability.     

Two approaches to the problem of universals by J. M. Bocheński

The main aim of the paper is to reconstruct and analyse two methodological approaches to the problem of universals, presented in Bocheński’s papers “Powszechniki jako tre?ci cech w filozofii ?w. Tomasza z Akwinu” and “The Problem of Universals.” It is argued that, although these approaches are rather different from historical and methodological points of view, they are still based on the same ontological ground, viz. on immanent realism. The article provides a detailed analysis and comparison of the respective views. Justification is provided for the claim that Bocheński was an immanent realist and some of Bocheński’s detailed solutions are highlighted that may be of particular importance for further debate over the problem of universals. A couple of minor critical comments concerning some of Bocheński’s analyses are presented at the end of the paper.     

J.M. Bocheński’s method of philosophical analysis and contemporary applied ontology

The aim of this article is to reconstruct Bocheński’s method of philosophical analysis as well as to clarify the purpose of that method and its basic elements. In the second part of the paper I will compare Bocheński’s method with the methods of modern applied ontology.     

Bocheński on the human condition: is a long and happy life the whole story?

Following his retirement from teaching in 1972 J. M. Bocheński entered into a creative phase of his scholarly career characterized by, among other things, a marked shift to ‘naturalism’ to the detriment of philosophical ‘speculation’ of any kind (comprising much of classical metaphysics, ‘world views’, ‘ideologies, ‘moralizing’—for him so many nefarious ‘superstitions’). During this period he examined issues which bear on the human condition in a way that was at once constructive and critical—constructive by virtue of the logical analyses of such concepts as authority, critical by dint of his refusal to take seriously any so-called ‘anthropocentric’/‘humanist’ thinking attempting to secure a special standing for ‘Man’ in the world. These attitudes come to expression in his last work devoted to worldly wisdom, the practical rationality required to ensure a long and happy life. I examine, first, some of the background of this work, with an eye to the naturalism it is based on, provide a schematic overview of the contents of the study, and concentrate on a couple of key issues related to the question as Bocheński understood it. The salient issue concerns his insistence that whatever else it may be the wisdom that is conducive to the long and happy life is not to be confused, conceptually, with any sort of morality: worldly wisdom and the categorical commands of morality stand in no essential relation to each other and may indeed be contradictory … to the detriment of morality, according to Bocheński. Throughout, but especially in the concluding section, I express some doubts about the cogency of this position.     

Beyond logic there is only nonsense

Studies in East European Thought - This paper provides an interpretation of Father Bocheński’s saying “Beyond logic there is only nonsense.” He considered the battle against...     

The relation of master and disciple against the background of Józef M. Bocheński’s logic of authority

Studies in East European Thought - The aim of this article is to apply Józef M. Bocheński’s logic of authority to a key interpersonal relation of philosophical interest: the...     

Józef M. Bocheński and the Cracow Circle

Józef M. Bocheński began his philosophical career as an eclectic philosopher, then switched to Thomism and finally became a representative of the analytic school. As a Thomist he wanted to reform this orientation by the resources of modern formal logic. This tendency culminated in the establishment of the Cracow Circle (established in 1936) whose members were Bocheński, Jan F. Drewnowski, Jan Salamucha, and Boles?aw Sobociński. However, the program of the Cracow Circle was rejected by most Thomists who considered traditional logic as an entirely sufficient device of philosophy. Bocheński was very disappointed by this attitude of his Thomist fellows. His evolution toward analytic philosophy, free of any ideological pressure, can be regarded as his reaction to the conservatism of Thomism.     

Józef M. Bocheński and the categorial reconstruction of concepts in the Lvov–Warsaw School

Studies in East European Thought - In this article, Józef M. Bocheński is presented as a representative of the methodological tendencies of the Lvov–Warsaw School (LWS). Special...     

Yablifying the Rosser Sentence

In a recent paper (Cie?liński and Urbaniak 2012), Urbaniak and Cie?liński describe an analogue of the Yablo Paradox, in the domain of formal provability. Just as the infinite sequence of Yablo sentences inherit the paradoxical behavior of the liar sentence, an infinite sequence of sentences can be constructed that inherit the distinctive behavior of the Gödel sentence. This phenomenon—the transfer of the properties of self-referential sentences of formal mathematics to their “unwindings” into infinite sequences of sentences—suggests a number of interesting logical questions. The purpose of this paper is to give a precise statement of a conjecture from Cie?liński and Urbaniak (2012) regarding the unwinding of the Rosser sentence, and to demonstrate that this precise statement is false. We begin with some preliminary motivation, introduce the conjecture against the background of some related results, and finally, in the last section, move on to the proof, which adapts a method used by Solovay and Guaspari.     

Logic and Mathematics in the Seventeenth Century

According to the received view (Bocheński, Kneale), from the end of the fourteenth to the second half of nineteenth century, logic enters a period of decadence. If one looks at this period, the richness of the topics and the complexity of the discussions that characterized medieval logic seem to belong to a completely different world: a simplified theory of the syllogism is the only surviving relic of a glorious past. Even though this negative appraisal is grounded on good reasons, it overlooks, however, a remarkable innovation that imposes itself at the beginning of the sixteenth century: the attempt to connect the two previously separated disciplines of logic and mathematics. This happens along two opposite directions: the one aiming to base mathematical proofs on traditional (Aristotelian) logic; the other attempting to reduce logic to a mathematical (algebraical) calculus. This second trend was reinforced by the claim, mainly propagated by Hobbes, that the activity of thinking was the same as that of performing an arithmetical calculus. Thus, in the period of what Bocheński characterizes as ‘classical logic’, one may find the seeds of a process which was completed by Boole and Frege and opened the door to the contemporary, mathematical form of logic.     

Anthropology,Ontology, and the Possibility of Post-Mortem Repentance

Abstract: This essay considers the question of conversion unto repentance, as an act of cognition and volition, by the separated soul in the post-mortem state. It primarily explicates and interrogates Thomas Aquinas's various attempts to rule out this possibility for the damned. Since Thomas's arguments for such impossibility feature his commitment to the radical immateriality of the human soul—and, like it, the angelic spirit—the essay highlights the ontological and moral tensions within that account. The case is thus made for the ontological, logical, and moral inconsistencies of his position, in pursuit of a more holistic anthropology across the soul's various states and a more rationally and coherent eschatology—namely, an affirmation of the irreducible mutability of the created soul on its way towards likeness to God, perhaps, if not certainly, towards universal salvation.     

Polish Attempts to Modernize Thomism by Logic (Bocheński and Salamucha)

This paper reports some attempts undertaken in Poland in the 1930s to modernize Thomism by means of modern logic. In particular, it concerns J.M. Bocheski and J. Salamucha, the leading members of the CracowCircle. They attempted to give precise logical form to the Five Ways of Thomas Aquinas. Other works concerned the concept of transcendentals, the levels of abstraction, and the concept of essence.     

Vermigli Replicating Aquinas: An Overlooked Continuity in the Doctrine of Predestination

Although Peter Martyr Vermigli is well recognized for his integration of Thomism with Reformed theology, there is no consensus on whether to consider Thomas Aquinas a dominant influence on his doctrine of predestination. Recent scholarship argues that Gregory of Rimini’s influence is greater than Aquinas. This essay provides strong evidence to the contrary for the influence of Aquinas on Vermigli’s early exposition of predestination as a Reformer. Vermigli not only drew upon Aquinas’s doctrine in general, as he does elsewhere, but reproduced the details of Aquinas’s article in the Summa on whether foreknowledge of merits is the cause of predestination. This finding has significance for understanding the development of Vermigli’s thought, his relation to Thomist scholasticism, and his mature writings on predestination. In general, this evidence increases the importance of Thomas as a formative influence on Vermigli’s thought.     

Bocheński on authority

Józef Maria Bocheński introduced an important distinction between deontic and epistemic authority. A typical example of epistemic authority is the relation of a teacher to his students; a typical example of deontic authority is the relation between an employer and his employee. The difference between the two lies in domains of authority: declarative sentences make up the domain in the case of epistemic authority, orders—in the domain of deontic authority. In the article, I analyze in detail the concepts of the two kinds of authority and propose some new explications. The concept of epistemic authority is distinguished from the concept of infallibility and expertise; and the concept of deontic authority is distinguished from the concept of sovereign. I interpret various kinds of deontic authority in the light of the theory of imperative sentences. The concepts of gradation and de-gradation of authority are introduced and explicated.     

Paving the Way? Penalty and Atonement in Thomas Aquinas's Soteriology

This article explores the soteriology of Thomas Aquinas. In particular, it considers recent debates over whether Thomas altered Anselm's satisfaction theory in a way which opened the door to the later theory of penal substitution. The article argues that Thomas did indeed alter Anselm's atonement theory in this way insofar as he incorporates punishment within his concept of satisfaction; however, it further contends that his use of ‘placation’ or ‘appeasement’ language does not contribute to such an alteration.