KI und die Tücken der Logik