philosophical critique of AGI