Отличие формальной логики от символической заключается в предмете исследования и методах:

1. Формальная логика — это наука о формах мышления, о формальных логических законах и других связях и отношениях между мыслями по их логическим формам. 2 Она исследует логические формы безотносительно их конкретного содержания. 5
2. Символическая логика — это раздел формальной логики, в котором логические выводы исследуются посредством логических исчислений на основе строгого символического языка. 6 В ней применяются математические методы и специальный аппарат символов, что позволяет избежать двусмысленностей и логических неясностей, присущих естественным языкам. 9

Таким образом, формальная логика изучает формы мышления, а символическая — логические выводы с использованием математических методов и специального аппарата символов. 69