SUO: Re: Re: Logic & Programming Languages
From: "Jon Awbrey" <jawbrey@oakland.edu>
> One of the problems that Peirceans have in explaining
> how semiotics is a broader, more general subject than
> logic is that the receiver of its avowal is naturally
> prompted to ask: But how can I reason, or think well,
> about anything at all, much less signs, without using
> logic? But that is like asking: How can I speak or
> write at all without having a formal grammar of my
> native tongue within my utter grip and quick grasp?
Hmmm ... I was just thinking about that. But are you saying that thinking
and what passes for human reasoning has anything to do with (is perhaps some
kind of subclass of) logic ? Well I think not. Rather it seems to me
that logic is just what happens of necessity. To the extent we are free, we
are aLogical. A computer, on the other hand is quite logical, regardless
of what task it is performing, in that its actions are determined by
necessity. Therefore whatever instructions the computer executes *are*
logical expressions. This, me thinks, tracks Sowa's thesis closely.
Logic is Great ... survival is better.
http://robustai.net/ai/notnota.htm
Seth Russell