isn't this the whole branch of analytical philosophy?