home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #23 / NN_1992_23.iso / spool / sci / logic / 1675 < prev    next >
Encoding:
Internet Message Format  |  1992-10-07  |  2.3 KB
  1. Path: sparky!uunet!dtix!darwin.sura.net!gatech!concert!sas!mozart.unx.sas.com!sasghm
  2. From: sasghm@theseus.unx.sas.com (Gary Merrill)
  3. Newsgroups: sci.logic
  4. Subject: Re: The Mathematical Universe
  5. Keywords: inconsistent multiplicities
  6. Message-ID: <Bvr8tF.D99@unx.sas.com>
  7. Date: 7 Oct 92 14:12:50 GMT
  8. References: <BvnGy0.BH0@unx.sas.com> <1992Oct5.215056.17908@guinness.idbsu.edu> <BvpECx.41I@unx.sas.com> <1992Oct6.155930.2363@guinness.idbsu.edu>
  9. Sender: news@unx.sas.com (Noter of Newsworthy Events)
  10. Organization: SAS Institute Inc.
  11. Lines: 46
  12. Originator: sasghm@theseus.unx.sas.com
  13. Nntp-Posting-Host: theseus.unx.sas.com
  14.  
  15.  
  16. In article <1992Oct6.155930.2363@guinness.idbsu.edu>, holmes@opal.idbsu.edu (Randall Holmes) writes:
  17.  
  18. |> Where I do find talk of possible worlds reasonable is in the
  19. |> discussion of the physical world that we live in.  Since I think that
  20. |> the physical world is a subset of the logical universe, I find it
  21. |> reasonable to suppose that alternate physical worlds (all possible
  22. |> ones) _actually exist_ (in exactly the same sense that ours does).
  23.  
  24. It's this "same sense" that bothers me a bit.
  25.  
  26. Can I get to another one of them?  How?  Or am *I* already in (some of)
  27. them?  Is it really *me*?  Can we communicate with the populations of
  28. these possible worlds (as we can with the populations of our own)?
  29.  
  30. |> Such worlds provide an actual model for Kripke's semantics for modal
  31. |> logic, for discussions restricted to the physical world; in the
  32. |> internal language of this model, they are "possible worlds".  It is
  33. |> probably an abuse of terminology to call them "possible worlds"
  34. |> without reference to this model.  I don't think that one of them is
  35. |> especially worthy of notice, except for the fact that I (and all of
  36. |> _us_) are in it.
  37.  
  38. But isn't this a big "except"?  As in "The difference between P and -P
  39. is not worthy of notice except for the fact that P is true and -P is
  40. false"?
  41.  
  42. |> In an absolute sense (relative to the _logical_ universe) I am _not_ a
  43. |> possible worlds realist; I think that there is one actual logical
  44. |> universe.  However, there are various ways to describe the actual
  45.  
  46. I think the word "actual" is then a no-op here.  What is its sense?
  47.  
  48.  
  49.  
  50.  
  51.  
  52.  
  53.  
  54.  
  55.  
  56.  
  57. -- 
  58. Gary H. Merrill  [Principal Systems Developer, C Compiler Development]
  59. SAS Institute Inc. / SAS Campus Dr. / Cary, NC  27513 / (919) 677-8000
  60. sasghm@theseus.unx.sas.com ... !mcnc!sas!sasghm
  61.