This essay provides an analysis of Karl Rahner’s book The Shape of the Church to Come and comments briefly on the context of this book, namely, the German Synod at Würzburg, Germany in 1971. Rahner was prescient in thinking that it may only be a single occasion that may precipitate a huge crisis in which many Catholics will leave the Church, refusing to pay the church-tax, as is happening in Germany today. Although Rahner sharply criticizes the Church as institution, his (...) passionate loyalty to the magisterium also comes through loud and clear in all his writings. Rahner, the consummate theologian, cannot be pigeonholed into neat categories like “conservative” or “liberal” because his theology knows how to do a balancing act. Finally, Rahner is such a trailblazer in theology that it may take another fifty years for the institutional Church to catch up with his thought. (shrink)

This essay provides an analysis of Karl Rahner’s book The Shape of the Church to Come and comments briefly on the context of this book, namely, the German Synod at Würzburg, Germany in 1971. Rahner was prescient in thinking that it may only be a single occasion that may precipitate a huge crisis in which many Catholics will leave the Church, refusing to pay the church-tax, as is happening in Germany today. Although Rahner sharply criticizes the Church as institution, his (...) passionate loyalty to the magisterium also comes through loud and clear in all his writings. Rahner, the consummate theologian, cannot be pigeonholed into neat categories like “conservative” or “liberal” because his theology knows how to do a balancing act. Finally, Rahner is such a trailblazer in theology that it may take another fifty years for the institutional Church to catch up with his thought. (shrink)

The Heythrop Journal, Volume 63, Issue 1, Page 151-152, January 2022.

The Heythrop Journal, Volume 63, Issue 3, Page 487-488, May 2022.

The Heythrop Journal, Volume 63, Issue 5, Page 1031-1032, September 2022.

Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert’s consistency program. Similar efforts continue, but have been (...) expanded by the development of sophisticated methods to study the properties of such systems using proof and model theory. In parallel with this evolution of logical formalisms as tools for articulating mathematical theories (broadly speaking), much progress has been made in the quest for a mechanization of logical inference and the investigation of its theoretical limits, culminating recently in the development of new foundational frameworks for mathematics with sophisticated computer-assisted proof systems. In addition, logical formalisms developed by logicians in mathematical and philosophical contexts have proved immensely useful in describing theories and systems of interest to computer scientists, and to some degree, vice versa. Three examples of the influence of logic in computer science are automated reasoning, computer verification, and type systems for programming languages. (shrink)

The proof theory of many-valued systems has not been investigated to an extent comparable to the work done on axiomatizatbility of many-valued logics. Proof theory requires appropriate formalisms, such as sequent calculus, natural deduction, and tableaux for classical (and intuitionistic) logic. One particular method for systematically obtaining calculi for all finite-valued logics was invented independently by several researchers, with slight variations in design and presentation. The main aim of this report is to develop the proof theory of finite-valued first order (...) logics in a general way, and to present some of the more important results in this area. In Systems covered are the resolution calculus, sequent calculus, tableaux, and natural deduction. This report is actually a template, from which all results can be specialized to particular logics. (shrink)

Studies the politics of Heidegger in terms of "thrownness" or "existential contingency". Attempts to think through Heidegger's philosophy in a manner that parallels his own dialogue with other key western thinkers.