“The first type of abstraction from objects I shall refer to as simple abstraction, but the second type I shall call reflective abstraction, using this term in a double sense.”