virus: Logical Beliefs

Reed Konsler (konsler@ascat.harvard.edu)
Fri, 6 Jun 1997 18:10:54 -0400 (EDT)


A system may be said to use logic if and only if it meets the
following two criteria:

1) It must represent somehow within the system truth values.
This entails that it has to represent propositions about the world
(internal or external) and whether the proposition is true or false
(or somewhere in between).

2) It must use the truth value(s) in some sort of logical operation
(and, or, not, if-then-else, or fuzzy counterparts), and use the
results of the operations somehow in determining its behavior.

I think an organism with instincts will meet these criteria while
something like an apple tree or solar system will not. Any objections?
----------------------------

In 2), how would differentiate between something which "uses"
logic and something which "obeys" logic. It seems like you
need to invoke intentionality to do so.

This same issue caused a problem earlier in your use of
"rational". What is the difference between something "using"
reason and something that appears to behave reasonably.
There are two different "reasons" there, at least to my
eye.

Reed

---------------------------------------------------------------------
Reed Konsler konsler@ascat.harvard.edu
---------------------------------------------------------------------