On 05 Dec 2013, at 19:36, meekerdb wrote:
On 12/5/2013 12:43 AM, Bruno Marchal wrote:
On 03 Dec 2013, at 19:29, John Clark wrote:
On Mon, Dec 2, 2013 at 2:00 PM, Bruno Marchal <marc...@ulb.ac.be>
wrot
> I have already insist that God cannot be part of the
explanation. We agree on this.
Then I repeat my question, why add useless wheels within wheels
that explain nothing to otherwise nice theories?
To take into account the discovery already made by arithmetical
machine that there is a transcendental truth responsible for their
beliefs, which is beyond their beliefs.
For the arithmetical machine that would be Peano's axioms and the
rules of inference.
No, it is the standard model of those axioms.
I don't see that they are either transcendental or true?
If we are machine, we cannot define that standard model.
We can do it, because we believe in more than arithmetical truth; but
with comp, this is just a differentiation between ontology and
epistemology, which needs the non effective transcendental higher
order logic and set theories.
Peano axioms are not transcendental, but their intended meaning is.
The space of such true but non rationally communicable truth is
axiomatized, at the propositional level, by G* minus G, and this
permits a transparent interpretation of Plotinus theology in
arithmetic, and this illustrates already the fact that
computationalism leads to a Platonist theology, and contradicts the
common Aristotelian metaphysics/theology implicit among many
scientists.
But these transcendental, i.e. unprovable, truths are rather
trivial: "This sentence cannot be proven."
equivalent to "I am consistent". That is not trivial.
They are not TRANSCENDENTAL the way theologians mean
How can you know that?
- beyond the natural world and edifying of human experience.
Yes.
bruno
Brent
The experience of "God", in the large sense I have given is part of
the data in the puzzle. You might read my paper "La machine
Mystic", or the second part of the sane04 paper for more on this,
if you are interested. This shows also that arithmetic explains not
only the apparent existence of matter (constructively, and thus
making comp testable), but it gives some light on altered
consciousness and other brain perturbation experience, and
"mystical" type of knowledge/beliefs/comprehension, making some
other aspect of comp testable in some first person sense.
Bruno
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-
l...@googlegroups.com.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/groups/opt_out.
--
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/groups/opt_out.
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/groups/opt_out.
