On 13 Jun 2013, at 21:48, Alberto G. Corona wrote:
What "exist" means?
What do you mean?
Such a question will depend on the TOE used.
What can exist, by definition or by assumption, will be the elements
in the basic ontology of the TOE. (Either articles, fields, numbers,
consciousness, perhaps, ... )
With comp, a reasonable TOE assumes only that 0 exists, s(0) exists,
s(s(0)) exists, etc.
Such objects obeys two laws, that we assume: the laws of addition and
multiplication, and some succession axioms (like 0 ≠ s(x), to avoid
finite fields).
This entails the existence of an" indra net of numbers dreams", like
the UD*, or the (structured) set of true sigma_1 sentences, from which
we have to explain the emergence of physical reality/realities,
consciousness, etc.
Bruno
2013/6/13 Bruno Marchal <[email protected]>
On 12 Jun 2013, at 22:38, meekerdb wrote:
On 6/12/2013 1:34 PM, [email protected] wrote:
Physicalism is by itself a strong assumption, incompatible with a
simple and elegant theory of mind (computer science/arithmetic).
You say that from time to time, but when pressed it seems to just
be that assuming fundamental matter is, assuming comp, otiose - not
incompatible.
They are epistemologically incompatible, or if you prefer,
incompatible with the use of Occam razor, which I assume in the
search of the TOE. (I have explained this already, so to be short, I
just "say incompatible").
If it were incompatible, then derivative matter would be
incompatible too.
Of course.
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 [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/groups/opt_out.
--
Alberto.
--
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/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 [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/groups/opt_out.
