home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / sci / math / 10936 < prev    next >
Encoding:
Text File  |  1992-09-03  |  2.3 KB  |  51 lines
  1. Newsgroups: sci.math
  2. Path: sparky!uunet!destroyer!sol.ctr.columbia.edu!zaphod.mps.ohio-state.edu!magnus.acs.ohio-state.edu!regeorge
  3. From: regeorge@magnus.acs.ohio-state.edu (Robert E George)
  4. Subject: Re: Proof of God's Existence
  5. Message-ID: <1992Sep3.162314.26632@magnus.acs.ohio-state.edu>
  6. Sender: news@magnus.acs.ohio-state.edu
  7. Nntp-Posting-Host: bottom.magnus.acs.ohio-state.edu
  8. Organization: The Ohio State University
  9. References: <1992Sep1.215331.89956@vaxc.cc.monash.edu.au> <1992Sep1.224045.8620
  10. Date: Thu, 3 Sep 1992 16:23:14 GMT
  11. Lines: 38
  12.  
  13. In article <1992Sep1.224045.8620@vax.oxford.ac.uk> loader@vax.oxford.ac.uk writ
  14. es:
  15. >In article <1992Sep1.215331.89956@vaxc.cc.monash.edu.au>, kevin@vaxc.cc.monash
  16. .edu.au writes:
  17. [deletions]
  18. >> 1. It is possible to imagine a world, completely agreeing with the current o
  19. ne
  20. >> on all sensory data, in which God exists.
  21. >> 2. It is possible to imagine a world, completely agreeing with the current o
  22. ne
  23. >> on all sensory data, in which God doesn't exists.
  24. >> Call a world satisfying condition 1 M, and a world satisfying 2 M'.
  25. >> Then the existence of these epistemically indistinguishable worlds proves th
  26. at
  27. >> any ontological statement about God is INDEPENDENT of any epistemically
  28. >
  29. >It is possible to imagine a world completely agreeing with the current
  30. >one on all sensory data, in which Fermat's last theorem is false.
  31. >It is possible to imagine a world completely agreeing with the current
  32. >one on all sensory data, in which Fermat's last theorem is true.
  33. >Then by the fact that mathematical truths are necessary truths and true
  34. >in all possible worlds, FLT is true and false.
  35. >
  36. >Kabloom
  37. >(The world disappears in a puff of logic.)
  38. [deletions]
  39. I think there is a need to use "imagine" very carefully. "Imagine" in the
  40. original posting seems to mean more than a pipe-dream sort of fantasy.
  41. The independence of the Parallel Postulate from the other axioms is shown
  42. by defining ("imagining" if you like, but in *very concrete terms*) systems
  43. for which the axioms of so-called neutral geometry and the PP hold; and by
  44. defining a syustem for which the NG axioms hold and the PP does not.
  45. Endulging in nebulous speculation ("Say, buddy, suppose the Parallel Postulate
  46. doesn't hold out in the next galaxy") doesn't count as imagining in this
  47. context.
  48.  
  49. Robert George
  50. (speaking only for myself)
  51.