On 21 Aug 2012, at 21:42, Stephen P. King wrote:
On 8/21/2012 2:28 PM, Bruno Marchal wrote:
On 21 Aug 2012, at 12:12, Roger Clough wrote:
Hi Bruno and Stephen,
This is the bicameral mind again. Right brain must accept left
brain decisions for human safety.
Ought must rule over is (or else we'd all be nazis, Hume, for the
safety of humanity)
Passion must rule over reason (or else we'd all be nazis, Hume,
for the safety of humanity)
Acceptace of proof dominates proof (common sense psychology)
Thus you can objectively, mathematically prove that 2+2=4, but you
still have to subjectively accept that psychologically.
Woman always gets the last word.
No problem here. That fits nicely with the Bp versus Bp & p
duality, which is just the difference between "rational belief" and
"rational knowledge" (true rational belief).
It took time to realize that when we define the rational belief by
formal proof, which makes sense in the ideal correct machine case,
although knowledge and belief have the same content (the same
arithmetical p are believed), still, they obey to different logics.
This is a consequence of incompleteness. Rational beliefs obey to a
modal logic known as G (or GL, Prl, K4W, etc.) and true rational
belief obeys to a logic of knowledge (S4), indeed known as S4Grz.
G is
[](p -> q) -> ([]p -> []q)
[]p -> [][]p
[]([]p -> p) -> []p
with the rules A, A->B / B and A / []A
S4Grz is
[](p -> q) -> ([]p -> []q)
[]p -> [][]p
[]([](p -> []p) -> p) -> p
with the rules A, A->B / B and A / []A
Bruno
Dear Bruno,
It might help us immensely if you could tell us how to read
these symbolic representations. Not all of us speak that language!
There are English words for all of these symbols!
???
The only differences with elementary propositional logic are that we
have one symbol more, the box "[]", and one more inference rule.
It is a unary operator symbol, so if X is a formula, []X is a formula,
like ~X.
The inference rule is that you can derive []p from p. Careful, this
does not make p -> []p true in most modal logic.
I wrote often the box [] by using the letter B.
In the axiom above, it is better to not interpret the box, as this can
confuse with the representation theorem which associate "meaning"
mathematically.
I have often talked about Bp and Bp & p, with Bp having the
arithmetical provability meaning (Gödel 1931).
G above is the logic of Gödel's beweisbar predicate. For example the
second incompleteness theorem is given by Dt -> ~BDt, or <>t ->
~[]<>t, or consistent('t') -> NOT PROVABLE (CONSISTENT 't')), with for
example t = "0=0", et 't' = Gödel number of "0=0".
S4Grz above is the corresponding logic of the first person associated
to the machine, given by beweisbar('p') & p, following Theatetus, and
then Boolos, Goldblatt, Artemov. I have provided many explanations on
this list, including an introduction to modal logic and the Kripke
semantics, but you can also open some book in logic to help yourself.
G and S4Grz are the two machineries illustrating (and formalizing
completely at the propositional modal) two important arithmetical
hypostases discovered by the UM when looking inward. G is the logic of
third person self-reference and S4Grz is the logic of the first person
self-reference.
There are six other hypostases, or machine's points of view, three of
them playing a role in the "creation of the collective persistent
matter hallucination. Comp makes obligatory that persistence, and it
can be tested, and it can be argued that the presence of p -> []<>p as
a theorem in SGrz1 and Z1* and X1* confirms it in great part.
Interactions can be defined in a manner similar to Girard, and then
tested on those "material hypostases". I think that this is explained
in the second part of the sane04 paper.
The "1" added to the system refers to the fact that we eventually
limit the arithmetical translation of the sentence letters (p, q,
r, ...) to the sigma_1 sentences, which "models" the UD in arithmetic.
In particular Richard Ruquist's theory that fundamental physics is
given by string theory becomes testable with respect to comp, as UDA
shows that the physics is entirely retrievable from the S4Grz1, Z1*
and/or X1*, and their first order modal extension.
It is not as difficult as most paper your refer to, and it is only one
paper, and you got the chance to ask any question to the author :)
You recently allude to a disagreement between us, but I (meta)disagree
with such an idea: I use the scientific method, which means that you
cannot disagree with me without showing a precise flaw at some step in
the reasoning.
You seem to follow the seven first steps, so that in particular you
grasp apparently that COMP + ROBUST-UNIVERSE entails the reversal
physics/arithmetic, and the explanation why qualia and quanta
separate. Are you sure you got this? Step 8 just eliminates the
"ROBUST-UNIVERSE" assumption in step 7.
Then AUDA translates everything in UDA in terms of numbers and
sequences of numbers, making the "body problem" into a problem of
arithmetic. It is literally an infinite interview with the universal
machine, made finite thanks to the modal logic above, and thanks to
the Solovay arithmetical completeness theorem.
You cannot both claim that there is a flaw, and at the same time
invoke your dyslexia to justify you don't do the technical work to
present it.
Bruno
http://iridia.ulb.ac.be/~marchal/
--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/everything-list?hl=en.
