, where
is some constant. Suppose we are considering "all men are mortal": we will begin with
"If Socrates is human, Socrates is mortal,"
and then we will regard "Socrates" as replaced by a variable
wherever "Socrates" occurs. The object to be secured is that, although
remains a variable, without any definite value, yet it is to have the same value in "