Wednesday, December 7, 2011

Not both Christianity and Evolution are true - An Argument

1.       If evolution is true, we all share a common ancestor
2.       All our shared common ancestors die
3.       If christianity is true, humans don’t die
[Therefore:  not both Christianity and evolution are true
4.       Assume the negation, both christianity and evolution are true
5.       Christianity is true from 4 simplification
6.       Evolution is true from 4 simplification
7.       It is not the case that humans die from 5 and 3 modus ponens
8.       For all x, x is a shared common ancestor from 6 and 1 modus ponens
9.       Humans share a common ancestor from 8 universal instantiation
10.   If humans share a common ancestor then humans die from 2 universal instantiation
11.   Humans die from 9 and 10 modus ponens, contradicting 7
12.   Not both christianity and evolution can be the case from 4-11 reductio ad absurdum


1.       (E > (x) Sx)
2.       (x)(Sx > Dx)
3.       (C > ~Dh)

[~(C . E)
4.       (C . E) assume the negation
5.       C from 4 simp
6.       E from 4 simp
7.       ~Dh from 5 and 3 modus ponens
8.       (x)Sx from 6 and 1 modus ponens
9.       Sh from 8 UI
10.   (Sh > Dh) from 2 UI
11.   Dh from 9 and 10 modus ponens, contradicting 7
13.   ~(C . E) from 4-11 reductio ad absurdum

No comments:

Post a Comment