🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: sci.philosophy.tech
Article #349

Re: Sets and Objectivity (Re: Science vs Philosophy of)

#349
From: Flash Sheridan
Date: Wed, 02 Sep 1992 21:25
12 lines
1480 bytes
In article <1992Aug28.202643.12965@dcs.qmw.ac.uk>, arodgers@dcs.qmw.ac.uk
(Angus H Rodgers) wrote:
> 
>   About the naive concept of set there is no agreement: not even
> on what axiom system to use (e.g. ZFC is found irksome for formalizing
> category theory), let alone on what sets really are. 

There is actually a fair amount of agreement on what the true axioms are:
certainly about ZF, and most people who avoid Choice do so because it's
inconvenient, not because they believe its negation.  Consensus of course
doesn't imply truth; indeed, I disbelieve the Axiom of Foundation, and
Separation except when restricted to well-founded sets.
Technical Details
Message-ID: <72540.1731-020992172020@dunham-kstar-node.net.yale.edu>
Path: arc1-ca.pugleaf.net!sparky!uunet!pmafire!news.dell.com!swrinde!sdd.hp.com!zaphod.mps.ohio-state.edu!darwin.sura.net!jvnc.net!yale.edu!news.yale.edu!dunham-kstar-node.net.yale.edu!user
References: <1992Aug26.002202.14701@math.ucla.edu> <1992Aug26.095740.17255@klaava.Helsinki.FI> <1992Aug27.143116.16970@dcs.qmw.ac.uk> <1992Aug27.173243.4672@klaava.Helsinki.FI> <1992Aug28.202643.12965@dcs.qmw.ac.uk>

Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!sparky!uunet!pmafire!news.dell.com!swrinde!sdd.hp.com!zaphod.mps.ohio-state.edu!darwin.sura.net!jvnc.net!yale.edu!news.yale.edu!dunham-kstar-node.net.yale.edu!user
From: 72540.1731@CompuServe.Com (Flash Sheridan)
Newsgroups: sci.philosophy.tech
Subject: Re: Sets and Objectivity (Re: Science vs Philosophy of)
Message-ID: <72540.1731-020992172020@dunham-kstar-node.net.yale.edu>
Date: 2 Sep 92 21:25:45 GMT
References: <1992Aug26.002202.14701@math.ucla.edu> <1992Aug26.095740.17255@klaava.Helsinki.FI> <1992Aug27.143116.16970@dcs.qmw.ac.uk> <1992Aug27.173243.4672@klaava.Helsinki.FI> <1992Aug28.202643.12965@dcs.qmw.ac.uk>
Sender: news@news.yale.edu (USENET News System)
Followup-To: sci.philosophy.tech
Organization: Balliol College, Oxford
Lines: 12
Nntp-Posting-Host: dunham-kstar-node.net.yale.edu