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 - 05:53:47 PDT