On 29 Aug 2009, at 14:10, Bruno Marchal wrote:
> This is the case for the "& p" modalities. They are provably
> necessarily non axiomatisable. They lead to the frst person, which,
> solipstically, does separate truth and provability.
I mean does NOT separate truth and provability (like solipsist).
Sorry,
Bruno
http://iridia.ulb.ac.be/~marchal/
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups "Everything List" group.
To post to this group, send email to everything-list.domain.name.hidden
To unsubscribe from this group, send email to everything-list+unsubscribe.domain.name.hidden
For more options, visit this group at
http://groups.google.com/group/everything-list?hl=en
-~----------~----~----~----~------~----~------~--~---
Received on Sat Aug 29 2009 - 14:26:15 PDT