Path: utzoo!mnetor!uunet!husc6!hao!ames!pasteur!agate!garnet!weemba From: weemba@garnet.berkeley.edu (Obnoxious Math Grad Student) Newsgroups: sci.philosophy.tech Subject: Re: Classifying the Axiom of Choice Message-ID: <7123@agate.BERKELEY.EDU> Date: 22 Feb 88 22:48:51 GMT References: <1890@mind.UUCP> <25011@linus.UUCP> Sender: usenet@agate.BERKELEY.EDU Reply-To: weemba@garnet.berkeley.edu (Obnoxious Math Grad Student) Organization: Brahms Gang Posting Central Lines: 11 In-reply-to: bwk@mitre-bedford.ARPA (Barry W. Kort) In article <25011@linus.UUCP>, bwk@mitre-bedford (Barry W. Kort) writes: >My choice is to classify the Axiom of Choice as synthetic and >a posteriori. 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. [Oh Greg, I originally missed your article, thanks to the joys of `K'.] ucbvax!garnet!weemba Matthew P Wiener/Brahms Gang/Berkeley CA 94720