Bruno Marchal wrote:
> 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,
Cooper says that numbers "come from" the evolutionary advantage of being able to count. Of course
that doesn't explain where big numbers come from, or even whether they exist.
Brent Meeker
--~--~---------~--~----~------------~-------~--~----~
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 Sat Jul 08 2006 - 16:15:07 PDT