Hi Brent,
The D is put for the modal Diamond "possibility". Dp is ~B~p (possible
p = not necessary not p). With the provability logics (G and/or G*):
the B represent formal provability and the D represents formal
consistency. Dt is the same as ~Bf and represents (self)-consistency.
Semantically it is equivalent with the existence of at least one
model/world/situation/observer-moment. You can translate Dt -> ~BDt, by
"if I am consistent then I cannot prove my consistency", or
(semantically): "if there is an observer-moment then I cannot prove
there is an observer-moment".
I was just saying that "there is a (next) observer-moment" is already
faith-based (theological?) for the lobian machine (or any lobian
entity, actually).
Bruno
Le 05-janv.-06, à 19:16, Brent Meeker a écrit :
>
>> Science should be agnostic, at least methodologically, even with g =
>> "there is a universe or there is an observer moment". Comp science is
>> provably agnostic: Dt -> ~BDt.
>
> What's "D" mean?
http://iridia.ulb.ac.be/~marchal/
Received on Fri Jan 06 2006 - 06:44:11 PST