В чем отличие между формальной и символической логикой?

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

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

Таким образом, формальная логика фокусируется на изучении форм мышления, а символическая — на изучении формальных свойств символов и их комбинаций. philosophy.ivlis.com ru.wikipedia.org