Otto Drunkencoder

Greenhorn
+ Follow
since Jun 22, 2002
Merit badge: grant badges
For More
Cows and Likes
Cows
Total received
0
In last 30 days
0
Total given
0
Likes
Total received
0
Received in last 30 days
0
Total given
0
Given in last 30 days
0
Forums and Threads
Scavenger Hunt
expand Ranch Hand Scavenger Hunt
expand Greenhorn Scavenger Hunt

Recent posts by Otto Drunkencoder

Originally posted by Jason Menard:

The question was:
Given that God exists and has divine foreknowledge of everything we will think, say, or do, does Man have free will?
It is simply a conditional problem: (Man's free will | God exists).


Recht formula is:
(God exists) -> (Man has free will)
which is equivalent to
NOT ((God exists) AND NOT (Man has free will))
Now we know that 1) God doesn't exists and 2) from a false statement any conclusion can be driven (that's how -> function is defined). So
(God exists) -> (Man has free will) - TRUE
(God exists) -> (Man doesn't have free will) - TRUE
21 years ago