Meaning Of Abstraction In Logic