Le 26-juin-05, à 08:47, Russell Standish a écrit :

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").

Or, more simply said: with the logic of of BP, G, the logic of third person self-reference, there are cul-de-sac (terminal world) everywhere. All variants of BP (Theatetus 1, 2, 3) are ways of making abstraction of the cul-de-sac worlds, with the goal of getting probabilities. (And those ways are justified by G* which knows more about the machine, if you remember G*).

To have probability(P) = one, it is enough to have the truth of P in all accessible OMs. But, alas, in a cul-de-sac world/OM we have that Prob(P) = one "trivially" (no counterexemples, I assume classical logic in all worlds).

To have a probability one we must assure the existence of at least one model, (or one accessible OM, or one consistent extension, etc.). This is provide by the deontic transform where DP is defined by BP & ~B~P.

Err ... I hope you remember how to see that ~B~p is equivalent with "p is consistent" for the machine. Modally ~B~P is the dual of BP, it is the diamond which I wrote <>P. "~B~" gives the simple way to talk on "possible world/state/OM..." with the machine.

The machine stays mute if you ask her if there is one (at least) consistent extension (OM). But she becomes chatty when you ask her what would the worlds look like in case some world exists.



Reply via email to