Reasoning about the Trinity: a Modern Formalization of a Medieval System of Trinitarian Logic
Year: 2010
Type: book-chapter
Abstract: In Christian discourse, paralogisms arise when one blindly applies classical logic to the traditional definition of the trinity. Some people conclude, on the basis of these paralogisms, that logic cannot be coherently applied to the trinity. Others conclude that it can, but that the right logic is not classical logic, but an extension of it. An anonymous treatise from the late Middle Ages addresses the problems of paralogisms by introducing a semi-formal theory of predication and syllogistic reasoning which can be applied to both the trinity and to other subject matter. In this paper we formalize the theory presented in the medieval text, providing the contemporary philosopher and logician with a sound logic for reasoning about the trinity.
Source: De Gruyter eBooks
Author: Sara L. Uckelman
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
Funder: European Social Fund
OpenAlex ID: W2096490562