Bruno Marchal wrote:
> Le 26-oct.-06, à 23:35, 1Z a écrit :
>
>
> > Mathematical logic can't conjure up existential conclusions
> > without making existential assumptions.
>
>
>
> If Aristotle was right on the question of the existence of some
> physical or natural *primary* matter, then indeed mathematical logic
> wouldn't conjure up its existence.
>
> Actually, as I have just said, mathematical logic cannot even conjure
> up the existence of numbers.
>
> That is why I explicitly assume the existence of numbers,
You assume the mathematical existence, and you
assume mathematical existence is real, ontological
existence (and no, I don't mean physical existence
by that). The first assumption is mathematically legitimate,
the second is philosophical and just as open to doubt as
computionalism.
> through RA or
> PA axioms when I interview the machine, or by accepting the independent
> truth of arithmetical statements, like in UDA.
>
> Bruno
>
>
> http://iridia.ulb.ac.be/~marchal/
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups "Everything List" group.
To post to this group, send email to everything-list.domain.name.hidden
To unsubscribe from this group, send email to everything-list-unsubscribe.domain.name.hidden
For more options, visit this group at
http://groups.google.com/group/everything-list
-~----------~----~----~----~------~----~------~--~---
Received on Sun Oct 29 2006 - 06:21:52 PST