Re: ODP: Free will/consciousness/ineffability

From: Marchal <>
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,

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

This archive was generated by hypermail 2.3.0 : Fri Feb 16 2018 - 13:20:07 PST