On Fri, Jun 24, 2005 at 03:25:29PM +0200, Bruno Marchal wrote:
>
> Perhaps. It depends of your definition of "OM", and of your
> "everything" theory.
>
> Let me tell you the "Lobian's answer": if I have a successor OM then I
> have a successor OM which has no successor OM.
>
> OK, I am cheating here, but not so much. As I just said to Stathis I
> must find a way to convince people about the urgency of using the modal
> logical tools.
>
This reminds me of something I wanted to ask you Bruno. In your work
you axiomatise knowledge and end up with various logical systems that
describe variously 1st person knowledge, 1st person communicable
knowledge, 3rd person knowledge etc. In some of these, the Deontic
axiom comes up, which if translated into Kripke semantics reads "all
worlds have a successor word" (or "no worlds are terminal"). Yet it
appears that you would like to identify what I call psychological time
as a succession of worlds that follow according to these Kripke
semantics. Particularly in comments like the above. Since we have
started with an interpretation of knowledge, formalised it to a
logical system - how do we make sense of this backwards
interpretation, ie treating the Kripke semantics as describing the 1st
person appearance of time? You make no reference (or perhaps only
hints) in your Lille thesis - I never got around to downloading your
Brussels thesis - is there something in that? or is it a more recent
development.
Cheers
--
*PS: A number of people ask me about the attachment to my email, which
is of type "application/pgp-signature". Don't worry, it is not a
virus. It is an electronic signature, that may be used to verify this
email came from me if you have PGP or GPG installed. Otherwise, you
may safely ignore this attachment.
----------------------------------------------------------------------------
A/Prof Russell Standish Phone 8308 3119 (mobile)
Mathematics 0425 253119 (")
UNSW SYDNEY 2052 R.Standish.domain.name.hidden
Australia http://parallel.hpc.unsw.edu.au/rks
International prefix +612, Interstate prefix 02
----------------------------------------------------------------------------
- application/pgp-signature attachment: stored
Received on Sun Jun 26 2005 - 03:46:43 PDT