Lennart Nilsson wrote:
> Cooper says that a formalist, with only formal constraints on his logic
> (such as consistensy) is at the mercy of the formalism itself.
Meaning what ? That the formalism might not be giving answers
that are "really" right ? How would we tell ? using some
other logic ? Or empricial disproof ? But empirical disproof
itself rests on the logical principle of non-contradiction.
The only kind of logic that can be shown to be wrong
is informal logic (e.g. the Wasson Test), which can be shown
to be wrong using formal logic.
> He calls for a relativistic
> evolutionary logic where classical logic only would be justified for certain
> special classes of problems. An evolutionary metatheory of logic would
> recognize which those problems are.
And would itself be ineveitably based on some kind of logic.
--~--~---------~--~----~------------~-------~--~----~
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 Mon Jul 10 2006 - 09:59:03 PDT