هذا المختصر أعددته لطلاب الفلسفة والمنطق وهو اختصار لابواب مختارة بتصرف ' وذلك بغرض تسهيل دراسة هذا الفن للطلاب المتخصصين .
والمنطق الرمزي او المنطق الرياضي أو المنطق الحديث -فكلها أسماء لهذا النمط من الدراسة - هو ثورة على المنطق الصوري التقليدي حسب بعض الباحثين ..والثورة لا تعني الغاء الجديد للقديم وانما هي ثورة تهدف الى التطوير وسد الثغرات .