On 16 Sep 2013, at 19:54, meekerdb wrote:
On 9/16/2013 5:35 AM, Bruno Marchal wrote:
With computationalism, it is more easy and clear. What exists, at
the ontological level, is what make true a sentence like "ExP(x)".
So number exists, once we assume arithmetic or combinators ...,
because they make true Ex(x = x).
But this notion of 'exists' as 'satisfying a propositional function'
is completely different from "kicks back when I kick it" existence.
Why? It kicks back too, like in credit carts. And with comp it kicks
back in making you dreaming of things kicking back, sometimes in
persistent way.
You say "number exists, once we assume arithmetic"; which is about
as useful as "hobbits exist once we assume middle Earth".
Not at all. Arithmetic asks for very few rather clear assumptions, and
it explains a lot, as all physical theories assumes it. Then with comp
we need, nor can use anything more. Hobbits and middle Earth assumes
many things and explain nothing. I suspect you are a little bit
disingenuous, isn't it?
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-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.