Dogmat trynitarny w świetle pewnej formalnej teorii esencjonalności

One of well-known problems of the dogma of the Trinity is to predicate about the Divine Persons that they are God while simultaneously assuming the unity of God. The paper proposes a formulation of this dogma free from the above-mentioned difficulty within a new formal framework. The basic system is elementary ontology enriched with axioms B1 – B4, which are an interpretation of Frege`s predication scheme(with specific axioms A1 – A4). The elementary expression of axiom B1 – B4 is xEess(y) read as „x is essentially y”. Funktor U, which appears in the context xEUy („x is the unity of y”), is introduced by definition. The axiom of Trinity (AT) is adopted, whose elements can be expressed in the words: (1) God the Father is a Divine Person, the Son of God is a Divine Person and the Holy Spirit is a Divine Person (2) God the Father is not the Son of God, God the Father is not the Holy Spirit and the Son of God is not the Holy Spirit (3) What is a Divine Person is God the Father or the Son of God or the Holy Spirit (4) There is a unity of the Divine Person A definition of God (DG) is proposed, according to which: God is the Unity of the Divine Person. This construction includes a predication scheme which allows to predicate about the Divine Person that they are God in consistent way While analysing this problem, Peter Thomas Geach reffered to the mediaeval distinction between “God as such” (or simpliciter) and “God as this and that person” (or secundum quod). To express the latter predication he proposes the scheme: “A as P is Q” and following Aristotle, interprets is “A is (Q as P)”. According to him. the secret of the Holy Trinity consist in, among others, the fact that God is one simpliciter and appears as three persons secundum quod. God acts secundum quod and not simpliciter. The paper proposed a formal depiction of this predication scheme as well (D as definition)