Path: utzoo!mnetor!uunet!husc6!hao!boulder!sunybcs!rapaport
From: rapaport@sunybcs.uucp (William J. Rapaport)
Newsgroups: sci.philosophy.tech
Subject: Re: Classifying the Axiom of Choice
Message-ID: <8768@sunybcs.UUCP>
Date: 23 Feb 88 15:41:46 GMT
References: <1890@mind.UUCP> <25011@linus.UUCP> <7123@agate.BERKELEY.EDU>
Sender: nobody@sunybcs.UUCP
Reply-To: rapaport@gort.UUCP (William J. Rapaport)
Organization: SUNY/Buffalo Computer Science
Lines: 17

In article <7123@agate.BERKELEY.EDU> weemba@garnet.berkeley.edu (Obnoxious Math Grad Student) writes:
>
>I favor analytic a posteriori, myself.  "analytic", since all mathematical
>truths are, and "a posteriori", since AC is based on our derived perceptions
>of sets.

I guess you've not read Kant.  All mathematical propositions are
synthetic apriori for him.  By that, I'd take the Axiom of Choice as
synthetic apriori, too.

					William J. Rapaport
					Assistant Professor

Dept. of Computer Science||internet:  rapaport@cs.buffalo.edu
SUNY Buffalo		 ||bitnet:    rapaport@sunybcs.bitnet
Buffalo, NY 14260	 ||uucp: {ames,boulder,decvax,rutgers}!sunybcs!rapaport
(716) 636-3193, 3180     ||