On 22 Apr 2014, at 05:27, 'Chris de Morsella <cdemorse...@yahoo.com>'
via Everything List wrote:
At some level, there is only that, which is personally
experienced... each has to know God on their own, by their own way,
in their own heart. No one can - beyond, perhaps pointing out the
way to some extent -- teach or lead anyone down this path. A
spiritual quest is quintessentially a personal quest.
Yes, truth is in our head, and with comp, it means we can also search
it "in the head" of any (reasonable) machine.
Spiritual quest is personal, but yet, might concern everybody.
Some buddhist said that it is enough that one man is enlightened for
all men being enlightened, and some bodhisattva said that the genuine
bodhisattva will go to heaven only after every one has.
Of course this leads to some problems in case there are two
bodhisattvas, but buddhism is not afraid of those little technical
difficulties. It can even cultivate them, to help people not taking
them too much literally, like with the zen koans.
Spiritual quest is personal, but the result are often described as
"anti-personal", like "killing the ego", "merging with the one",
"becoming god", "realizing the unity/unicity of consciousness", etc.
Love also is personal, and cannot be enforced. There are many things
like that.
The definition by Theaetetus of the notion of knowledge, when applied
to Gödel's arithmetical provability predicate ([]A), and its
intensional variants, suggests many such annuli, where truth not only
extends the machines abilities to communicate rationally, but where
the attempts to communicate them only forces or builds the counter-
example(*).
The notion of god maximizes the gap between use and mention. Somehow,
it looks like only the devil dares the mention of god, especially in
normative statements. With comp god is creative and "god" is
destructive.
Lao-tseu seems right: the foolish talks, the wise stays mute.
Sound rich machines say already something similar: <>t -> ~[]<>t.
(<>t = ~[]f )
Bruno
(*) There are three important most "obvious" annuli: G* \ G, Z* \
Z, and X* \ X,
and their computationalist "1" variants (with p -> []p for the atomic
sentences).
Amazingly, for knowledge itself, the annuli is empty: S4Grz* \ S4Grz
is empty (and S4Grz1* \ S4Grz1 too).
http://iridia.ulb.ac.be/~marchal/
--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
