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

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

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

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