В чем заключается отличие формальной логики от символической?

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

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

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