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. You say "number exists, once we assume arithmetic"; which is about as useful as "hobbits exist once we assume middle Earth".
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/groups/opt_out.
