home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #20 / NN_1992_20.iso / spool / sci / math / 11117 < prev    next >
Encoding:
Internet Message Format  |  1992-09-08  |  1.0 KB
  1. Path: sparky!uunet!pipex!warwick!str-ccsun!strath-cs!st-and!ajtd@honey.st-and.ac.uk
  2. From: ajtd@honey.st-and.ac.uk (Tony Davie)
  3. Newsgroups: sci.math
  4. Subject: Re: Proof of God's Existence
  5. Message-ID: <1992Sep8.143447.6958@st-andrews.ac.uk>
  6. Date: 8 Sep 92 14:34:47 GMT
  7. Sender: usenet@st-andrews.ac.uk (NNTP access user)
  8. Organization: St.Andrews University
  9. Lines: 17
  10. Nntp-Posting-Host: 138.251.192.26
  11.  
  12. I think this one is due to Smullyan:
  13.  
  14. Consider the sentence "If this sentence is true then God exists"
  15.  
  16. Proof: 1. The sentence is true                            Hypothesis
  17.        2. If this sentence is true then God exists        From 1
  18.        3. God exists                                      Modus Ponens 1,2
  19.  
  20.        4. If this sentence is true then God exists        Deduction Theorem 1,3
  21.  
  22. The sentence is proved (and therefore true) QED
  23.  
  24. Corollary: By the theorem and the fact that it is true and Modus Ponens,
  25. God exists.
  26.  
  27. OR, of course, by a similar argument, God doesn't exist or My aunty's a banana
  28. or anything you like.
  29.