Diotima's ghost: the uncertain place of feminist philosophy in professional philosophy