هذا المقرر يتم تدريسه لطلاب الفرقة الرابعة فلسفة ، وهو استكما لمقرر آخر يتم تدريسه فى الفرقة الثالثة تحت مسمى " أساسيات المنطق الرمزى" وهو يتضمن الحساب التحليلى للقضايا مع العرض للنسق الاستنباطى الخاص بها ، يتضمن أيضا الحساب التحليلى للفئات والحساب التحليلى للعلاقات ، كما يتعرض لانماط المنطق الرمزى اللاثنائة القيم ومن بينها المنطق الغائم .