Derivation of the laws of the symbols of logic from the laws of the operations of the human mind