On the logic of the artificial