What is (and to what end do we study) the history of ideas?