[FOM] Possible worlds

[Alexey Romanov]

Mirco Mannucci wrote:
> The PFTMs are precisely constructive partial possible worlds, representing
> the de facto mathematical knowledge of a concrete individual or a machine.
> 
> It is perfectly conceivable that, for a specific notion of feasibility,
> in some of the PFTMs associated to PA FLT is false (in  these worlds
> there are no attainable proofs of FLT, and thus the mathematicians living
> inside of them will conclude that it is not true).

I'd think FLT would be indecidable in these worlds, and not false. In 
particular, they could hardly exhibit a counterexample to it. (Unless I 
misunderstand what you mean by PFTMs.)

> I wish to point out that PFTMs are in a sense a "possible world semantics" for
> FOL theories, but freed from "infinitistic" assumptions that still
> underly Kripke's models.
> 
> 
> Best to all
> 
> Mirco A. Mannucci