🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: sci.logic
Article #271

Re: The Mathematical Universe

#271
From: Randall Holmes
Date: Thu, 15 Oct 1992 19:33
52 lines
2997 bytes
In article <1992Oct13.213159.23649@tamsun.tamu.edu> cmenzel@tamsun.tamu.edu (Chris Menzel) writes:
>In article <1992Oct13.191930.17813@guinness.idbsu.edu> holmes@opal.idbsu.edu (Randall Holmes) writes:
>>Michael Hand writes:
>>>  ...[T]here is little to conclude except that any feature of an account
>>>  that identifies 3 with a set is a superfluous one -- and that therefore
>>>  3, and its fellow numbers, could not be sets at all.
>>>
>>>  [from "What Numbers Could Not Be"]
>>>_______________________________________________________________________
>>>-----------------------------------------------------------------------
>>>Michael Hand                     phone (409)845-5660, fax (409)845-0458
>>>Dept of Philosophy, Texas A&M Univ, College Station TX 77843-4237 U.S.A.
>>  
>>Au contraire, it is obvious which set the cardinal number 3 is.  It is
>>the set of all sets with three elements (this _can_ be defined in a
>>non-circular manner, by the way).  
>
>Surely it is obvious that this set is *not* the cardinal number 3,
>since otherwise, by extensionality, we get a different number 3
>whenever something begins or ceases to exist--unless you want to say
>that only pure sets (or at least sets of eternal objects) are elements
>of the number 3, but that would introduce just the sort of
>arbitrariness that gives Benacerraf's argument its bite.

Real objects are eternal (including the ones which appear to change).
Parmenides was one smart guy.  Think about chunks of 4-space...

>
>Nonetheless, there *is* something very natural about the set you
>identify with 3; maybe because it is the *extension* of a much more
>plausible candidate (at least for the friends of intensionality),
>viz., the *property* that all 3-membered sets have in common...
>

Which is exactly the same thing, if one identifies properties with
their extensions, as I do...

>>The opinions expressed		|     --Sincerely,
>>above are not the "official"	|     M. Randall Holmes
>>opinions of any person		|     Math. Dept., Boise State Univ.
>>or institution.		|     holmes@opal.idbsu.edu
>
>--Chris Menzel
>  Department of Philosophy
>  Texas A&M University


-- 
The opinions expressed		|     --Sincerely,
above are not the "official"	|     M. Randall Holmes
opinions of any person		|     Math. Dept., Boise State Univ.
or institution.			|     holmes@opal.idbsu.edu
Technical Details
Message-ID: <1992Oct15.193338.20463@guinness.idbsu.edu>
Path: arc1-ca.pugleaf.net!sparky!uunet!portal!lll-winken!sol.ctr.columbia.edu!eff!news.byu.edu!ux1!mica.inel.gov!guinness!opal.idbsu.edu!holmes
References: <1992Oct9.203658.25387@tamsun.tamu.edu> <1992Oct13.191930.17813@guinness.idbsu.edu> <1992Oct13.213159.23649@tamsun.tamu.edu>

Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!sparky!uunet!portal!lll-winken!sol.ctr.columbia.edu!eff!news.byu.edu!ux1!mica.inel.gov!guinness!opal.idbsu.edu!holmes
From: holmes@opal.idbsu.edu (Randall Holmes)
Newsgroups: sci.logic
Subject: Re: The Mathematical Universe
Message-ID: <1992Oct15.193338.20463@guinness.idbsu.edu>
Date: 15 Oct 92 19:33:38 GMT
References: <1992Oct9.203658.25387@tamsun.tamu.edu> <1992Oct13.191930.17813@guinness.idbsu.edu> <1992Oct13.213159.23649@tamsun.tamu.edu>
Sender: usenet@guinness.idbsu.edu (Usenet News mail)
Organization: Boise State University
Lines: 52
Nntp-Posting-Host: opal