FOM: Boolos' Version of Cantor's Theorem

JC Beall beall at
Mon Feb 12 18:37:44 EST 2001

on 2/12/01 3:14 PM, H. Enderton at hbe at 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.


JC Beall

JC Beall
beall at

Pluralism Conference:

More information about the FOM mailing list