Re: ODP: Free will/consciousness/ineffability

From: Marchal <marchal.domain.name.hidden>
Date: Wed Oct 24 07:02:56 2001

Russell Standish wrote:


>Interesting, although I suspect the interpretation of "the ability to
>do something completely stupid" is more like asserting the truth of
>an unprovable statement than asserting the truth of a false
>statement. In modal logic, this would be (x & -[]x ) n'est-ce pas?


I would say it is asserting the possibility or consistency (instead of
the truth) of some false but irrefutable statement: like <>[]f, which
belongs to G* minus G, which means <>[]f is indeed a solution of
x & -[]x, that is G* prove <>[]f & -[]<>[]f. Note <>t is also a solution
of x & -[]x
Of course the statement []f is false on the sound machines by
definition! But <>[]f is true. The correct machine "suffers" from the
consistency of inconsistency.


>Note an automaton cannot assert the truth of anything not provable
>from its axioms...


An "automaton" cannot even assert the truth of its provable assertions
in general. Except the one which has been proved. (Lob), so, ok.

But an automaton can *anticipate* or bet on the possibility
(the consistency) of both what he/she/it can prove (G) and even some
truth he/she/it *cannot* prove (which truth can works as fruitful
questioning or betting or hoping or fearing ...) (G*).
Or even quantum probabilising on. (Z1*).


Best Regards,


Bruno
Received on Wed Oct 24 2001 - 07:02:56 PDT