Reprinted in:
Michalos, Alex C. (ed.)
(1974),
Philosophical Problems of Science and Technology
(Boston: Allyn & Bacon): 1-27.
Arden, Bruce W.
(1980),
"COSERS
Overview" [PDF],
in Bruce W. Arden (ed.),
What Can Be Automated?
The Computer Science and Engineering Research Study
(COSERS)
(Cambridge, MA: MIT Press), Ch. 1, pp. 1-31.
See esp. the section titled "About Names and Labels"
(pp. 5-7).
"Underlying our approach to this subject is our conviction
that "computer science" is not a science and that its significance has
little to do with computers. The computer revolution is a revolution in
the way we think and in the way we express what we think. The essence of
this change is the emergence of what might best be called procedural
epistemology -- the study of the structure of knowledge from an
imperative point of view, as opposed to the more declarative point of
view taken by classical mathematical subjects. Mathematics provides a
framework for dealing precisely with notions of "what is." Computation
provides a framework for dealing precisely with notions of "how to." "
§ I, "Theories of Causation" (pp. 429-433)
contains an excellent summary of various contemporary
and historical theories of the nature of cause and
effect.