[FOM] Possible worlds

[hendrik@topoi.pooq.com]

On Mon, Dec 18, 2006 at 12:02:19PM -0800, John McCarthy wrote:
> 
> I think possible world formalisms are likely to be useful for some
> purposes.  Indeed I used them in an article "Two puzzles concerning
> knowledge."
> 
> I think partial possible worlds are useful, although I didn't formally 
> use them in the puzzles article.  I am perfectly willing to use
> partial possible worlds in which FLT is false, and  it is unlikely to
> get me into contradiction, since the proof of FLT is far beyond my
> ability to follow.

suggesting that some variety of feasible-mathematics might be in 
order.

-- hendrik