Le 05-juil.-06, à 15:55, Lennart Nilsson a écrit :

<x-tad-bigger>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.”</x-tad-bigger>

<x-tad-bigger>Where do the laws of logic come from? he asks the absolutist.</x-tad-bigger>

<x-tad-bigger>Bruno?</x-tad-bigger>

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@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 -~----------~----~----~----~------~----~------~--~---