[FOM] Discussion between Thomas Forster & Bob Solovay

[Neil Tennant]

Thomas Forster wrote

 >   My point is simply the general one that any proof in
 >a consistent set theory that involves sanitizing a paradox
 >is likely to be pathological.  Cantor's theorem for example.

Cantor's Theorem has a proof in normal form.

Neil Tennant

___________________________________________________________________
Neil W. Tennant
Professor of Philosophy and Adjunct Professor of Cognitive Science

http://www.cohums.ohio-state.edu/philo/people/tennant.html

Please send snail mail to:

		Department of Philosophy
		230 North Oval
		The Ohio State University
		Columbus, OH 43210

Work telephone 	(614)292-1591 
Private Fax 	(614)488-3198