إصلاح المنطق