Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!shadooby!samsung!gem.mps.ohio-state.edu!apple!genbank!ames!uhccux!lee
From: lee@uhccux.uhcc.hawaii.edu (Greg Lee)
Newsgroups: comp.ai
Subject: Re: What is a Symbol System?
Message-ID: <5515@uhccux.uhcc.hawaii.edu>
Date: 20 Nov 89 18:32:22 GMT
References: <11640@phoenix.Princeton.EDU>
Organization: University of Hawaii
Lines: 13

From article <11640@phoenix.Princeton.EDU>, by harnad@phoenix.Princeton.EDU (S. R. Harnad):
" ...
" Wittgenstein (1953) emphasized the difference between EXPLICIT and
" IMPLICIT rules: It is not the same thing to "follow" a rule
" (explicitly) and merely to behave "in accordance with" a rule
" (implicitly). The critical difference is in the compositeness (7) and
" systematicity (8) criteria. The explicitly represented symbolic rule is
" part of a formal system, ...

`Explicit' is not the same thing as `explicitly represented'.
I'm not sure I see how all the rules could be formalized, but in
any case, they needn't be.
				Greg, lee@uhccux.uhcc.hawaii.edu