KI, Philosophie, Logik