FOM: Boolos' Version of Cantor's Theorem

[JC Beall]

on 2/12/01 3:14 PM, H. Enderton at hbe at math.ucla.edu wrote:

> Mark Steiner wrote:
>> Since Cantor's Theorem is under discussion, I thought I would send along
>> an letter I received about Cantor's Theorem from the late George Boolos,
>> not long before his untimely death.  I'm not sure whether he ever
>> published this.
> 
> [There follows Boolos's construction, given a function f from P(S)
> into S, of an explicit counterexample to injectivity of f.]
> 
> Yes, Boolos did publish that.  I *think* it was in Constructing
> Cantorian counterexamples, Journal of philosophical logic, vol. 26
> (1997), pp. 237-239.  I don't have that in front me to check, though.
> 

The paper is also reprinted in the collection, _Logic, Logic, and Logic_
(Cambridge, MA: Harvard Press, 1998), pp.339-341.

Best,

JC Beall

-- 
JC Beall
beall at uconn.edu
http://vm.uconn.edu/~wwwphil/beall.html

Pluralism Conference:
http://www.phil.mq.edu.au/staff/grestall/pluralism2001/