FOM: supervaluationism and LEM

Vaughan Pratt pratt at cs.Stanford.EDU
Mon Mar 9 12:25:21 EST 1998

>A predicate like "natural number" isn't going to have borderline cases
>the way "bald" does.

I thought there was at least half a consensus on this list that the
boundary between finite and infinite numbers was somewhat tenuous.

Vaughan Pratt

More information about the FOM mailing list