Bruno;
According to Cooper classical analysis is plain bad biology, and not a
matter of subjective judgement or philosophical preferens (such as taking
atithmetical truth for granted). I think this is where he would say your
whole castle in the sky tumbles, and that has nothing to do with trying to
find a fault in your argument :-)
_____
Från: everything-list.domain.name.hidden
[mailto:everything-list.domain.name.hidden] För Bruno Marchal
Skickat: den 6 juli 2006 11:53
Till: everything-list.domain.name.hidden
Ämne: Re: Only logic is necessary?
Le 05-juil.-06, ā 15:55, Lennart Nilsson a écrit :
William S. Cooper says: ”The absolutist outlook has it that if a logic is
valid at all it is valid period. A sound logic is completely sound
everywhere and for everyone, no exceptions! For absolutist logicians a
logical truth is regarded as ‘true in all possible worlds’, making logical
laws constant, timeless and universal.”
Where do the laws of logic come from? he asks the absolutist.
Bruno?
If you believe in the more primary notion of arithmetical truth (for example
if you believe that proposition like "317 is prime" are independent of you)
then you can justify classical logic by the Plato Realm (perhaps limited to
numbers and their relations), and the many logics will be filtered through
the "mind" of the consistent extension of machines.
Classical logic is the best tool machines can have to go beyond classical
logics.
But logic and logics are not fundamental, with comp those emerge from
numbers. And nobody knows where numbers come from, and with comp, we can
understand what it must be so.
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 Thu Jul 06 2006 - 16:26:11 PDT