Research Catalog

Title

Towards a formalization of Thomistic theodicy : formalized attempts to set formal logical bases to state first elements of relations considered in the Thomistic theodicy / Edward Nieznański.

Author

Nieznański, Edward.

Publication

Frankfurt am Main ; New York : Peter Lang Edition, c2013.

Items in the Library & Off-site

Holdings

Details

Description

193 p. : ill.; 22 cm.

Summary

A treatise that presents logical formalization of some of Thomas Aquinas's cosmological proofs for the existence of God.

Series Statement

European studies in theology, philosophy and history of religions, 2192-1857 ; vol. 5

Uniform Title

European studies in theology, philosophy and history of religions ; v. 5.

Alternative Title

Formalized attempts to set formal logical bases to state first elements of relations considered in the Thomistic theodicy

Subject

• Formalization (Philosophy)
• Logic, Symbolic and mathematical
• Religion > Philosophy
• Theodicy
• Thomas, Aquinas, Saint, 1225?-1274
• Thomism

Bibliography (note)

• Includes bibliographical references.

Processing Action (note)

• committed to retain

Contents

Machine generated contents note: 1.Preliminaries -- 1.1.Introductory remarks -- 1.2.Introducing auxiliary terms -- 2.Basic arrangements -- 2.1.Subject of the treatise -- 2.2.Aims of the treatise -- 2.3.Structure of the treatise -- pt. One Proposal for a formal-logical theory of first elements of relations -- 1.Auxiliary arrangements -- 1.1.The notion of a relation -- 1.2.First and minimal elements of a relation -- 1.3.Images and restrictions of relations -- 1.4.Compositions and ancestral closures of relations -- 1.5.Transitive, asymmetric and irreflexive relations -- 1.6.Ordering relations -- 1.7.Cyclic relations -- 1.8.Multiplicative quasi-semilattices -- 2.Basic theorems -- 2.1.Theorems on first and minimal elements of arbitrary relations -- 2.2.Theorems on first and minimal elements of relations of certain types -- pt. Two Formalization of findings of the Thomistic theodicy about stating the existence of first elements in real-world oriented relations -- 1.Presentation, comparison and evaluation of existing formalizations -- 1.1.Attempts to formalize findings of the Thomistc theodicy about the existence of the First Mover -- 1.2.Contributions to the formalization of findings about the existence of the First Efficient Cause -- 1.3.Contributions to formalize findings of the Thomistic theodicy on the existence of the Ultimate Reason for Existence of relative beings -- 1.4.Formalization achievements in the non-Thomistic theodicy as a contribution to the formalization of the Thomistic theodicy -- 2.Author's own formalization attempts inspired by issues of the Thomistic theodicy -- 2.1.The issue of the First Being in the formalized theory of necessary conditions for existence -- 2.2.A significant extension of the theory of necessary conditions for existence to the calculus determining formal arguments for the existence of first elements of relations of movement and of efficient causality -- 2.3.Assumptions of the Thomistic vision of the world.

ISBN

9783631623398 (hd.bd.)

Owning Institutions

Harvard Library