Results 1 to 10 of about 15,548 (181)
A Theory of Termination via Indirection [PDF]
, 2010 Step-indexed models provide approximations to a class of domain equations and can prove type safety, partial correctness, and program equivalence; however, a common misconception is that they are inapplicable to liveness problems.
Hobor, Aquinas, Dockins, Robert
core +1 more source
THE CONCEPT OF ‘BEING’ IN AQUINAS AND PALAMAS [PDF]
, 2010 The aim of the present dissertation is a comparative analysis of the issue of being as found in the writings of St. Gregory Palamas and St. Thomas Aquinas.
UNTEA, CRISTIAN
core
‘Pro‐Germans in the Pulpits’: The Queensland Presbyterian Church and the Great War
Journal of Religious History, EarlyView.During World War I, Protestant churches in Australia, on the whole, enthusiastically supported the war effort. The Queensland Presbyterian Church was a significant exception. This study analyses discord and tensions among its clergymen about what constituted an appropriate response to the war.
Mark Cryle
wiley +1 more source
Negotiating Authority and Epistemic Humility: Thomas Aquinas’ Summa Theologiae I, 65-74 as a Propaedeutic Training in the Reverential Reading of Patristic Texts [PDF]
, 2014 Aquinas’ treatment of the Creation narrative (Genesis 1:1-2:4) within QQ 65-74 of the prima pars of his Summa Theologiae (ST) has long been and remains neglected, virtually unread, within the community of the readers of Aquinas. This neglect is born of a
Brandt, Phillip Luther
core
De Stupro: First Insights on Rape and Its Prosecution in Maltese Courts (1701–10)
Journal for Eighteenth-Century Studies, EarlyView.Abstract This article constitutes a first in‐depth investigation of rape and the prosecution of this crime in early eighteenth‐century Malta. The research, which is based on sixteen rape accusations claimed at the secular courts in Malta between 1701 and 1710, has analysed cases categorized as ‘simple rape’, ‘violent rape’ and rape committed under the ...
Vanessa Buhagiar
wiley +1 more source
Virtuous Organizations in the Age of AI: Relational Goods and Human Flourishing
Business Ethics, the Environment &Responsibility, EarlyView.ABSTRACT The integration of AI‐based systems in everyday work has given rise to augmented organizations, transforming traditional work paradigms and prompting new research questions concerning augmented work processes and their related ethical issues. Drawing upon the practice‐institution framework proposed by Alasdair MacIntyre, integrated with Donati'
Francesco Vincenzo Giarmoleo +3 more
wiley +1 more source
Romano Guardini and Cornelio Fabro on Kierkegaard's Christian Humanism
The Heythrop Journal, EarlyView.Abstract This article examines how Søren Kierkegaard's theological anthropology furnished resources for reconstructing Christian humanism among mid‐twentieth‐century Catholic thinkers. Focusing on Romano Guardini (1885‐1968) in Germany and Cornelio Fabro (1911‐1995) in Italy, I demonstrate how each thinker creatively appropriated Kierkegaard's ...
Joshua Furnal
wiley +1 more source
An Alien Word? Cosmic Salvation within a Rahnerian Framework
The Heythrop Journal, EarlyView.Abstract The possibility of life beyond our planet raises serious theological questions for Christians, particularly in the realm of soteriology. How would Jesus of Nazareth relate to such creatures? Is he the ‘universal’ saviour, in the cosmic sense? Or are there other incarnations of the Logos, the Word or Son of God?
Brandon R. Peterson
wiley +1 more source