Формальная логика является:

Формальная логика подразделяется на аристотелевскую, символическую и математическую. В контексте современного образования, часто акцент делается на символической и математической логике.

Ответ: b. символической;