١/المنطق :
ابن سينا يسميه خادم العلوم
الفارابي يسميه رئيس العلوم
الغزالي يسميه القسطاس المستقيم
2/يعد المؤسس الأول للمنطق الصوري :
أرسطو
3/مباحث المنطق الصوري تشمل :
الحدود أو التصورات
القضايا أو الأحكام
منطق الاستدلال
4/يسمى المنطق الرمزي بهذا الاسم:
لأن لغته الرموز وليست الكتابه أو الحديث
5/في القرن التاسع عشر سمي المنطق الرمزي ب جبر المنطق ترجع هذه التسمية إلى:
جورج بول
6/يسمى المنطق الرمزي كذلك ب المنطق الرياضي واول من استخدم هذا التعبير:
بيانو