On 28 Jun 2015, at 20:08, meekerdb wrote:
On 6/28/2015 12:45 AM, Bruno Marchal wrote:
No problem. But only in step seven do we suppose a concrete primary
physical universe, and that it is responsible for our experience
(this is the reductio-ad-absurdum hypothesis).
Why must it be assumed "primary" (a term whose meaning is not all
that clear).
I recall the definition. Something is called primary if we don't have
it without assuming it. "primary" = "in need to be assumed or
abandoned".
(To be sure this is up to a recursive equivalence. In the SK-theory,
numbers are not primitive, but can be defined with S and K, and
similarly, with the numbers S and K can be defined and simulated. I
will still say that numbers are primitive up to that recursive
morphism. I will say that elementary arithmetic and the SK theory are
computationalist-equivalent for the ontology. We get the same physics,
and the same theology for the same entities in both theory).
Weak materialism is the doctrine saying that primary matter is needed
for consciousness. Like people who undersatnd that the cmputationare
executed/implemented in arithmetic, but select a "real one" by saying
that there is a physical universe (so it has to be assumed and is
primitive), and it is the one which select the computation. I assume
it at step seven for the reductio ad absurdum.
Bruno
Brent
--
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 [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
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 [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
