Abstract
Modifiable synapses are analysed theoretically. It is proved that they fall into 3 classes (called A, B and C), such that any 2 members of the same class can, with the aid of nonremembering elements that perform simple logical operations, replace one another in any net; but a member of class A cannot replace one of class B or C. A member of class B can replace one of class A or C only if non-logical elements, for example noise generators, are included in the net. Models are designed that use modifiable synapses and show the principal features of classical and operant conditioning. If the models are to be given the property of extinction, classical conditioning requires modifiable synapses of classes A and B or of class C, and operant conditioning of class B or C. If the conditioning and memory mechanisms of the nervous system store information by means of modifiable synapses, some of these must be of class B or C.