View Single Post
  #12 (permalink)  
Old 05-10-2008, 06:28 PM
THE WATCHER's Avatar
THE WATCHER THE WATCHER is offline
ONEWHITEDUCK
 
Join Date: Feb 2008
Location: this universe
Posts: 6,007
Default

BUT FORTUNATELY.......UNLIKE SPARKS er I mean JAN........I'm not only a conspiracy EXPOSER (tattletail)........I'm a SCIENTIST TOO

The Godscience Manifesto

Godscience is a call for scientific recognition of evidence that confirms what most people already know: that God and an afterlife actually exist, and that the universe he's created is not only stranger than we think, it's stranger than we could ever imagine.

Live Search: MATHEMATICAL PROOF FOR THE EXISTENCE OF GOD

PROOF OF THE LEMMA 'SOME BEING IS ETERNAL' (Functional – Calculus of First – Order )


The Premisses


Some being presently exists.


If some being presently exists, then either some being is eternal (has always existed), or all beings which (presently) exist have risen out of nothing.


If some being presently exists, then either that (presently) existent being is a necessary being, or that (presently) existent being is a contingent being.


If some (presently) existent being is a necessary being, then some being is eternal.


If some (presently) existent being is a contingent being, then some beings which (presently) exist have not risen out of nothing.


Mathematical Representation

Let Ix = x presently exists (is existent).

Ex = x is eternal (has always existed).

Nx = x has risen out of nothing.

Px = x is a necessary being ('exists in the necessity of its own nature': essence.º . existence).

Qx = x is a contingent being ('sometimes in being and sometimes not').


Logical Analysis

1. ($ x) (Ix) - Given.

2. ($ x) (Ix) .è . ($ x) (Ex) Ñ (x) (Ix è Nx) - Given.

3. ($ x) (Ix) .è . ($ x) (Ix · Px) Ñ ($ x) (Ix · Qx) - Given.

4. ($ x) (lx · Px) è ($ x) (Ex) - Given.

5. ($ x) (Ix · Qx) è ($ x) (Ix · ~ Nx) - Given.

6. ($ x) (Ix · Px) Ñ ($ x) (Ix · Qx) - 1, 3 M.P. (Modus Ponens).

7. ($ x) (Ex) Ñ ($ x) (Ix · ~ Nx) - 4, 5, 6 C.D. (Constructive Dilemma,

Complex).

8. ($ x) (Ex) Ñ (x) (Ix è Nx) - 1, 2 M.P.

9. ~ ($ x) (Ex) .è . ($ x) (Ix · ~ Nx) - 7, Impl. (Implication).

10. (x) (Ix è Nx) Ñ ($ x) (Ex) - 8, Com. (Commutation).

11. ~ (x) (Ix è Nx ) .è . ($ x) (Ex) - 10, Impl.

12. ($ x) (lx · ~ Nx) .è . ($ x) (Ex) - 11, Q.N. (Quantification Negation:

($ x) (Ix · ~ Nx) .º . ~ (x) (Ix è Nx) )

13. ~ ($ x) (Ex) .è . ($ x) (Ex) - 9, 12 H.S. (Hypothetical Syllogism).

14. ($ x) (Ex) Ñ ($ x) (Ex) -13, Impl.

15. ($ x) (Ex) - 14, Taut. (Tautology).

SOME BEING IS ETERNAL. [Q.E.D.]

This theorem (lemma) is the major premiss in the mathematical proof of 'Some One Unchangeable and Independent Being is Eternal'.


SPIRITUAL NATURE OF THE HUMAN SOUL


Boolean Algebra: Proof of 'I am a spiritual substance'.
The Premisses

I am (exist). - Given ( ¶ I. B. 3, I. C. 3.3, I. D. 3.6).


If I am, then I am either a material substance or I am spiritual substance.


If I am a material substance, then all my 'thoughts' are sensory in nature (non – intellectual; non – abstract).


Some of my 'thoughts' are not sensory in nature. ‡

‡ But rather intellectual or abstract in nature, 'conceptio intellectus'.

The human intellect apprehends its object in universal and abstractive fashion independently of material conditions. Hence, intellectual activity is immaterial or purely spiritual. (3)

And the Angelic Doctor observes that 'The proper operation of man as man is the activity of the intellect' ('Propria autem operatio hominis inquantum homo, est intelligere') (4)

The object of the intellect is the universal ('intellectus est universalium'), whereas sense can grasp only the particular ('sensus est particularium').

And as both the Angelic Doctor and Aristotle (the 'Philosopher') have affirmed: 'homo est animal rationale' ('Man is a rational animal').



Mathematical Representation

Let E = I am.

P = I am a material substance.

Q = I am a spiritual substance.

R = All my 'thoughts' are sensory in nature.


Logical Analysis


E = 1
['Order' Relation a C b defined: For every a and b in

E C PQ' + QP'
a Boolean Algebra B, a C b if and only if ab' = 0 :

P C R
a C b .º . ab' = 0 ]

R = 0




_______________

PQ + P'Q' = 0

PR' = 0

R = 0

_______________

PR' = 0

+ R = 0

______________


R + PR' = 0
[Of Form AX + BX' = 0 ; B C X C A'; B C A';

P C R C (1) '
AB = 0 ]



P C (1) '

(1) (P) = 0 [Eliminant of R]

P = 0 ('I am not a material substance', for

________

PQ + P'Q' = 0

+ P = 0

____________________

P + PQ + P'Q' = 0


(Q + 1) P + Q'P' = 0
[Of Form AX + BX'=0 ; B C X C A'; B C A';

(1)P + Q'P' = 0
AB = 0 ]



Q' C P C (1) '

Q' C (1) '

(1) (Q') = 0 [Eliminant of P]

Q' = 0


"One White Duck / 0^{10} = Nothing At All"

YouTube - Jethro Tull - One White Duck

one white duck
on your wall.
Isn't it just too damn real?

YouTube - I can't make you love me.

BITE ME SPARKS
__________________
If you don't KNOW where you come from...you WILL wind up going nowhere.

That goes for Ideas, institutions as well as individuals :-I

YouTube - - TRANCE Form America - 3of7


AND IT'S NOT MY FAULT THAT YOU CAN'T DISPUTE THESE CALCULATIONS......let alone understand them

BUT IT IS YOUR FAULT THAT YOU TRY TO GET OVER ON ME WITH YOUR NAME CALLING BULLSHIT "MIND GAMES"

BUT I DO BLAME YOUR RUDENESS AND YOUR AND PUT DOWN SUPERIOR ATTITUDE THAT IS JUST LIKE BLUEDOGS AND GRAYBEARDS AND COOKIE PARKERS APA DRUG PUSHING BULLSHIT........ON A LACK OF A PROPER EDUCATION :-(

DON'T TELL ME YOU HAVEN'T BEEN PLAYING PSI WAR HERE :-I
Reply With Quote