Logicism, represented by Frcge, Russell, Whitehead, Church, and Carnap, condones the use of bound variables to refer to abstract entities known and unknown, specifiable and unspe cifiable, indiscriminately.