Le 26-oct.-06, à 23:35, 1Z a écrit :

##
Advertising

> 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, 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@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at
http://groups.google.com/group/everything-list
-~----------~----~----~----~------~----~------~--~---