home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / sci / math / 10799 < prev    next >
Encoding:
Internet Message Format  |  1992-09-01  |  2.1 KB
  1. Path: sparky!uunet!mcsun!news.funet.fi!hydra!klaava!amnell
  2. From: amnell@klaava.Helsinki.FI (Marko Amnell)
  3. Newsgroups: sci.math
  4. Subject: Re: Proof of God's Existence
  5. Message-ID: <1992Sep1.173025.24959@klaava.Helsinki.FI>
  6. Date: 1 Sep 92 17:30:25 GMT
  7. References: <17ui6kINNsft@matt.ksu.ksu.edu>
  8. Organization: University of Helsinki
  9. Lines: 42
  10.  
  11. In article <17ui6kINNsft@matt.ksu.ksu.edu> bubai@matt.ksu.ksu.edu 
  12. (P.Chatterjee) writes:
  13.  
  14. >I was told by somebody that there is a mathematical proof of God's
  15. >existence; was wondering if somebody could shed some light on the same.
  16.  
  17. 'With pleasure.  At least two versions of the ontological proof come to
  18. mind.  First, consider this proof from 'positive properties' attributed
  19. to Goedel:
  20.  
  21. Axiom 1.     (Dichotomy) A property is positive iff its negation is negative.
  22. Axiom 2.     (Closure) A property is positive if it necessarily contains a
  23.              positive property.
  24. Theorem 1.   A positive property is logically consistent (ie. possibly it
  25.              has some instance).
  26. Definition.  Something is God-like iff it possesses all positive
  27.              properties.
  28. Axiom 3.     Being God-like is a positive property.
  29. Axiom 4.     Being a positive property is (logical, hence) necessary.
  30. Definition.  A property P is the essence of x iff x has P and P is
  31.              necessarily minimal.
  32. Theorem 2.   If x is God-like, then being God-like is the essence of x.
  33. Definition.  NE(x): x necessarily exists if it has an essential
  34.              property.
  35. Axiom 5.     Being NE is God-like.
  36. Theorem 3.   Necessarily there is some x such that x is God-like.
  37.  
  38. Now, gape at this short modal version by Alvin Plantinga:
  39. Define 'unsurpassable greatness' to be equivalent to _maximal greatness
  40. in every possible world_.  Then
  41.  
  42. (1)  There is a possible world in which unsurpassable greatness is
  43.      exemplified.
  44. (2)  The proposition <a thing has unsurpassable greatness if and only if
  45.      it has maximal excellence in every possible world> is necessarily
  46.      true.
  47. (3)  The proposition <whatever has maximal excellence is omnipotent,
  48.      omniscient, and morally perfect> is necessarily true.
  49.  
  50. Try refuting these babies!
  51.  
  52. Marko Amnell
  53.