Biblical Christian theology states Jesus Christ equals God..
God the Son equals God
(G ∃!) ∴ ⊨ (JC ∃)
(God exists, therefore entails, Jesus Christ exists)
GS = God the Son
(G ∃!) ∴ ⊨ (GS ∃)
(God exists, therefore entails, God the Son exists)
My learning and review continues:
LANGER, SUSANNE K (1953)(1967) An Introduction to Symbolic Logic, Dover Publications, New York. (Philosophy).
The review continues...
Chapter X
Abstraction and Interpretation
Logic is the study of forms. (240). The forms are derived from common experience, reality, life or whatever we choose to call it by abstraction. (240).
I would state that logic should lead to common sense. Non-contradiction in reasoning.
The 'science of logic' (240) is a steady progression from the concrete to the abstract. (240). Langer writes that this continues from contents with certain forms to those forms without those contents, from instances to kinds from examples to concepts. (240).
Langer explains that in symbolic logic there is a replacement of concrete individual elements by formalized elements of variable meaning. (240). Those meanings would be fixed within the context of that symbolic logic. (240).
Langer's example from 241...
K = houses
nt = north of
(a) . ˜ (a nt a)
(House A is therefore not north of itself, House A)
But based on Langer
a nt b. ⊃ ˜ (b nt a)
(House A is north of House B, therefore is the same as House B is not north of House A)
Taking concrete theology to abstraction.
Biblical Christian theology states Jesus Christ equals God.
JC = Jesus Christ
G = God
JC ⊃ G
(Jesus Christ is the same as God)
JC ⊨ G
(Jesus Christ entails God)
(G ∃!) ∴ ⊨ (JC ∃)
(God exists, therefore entails, Jesus Christ exists)
GS = God the Son
(G ∃!) ∴ ⊨ (GS ∃)
(God exists, therefore entails, God the Son exists)
Key symbols ≡df = Equivalence by definition : = Equal (s) ε = Epsilon and means is ⊃ = Is the same as ⊨ is Entails ˜ = Not ∃ = There exists ∃! = There exists ∴ = Therefore . = Therefore > = Is included v = a logical inclusive disjunction (disjunction is the relationship between two distinct alternatives). x = variable = Conjunction meaning And 0 = Null class cls = Class int = Interpretation
