Artificial Logic